Friday, March 3, 2017


This is the turn-in homework for Monday:


In the semantics of Leibnizian modal logic, the following proposition is a necessary truth.
□(P → Q) → (□P → □Q)
It says that "If it is necessarily the case that if P then Q, then if it is necessarily the case that P, then it is necessarily the case that Q."

Use Leibniz's notion of possible worlds to explain in English why this should be a necessary truth.


No comments:

Post a Comment