Philosophie Lexikon der ArgumenteHome | |||
| |||
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)._____________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 | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Robert Brandom über Korrektheit – Lexikon der Argumente
I 403 Def korrekt: eine Folgerung von p auf q ist korrekt, (im Sinne von festlegungserhaltend) wenn die Wahrheitsbedingungen von p eine Teilmenge derer von q sind. >Richtigkeit, >Wahrheitsbedingungen._____________ 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. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Bra I R. Brandom Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Begründen und Begreifen Frankfurt 2001 |