The Semantic Foundations of Logic
Graduate studies at Western
Oxford University Press (1994)
|Abstract||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||$9.07 used (88% off) $55.00 new (27% off) Amazon page|
|Call number||BC71.E57 1994|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Greg Restall (2005). Logic: An Introduction. Routledge.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Added to index2009-01-28
Total downloads3 ( #213,863 of 739,656 )
Recent downloads (6 months)0
How can I increase my downloads?