Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /

Guardado en:
Autores Corporativos: Conference on Alternative Semantics Temple University), Temple University. College of Liberal Arts., Association for Symbolic Logic.
Otros Autores: Leblanc, Hugues, 1924- (Editor )
Formato: Libro
Idioma:English
Publicado: Amsterdam : North-Holland, 1973.
Series:Studies in logic and the foundations of mathematics ; v. 68
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Tabla de Contenidos:
  • 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.