Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe



 S.A. Kripke - Philosophie Lexikon der Argumente
 
Ableitbarkeit: Hier geht es um die Frage, welche Aussagen nach den Regeln eines Kalküls gewonnen werden können. In der Logik bezieht sich die Ableitbarkeit auf die Fähigkeit, eine Aussage aus einer Menge von Prämissen unter Verwendung der Inferenzregeln eines gegebenen logischen Systems zu beweisen. Eine Aussage gilt als ableitbar, wenn es in dem System einen Beweis für sie gibt.
_____________
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    Weitere Begriffe zu Autor
Bolzano, Bernard Ableitbarkeit   Bolzano, Bernard
Genz, Hennig Ableitbarkeit   Genz, Hennig
Hilbert, David Ableitbarkeit   Hilbert, David
Kripke, Saul A. Ableitbarkeit   Kripke, Saul A.
Lorenzen, Paul Ableitbarkeit   Lorenzen, Paul

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z