Philosophie Lexikon der ArgumenteHome | |||
| |||
Definierbarkeit: hier geht es um die Frage, ob die Bedeutungen der sprachlichen Elemente und Symbole einer Aussage in einem gegebenen Rahmen, einer Theorie, einem Modell oder einem System so angegeben werden können, dass diese Elemente und Symbole durch andere Symbole ersetzt werden können. Diese Ersetzbarkeit soll das Verstehen der Bedeutung garantieren. Ist das gegeben, können weitere Symbole (Wörter, Begriffe, Verknüpfungen) erstellt werden, deren Bedeutungen aus den bereits definierten Symbolen verstanden werden können. Damit sind diese neuen Symbole definierbar. Siehe auch Definitionen, Kontextdefinition, implizite Definition, explizite Definition, Modelle, Systeme, Theorien, Fundierung._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Alfred Tarski über Definierbarkeit – Lexikon der Argumente
Berka I 481 Eigenschaften/Klasse/Definierbarkeit/Tarski: Eine Eigenschaft E einer Klasse ist nur definierbar, wenn es eine Aussagenfunktion gibt, die E bestimmt. >Aussagenfunktionen. Dann kann man zeigen, dass es auch weitere Eigenschaften von Klassen gibt: Bsp Leerheit, Enthalten nur eines Elements, zweier Elemente, usw. >Mächtigkeit). Tarski: Problem: Das Enthalten unendlich vieler Elemente ist nicht definierbar.(1) >Elementrelation, >Mengen, >Teilmengen, >Mengenlehre. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 - - - Skirbekk I 188 Def Definierbar/Tarski: Ein Gegenstand ist definierbar, wenn es eine Aussagenfunktion gibt, die ihn definiert. - Der Begriff ist rein mathematisch, er drückt eine Eigenschaft (bezeichnet eine Klasse) von mathematischen Gegenständen aus.(2) >Mathematische Entitäten, >Klassen. 2. A.Tarski, „Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik“ (1944) in. G: Skirbekk (Hg.) Wahrheitstheorien, Frankfurt 1996_____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 Skirbekk I G. Skirbekk (Hg) Wahrheitstheorien In Wahrheitstheorien, Gunnar Skirbekk Frankfurt 1977 |