Search results
Results from the WOW.Com Content Network
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the Peripatetics. It was revived after the third century CE by Porphyry's Isagoge.
Organon Roman copy in marble of a Greek bronze bust of Aristotle by Lysippos, c. 330 BC, with modern alabaster mantle. The Organon (Ancient Greek: Ὄργανον, meaning "instrument, tool, organ") is the standard collection of Aristotle's six works on logical analysis and dialectic.
Aristotelianism (/ ˌ ær ɪ s t ə ˈ t iː l i ə n ɪ z əm / ARR-i-stə-TEE-lee-ə-niz-əm) is a philosophical tradition inspired by the work of Aristotle, usually characterized by deductive logic and an analytic inductive method in the study of natural philosophy and metaphysics.
Aristotle has been regarded as the first scientist. [171] [172] Among countless other achievements, Aristotle was the founder of formal logic, [173] pioneered the study of zoology, and left every future scientist and philosopher in his debt through his contributions to the scientific method.
The Isagoge (Greek: Εἰσαγωγή, Eisagōgḗ; / ˈ aɪ s ə ɡ oʊ dʒ iː /) or "Introduction" to Aristotle's "Categories", written by Porphyry in Greek and translated into Latin by Boethius, was the standard textbook on logic for at least a millennium after his death.
A form of deductive reasoning in Aristotelian logic consisting of three categorical propositions that involve three terms and deduce a conclusion from two premises. category In mathematics and logic, a collection of objects and morphisms between them that satisfies certain axioms, fundamental to category theory. category theory
These principles correspond roughly to a valid argument form known as universal hypothetical syllogism in first-order predicate logic. Nevertheless, Aristotelean syllogistic does not employ the formal machinery of first-order quantification. This by itself accounts for why it is incorrect to identify Dictum de omni as universal instantiation ...
The system is also useful in the analysis of syllogistic logic, serving to identify the allowed logical conversions from one type to another. In the 19th and 20th centuries, other triangles were proposed, including Nicolai A. Vasiliev 's triangle, [ 1 ] the Jespersenian Triangle, Ginzberg’s triangle of contraries and Sir William Hamilton’s ...