Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
edited by Hugues Leblanc.
Amsterdam : North-Holland, 1973.
317 págs. ; 23 cm.
Serie: Studies in logic and the foundations of mathematics ; v. 68
La conferencia se realizó el 29 y 30 de diciembre de 1970, auspiciada por el College of Liberal Arts of Temple University y la Association for Symbolic Logic.
Incluye referencias bibliográficas.
Reseña: MathSciNet, 49 #7113
Contenido
- Hugues Leblanc, Semantic deviations
- Nuel D. Belnap, Jr. and Dorothy L. Grover, Quantifying in and out of quotes
- Nuel D. Belnap, Jr., Restricted quantification and conditional assertion
- Donald Davidson, In defense of convention $T$
- J. Michael Dunn, A truth value semantics for modal logic
- Dorothy L. Grover, Propositional quantification and quotation contexts
- Leon Henkin, Internal semantics and algebraic logic
- Jaakko Hintikka, Surface semantics: definition and its motivation
- Hugues Leblanc and George Weaver, Truth-functionality and the ramified theory of types
- Robert K. Meyer, Intuitionism, entailment, negation
- Richard Routley and Robert K. Meyer, The semantics of entailment
- Dana S. Scott, Background to formalization
- Raymond M. Smullyan, A generalization of intuitionistic and modal logics
- Richmond H. Thomason, Philosophy and formal semantics
- George Weaver, Logical consequence in modal logic: alternative semantic systems for normal modal logics.