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||$168.93 used $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.
Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2013). Completeness in Hybrid Type Theory. Journal of Philosophical Logic (2-3):1-30.
Jeffrey Ketland (2011). Identity and Indiscernibility. Review of Symbolic Logic 4 (2):171-185.
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.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Vilém Novák (1987). First-Order Fuzzy Logic. Studia Logica 46 (1):87 - 109.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Added to index2009-01-28
Total downloads46 ( #40,553 of 1,169,326 )
Recent downloads (6 months)1 ( #140,419 of 1,169,326 )
How can I increase my downloads?