Formal Logic: Its Scope and Limits
Hackett Pub. (2004)
| Abstract | This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility. | |||||||||
| Keywords | First-order logic | |||||||||
| Categories | ||||||||||
| Buy the book | Amazon page | |||||||||
| Call number | BC128.J43 2004 | |||||||||
| ISBN(s) | 0070323577 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesJonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Richard L. Epstein (1994). The Semantic Foundations of Logic. Oxford University Press.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Merrie Bergmann (2003). The Logic Book. Mcgraw-Hill.
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Peter Smith (2003). An Introduction to Formal Logic. Cambridge University Press.
T. Achourioti & M. van Lambalgen (forthcoming). A Formalisation of Kant's Transcendental Logic. Review of Symbolic Logic.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,501 of 549,084 )Recent downloads (6 months)1 ( #63,317 of 549,084 )How can I increase my downloads? |
My notes
Discussion
