|
Conference on Alternative Semantics (1970 : Temple University)
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc.
— Amsterdam : North-Holland, 1973. 317 p. ; 23 cm. — (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.
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.
|