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.

[img] PDF (Monograph) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB)

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.

Item Type: Book
Uncontrolled Keywords: Syllogism, Logic, Proposition, Predicate
Schools/Departments: University of Nottingham UK Campus > Faculty of Arts > School of Humanities > Department of Philosophy
Depositing User: Clark, Professor Michael
Date Deposited: 27 Oct 2011 16:12
Last Modified: 27 Oct 2011 16:12
URI: http://eprints.nottingham.ac.uk/id/eprint/1547

Available Versions of this Item

  • The place of syllogistic in logical theory. (deposited 27 Oct 2011 16:12) [Currently Displayed]

Actions (Archive Staff Only)

Edit View Edit View