Fred Sommers’ Contributions to Formal Logic

DOI10.1080/01445340.2016.1186884zbMath1384.03006OpenAlexW2432866249WikidataQ57669598 ScholiaQ57669598MaRDI QIDQ2963964

George Englebretsen

Publication date: 22 February 2017

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2016.1186884

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Predicate-functors and the limits of decidability in logic
• Predication in the logic of terms
• The world, the facts, and primary logic
• Non-classical syllogistic inference and the method of resolution
• The distribution of terms
• Aristotle's syllogistic from the standpoint of modern formal logic
• Predicate functors revisited
• Distributive Terms, Truth, and thePort Royal Logic
• The doctrine of distribution

This page was built for publication: Fred Sommers’ Contributions to Formal Logic