The Semantic Foundations of Logic
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (1994)
This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation and supplemented by many exercises, this volume will be invaluable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formal reasoning.
|Keywords||Logic Logic, Symbolic and mathematical Semantics|
|Categories||categorize this paper)|
|Buy the book||$12.99 used (83% off) $55.00 new (27% off) Amazon page|
|Call number||BC71.E57 1994|
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
Michael Baumgartner & Timm Lampert (2008). Adequate Formalization. Synthese 164 (1):93-115.
Michael Baumgartner (2013). Exhibiting Interpretational and Representational Validity. Synthese (7):1-25.
Michael Baumgartner (2010). Shallow Analysis and the Slingshot Argument. Journal of Philosophical Logic 39 (5):531-556.
Similar books and articles
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Greg Restall (2005). Logic: An Introduction. Routledge.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.
Added to index2009-01-28
Total downloads4 ( #532,787 of 1,790,219 )
Recent downloads (6 months)1 ( #427,637 of 1,790,219 )
How can I increase my downloads?