Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
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 Begriff Zusammenfassung/Zitate Quellen

Benson Mates über Entscheidbarkeit – Lexikon der Argumente

I 146
Entscheidbarkeit/Tautologien/Gültigkeit/Mates: Für Tautologien gibt es ein Entscheidungsverfahren (d.h. zu entscheiden, ob eine Tautologie vorliegt) für Gültigkeit nicht.
>Tautologien
, >Gültigkeit.
Weil für Gültigkeit die Wahrheitswert-Tabellen nicht hinreichend sind.
>Wahrheitswerte, >Wahrheitswerttafeln.
Auch nicht-tautologische Aussagen können gültig sein.
I 232
Entscheidbarkeit/entscheidbar/Mates: Entscheidbar ist eine Aussagenmenge, wenn es ein Verfahren gibt, das entscheidet, ob eine bestimmte Aussage dazu gehört oder nicht. - Dieses Verfahren muss nicht bekannt oder praktikabel sein.
>Entscheidungstheorie, vgl. >Beweisbarkeit, >Beweise.

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

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
Skeptical Essays Chicago 1981

Send Link

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