Suchergebnisse

I / Preliminary Distinctions -- 1. Language and Linguistic Utterances -- 2. Descriptive Statements -- 3. The Use and Mention of Signs -- II / Theories of Meaning -- 1. Realistic Semantic Theories -- 2. Behavioristic Theories of Meaning -- 3. Quine's Philosophy of Language -- 4. Wittgenstein's Philosophy of Language in the Philosophical Investigations -- III / Theories of Grammar -- 1. Traditional Grammar -- 2. Logical Grammar -- 3. Generative Grammar -- IV / Language and Reality -- 1. The Thesis of the Role Language Plays in Experience -- 2. The Role of Vocabulary -- 3. The Role of Grammar -- 4. The Epistemological Problematic of the Relativity Thesis -- Index of Subjects -- Index of Logical Symbols.

1 Aussagenlogik -- 1.1 Aussagenlogische Strukturen der Umgangssprache -- 1.2 Theorie der Wahrheitsfunktionen -- 1.3 Eine Axiomatisierung der Aussagenlogik -- 2 Prädikatenlogik -- 2.1 Prädikatenlogische Strukturen in der Umgangssprache -- 2.2 Die Sprache der Prädikatenlogik -- 2.3 Der Kalkül P 1 -- 2.4 Formalisierungen des natürlichen Schließens -- 3 Erweiterungen und Anwendungen der Prädikatenlogik -- 3.1 Die Identität -- 3.2 Kennzeichnungs- und Funktionsterme -- 3.3 Elementare Systeme -- 4 Die Prädikatenlogik der zweiten Stufe -- 4.1 Die Sprache der Prädikatenlogik der zweiten Stufe -- 4.2 Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe -- 4.3 Der Vollständigkeitssatz von Henkin -- 4.4 Relationsprodukte und Relationsketten * * -- 4.5 Die Kategorizität der Peanoaxiome -- 5 Klassenlogik -- 5.1 Begriffe und Klassen -- 5.2 Die elementare Klassenalgebra 3° -- 5.3 Relationen und Funktionen 3* -- 5.4 Ein logisches Modell der Peanoaxiome -- 5.5 Das Problem der Geschlossenheit des Aufbaus der Logik -- 5.6 Die logischen Antinomien -- 6 Einige Themen aus der Geschichte der Logik -- 6.1 Die aristotelische Syllogistik. -- 6.2 Die BooLESche Klassenlogik -- 6.3 FREGES Definitionslehre -- Verzeichnis der Abkürzungen und Symbole -- Verzeichnis der Axiome und Definitionen -- Verzeichnis der Theoreme.