Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Folge, Sequenz: Eine Ordnung innerhalb einer Menge von Objekten (Zahlen, Aussagen). Siehe auch Sequenzenkalkül, Natürliches Schließen, Erfüllung._____________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 Folge (Sequenz) – Lexikon der Argumente
Berka I 463 Def Folge von Teilklassen: eine Folge, deren sämtliche Glieder Klassen sind, die in einer gegebenen Klasse a enthalten sind. Def k-tes Glied/Tarski: das einzige Glied, das die Formel xRk und eine gegebene natürliche Zahl k erfüllt, nennen wir das k-te Glied "Rk". Berka I 463 Verschiedenheit: "höchstens an k-ter Stelle unterschieden"/Taski: sind zwei Folgen R und S, wenn zwei beliebige entsprechende Glieder dieser Folgen, Ri und Si identisch sind, höchstens mit Ausnahme der k-ten Glieder Rk und Sk. Berka I 511 Def Folge von Individuen/Tarski:(bei semantischer Vereinheitlichung): die zwei-stelligen Relationen zwischen Individuen und natürliche Zahlen. - Diese gehören damit alle zur selben Bedeutungskategorie ohne Rücksicht auf die Zahl der Glieder (der Folge, nicht der Relation!) und auch die Klasse dieser Folgen, im Gegensatz zu mehrstelligen Relationen.(1) >Erfüllung/Tarski, >Erfüllbarkeit/Tarski, >Wahrheit/Tarski, >Wahrheitsdefinition/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935_____________ 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 |
||
> Gegenargumente gegen Tarski
