Proofs and Models in Philosophical Logic

by Greg Restall

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...

• Format: Paperback
• Language: English
• ISBN: 1009045385
• ISBN13: 9781009045384
• Release Date: April 2022
• Publisher: Cambridge University Press
• Length: 75 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"