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.
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.
The history of logic deals with the study of the development of the science of valid inference ().Formal logics developed in ancient times in India, China, and Greece.Greek methods, particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. [1]
Formal logic (also known as symbolic logic) is widely used in mathematical logic. It uses a formal approach to study reasoning: it replaces concrete expressions with abstract symbols to examine the logical form of arguments independent of their concrete content. In this sense, it is topic-neutral since it is only concerned with the abstract ...
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.
Among the non-logical concepts, an important distinction is between singular terms and predicates. Singular terms stand for objects and predicates stand for properties of or relations between these objects. In this respect, first-order logic differs from traditional Aristotelian logic, which lacked predicates corresponding to relations. [5]
The historian of logic John Corcoran wrote an accessible introduction to Laws of Thought [1] and a point by point comparison of Prior Analytics and Laws of Thought. [2] According to Corcoran, Boole fully accepted and endorsed Aristotle's logic. Boole's goals were “to go under, over, and beyond” Aristotle's logic by:
Modern work on Aristotle's logic builds on the tradition started in 1951 with the establishment by Jan Łukasiewicz of a revolutionary paradigm. His approach was replaced in the early 1970s in a series of papers by John Corcoran and Timothy Smiley [ 8 ] —which inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela ...