- 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
Classical Logic I: First‐Order Logic
In Lou Goble, The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 9–32 (2001)
Abstract
In its first meaning, a logic is a collection of closely related artificial languages. There are certain languages called first‐order languages, and together they form first‐order logic. In the same spirit, there are several closely related languages called modal languages, and together they form modal logic. Likewise second‐order logic, deontic logic and so forth.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
An interpretation of “finite” modal first-order languages in classical second-order languages.Scott K. Lehmann - 1976 - Journal of Symbolic Logic 41 (2):337-340.
From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
Classical Logic.Kazem Sadegh-Zadeh - 2011 - In Handbook of Analytic Philosophy of Medicine. Dordrecht, Heidelberg, New York, London: Springer.
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Quantifiers.Dag Westerståhl - 2001 - In Lou Goble, The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 437–460.
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language.Kai F. Wehmeier - 2021 - Erkenntnis 88 (1):193-213.
Hauptsatz for higher-order modal logic.Hirokazu Nishimura - 1983 - Journal of Symbolic Logic 48 (3):744-751.
Strongly Millian Second-Order Modal Logics.Bruno Jacinto - 2017 - Review of Symbolic Logic 10 (3):397-454.
Analytics
Added to PP
2014-01-31
Downloads
66 (#332,918)
6 months
7 (#469,699)
2014-01-31
Downloads
66 (#332,918)
6 months
7 (#469,699)
Historical graph of downloads
Author's Profile
Citations of this work
An Objection to Naturalism and Atheism from Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy, A Companion to Atheism and Philosophy. Hoboken: Blackwell. pp. 451-475.
Handbook of Logical Thought in India.Sundar Sarukkai & Mihir Chakraborty (eds.) - 2018 - New Delhi, India: Springer.
References found in this work
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
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-8567d8d854-zpjm8 dc2