Proofs and models in philosophical logic /

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

Full description

Bibliographic Details

Main Author:	Restall, Greg, 1969- (Author)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, [2022].
Series:	Cambridge elements. Elements in philosophy and logic.
Subjects:	Logic.