"Brouer's" (Brouwer's?) Theorem

Metacrock vs All comers; other can also reserve. this is for 1x1 debate, please do not respond if you are not specifically demarcated as part of the debate.

Moderator:Metacrock

Post Reply
MindWalk
"Brouer's" (Brouwer's?) Theorem

Post by MindWalk » Mon Dec 03, 2012 7:06 pm

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.

User avatar
Metacrock
Posts:10046
Joined:Tue Jan 22, 2008 8:03 am
Location:Dallas
Contact:

Re: "Brouer's" (Brouwer's?) Theorem

Post by Metacrock » Wed Dec 05, 2012 4:59 pm

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.
I don't know anything about that.
Have Theology, Will argue: wire Metacrock
Buy My book: The Trace of God: Warrant for belief

User avatar
met
Posts:2813
Joined:Mon Jun 16, 2008 1:05 pm

Re: "Brouer's" (Brouwer's?) Theorem

Post by met » Tue Jun 10, 2014 11:12 pm

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.... :) )
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

Post Reply