Philosophie Lexikon der Argumente

Suche  
 
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/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Berka I 463
Def Folge von Teilklassen: eine Folge, deren sämtliche Glieder Klassen sind, die in einer gegebenen Klasse a enthalten sind.
Berka I 463
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.


_____________
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.

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Tarski



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 28.06.2017