The place of syllogistic in logical theory

Clark, Michael

Abstract

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.

Citation

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: https://nottingham-repository.worktribe.com/output/1025602