Classical First-Order Logic

Cambridge University Press (2022)
  Copy   BIBTEX

Abstract

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Structured sequent calculi for combining intuitionistic and classical first-order logic.Paqui Lucio - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 88--104.
Svojstva klasične logike [Properties of Classical Logic].Srećko Kovač - 2013 - Zagreb: Hrvatski studiji Sveučilišta u Zagrebu.
A Logic for Trial and Error Classifiers.Martin Kaså - 2015 - Journal of Logic, Language and Information 24 (3):307-322.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Thomas McKay. Plural predication.John P. Burgess - 2008 - Philosophia Mathematica 16 (1):133-140.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.

Analytics

Added to PP
2021-12-09

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Stewart Shapiro
Ohio State University
Teresa Kouri Kissel
Old Dominion University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references