Proofs and models in philosophical logic
Auteur :
Restall, Greg
Éditeur :
Cambridge University Press
ISBN :
9781009045384
Date de publication :
21 avr. 2022
Dimensions :
22,8 x 15,2 x 0,6 cm
Poids :
160 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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 different proof systems and different kinds of models for a range of logics, as well as compares and contrasts the different approaches to substructural treatments of the paradox.