Boolean variables are necessarily boolean
- From: george <greeneg@xxxxxxxxxxxxx>
- Date: Fri, 5 Sep 2008 14:35:47 -0700 (PDT)
On Sep 4, 5:14 pm, John Jones <jonescard...@xxxxxxx> wrote:
notions of truth and falsehood are not required in the presentation "P."
(i.e. P alone).
"P" IS NEVER presented alone.
For our purposes, P is presented AFTER someone has said,
"Let's do some logic, and let's let P,Q, and the like STAND FOR
PROPOSITIONS". Because P is ALWAYS said AFTER this, it is NEVER
alone and it is ALWAYS PREsupposed TO BE a boolean variable.
If you are talking about other P's in other contexts THEN YOU ARE
NOT TALKING ABOUT ANYTHING WE are talking about, GIVEN THAT THIS
is sci.logic.
.
- Follow-Ups:
- Re: Boolean variables are necessarily boolean
- From: John Jones
- Re: Boolean variables are necessarily boolean
- References:
- An argument against modus ponens
- From: John Jones
- Re: An argument against modus ponens
- From: John Jones
- An argument against modus ponens
- Prev by Date: Re: An argument against modus ponens
- Next by Date: Re: Applying Godel
- Previous by thread: Re: An argument against modus ponens
- Next by thread: Re: Boolean variables are necessarily boolean
- Index(es):
Relevant Pages
|