The semantic foundations of logic

New York: Oxford University Press (1994)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

First steps in modal logic.Sally Popkorn - 1994 - New York: Cambridge University Press.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Modern logic: a text in elementary symbolic logic.Graeme Forbes - 1994 - New York: Oxford University Press.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.

Analytics

Added to PP
2009-01-28

Downloads
36 (#446,328)

6 months
12 (#220,388)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Synonymous logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.

View all 29 citations / Add more citations

References found in this work

No references found.

Add more references