Mathematician:Philo of Megara

Greek philosopher who worked on establishing the Rule of Material Implication, differentiating it from formal implication.

A pupil of, who favoured the interpretation of formal implication.

Nationality
Greek

History

 * Flourished: c. 300 BCE

Theorems and Definitions

 * Rule of Material Implication

Also see

 * : $\S \text{II}.8$: Implication or Conditional Sentence (footnote)