The New SyllogisticGeorge Englebretsen During the last two decades, Fred Sommers has succeded in building a system of logic based on a traditional view of logical syntax. This logic and the algorithm devised for it pose a significant challenge to the established dominant views of Fregean logic. This collection consists of fourteen essays by Sommers, his defenders, and his critics. These essays present the elements of Sommers' «new syllogistic, » explore some of its historical antecedents, examine many of its features in light of the now standard logic, and open new avenues of research by way of extending or modifying many of Sommers' original ideas on syntax, semantics, pronominalization, and truth. |
Contents
The Calculus of Terms | 11 |
DeMorgan and Sommers | 57 |
Back to Leibniz or on from Frege? | 87 |
Copyright | |
8 other sections not shown
Common terms and phrases
actual world affirmation algebra all/some analysis antecedent antilogism argument Aristotle arithmetic Boolean Boolean logic bound pronouns categorical characterize classical logic compound conclusion copula denial denotes derivable distinction domain Englebretsen English equivalent Evans example existence existential expression Formal Logic formula Frege Fregean function functors Geach grammatical identity individual inference interpretation Journal of Formal Leibniz linguistic Logic of Natural logical contrary logical form logical syntax logicians mathematical modern Morgan natural deduction natural language negation negative notation noun occur particular Philosophy phrase Predicate Functors predicate logic predicate position predicate terms premises propositional calculus propositional logic quantification theory Quine Quine's refer relational replace represented Rybaks schedule semantic sentence singular terms Socrates Sommers statement structure subject and predicate subject-predicate superscripts syllogism syllogistic Symbolic syntactic tableau rule term frame term letter term logic term of degree thing tion traditional truth truth-functional universal valid