Logic is the study of correct reasoning and inferences. The history of logic shows diverse development reflecting surrounding political and intellectual events such as the Renaissance, the Reformation, the scientific revolution, and the rise and fall of empires. During the Middle Ages, the Sophistic Refutations spurred the development of medieval logic and generated a new logical literature that explored fallacies in theology, physics, and logic. Renaissance writers sometimes denounced scholastic logic, with some praising Aristotle but not his logical theory. However, scholastic logic remained alive, especially in Roman Catholic universities and countries.

When did people first start studying logic?

People first started studying logic in ancient Greece, with roots going back to the 5th century BCE. Though Parmenides used extended arguments, he didn't study argumentation principles. Zeno of Elea, a disciple of Parmenides, used reductio ad absurdum , which suggests his recognition of general patterns. Figures such as Gorgias, Hippias, Prodicus, Protagoras, and Socrates also contributed to the study of logic. Aristotle systematized logic in the West, particularly with his works on words, propositions, and syllogisms. His Prior Analytics focused on syllogisms and identifying reliable inference forms. Aristotle also used schematic letters to identify argument patterns.

Who were some important early thinkers in the history of logic?

Early contributors to logic include Parmenides , who employed extensive argumentation, and his student Zeno of Elea , known for Zeno's Paradoxes and reductio ad absurdum. The Sophists, such as Gorgias , Hippias , and Protagoras , emphasized argumentation, while Socrates focused on definitions and ethics, influencing Plato , who explored language structure. Aristotle systematized logic, establishing rules and strategies for reasoning. The Megarians , including Euclid of Megara , Diodorus Cronus , and Philo of Megara , examined logical puzzles and modal notions, while the Stoics , led by Chrysippus , developed propositional logic.

How did logic change in the Middle Ages?

During the Middle Ages, logic evolved significantly, with major developments in place by the mid-14th century. From approximately the 9th century, Arabic philosophers and, later, Latin philosophers from around the 12th century, developed concepts, principles, and systems of logical argumentation. Key advancements and figures include: * Jean Buridan's Disciples Albert of Saxony and Marsilius of Inghen, who continued to develop the work of their predecessors. * Pierre d’Ailly In 1372, he wrote Conceptus et insolubilia , using mental language theory to address semantic paradoxes. * Paul of Venice The Italian Paul of Venice studied in Oxford and promoted English logic in Italy through his writings, including Logica parva .

What was new about logic in the 19th and 20th centuries?

In the 19th and 20th centuries, logic was reshaped through the use of symbolic techniques, leading to profound changes in its very essence. This era saw logic connecting with mathematics, especially with George Boole 's algebra of logic, now known as Boolean algebra, which is the foundation of digital computer circuits. Developments included propositional logic , which uses connectives like 'and,' 'or,' and 'if...then' to form complex propositions. Predicate logic treated predicates and nouns as basic units, introducing quantifiers to express 'something' or 'everything.' Set theory, developed by Cantor, further refined mathematical language, dealing with membership and equality.

How is logic used in computers and technology today?

Today, logic design is the basic organization of circuitry within a digital computer. All digital computers use a binary system of logic with two values: 1/0, on/off, or yes/no. Boolean algebra is a symbolic system of mathematical logic that expresses relationships between ideas or objects. It is the basis for designing circuits in digital computers. In a Boolean algebra, a set of elements is assessed under two commutative binary operations. Fuzzy logic is also very much present in a number of consumer products, such as in the automatic transmissions of certain automobiles. It is used to sense driving style and engine load in order to select the best gear.

History of logic

Introduction
Origins of logic in the West
- Precursors of ancient logic
- Aristotle
  - Categorical forms
  - Syllogisms
- Theophrastus of Eresus
- The Megarians and the Stoics
- Late representatives of ancient Greek logic
Medieval logic
- Transmission of Greek logic to the Latin West
- Arabic logic
- The revival of logic in Europe
  - St. Anselm and Peter Abelard
  - The “properties of terms” and discussions of fallacies
- Developments in the 13th and early 14th centuries
  - The theory of supposition
  - Developments in modal logic
- Late medieval logic
Modern logic
- The 16th century
- The 17th century
- Leibniz
- The 18th and 19th centuries
  - Gottfried Ploucquet
  - Johann Heinrich Lambert
  - Other 18th-century logicians
  - Boole and De Morgan
  - Charles Sanders Peirce
  - Gottlob Frege
  - Ernst Schröder
  - Georg Cantor
  - Other 19th-century logicians
Logic since 1900
- Propositional and predicate logic
- Principia Mathematica and its aftermath
- Set theory
  - Zermelo-Fraenkel set theory (ZF)
  - The continuum problem and the axiom of constructibility
  - The axiom of choice
  - Problems and new directions
- Theory of logic (metalogic)
- Syntax and proof theory
- Logical semantics and model theory
  - Completeness
  - Gödel’s incompleteness theorems
  - Development of model theory
- Interfaces of proof theory and model theory
- Theory of recursive functions and computability
  - Effective computability
  - The Turing machine
  - Applications of recursive-function theory

References & Edit History Related Topics

Images

Painting by Rembrandt showing Aristotle in rich dark clothing with a gold chain, resting his hand thoughtfully on a marble bust of Homer, illuminated against a dark background.

Marble bust of Marcus Tullius Cicero, shown with short hair and draped clothing, displayed against a black background.

History of logic

Written by

Jaakko J. HintikkaAll

Fact-checked by

Britannica Editors

Last updated

Nov. 1, 2026 •History

Origins of logic in the West

Precursors of ancient logic

There was a medieval tradition according to which the Greek philosopher Parmenides (5th century bce) invented logic while living on a rock in Egypt. The story is pure legend, but it does reflect the fact that Parmenides was the first philosopher to use an extended argument for his views rather than merely proposing a vision of reality. But using arguments is not the same as studying them, and Parmenides never systematically formulated or studied principles of argumentation in their own right. Indeed, there is no evidence that he was even aware of the implicit rules of inference used in presenting his doctrine.

Perhaps Parmenides’ use of argument was inspired by the practice of early Greek mathematics among the Pythagoreans. Thus, it is significant that Parmenides is reported to have had a Pythagorean teacher. But the history of Pythagoreanism in this early period is shrouded in mystery, and it is hard to separate fact from legend.

If Parmenides was not aware of general rules underlying his arguments, the same perhaps is not true for his disciple Zeno of Elea (5th century bce). Zeno was the author of many arguments, known collectively as “Zeno’s Paradoxes,” purporting to infer impossible consequences from a non-Parmenidean view of things and so to refute such a view and indirectly to establish Parmenides’ monist position. The logical strategy of establishing a claim by showing that its opposite leads to absurd consequences is known as reductio ad absurdum. The fact that Zeno’s arguments were all of this form suggests that he recognized and reflected on the general pattern.

Other authors too contributed to a growing Greek interest in inference and proof. Early rhetoricians and Sophists—e.g., Gorgias, Hippias, Prodicus, and Protagoras (all 5th century bce)—cultivated the art of defending or attacking a thesis by means of argument. This concern for the techniques of argument on occasion merely led to verbal displays of debating skills, what Plato called “eristic.” But it is also true that the Sophists were instrumental in bringing argumentation to the central position it came uniquely to hold in Greek thought. The Sophists were, for example, among the first people anywhere to demand that moral claims be justified by reasons.

Certain particular teachings of the Sophists and rhetoricians are significant for the early history of logic. For example, Protagoras is reported to have been the first to distinguish different kinds of sentences: questions, answers, prayers, and injunctions. Prodicus appears to have maintained that no two words can mean exactly the same thing. Accordingly, he devoted much attention to carefully distinguishing and defining the meanings of apparent synonyms, including many ethical terms.

Socrates (c. 470–399 bce) is said to have attended Prodicus’s lectures. Like Prodicus, he pursued the definitions of things, particularly in the realm of ethics and values. These investigations, conducted by means of debate and argument as portrayed in the writings of Plato (428/427–348/347 bce), reinforced Greek interest in argumentation and emphasized the importance of care and rigour in the use of language.

Explore Britannica Premium!

The trusted destination for professionals, college students, and lifelong learners.

Plato continued the work begun by the Sophists and by Socrates. In the Sophist, he distinguished affirmation from negation and made the important distinction between verbs and names (including both nouns and adjectives). He remarked that a complete statement (logos) cannot consist of either a name or a verb alone but requires at least one of each. This observation indicates that the analysis of language had developed to the point of investigating the internal structures of statements, in addition to the relations of statements as a whole to one another. This new development would be raised to a high art by Plato’s pupil Aristotle (384–322 bce).

There are passages in Plato’s writings where he suggests that the practice of argument in the form of dialogue (Platonic “dialectic”) has a larger significance beyond its occasional use to investigate a particular problem. The suggestion is that dialectic is a science in its own right, or perhaps a general method for arriving at scientific conclusions in other fields. These seminal but inconclusive remarks indicate a new level of generality in Greek speculation about reasoning.

History of logic

Origins of logic in the West

Precursors of ancient logic

Thank you for signing up!