The history of logic deals with the study of the development of the science of valid inference (logic). 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.Boehner p. xiv The Stoics, especially Chrysippus, began the development of predicate logic.
Christian and Islamic philosophers such as Boethius (died 524), Avicenna (died 1037), Thomas Aquinas (died 1274) and William of Ockham (died 1347) further developed Aristotle's logic in the Middle Ages, reaching a high point in the mid-fourteenth century, with Jean Buridan. The period between the fourteenth century and the beginning of the nineteenth century saw largely decline and neglect, and at least one historian of logic regards this time as barren.Oxford Companion p. 498; Bochenski, Part I Introduction, passim Empirical methods ruled the day, as evidenced by Sir Francis Bacon's Novum Organon of 1620.
Logic revived in the mid-nineteenth century, at the beginning of a revolutionary period when the subject developed into a rigorous and formal discipline which took as its exemplar the exact method of proof used in mathematics, a hearkening back to the Greek tradition. The development of the modern "symbolic" or "mathematical" logic during this period by the likes of Boole, Frege, Russell, and Peano is the most significant in the two-thousand-year history of logic, and is arguably one of the most important and remarkable events in human intellectual history.Oxford Companion p. 500
Progress in mathematical logic in the first few decades of the twentieth century, particularly arising from the work of Gödel and Tarski, had a significant impact on analytic philosophy and philosophical logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic.
Logic in India
Hindu logic
Origin The Nasadiya Sukta of the Rigveda (RV 10.129) contains ontological speculation in terms of various logical divisions that were later recast formally as the four circles of catuskoti: "A", "not A", "A and 'not A, and "not A and not not A".
Logic began independently in ancient India and continued to develop to early modern times without any known influence from Greek logic.Bochenski p. 446
Before Gautama Though the origins in India of public debate (pariṣad), one form of rational inquiry, are not clear, we know that public debates were common in preclassical India, for they are frequently alluded to in various Upaniṣads and in the early Buddhist literature. Public debate is not the only form of public deliberations in preclassical India. Assemblies (pariṣad or sabhā) of various sorts, comprising relevant experts, were regularly convened to deliberate on a variety of matters, including administrative, legal and religious matters.
Dattatreya A philosopher named Dattatreya is stated in the Bhagavata Purana to have taught Anviksiki to Aiarka, Prahlada and others. It appears from the Markandeya purana that the Anviksiki-vidya expounded by him consisted of a mere disquisition on soul in accordance with the yoga philosophy. Dattatreya expounded the philosophical side of Anviksiki and not its logical aspect.
Medhatithi Gautama While the teachers mentioned before dealt with some particular topics of Anviksiki, the credit of founding the Anviksiki in its special sense of a science is to be attributed to Medhatithi Gautama (c. 6th century BC). Guatama founded the anviksiki school of logic.S. C. Vidyabhusana (1971). A History of Indian Logic: Ancient, Mediaeval, and Modern Schools, pp. 17–21. The Mahabharata (12.173.45), around the 5th century BC, refers to the anviksiki and tarka schools of logic.
Panini (c. 5th century BC) developed a form of logic (to which Boolean logic has some similarities) for his formulation of Sanskrit grammar. Logic is described by Chanakya (c. 350–283 BC) in his Arthashastra as an independent field of inquiry.R. P. Kangle (1986). The Kautiliya Arthashastra (1.2.11). Motilal Banarsidass.
Nyaya-Vaisheshika
Two of the six Indian schools of thought deal with logic: Nyaya and Vaisheshika. The Nyāya Sūtras of Aksapada Gautama (c. 2nd century AD) constitute the core texts of the Nyaya school, one of the six orthodox schools of Hindu philosophy. This realist school developed a rigid five-member schema of inference involving an initial premise, a reason, an example, an application, and a conclusion.Bochenski p. 417 and passim The idealist Buddhist philosophy became the chief opponent to the Naiyayikas.
Jain logic
Jains made its own unique contribution to this mainstream development of logic by also occupying itself with the basic epistemological issues, namely, with those concerning the nature of knowledge, how knowledge is derived, and in what way knowledge can be said to be reliable.
The Jains have doctrines of relativity used for logic and reasoning:
Anekāntavāda – the theory of relative pluralism or manifoldness; Syādvāda – the theory of conditioned predication and; Nayavāda – The theory of partial standpoints.
These concepts in Jain philosophy made important contributions to the thought, especially in the areas of skepticism and relativity.
Buddhist logic
Nagarjuna Nagarjuna (c. 150–250 AD), the founder of the Madhyamaka ("Middle Way") developed an analysis known as the catuṣkoṭi (Sanskrit), a "four-cornered" system of argumentation that involves the systematic examination and rejection of each of the four possibilities of a proposition, P: P; that is, being. not P; that is, not being. P and not P; that is, being and not being. not (P or not P); that is, neither being nor not being.
Dignaga However, Dignāga (c 480–540 AD) is sometimes said to have developed a formal syllogism,Bochenski pp. 431–437 and it was through him and his successor, Dharmakirti, that Buddhist logic reached its height; it is contested whether their analysis actually constitutes a formal syllogistic system. In particular, their analysis centered on the definition of an inference-warranting relation, "vyapti", also known as invariable concomitance or pervasion. To this end, a doctrine known as "apoha" or differentiation was developed.Bochenksi p. 441 This involved what might be called inclusion and exclusion of defining properties.
Dignāga's famous "wheel of reason" (Hetucakra) is a method of indicating when one thing (such as smoke) can be taken as an invariable sign of another thing (like fire), but the inference is often inductive and based on past observation. Matilal remarks that Dignāga's analysis is much like John Stuart Mill's Joint Method of Agreement and Difference, which is inductive.Matilal, 17
Logic in China
In China, a contemporary of Confucius, Mozi, "Master Mo", is credited with founding the Mohist school, whose canons dealt with issues relating to valid inference and the conditions of correct conclusions. In particular, one of the schools that grew out of Mohism, the Logicians, are credited by some scholars for their early investigation of formal logic. Due to the harsh rule of Legalism in the subsequent Qin dynasty, this line of investigation disappeared in China until the introduction of Indian philosophy by Buddhists.
Logic in the ancient Mediterranean
Prehistory of logic Valid reasoning has been employed in all periods of human history. However, logic studies the principles of valid reasoning, inference and demonstration. It is probable that the idea of demonstrating a conclusion first arose in connection with geometry, which originally meant the same as "land measurement".Kneale, p. 2 The ancient Egyptians discovered geometry, including the formula for the volume of a truncated pyramid.Kneale p. 3 Ancient Babylon was also skilled in mathematics. Esagil-kin-apli's medical Diagnostic Handbook in the 11th century BC was based on a logical set of axioms and assumptions,H. F. J. Horstmanshoff, Marten Stol, Cornelis Tilburg (2004), Magic and Rationality in Ancient Near Eastern and Graeco-Roman Medicine, p. 99, Brill Publishers, . while Babylonian astronomers in the 8th and 7th centuries BC employed an internal logic within their predictive planetary systems, an important contribution to the philosophy of science.D. Brown (2000), Mesopotamian Planetary Astronomy-Astrology , Styx Publications, .
Ancient Greece before Aristotle While the ancient Egyptians empirically discovered some truths of geometry, the great achievement of the ancient Greeks was to replace empirical methods by demonstrative proof. Both Thales and Pythagoras of the Pre-Socratic philosophers seemed aware of geometric methods.
Fragments of early proofs are preserved in the works of Plato and Aristotle,Heath, Mathematics in Aristotle, cited in Kneale, p. 5 and the idea of a deductive system was probably known in the Pythagorean school and the Platonic Academy. The proofs of Euclid of Alexandria are a paradigm of Greek geometry. The three basic principles of geometry are as follows:
Certain propositions must be accepted as true without demonstration; such a proposition is known as an axiom of geometry. Every proposition that is not an axiom of geometry must be demonstrated as following from the axioms of geometry; such a demonstration is known as a proof or a "derivation" of the proposition. The proof must be formal; that is, the derivation of the proposition must be independent of the particular subject matter in question. Further evidence that early Greek thinkers were concerned with the principles of reasoning is found in the fragment called dissoi logoi, probably written at the beginning of the fourth century BC. This is part of a protracted debate about truth and falsity.Kneale, p. 16 In the case of the classical Greek city-states, interest in argumentation was also stimulated by the activities of the Rhetoricians or Orators and the Sophists, who used arguments to defend or attack a thesis, both in legal and political contexts.
Thales It is said Thales, most widely regarded as the first philosopher in the Greek tradition,Aristotle, Metaphysics Alpha, 983b18. measured the height of the pyramids by their shadows at the moment when his own shadow was equal to his height. Thales was said to have had a sacrifice in celebration of discovering Thales' theorem just as Pythagoras had the Pythagorean theorem.T. Patronis & D. Patsopoulos
Thales is the first known individual to use deductive reasoning applied to geometry, by deriving four corollaries to his theorem, and the first known individual to whom a mathematical discovery has been attributed. Indian and Babylonian mathematicians knew his theorem for special cases before he proved it.de Laet, Siegfried J. (1996). History of Humanity: Scientific and Cultural Development. UNESCO, Volume 3, p. 14. It is believed that Thales learned that an angle inscribed in a semicircle is a right angle during his travels to Babylon.Boyer, Carl B. and Merzbach, Uta C. (2010). A History of Mathematics. John Wiley and Sons, Chapter IV.
Pythagoras
Before 520 BC, on one of his visits to Egypt or Greece, Pythagoras might have met the c. 54 years older Thales.C. B. Boyer (1968) The systematic study of proof seems to have begun with the school of Pythagoras (i. e. the Pythagoreans) in the late sixth century BC. Indeed, the Pythagoreans, believing all was number, are the first philosophers to emphasize form rather than matter.
Heraclitus and Parmenides The writing of Heraclitus (c. 535 – c. 475 BC) was the first place where the word logos was given special attention in ancient Greek philosophy,F.E. Peters, Greek Philosophical Terms, New York University Press, 1967. Heraclitus held that everything changes and all was fire and conflicting opposites, seemingly unified only by this Logos. He is known for his obscure sayings.