Classical First-Order Logic by Stewart Shapiro

Classical First-Order Logic by Stewart Shapiro

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.

Stewart Shapiro graduated from the State University of New York at Buffalo with a MA in mathematics in 1975 and a doctorate in philosophy in 1978. At The Ohio State University, he is currently the O'Donnell Professor of Philosophy. He is the author of Foundations without Foundationalism: a Case for Second-Order Logic (OUP, 1991), Philosophy of Mathematics: Structure and Ontology (OUP, 1997), Vagueness in Context (OUP, 2006), and a textbook in philosophy of mathematics, Thinking about Logic (OUP, 2006).

SKU	Unavailable
ISBN 13	9781108987004
ISBN 10	1108987001
Title	Classical First-Order Logic
Author	Stewart Shapiro
Series	Elements In Philosophy And Logic
Condition	Unavailable
Binding Type	Paperback
Publisher	Cambridge University Press
Year published	2022-05-19
Number of pages	75
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.