剧情简介：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 ...(展开全部)
作者：Greg Restall
出版社：Cambridge University Press
ISBN：9781009040457
