History of logic - Gottlob Frege, Symbolic Logic, Philosophy

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

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

solar eclipse, sun, moon, astronomy, space

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

In this aerial photo, structures are damaged and destroyed October 15, 2005 in Balakot, Pakistan. It is estimated that 90% of the city of Balakot was leveled by the earthquake. The death toll in the 7.6 magnitude earthquake that struck northern Pakistan on October 8, 2005 is believed to be 38,000 with at least 1,300 more dead in Indian Kashmir. SEE CONTENT NOTES.

6 of the World’s Deadliest Natural Disasters

African Americans demonstrating for voting rights in front of the White House as police and others watch, March 12, 1965. One sign reads, "We demand the right to vote everywhere." Voting Rights Act, civil rights.

Timeline of the American Civil Rights Movement

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

Why Do Jeans Have That Tiny Pocket?

Person paying with a credit card using a credit card terminal. Cashless payment, credit card reader

What Is a Cashless Society and How Does It Work?

Albert Einstein in Washington, D.C. c. 1921-1923. Physicist

The Solar Eclipse That Made Albert Einstein a Science Celebrity

In 1879 the young German mathematician Gottlob Frege—whose mathematical specialty, like Boole’s, had actually been calculus—published perhaps the finest single book on symbolic logic in the 19th century, Begriffsschrift (“Conceptual Notation”). The title was taken from Trendelenburg’s translation of Leibniz’ notion of a characteristic language. Frege’s small volume is a rigorous presentation of what would now be called the first-order predicate logic. It contains a careful use of quantifiers and predicates (although predicates are described as functions, suggestive of the technique of Lambert). It shows no trace of the influence of Boole and little trace of the older German tradition ...(100 of 27062 words)

Access the full article

Help support true facts by becoming a member.