Proofs and models in philosophical logic /
Restall, Greg,1969-author.
Includes bibliographical references.
Cover -- Tilte Page -- Coypright Page -- Proofs and Models in Philosophical Logic -- Contents -- 1 Context -- 1.1 Proofs and Models -- 1.2 Paradoxes -- Example 1: The liar paradox -- Example 2: The sorites paradox -- 1.3 The Plan -- 2 Proofs -- 2.1 Proof Structures -- 2.2 Inference Rules as Definitions -- 2.3 Structural Rules -- 2.4 Other Proof Structures -- 3 Models -- 3.1 Two Truth Values -- 3.2 Beyond Two Truth Values -- 3.3 Worlds: Possible and Impossible -- 4 Connections -- 4.1 Soundness and Completeness -- 4.2 Paradoxes, Proofs and Models -- 4.3 Where to, from Here?
Logic.
Logic.