دانلود کتاب Formal Semantics and Logic

فهرست مطالب :

Contents
Preface (1971)
Introduction: Aim and Structure of Logical Theory
Mathematical Preliminaries
Intuitive Logic and Set Theory
Mathematical Structures
Partial Order and Trees
Mathematical Induction
Algorithms
Structure of Formal Languages
Logical Grammar
Syntactic Systems
Semantic Concepts
Valuation Space of a Language
Semantic Entailment and Axiomatizability
Theory of Deductive Systems
System Complementation and Axiomatizability
Filters and the Compactness Problem
Ultraproducts and the Compactness Problem
Partial Valuations and the Compactness Problem
Appraisal of Logical Systems
Logical Systems
Classical Propositional Logic: Axiomatics
Classical Propositional Logic: Soundness and Completeness
Interpretations of Logical Systems
Interpretation Through Matrices
Interpretation Through Supervaluations
Classical Quantification and Identity Theory
Syntax of Quantifier Languages
Axiomatics of Quantificational Logic
Referential Interpretation: Models
Soundness and Completeness Theorems
Compactness and Countable Models
Elementary Relations Among Models
Löwenheim–Skolem Theorem
Deductive Theories
Substitution Interpretation
Extensions of Quantificational Logic
Nonclassical Logics
Many-Valued Logics
Substitution and Lindenbaum Algebras
Compactness and Finite Matrices
Modal Logics
Normal Propositional Modal Logics
Transformation Semantics for Modal Logics
Logic of Presuppositions
Presupposition and Semantic Entailment
Policies on Presupposition
Epitheoretic Arguments
Concept of Truth
Truth and Bivalence
Designation of True Sentences
Truth Assertions in General
Appendix A: Completeness of the Calculus of Systems
Appendix B: Topological Matrices
Appendix C: Satisfiability and Semantic Paradoxes
Problems
Solutions to Selected Problems
Indices
Index of Searchable Terms
Index of Unsearchable Terms
Index of Symbols