Truth, Syntax, and Modality

Foreword......Page 4
ToC......Page 5
Leblanc - Semantic Deviations......Page 6
Belnap-Grover - Quantifying in and Out of Quotes......Page 22
Belnap - Restricted Quantification and Conditional Assertion......Page 53
Donald Davidson - In Defense of Convention T......Page 81
Dunn - A Truth Value Semantics for Modal Logic......Page 92
Grover - Propositional Quantification and Quotation Contexts......Page 106
Henkin - Internal Semantics and Algebraic Logic......Page 116
Hintikka - Surface Semantics - Definition and Its Motivation......Page 133
Leblanc-Weaver - Truth-Functionality and the Ramified Theory of Types......Page 153
Meyer - Intuitionism, Entailment, Negation......Page 173
Routley-Meyer - The Semantics of Entailment......Page 204
Scott - Background to Formalization......Page 249
Smullyan - A Generalization of Intuitionistic and Modal Logics......Page 279
Thomason - Philosophy and Formal Semantics......Page 299
Weaver - Logical Consequence in Modal Logic - Alternative Semantic Systems for Normal Modal Logics......Page 313