Bell, John L.
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
- ISBN 13:
- 9781108986908
- author:
- Bell, John L.
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2022
- Pages:
- 75
- Dimensions:
- 22.8 x 15.2 x 0.5 centimetres (0
- Genre:
- Nonfiction, Philosophy, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
This comprehensive introduction to higher-order logic and type theory explores the foundations of mathematical reasoning. It begins by examining classical second-order logic, highlighting its differences from first-order logic, before delving into the concept of types and their role in shaping logical systems.
The book then examines the origins and nature of type theory, tracing its connections to set theory, as well as introducing Local Set Theory, a form of type theory based on intuitionistic logic. Contemporary forms of type theory are also discussed, all of which rely on the 'doctrine of propositions as types'.
A detailed appendix provides an outline of the semantics for Local Set Theory, using category theory to underpin its logical framework.
Related Products
Related Products
A Philosophical Introduction to Higher Order Logics
Bacon, Andrew
Proofs and Models in Philosophical Logic (Elements in Philosophy and Logic)
Restall, Greg
Propositional Quantifiers (Elements in Philosophy and Logic)
Peter
Logic for Philosophy
Sider, Theodore
Philosophy of Logic
Quine, WV