Concept
Prior Analytics
Related concepts (11)
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Posterior Analytics
The Posterior Analytics (Ἀναλυτικὰ Ὕστερα; Analytica Posteriora) is a text from Aristotle's Organon that deals with demonstration, definition, and scientific knowledge. The demonstration is distinguished as a syllogism productive of scientific knowledge, while the definition marked as the statement of a thing's nature, ... a statement of the meaning of the name, or of an equivalent nominal formula. In the Prior Analytics, syllogistic logic is considered in its formal aspect; in the Posterior it is considered in respect of its matter.
Validity (logic)
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas (also called wffs or simply formulas).
Peripatetic school
The Peripatetic school was a philosophical school founded in 335 BC by Aristotle in the Lyceum in Ancient Athens. It was an informal institution whose members conducted philosophical and scientific inquiries. After the middle of the 3rd century BC, the school fell into decline, and it was not until the Roman Empire that there was a revival. The term peripatetic is a transliteration of the ancient Greek word περιπατητικός (peripatētikós), which means "of walking" or "given to walking about".
Logical form
In logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
Syllogism
A syllogism (συλλογισμός, syllogismos, 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BC book Prior Analytics), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across.
Formal fallacy
In logic and philosophy, a formal fallacy, deductive fallacy, logical fallacy or non sequitur (ˌnɒn_ˈsɛkwɪtər; Latin for "[it] does not follow") is a pattern of reasoning rendered invalid by a flaw in its logical structure that can neatly be expressed in a standard logic system, for example propositional logic. It is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion. Thus, a formal fallacy is a fallacy where deduction goes wrong, and is no longer a logical process.
A priori and a posteriori
A priori ("from the earlier") and a posteriori ("from the later") are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies, and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge. The terms originate from the analytic methods found in Organon, a collection of works by Aristotle.
Boethius
Anicius Manlius Severinus Boethius, commonly known as Boethius (boʊˈiːθiəs; Latin: Boetius; 480–524 AD), was a Roman senator, consul, magister officiorum, historian, and philosopher of the Early Middle Ages. He was a central figure in the translation of the Greek classics into Latin, a precursor to the Scholastic movement, and, along with Cassiodorus, one of the two leading Christian scholars of the 6th century. The local cult of Boethius in the Diocese of Pavia was sanctioned by the Sacred Congregation of Rites in 1883, confirming the diocese's custom of honouring him on the 23 October.
Aristotle
Aristotle (ˈærᵻstɒtəl; Ἀριστοτέλης Aristotélēs, aristotélɛːs; 384–322 BC) was an Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology and the arts. As the founder of the Peripatetic school of philosophy in the Lyceum in Athens, he began the wider Aristotelian tradition that followed, which set the groundwork for the development of modern science. Little is known about Aristotle's life.