Aspects of Philosophical Logic: Some Logical Forays into Central Notions of Linguistics and PhilosophyUwe Mönnich This volume constitutes the Proceedings of a workshop on formal seman tics of natural languages which was held in Tiibingen from the 1st to the 3rd of December 1977. Its main body consists of revised versions of most of the papers presented on that occasion. Three supplementary papers (those by Gabbay and Sma by) are included because they seem to be of particular interest in their respective fields. The area covered by the work of scholars engaged in philosophical logic and the formal analysis of natural languages testifies to the live liness in those disciplines. It would have been impossible to aim at a complete documentation of relevant research within the limits imposed by a short conference whereas concentration on a single topic would have conveyed the false impression of uniformity foreign to a young and active field. It is hoped that the essays collected in this volume strike a reasonable balance between the two extremes. The topics discussed here certainly belong to the most important ones enjoying the attention of linguists and philosophers alike: the analysis of tense in formal and natural languages (van Benthem, Gabbay), the quickly expanding domain of generalized quantifiers (Goldblatt), the problem of vagueness (Kamp), the connected areas of pronominal reference (Smaby) and presupposition (von Stechow) and, last but not least, modal logic as a sort of all-embracing theoretical framework (Bressan). The workshop which led to this collection formed part of the activities celebrating the 500th anniversary of Tiibingen University. |
Other editions - View all
Aspects of Philosophical Logic: Some Logical Forays into Central Notions of ... Uwe Mönnich No preview available - 2011 |
Aspects of Philosophical Logic: Some Logical Forays into Central Notions of ... Uwe Mönnich No preview available - 1981 |
Common terms and phrases
A₁ analogue assertion assume atomic axioms c₁ c₂ Charles the Bald clauses concept connectives consider contextual presuppositions coreference Cresswell defined denote entails equivalent evaluation example exists expresses the proposition extensional factive false finite first-order formal free variable functionally complete h-valid Hubert has dogs Hubert loves induction inference interpretation irreflexivity irreflexivity lemma king of France linear linguistic loves Irene mathematical modal logic n-tuple natural language negation notion object P₁ Poland positive extension predicate logic pres presupposes pronoun proof proposition q quantifiers real numbers recursively reference relation respect satisfies second-order logic semantic presupposition sentence situation sneeze subsets Suppose symbols t₁ tense logic theorem theory true truth definition truth table truth value truth-functional Tübingen uttered V₁ valid variable letters well-ordering x₁