Philon von Megara (latinisiert Philo, 4./3. Jahrhundert v. Chr.) war ein Dialektiker der megarischen Schule, vermutlich ein Schüler von Diodoros Kronos. Von Philon sind nur spärliche Zeugnisse erhalten, darunter aber ein bemerkenswerter Text, der ihm die älteste Wahrheitstafel zuschreibt: „Philon beispielsweise sagt, dass das Konditional wahr wird, wenn es nicht mit Wahrem beginnt und mit Falschem endet, so dass nach seiner Ansicht das Konditional auf dreierlei Weise wahr wird und auf eine falsch. Denn wenn es mit Wahrem beginnt und mit Wahrem endet ist es wahr [...]. Und wenn es mit Falschem beginnt und mit Falschem endet ist es abermals wahr [...]. Ebenso ist es wahr, wenn es mit Falschem beginnt und mit Wahrem endet [...]. Einzig dann wird es falsch, wenn es mit Wahrem beginnt und mit Falschem endet [...].“

Diese in Worten ausformulierte Wahrheitstafel für das Konditional wird bis heute in der klassischen Aussagenlogik verwendet und ist als Verknüpfungstafel darstellbar mit 1 für "wahr", 0 für "falsch" und für "wenn... dann...":

	0	1
0	1	1
1	0	1

1 0 1

Die Aussagenlogik von Philon wurde vom Stoiker Chrysipp weiterentwickelt.

Literatur

• Klaus Döring: Die Megariker. Kommentierte Sammlung der Testimonien. Grüner Amsterdam 1971 (Studien zur antiken Philosophie 2), ISBN 90-6032-003-4
  
• Theodor Ebert: Dialektiker und frühe Stoiker bei Sextus Empiricus. Untersuchungen zur Entstehung der Aussagenlogik. Vandenhoeck & Ruprecht Göttingen 1991. ISBN 3-525-25194-7

Materiale Implikation (Konditional)

Die materiale Implikation, auch Konditional oder (nach klassischer Logik) klassische Implikation genannt, verbindet zwei Aussagen a und b zu einer neuen Aussage, die besagt, dass a eine hinreichende Bedingung für b ist; dass also b schon dann wahr ist, wenn a wahr ist. Man sagt oft kurz: „Wenn a, dann b.“ Dieser Sprachgebrauch ist etwas unglücklich, weil die Formulierung „wenn... dann“ im Deutschen ein weites Bedeutungsfeld hat und mehrheitlich nicht für materiale, das heißt formale, sondern für inhaltliche Zusammenhänge (z. B. Kausalität) verwendet wird. Manchmal versucht man, durch Formulierungen wie „Schon wenn a, dann b“ oder „a ist eine hinreichende Bedingung für b“ Missverständnisse zu vermeiden, die aus den vielen Bedeutungen des deutschen "wenn... dann" resultieren können.

Bei der material gemeinten Implikation „(Schon) wenn a, dann b“ wird a als Vordersatz oder Antezedens, b als Nachsatz, Konsequens oder Sukzedens bezeichnet. Die Implikation zu

Es regnet

und

Die Straße wird nass

wäre damit die Aussage

Wenn es regnet, wird die Straße nass.

Alternative Formulierungen, die den materialen Charakter besser betonen, wären

Schon wenn es regnet, wird die Straße nass.

oder

Dass es regnet, ist eine hinreichende Bedingung dafür, dass die Straße nass ist.