@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} }