Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Rekursion, Wissenschaftstheorie, Philosophie: eine bestimmte Form in der Regeln formuliert werden und die es erlaubt, unendlich viele mögliche Fälle aus der Anwendung eines nur endlichen Regelsystems zu erzeugen. Siehe auch Einsetzen, Einbetten, Unendlichkeit, Systeme, Modelle, Theorien._____________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 Rekursion – Lexikon der Argumente
Skirbekk I 156 Rekursion/rekursives Verfahren/Tarski: Rekursives Verfahren heißt, von einfachen Aussagenfunktionen ausgehend die Operationen angeben, mit denen man zusammengesetzte Funktionen konstruiert. >Funktion/Tarski, >Rekursive Regeln. Skirbekk I 157 Rekursion/Tarski: Problem: Zusammengesetzte Aussagen werden aus einfacheren Aussagenfunktionen konstruiert, aber nicht immer aus einfacheren Aussagen. >Aussagenfunktionen. Daher gibt es keine allgemeine rekursive Methode. Rekursive Definition der Erfüllung ist nur in wesentlich reichhaltiger Metasprache möglich (d.h. die Metasprache kann Variablen von höherem logischen Typ als die Objektsprache enthalten).(1) >Reichhaltigkeit. 1. 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 Skirbekk I G. Skirbekk (Hg) Wahrheitstheorien In Wahrheitstheorien, Gunnar Skirbekk Frankfurt 1977 |
||
> Gegenargumente gegen Tarski
