(December 12, 2015 at 2:28 pm)IATIA Wrote:
- It is possible that a Leprechaun exists.
- If it is possible that a Leprechaun exists, then a Leprechaun exists is some possible world.
- If a Leprechaun exists in some possible world, then it exists in every possible world.
- If a Leprechaun exists in every possible world, then it exists in the actual world.
- If a Leprechaun exists in the actual world, then a Leprechaun exists.
- Therefore, a Leprechaun exists.
I think he uses the 'maximal greatness' property to go from some universes to all universes, something your Leprechaun doesn't have
The fool hath said in his heart, There is a God. They are corrupt, they have done abominable works, there is none that doeth good.
Psalm 14, KJV revised edition