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 |
---|---|---|---|
Logik-Texte über Korrektheit - Lexikon der Argumente
II 109 Def korrekt/Korrektheit/Aussagenlogik/Hoyningen-Huene: seien A und B aussagenlogische Formeln. Der Schluss von A auf B heißt aussagenlogisch korrekt, genau dann, wenn A > B aussagenlogisch wahr ist. II 110 Der Trick besteht darin, dass in [der obigen] Definition die geforderte aussagenlogische Wahrheit von A > B Verschiedenes bedeutet, je nachdem, von A > B eine Aussage, oder eine aussagenlogische Formel ist. >Formel, >Aussage, >Proposition, >Wahrheit, >Logische Wahrheit._____________ 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. |
Texte zur Logik Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxien Stuttgart 2001 |