Mersenne Trademark Argument
...mersennes trademark argument modalized...based on maydoles modal model...john konnor... 1. for all x and all y if x is the cause of y's understanding of x then there exists some x which is ontologically supreme 2. for all x and all y either x is the cause of y's understanding of x or there exists a y that is ontologically perfect c. God exists ie something ontologically supreme let: CxUyx= x is the cause of y's understanding of x Sx= ~◇(∃y)(Gyx)∧ ~◇(∃y)(~x=y ∧ ~Gxy) Py= Iy ∧ ◇(∃y))(Ix ∧ Gyx) ∧ ◇(∃y)(Ix ∧ ~x=y ∧~Gxy) Ix= x is an intellect g= (℩x)~◇(∃y)Gyx proof: 1. (∀x)(∀y)CxUyx ⊃ (∃x)Sx premise 2. (∀x)(∀y)CxUyx ∨ (∃y)Py premise 3. Iy ∧ ◇(∃y))(Ix ∧ Gyx) ∧ ◇(∃y)(Ix ∧ ~x=y ∧~Gxy) Def. of P , AIP 4. Iy ∧ ◇(∃y))(Ix ∧ Gyx) 3 simp. 5. ◇(∃y))(Ix ∧ Gyx) ...