The place of syllogistic in logical theory
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 He...
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Nottingham University Press
1980
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/1547/ |
| _version_ | 1848790627283632128 |
|---|---|
| author | Clark, Michael |
| author_facet | Clark, Michael |
| author_sort | Clark, Michael |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:15:37Z |
| format | Book |
| id | nottingham-1547 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:15:37Z |
| publishDate | 1980 |
| publisher | Nottingham University Press |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-15472020-05-04T20:34:12Z https://eprints.nottingham.ac.uk/1547/ The place of syllogistic in logical theory Clark, Michael 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. Nottingham University Press 1980 Book PeerReviewed Clark, Michael (1980) The place of syllogistic in logical theory. University of Nottingham monographs in the humanities, 1 . Nottingham University Press, Nottingham. ISBN 0900592590 Syllogism Logic Proposition Predicate |
| spellingShingle | Syllogism Logic Proposition Predicate Clark, Michael The place of syllogistic in logical theory |
| title | The place of syllogistic in logical theory |
| title_full | The place of syllogistic in logical theory |
| title_fullStr | The place of syllogistic in logical theory |
| title_full_unstemmed | The place of syllogistic in logical theory |
| title_short | The place of syllogistic in logical theory |
| title_sort | place of syllogistic in logical theory |
| topic | Syllogism Logic Proposition Predicate |
| url | https://eprints.nottingham.ac.uk/1547/ |