- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Introduction to Mathematical Logic
New Jersey: World Scientific (2012)
Abstract
A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and completeness -- Why is first order logic "First Order"?Reprint years
2017
Call number
QA9.W334 2012
ISBN(s)
9789814343862 9814343862 981471996X 9814343870 0000988200 9814719951 9789814719957
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The Elements of Mathematical Logic.Paul Charles Rosenbloom - 1950 - New York, NY, USA: New York]Dover Publications.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard W. Kaye - 2007 - Cambridge University Press.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.Peter Bruce Andrews - 1986 - New York, NY, USA: Kluwer Academic Publishers.
What is Mathematical Logic?John Newsome Crossley (ed.) - 1972 - London and New York: Dover Publications.
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Shawn Hedman - 2004 - Oxford, England: Oxford University Press.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Thought and Logic: The Debates Between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century.Jarmo Pulkkinen - 2005 - P. Lang.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford, England: Oxford University Press.
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - Amsterdam, Netherlands: American Elsevier Pub. Co..
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Analytics
Added to PP
2012-07-26
Downloads
104 (#124,225)
6 months
2 (#323,506)
2012-07-26
Downloads
104 (#124,225)
6 months
2 (#323,506)
Historical graph of downloads
Citations of this work
Ambivalence in machine intelligence: the epistemological roots of the Turing Machine.Belen Prado - 2021 - Signos Filosóficos 23 (45):54-73.
Remarks on Logic and Critical Thinking.Mudasir Ahmad Tantray - 2021 - Bilaspur, Chhattisgarh 495001, India: Rudra Publications.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ffd8f9497-z94v9 N