Philosophie Lexikon der ArgumenteHome | |||
| |||
Wahrheitsfunktionen: Wahrheitsfunktionen bilden Wahrheitswerte auf andere Wahrheitswerte ab. In der zweiwertigen Logik sind das die beiden verfügbaren Wahrheitswerte „wahr“ bzw. „falsch“ (w/f). Die Disjunktion (A oder B) bildet nun (w oder w), (w oder f) und (f oder w) auf w ab, und (f oder f) auf f. Nicht-wahrheitsfunktionale Semantiken unterscheiden sich von wahrheitsfunktionalen Semantiken dadurch, dass sie auch andere Bedeutungen der logischen Verknüpfungen („und“, „oder“, „wenn, dann“) berücksichtigen z.B. Ausdrücke wie „trotzdem“, „obwohl“, „dennoch“, deren propositionaler Gehalt dem „und“ entspricht, die jedoch eine gewisse zusätzliche Ausdruckskraft ins Spiel bringen. Siehe auch Wahrheitsfunktionale Semantik, Wahrheitskonditionale Semantik, Semantik, Propositionaler Gehalt. _____________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 |
---|---|---|---|
Jan Lukasiewicz über Wahrheitsfunktionen – Lexikon der Argumente
Berka I 142 Wahrheitsfunktionen/Aussagenkalkül/Bivalenz/Funktor/Lukasiewicz: In einem zweiwertigen System können nur vier verschiedene Funktionen mit einem Argument gebildet werden - und zwar, wenn φ einen Funktor mit einem Argument bildet, dann können folgende Fälle vorkommen: (1) φ0 = 0 und φ1 = 0 ( "Fp" (falsum, falsch) (2) φ0 = 0 und φ1 = 1 (φp ist mit p äquivalent) (3) φ0 = 1 und φ1 0 = : (Negation) (4) φ0 = 1 und φ1 = 1: "Vp" (verum, wahr). >Funktoren, >Funktionen, >Wahrheitswerte. Möglichkeit/Pointe: Das "Mp" muss mit einem dieser vier Fälle identisch sein. - Problem: Eine jede der Thesen (1),(2), und (18) schließt nun gewisse Fälle aus.(1) (1) CNMpNp (2) CNpNMp. (18) N∏pNKMpMNp >Möglichkeit, >Notwendigkeit. 1. J. Lukasiewicz, Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls, CR Varsovie Cl. III, 23, 51-77_____________ 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 ArgumenteDer 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. |
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |