I read the page on ontological arguments and found something called "Brouer's Theorem" (would I be right to assume that that's supposed to be "Brouwer's Theorem"?) cited. Using "N" for the necessity operator and "P" for the possibility operator, it was supposed to be (p->Np)->(Pp->p). But surely there is some mistake. That is logically equivalent to
Pp->p, which is false when p is possible but neither necessary nor actual. (Try plugging in Pp=T, Np=F, p=F to (p->Np)->(Pp->p), and you will find that the "theorem" is false in that case.) This cannot be a theorem. I am wondering, therefore, where you found it, and where it was referred to as a theorem.
"Brouer's" (Brouwer's?) Theorem
Moderator:Metacrock
Re: "Brouer's" (Brouwer's?) Theorem
I don't know anything about that.MindWalk wrote:I read the page on ontological arguments and found something called "Brouer's Theorem" (would I be right to assume that that's supposed to be "Brouwer's Theorem"?) cited. Using "N" for the necessity operator and "P" for the possibility operator, it was supposed to be (p->Np)->(Pp->p). But surely there is some mistake. That is logically equivalent to
Pp->p, which is false when p is possible but neither necessary nor actual. (Try plugging in Pp=T, Np=F, p=F to (p->Np)->(Pp->p), and you will find that the "theorem" is false in that case.) This cannot be a theorem. I am wondering, therefore, where you found it, and where it was referred to as a theorem.
Have Theology, Will argue: wire Metacrock
Buy My book: The Trace of God: Warrant for belief
Buy My book: The Trace of God: Warrant for belief
Re: "Brouer's" (Brouwer's?) Theorem
It's a theorem of s5 iff p --> Np, just to clarify.
Same thing as PNp.--> p.
Aka "Rule of B"
( I never looked at this forum much before.... )
Same thing as PNp.--> p.
Aka "Rule of B"
( I never looked at this forum much before.... )
The “One” is the space of the “world” of the tick, but also the “pinch” of the lobster, or that rendezvous in person to confirm online pictures (with a new lover or an old God). This is the machinery operative...as “onto-theology."
Dr Ward Blanton
Dr Ward Blanton