Smullyan's Drinking Principle/Paradoxical Aspects

Philosophical Aspects to Smullyan's Drinking Principle
Smullyan's Drinking Principle is considered by some to be a counter-intuitive result.

Hence it is often classified as a veridical paradox

However, it can resolved by analyzing the possible scenarios.

The semi-formal proof attempts to do just that.

Thus, a careful analysis of the possible scenarios, as well as certain Paradoxes of Material Implication, show this to be a veridical paradox.

Note that this is a theorem for arbitrary non-empty universes of discourse and arbitrary propositional functions $\map D x$.

So this theorem is valid for all interpretations of $\map D x$.

For example:
 * let the universe of discourse be the objects in Philadelphia
 * let $\map D x$ mean:
 * $x$ is a dog


 * Then there exists something in Philadelphia such that, if it is a dog, then everything in Philadelphia is a dog.