Skip to main content

Research Repository

Advanced Search

The place of syllogistic in logical theory

Clark, Michael


Michael Clark


Chapter 1 presents BS, a basic syllogistic system based on Aristotle's logic, in natural deduction form. Chapters 2 and 3 treat the metatheory of BS: consitency, soundness, independence, and completeness. (We show how Aristotle's attempt to show his logic was complete anticipates modern Henkin-style completeness proofs.)
Chapter 4 and 5 deal with syllogistic and, in turn, propositional and predicate logic, chapter 6 is on existential import, chapter 7 on subject and predicate and chapter 8 on classes. Chapter 9 adds negative variables to BS, and proves its soundness and completeness.


Clark, M. (1980). The place of syllogistic in logical theory. Nottingham University Press

Book Type Authored Book
Publication Date Jan 1, 1980
Deposit Date Oct 27, 2011
Publicly Available Date Oct 27, 2011
Peer Reviewed Peer Reviewed
Volume 1
Series Title University of Nottingham monographs in the humanities
ISBN 900592590
Keywords Syllogism, Logic, Proposition, Predicate
Public URL


Downloadable Citations