Mathematician:Philo of Megara

Mathematician

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

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

Nationality

Greek

History

• Flourished: c. 300 BCE

Theorems and Definitions

• Rule of Material Implication

Sources

• 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) ... (previous) ... (next): $\S \text{II}.8$: Implication or Conditional Sentence (footnote)
• 1991: David Wells: Curious and Interesting Geometry ... (previous) ... (next): A Chronological List Of Mathematicians