Philosophie Lexikon der Argumente

Suche  
 
Ableitbarkeit: Frage, welche Aussagen nach den Regeln eines Kalküls gewonnen werden können.
 
Autor/Titel Begriff Exzerpt Metadaten
Hilbert, D.
 
Bücher bei Amazon
Ableitbarkeit Thiel I 97
Ableitbarkeit/Hilbert/Thiel: Die verwendeten Verfahren zum Nachweis der Unableitbarkeit einer Formel aus anderen mittels vorgegebener Ableitungsregeln sind in der Hilbertschule, erstmals von Bernays gegeben worden. Bernays Habilitationsschrift für den Nachweis der Unabhängigkeit von Axiomensystemen der klassischen Aussagenlogik. Keines dieser Axiome soll sich aus den anderen ableiten lassen.
Klassisch: ~~p > p
effektiv: p > ~~p ....+...I 98 102
I 102
Axiomatische Herleitungen logischer Sätze. Bis zu den Zwanziger Jahren in der Form konkurrenzlos, danach wurden als alternative Verfahren Kalküle des "natürlichen Schließens" entwickelt, deren Regel meist genau ein logisches Symbol neu in eine Folgerungskette einbringen oder eliminieren. Der tatsächlichen Art mathematischen Vorgehens näher als das axiomatische Vorgehen.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995

> Gegenargumente gegen Hilbert



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