David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
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||$59.95 used (53% off) $196.58 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
Christopher Menzel (2015). Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW] Philosophia Mathematica 23 (3):407-428.
Jeffrey Ketland (2006). Structuralism and the Identity of Indiscernibles. Analysis 66 (292):303–315.
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.
Maía Manzano (1997). Alonzo Church:His Life, His Work and Some of His Miracles. History and Philosophy of Logic 18 (4):211-232.
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 downloads53 ( #84,311 of 1,934,424 )
Recent downloads (6 months)4 ( #145,801 of 1,934,424 )
How can I increase my downloads?