Shapiro, Stewart
Classical First-Order Logic (Elements in Philosophy and Logic)
- ISBN 13:
- 9781108987004
- author:
- Shapiro, Stewart
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2022
- Pages:
- 80
- Dimensions:
- 22.9 x 15.2 x 0.4 centimetres (0
- Genre:
- Nonfiction, Philosophy, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Understanding logical reasoning is essential for effective thinking and problem-solving. First-order classical logic is one commonly used system to achieve this.
This Element explores the basics of first-order classical logic, including its language, proof theory, model theory, and meta-theory. The authors develop a comprehensive framework for the system, providing key theorems such as unique readability and the Lindenbaum lemma.
It also compares first-order classical logic to other systems, examining its relationships with higher order logic, intuitionistic logic, and paraconsistent logics. This Element provides a thorough introduction to the subject, making it an ideal resource for those interested in philosophy and logic.
Related Products
Related Products
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Bell, John L.
Temporal Logics (Elements in Philosophy and Logic)
Goranko, Valentin
Proofs and Models in Philosophical Logic (Elements in Philosophy and Logic)
Restall, Greg
First-Order Logic: A Concise Introduction
Heil, John
Set Theory (Elements in Philosophy and Logic)
Burgess, John P.