@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 28 Mar 2024},
author = {Mates,Benson},
subject = {Tautologien},
note = {I 116
Tautologien/Mates: Tautologien sind vom Sinn von "und", "nicht", "wenn....dann" usw. abhängig, aber nicht vom Sinn von "alle", "einige"," Menschen"," sterblich" usw. - ((s) Also nur von den logischen Konstanten, nicht von den Quantoren).
>Logische Konstanten, >Quantoren, >Quantifikation.
Andererseits: Die Analytizität eines Syllogismus hängt vom Sinn von "alle" , "einige" ab.
>Analytizität/Synthetizität, >Synthetisches, >Syllogismen.
I 117
Tautologie/Mates: Eine Tautologie kann keine atomare Aussage sein - weil diese auch nicht gültig sein kann.
>Gültigkeit.
I 119
Es gibt gültige Aussagen, die nicht tautologisch sind.
Bsp "(x)Fx > Fa".
Es gibt Folgerungen, die nicht tautologisch sind - in Ableitungen werden aber nur tautologische Folgerungen gebraucht.
>Ableitung, >Ableitbarkeit.
Def Tautologie: gültige Aussage, deren Gültigkeit nicht von den Quantoren abhängt.
I 119
Tautologie/Aussagenkalkül/Mates: Da alle Aussagen des Aussagenkalküls quantorenfrei sind, sind sie tautologisch, wenn sie gültig sind.
>Aussagenkalkül.
Das überträgt sich auf ihre Einsetzungsergebnisse. - Das ist noch kein Entscheidungsverfahren, ob eine Tautologie vorliegt.
I 127
Eine Tautologie ist dasselbe wie eine tautologische Folgerung aus einer beliebigen Aussagenmenge.
>Folgebeziehung.},
note = {B. Mates
I Mates Elementare Logik Göttingen 1969 (Engl.Original: Oxford 1965)
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=273332}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=273332}
}