SLIDE 24 Four conditional moods with affirmative conclusions
1 “If a man is, an animal is; if an animal is, a substance is, therefore if a
man is, a substance is”: M → A, A → S ⊢ M → S.
2 “If this instant exists, a present instant exists, and if the present
instant exists, a future instant doesn’t exist, therefore if this instant exists, a future instant doesn’t exist”. I → P, P → ¬F ⊢ I → ¬F.
3 “If the present time exists, the past does not exist, and if the past does
not exist, the future will exist, therefore if the present exists, the future exists”. P → ¬A, ¬A → F ⊢ P → F.
4 “If a man exists, a man is not a donkey, and if a man is not a donkey,
then a man is not able to bray, therefore if a man exists, a man is not able to bray”. M → ¬D, ¬D → ¬B ⊢ M → ¬B.
Sara L. Uckelman (Durham University) The Syllogisms in Paul of Venice’s Logica Magna 07 Apr 2017 22 / 23