Restall, Greg
Proofs and Models in Philosophical Logic (Elements in Philosophy and Logic)
- ISBN 13:
- 9781009045384
- author:
- Restall, Greg
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2022
- Pages:
- 75
- Dimensions:
- 22.8 x 15.2 x 0.6 centimetres (0
- Genre:
- Nonfiction, Philosophy, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Introducing "Proofs and Models in Philosophical Logic" by Greg Restall, a comprehensive exploration of recent work in philosophical logic.
This Element delves into the semantic paradoxes, including the sorites paradox, and introduces various proof systems and models for different logics, such as classical, intuitionistic, three-valued, four-valued, and substructural logics. It also examines the structural rules that govern paradoxical derivations.
Restall's work provides a detailed analysis of model theoretic treatments of paradoxes, including a simple fixed-point model construction that generates three-valued models for theories of truth. The Element concludes by discussing the relationship between proofs and models, highlighting their respective roles in philosophical and logical inquiry.
Related Products
Related Products
From a Logical Point of View Nine Logical Philosophical Essays Rev (Paper)
Quine, WV
Tractatus Logico Philosophicus
Wittgenstein, Ludwig
Tractatus Logico-Philosophicus (Oxford World's Classics)
Clarke, Rosie
Paradise Logic
Sophie Kemp
Logic with Trees: Introduction to Symbolic Logic
Howson, Colin