The place of syllogistic in logical theory
Clark, Michael (1980) The place of syllogistic in logical theory. University of Nottingham monographs in the humanities, 1 . Nottingham University Press, Nottingham. ISBN 0900592590
This is the latest version of this item.
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.)
Available Versions of this Item
Actions (Archive Staff Only)