Was ist der Ursprung der Wahrheitstabelle in der Logik?

Möglichst speziell für die materiellen Auswirkungen. Wer hat dafür als Erster eine Wahrheitstafel verwendet und deren Gültigkeit begründet?

wirklich alles, was eine Wahrheitstabelle ist, ist eine Definition.
@robertbristow-johnson Aber es musste irgendwo herkommen und eine Rechtfertigung dahinter haben.
Die Herkunftsfrage kann auf alles angewendet werden. Definitionen bedürfen keiner Begründung. sie sind Axiome.
@robertbristow-johnson Die Herkunftsfrage lässt sich auf alles anwenden, das sehe ich nicht als Problem. Was die Rechtfertigung betrifft, so muss es einen Grund für die Definition geben. Das ist, wonach ich suche.
@robertbristow-johnson In der Mathematik sind Definitionen und Axiome nicht gleich. Axiome sind die Grundlage einer Theorie, während Definitionen lediglich handliche Abkürzungen sind.
eine Wahrheitstabelle ist eine Definition und, wenn Sie wollen, eine Wahrheitstabelle ist eine Sammlung von Axiomen. wie auch immer Sie es nennen wollen, sie sind nur gegeben , nicht abgeleitet.

Antworten (1)

Du kannst sehen:

ebenso gut wie:

Vor Bertrand Russell (Harvard-Logikkurs: 1914) und Ludwig Wittgenstein (Russell und Wittgensteins Manuskript datiert 1912; siehe auch: Tractatus (1921), 4.31 und 4.442 für materielle Implikationen ), müssen Charles Sanders Peirce und seine Anhänger gutgeschrieben werden.

Siehe Christine Ladd-Franklin , „On the Algebra of Logic“, in Charles Sanders Peirce (Hrsg.), Studies in Logic (1883), Seite 17-ff; siehe Seiten 61-62.

In Whitehead und Russells Principia (Seite 115) haben wir eine Beschreibung der wahrheitsfunktionalen Semantik des Konnektors: not, if..., then..., and, or (jedoch nicht in tabellarischer Form).

Die moderne tabellarische Form findet sich in E.Post, Introduction to a General Theory of Elementary Propositions (1921) , §2 Truth table development , mit explizitem Bezug auf W&R's Principia (siehe Fußnote 6).

Die verbale Beschreibung des Konditionals findet sich in Freges Begriffsschrift .

Aber es wurde schon in der antiken stoischen Logik mit dem sogenannten philonischen Konditional verbal ausgedrückt ; siehe Sextus Empiricus , Πρὸς μαθηματικούς ( Pros mathematisch ) Buch VIII , 113:

Philo sagte zum Beispiel, dass der Konditional wahr ist, wenn er nicht mit einem wahren Satz beginnt und mit einem falschen endet, so dass ein Konditional seiner Meinung nach auf drei Arten wahr und auf eine Weise falsch ist. Denn wenn es mit einem wahren beginnt und mit einem wahren endet, ist es wahr, wie in „Wenn es Tag ist, ist es Licht“. Und wenn es mit einem falschen beginnt und mit einem falschen endet, ist es wieder wahr – zum Beispiel: „Wenn die Erde fliegt, hat die Erde Flügel.“

Was ist der Ursprung der Wahrheitstabelle in der Logik?
AntwortenHierDatenschutz-Bestimmungen1y, 0v