Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe

 
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/Titel Begriff Zusammenfassung Metadaten
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).
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. 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.
Der Hinweis [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] ist eine Hinzufügung des Lexikons der Argumente.

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z