Philosophie Lexikon der Argumente

Suche  
 
Systeme, Wissenschaftstheorie, Philosophie: Systeme sind Zusammenstellungen von Regeln für die Bildung von Aussagen über einen zuvor festgelegten Gegenstandsbereich. Außer den - meist rekursiven - Regeln für die Kombination von Ausdrücken oder Zeichen wird auch die Angabe des Vokabulars oder Zeichenvorrats des Systems benötigt. Siehe auch Axiome, Axiomensysteme, Theorien, Stärke von Theorien, Ausdrucksfähigkeit, Regeln, Ordnung, Rekursion, Modelle, Struktur, Systemtheorie.

_____________
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 474
Def deduktives System/Tarski: X ist ein deduktives System gdw. FL((X) < X < AS - ((s) X: Aussagenklasse (AS), die alle Folgerungen (FL) enthält, und alle Aussagen aus X sind sinnvoll. (ε AS).

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