Proofs and Models in Philosophical Logic
Part of Elements in Philosophy and Logic
- Author: Greg Restall, University of St Andrews, Scotland
- Date Published: April 2022
- availability: Not yet published - available from October 2024
- format: Paperback
- isbn: 9781009045384
$
22.00
Paperback
Other available formats:
eBook
Looking for an inspection copy?
This title is not currently available for inspection. However, if you are interested in the title for your course we can consider offering an inspection copy. To register your interest please contact [email protected] providing details of the course you are teaching.
-
This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces and motivates different proof systems and different kinds of models for a range of logics, including classical logic, intuitionistic logic, a range of three-valued and four-valued logics, and substructural logics. It also compares and contrasts the different approaches to substructural treatments of the paradox, showing how the structural rules of contraction, cut and identity feature in paradoxical derivations. It then introduces model theoretic treatments of the paradoxes, including a simple fixed-point model construction which generates three-valued models for theories of truth, which can provide models for a range of different non-classical logics. The Element closes with a discussion of the relationship between proofs and models, arguing that both have their place in the philosophers' and logicians' toolkits.
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: April 2022
- format: Paperback
- isbn: 9781009045384
- length: 75 pages
- dimensions: 228 x 152 x 6 mm
- weight: 0.16kg
- availability: Not yet published - available from October 2024
Table of Contents
1. Context
2. Proofs
3. Models
4. Connections.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×