Foundations of Logic and Linguistics: Problems and Their Solutions
168.16 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10371579
Beschreibung
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.
Eigenschaften
Breite: | 155 |
Höhe: | 235 |
Seiten: | 715 |
Sprachen: | Englisch |
Autor: | Georg Dorn, Paul Weingartner |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen