MPG.eBooks - Table of Contents: Truth, syntax and modality

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Leblanc, Hugues
Corporate Authors:	Conference on Alternative Semantics (1970, Temple University), Temple University College of Liberal Arts (1957-1983), Association for Symbolic Logic
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland 1973, 1973
Series:	Studies in logic and the foundations of mathematics
Subjects:	Logic, Symbolic And Mathematical / Fast / (ocolc)fst01002068 Logic, Symbolic And Mathematical / Congresses Semantics / Congresses Logica Matematica / Larpcal Logique Symbolique Et Mathématique / Congrès Sémantique / Congrès Mathematics / General / Bisacsh Semantics / Fast / (ocolc)fst01112079
Online Access:	https://www.sciencedirect.com/science/bookseries/0...
Collection:	Elsevier eBook collection Mathematics - Collection details see MPG.ReNa

Table of Contents:

Chapter 11. The Semantics of EntailmentChapter 12. Background to Formalization; Chapter 13. A Generalization of Intuitionistic and Modal Logics; Chapter 14. Philosophy and Formal Semantics; Chapter 15. Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics
Front Cover; Truth, Syntax and Modality; Copyright Page; Contents; Foreword; Chapter 1. Semantic Deviations; Chapter 2. Quantifying in and out of Quotes; Chapter 3. Restricted Quantification and Conditional Assertion; Chapter 4. In Defense of Convention; Chapter 5. A Truth Value Semantics for Modal Logic; Chapter 6. Propositional Quantification and Quotation Contexts; Chapter 7. Internal Semantics and Algebraic Logic; Chapter 8. Surface Semantics: Definition and Its Motivation; Chapter 9. Truth-Functionality and the Ramified Theory of Types; Chapter 10. Intuitionism, Entailment
Includes bibliographical references