Philosophie Lexikon der ArgumenteHome | |||
| |||
Beweis: ein Beweis in der Logik oder Mathematik ist eine endliche Zeichenkette, die die Wahrheit einer Aussage in einem System aus den Axiomen des System zusammen mit bereits bewiesenen Aussagen herleitet. Siehe auch Beweistheorie, Beweisbarkeit, Syntax, Aciome._____________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 Beweise - Lexikon der Argumente
Re III 265 Beweis/Read: gilt als ein syntaktischer Begriff, der nur die formalen Eigenschaften logischer Ausdrücke berücksichtigt, ohne sich um die Bedeutung zu kümmern. (Vgl. >Konstruktivismus)._____________ 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 |