Synopsis
Foundations of Logic: Mathematical Logic.- Consequence Relations of 2-element Algebras.- On a Form of Equational Interpolation Property.- Structural Completeness of Purely Implicational Intermediate Logic.- Proof-theoretic Validity and the Completeness of Intuitionistic Logic.- Gentzen-type or Beth-type Systems, Constructive Completeness Proofs and Practical Decision Procedures (with Special Attention to Relevance Logic).- Sequential Calculi for Symmetric Dynamic Logic.- Semantic Games on Finite Trees.- To the Decision Problem for Branching Time Logic.- Reductions of Theories for Analysis.- The Incompleteness Theorems and Related Results for Nonconstructive Theories.- A Typed ?-calculus and Girard's Model of Ptykes.- Wellordering Theorems in Topology.- Foundations of Logic: Philosophical Logic.- Mathematical Logic and Continental Philosophers.- The Non-existence of a Probabilistic Inductive Support.- Unary Probabilistic Semantics.- Epistemic Importance and the Logic of Theory Change.- Le?niewski's Logic and its Relation to Classical and Free Logics.- Foundations of Linguistics: Logic and Language.- Algebraic Models of Categorial Grammars.- On the Interpreted Sense Calculus $SC_\alpha ^v $.- Semantics of Vague Concepts.- Information Semantics and Antinomies.- Interpretative Model for Linguistic Quantifiers.- Homogeneous and Individuated Quantifiers in Natural Language.- A Simple Relevance-criterion for Natural Language and its Semantics.- A Farewell to Entailment.- Foundations of Linguistics: Philosophy of Language.- Dummett's Conception as Theory of Meaning for Hintikka's Type of Game-theoretical Semantics (I) ('Use' and 'Language-game' in Wittgenstein and Dummett).- Indeterminacy of Meaning.- Colors and Languages.- List of Contributors.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
