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 Begriff    Weitere Begriffe zu Autor
Brandom, R. Korrektheit   Brandom, R.
Dummett, Michael Korrektheit   Dummett, Michael
Field, Hartry Korrektheit   Field, Hartry
Mates, B. Korrektheit   Mates, B.
Tugendhat, E. Korrektheit   Tugendhat, E.
Wright, Crispin Korrektheit   Wright, Crispin


Hg. Martin Schulz, Abfragedatum 28.05.2017