History of logic - Model Theory, Symbolic Logic, Deductive Reasoning

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

VAN, TURKEY - OCTOBER 25: A building and car ruined during the earthquake of Van-Ercis on October 25, 2011 in Van, Turkey. It is 604 killed and 4152 injured in Van-Ercis Earthquake.

What Is an Aftershock?

earthquake. Heavily damaged school in the town of Yingxiu after a major earthquake struck China's Sichuan Province on May 12, 2008.

The 6 Deadliest Earthquakes Since 1950

Julius Caesar in full Gaius Julius Caesar (100? BCE-44 BCE) statue in Rimini, Italy. Roman general and statesman and dictator

The Time Julius Caesar Was Captured by Pirates

Aphrodite. Greek mythology. Sculpture. Aphrodite is the Greek goddess of love and beauty.

12 Greek Gods and Goddesses

solar eclipse, sun, moon, astronomy, space

How Do You Tell the Difference Between Total, Annular, Solar, and Lunar Eclipses?

The Sun Was Eaten: 6 Ways Cultures Have Explained Eclipses

After a perfect launch, spectators try to catch a last glimpse of Space Shuttle Columbia, barely visible at the top end of the twisted column of smoke.

7 Accidents and Disasters in Spaceflight History

Results such as those obtained by Gödel and Skolem were unmistakably semantic—or, as most logicians would prefer to say, model-theoretic. Yet no general theory of logical semantics was developed for some time. The German-born philosopher Rudolf Carnap tried to present a systematic theory of semantics in Logische Syntax der Sprache (1934; The Logical Syntax of Language), Introduction to Semantics (1942), and Meaning and Necessity (1947). His work nevertheless received sharp philosophical criticism, especially from Quine, which discouraged other logicians from pursuing Carnap’s approach. The early architects of what is now called model theory were Tarski and the German-born mathematician Abraham ...(100 of 27062 words)

Access the full article

Help support true facts by becoming a member.