History of logic - Theory of Supposition, Argumentation, Syllogism

history of logic

Table of Contents

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

Rembrandt: Aristotle with a Bust of Homer

Read Next

Spiral Galaxy type Sa-Sb or Sa/Sb in the constellation Virgo. The majestic Sombrero Galaxy Messier 104 (M104) or NGC 4594. The team took six pictures of the galaxy, stitched them together to create the final composite image. Photo from May-June 2003

9 Britannica Articles That Explain the Meaning of Life

Discover

9 of the World’s Deadliest Snakes

Saint Lucia Day. Young girl wears Lucia crown (tinsel halo) with candles. Holds Saint Lucia Day currant laced saffron buns (lussekatter or Lucia's cats). Observed December 13 honor virgin martyr Santa Lucia (St. Lucy). Luciadagen, Christmas, Sweden

7 Winter Solstice Celebrations From Around the World

Stylish light blue jeans on wooden background, closeup of inset pocket

Why Do Jeans Have That Tiny Pocket?

Entrants falling and tumbling over while chasing the cheese at the 2016 'Cheese Rolling' held at Cooper's Hill, in the Cotswolds, Brockworth England

7 of the World’s Most Dangerous Festivals

Facsimile of one of William Henry Ireland's forgeries, a primitive self-portrait of William Shakespeare(tinted engraving). Published for Samuel Ireland, Norfolk Street, Strand, December 1, 1795. (W.H. Ireland, forgery)

The Time a Law Clerk Successfully Forged a New Shakespeare Play to Impress His Dad

Town of Sisimiut located on the coast of the Davis Strait on Kangerluarsunnguaq Bay, Greenland

The Largest Islands in the World

Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics

10 Best Hockey Players of All Time

Many of the characteristically medieval logical doctrines in the Logica moderna centred on the notion of “supposition” (suppositio). Already by the late 12th century, the theory of supposition had begun to form. In the 13th century, special treatises on the topic multiplied. The summulists all discussed it at length. Then, after about 1270, relatively little was heard about it. In France, supposition theory was replaced by a theory of “speculative grammar” or “modism” (so called because it appealed to “modes of signifying”). Modism was not so popular in England, but there too the theory of supposition was largely neglected in ...(100 of 27062 words)

Access the full article

Help support true facts by becoming a member.