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**

### 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