@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 28 Mar 2024},
author = {Mates,Benson},
subject = {Entscheidbarkeit},
note = {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.},
note = {B. Mates
I Mates Elementare Logik Göttingen 1969 (Engl.Original: Oxford 1965)
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=216612}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=216612}
}