Philosophie Lexikon der Argumente

Suche  
 
Korrektheit: ist eine Eigenschaft von Systemen bzw. Kalkülen, nicht von Schlussfolgerungen. Ein System ist korrekt, wenn alle in ihm beweisbaren Aussagen wahr sind. Vollständig ist das System, wenn alle gütigen Aussagen in ihm auch beweisbar sind. Vollständigkeit und Korrektheit sind komplementär, sie ergänzen sich zur Adäquatheit. (R. Stuhlmann-Laeisz, Philosophische Logik, Paderborn, 2002).
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
II 14
W-Theorie/W-Def/Field: Problem: der Form der Satz x ist wahr gdw. p sieht man nicht an, ob der Satz korrekt ist - > Korrektheit -

Fie I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Fie II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Fie III
H. Field
Science without numbers Princeton New Jersey 1980

> Gegenargumente gegen Field



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