Zur Bedeutung und Übersetzung mathematischer Theorien

Diese Publikation zitieren
Zur Bedeutung und Übersetzung mathematischer Theorien (2026), Logos Verlag, Berlin, ISBN: 9783832580797
Inhaltsverzeichnis
- BEGINN
- 1 Einleitung und Überblick
- 1.1 Philosophische Einordnung
- 1.2 Bedeutung
- 1.3 Bedeutung und formale Semantik
- 1.4 Modelle und Granularität der Bedeutung
- 1.5 Bedeutung und Übersetzung
- 2 Axiomatische Methode und Bedeutung
- 2.1 Bedeutungstheoretische Lesart der axiomatischen Methode
- 2.2 Bedeutungstheoretische Aspekte der axiomatischen Methode
- 2.3 Bedeutungstheoretische Grundsätze einer axiomatischen Semantik
- 3 Innertheoretische Synonymie und Bedeutung von Formeln
- 3.1 Adäquatheitskriterien innertheoretischer Synonymie
- 3.2 Definition und Eigenschaften innertheoretischer Synonymie
- 3.3 Beispiele
- 4 Intertheoretische Synonymie und Bedeutung von Theorien
- 4.1 Adäquatheitskriterien intertheoretischer Synonymie
- 4.2 Definition und Eigenschaften intertheoretischer Synonymie
- 4.3 Bedeutungserhaltende Übersetzungen und Theoriensynonymie
- 5 Synonymie, Bi-Übersetzbarkeit und Bi-Interpretierbarkeit
- 5.1 Definitorische Äquivalenz
- 5.2 Definitorische Reduzierbarkeit und Interpretierbarkeit
- 5.3 Bi-Übersetzbarkeit und Synonymie
- 5.4 Bi-Interpretierbarkeit und Synonymie
- 5.5 Beispiele
- 6 Schlussbetrachtungen
- 7 Appendix
- 7.1 Modelltheorie
- 7.2 Übersetzungen nicht-relationaler Sprachen