Philosophie Lexikon der Argumente

Suche  
 
Entscheidbarkeit: eine Fragestellung, z.B. ob eine Eigenschaft auf einen Gegenstand zutrifft oder nicht, ist entscheidbar, wenn innerhalb endlicher Zeit ein Ergebnis erreicht werden kann. Dafür wird ein Algorithmus als Entscheidungsverfahren zugrunde gelegt. Siehe auch Halteproblem, Algorithmus, Verfahren, Entscheidungsverfahren, Entscheidungstheorie.

_____________
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/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Berka I 329
Entscheidungsproblem/Logik/Berka: geschichtlich erstmals bei
Leibniz mit der Idee einer rein rechnerischen "ars iudicandi" erschienen.
Behmann: (1922): "Das Hauptproblem der modernen Logik".
Ackermann: (1954):
I. Es ist mit exakt angegebenen Mitteln zu entscheiden, ob eine einschlägige Formel eines (logischen) Kalküls allgemeingültig ist.
II. Wenn sie nicht allgemeingültig ist, so ist zu entscheiden, ob sie in keinem Bereich gültig ist oder ob sie doch in einem Bereich gültig ist. Wenn sie in irgendeinem Bereich gültig ist, so ist festzustellen, welche Kardinalzahl dieser Bereich hat.
III. Es ist zu entscheiden, ob eine einschlägige Formel in allen Bereichen mit einer endlichen Anzahl von Elementen gültig ist, oder nicht."
Berka: das ist eine grundsätzlich semantische Formulierung des E-Problems.
E Problem/syntaktisch: es ist mit Hilfe von exakt festgelegten Verfahren, die gewisse Bedingungen erfüllen müssen, zu entscheiden, ob eine einschlägige Formel eines Kalküls beweisbar oder widerlegbar ist.
Aussagenkalkül/E-Problem: von Lukasiewicz (1921) Post (19219, Wittgenstein (1921) positiv gelöst.


_____________
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.

Lei II
G. W. Leibniz
Philosophical Texts (Oxford Philosophical Texts) Oxford 1998

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Leibniz



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