(February 5, 2016 at 11:44 am)Rhythm Wrote: You also have to assume the modal hook in 3. Get rid of the rest of it, look at 1 and 3 together...this is what must be assumed...and it's amusing, because it's also the conclusion, lol. 2, 4 5 and 6 are all tautologies of 1 or 3.
Maximally great being is defined by Plantinga to be a necessary being. From what I've read, and I'm no expert when it comes to such logic, but it seems third premise must always be true for necessary entities.