David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford, Clarendon Press (1962)
This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.
|Categories||categorize this paper)|
|Buy the book||$20.68 used $105.73 new Amazon page|
|Call number||BC108.P8 1962|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
B. Jack Copeland (2006). Meredith, Prior, and the History of Possible Worlds Semantics. Synthese 150 (3):373 - 397.
A. N. Prior (2012). The Logic of Obligation and the Obligations of the Logician. Synthese 188 (3):423-448.
Peter Milne (2010). Subformula and Separation Properties in Natural Deduction Via Small Kripke Models. Review of Symbolic Logic 3 (2):175-227.
Kosta Došen (1981). A Reduction of Classical Propositional Logic to the Conjunction-Negation Fragment of an Intuitionistic Relevant Logic. Journal of Philosophical Logic 10 (4):399 - 408.
M. J. Cresswell (1970). Classical intensional logics. Theoria 36 (3):347-372.
Similar books and articles
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
John MacFarlane (2000). What Does It Mean to Say That Logic is Formal? Dissertation, University of Pittsburgh
Peter Smith (2003). An Introduction to Formal Logic. Cambridge University Press.
T. Achourioti & M. van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. Review of Symbolic Logic 4 (2):254-289.
C. Stephen Layman (2001). The Power of Logic. Mayfield Pub..
Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Added to index2009-09-15
Total downloads19 ( #102,285 of 1,679,387 )
Recent downloads (6 months)11 ( #21,130 of 1,679,387 )
How can I increase my downloads?