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