David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1996)
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.
|Categories||categorize this paper)|
|Buy the book||$87.29 used (31% off) $2420.43 new Amazon page|
|Call number||QA9.M315 1996|
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
Jeffrey Ketland (2006). Structuralism and the Identity of Indiscernibles. Analysis 66 (292):303–315.
Guillermo E. Rosado Haddock (2010). Some Uses of Logic in Rigorous Philosophy. Axiomathes 20 (2-3):385-398.
Jeffrey Ketland (2011). Identity and Indiscernibility. Review of Symbolic Logic 4 (2):171-185.
Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2013). Completeness in Hybrid Type Theory. Journal of Philosophical Logic (2-3):1-30.
Robert M. Solovay, R. D. Arthan & John Harrison (2012). Some New Results on Decidability for Elementary Algebra and Geometry. Annals of Pure and Applied Logic 163 (12):1765-1802.
Similar books and articles
Peter Koellner (2010). Strong Logics of First and Second Order. Bulletin of Symbolic Logic 16 (1):1-36.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Vilém Novák (1987). First-Order Fuzzy Logic. Studia Logica 46 (1):87 - 109.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Added to index2009-01-28
Total downloads47 ( #43,537 of 1,692,428 )
Recent downloads (6 months)1 ( #184,284 of 1,692,428 )
How can I increase my downloads?