Foundations of Logic and Linguistics Problems and Their Solutions
This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2....
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
1985, 1985
|
| Edition: | 1st ed. 1985 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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