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

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