Re: An argument against modus ponens

george wrote:
On Sep 9, 2:41 pm, John Jones <jonescard...@xxxxxxx> wrote:
For example, red is found in
the context of colour and not sound; physical objects are found in the
framework/context of space which allows differences to be manifested. So
without the framework of colour no particular colour can be represented.
Without the framework for P, neither P nor not-P can be represented.

WE KNOW the framework for P.
P is a boolean variable.
Or a propositional variable.
It can be true or false.

Is false P a variable?

Or, if you decide to make it an axiom,

I know the consequences of representing P as an axionm and P as an object, but I know you do not.

then it can be a propositional constant, and be true.

No, it isn't true. Axioms aren't true or not true.

But P is NOT "represented". It's not even the KIND of thing that can
be
"represented".

Sure it is. P.

The context may also have P standing for a longer
proposition made out of sub-propositions with other names or
representations.
THAT IS the framework.

What of it?

The fact that you didn't ALREADY know that is one of many things
that has made you unfit to participate in the discussion.

If you follow that

Of COURSE WE follow it! You are the one who does not follow it!

then what I was saying was that 'not-P' can only mean
R or the absence of the framework for the possibility of P.

It means nothing of the kind. It simply means the other truth-
value, the one that P DOESN'T have.

Objects don't have properties of truth and falsehood.


.

Relevant Pages

  • Re: The negation of everything?
    ... supposes to negate should, by the grammar of negation, present another thing in its place. ... If we take away time and space then we are left without the framework through which objects can be manifested. ... Red is not found in the framework of sound and loud is not found in the framework of colour. ... So, if I live in the framework of sound and the entire framework of sound and its sound-objects disappear, then I am no more entitled to say that because of this disappearance that there is 'nothing', any more than I can say that there is the framework of colour and its colours. ...
    (sci.logic)
  • Re: Help! DateTime question.
    ... Frank wrote: ... > This may sound a bit weird, but I cannot find any class ... > in the framework that lets me change the current date and ... If replying to the group, please do not mail me too ...
    (microsoft.public.dotnet.general)
  • Re: The negation of everything?
    ... The framework of colour is as 'nothing' to the framework of sound. ... Red is not found in the framework of sound and loud is not found in the framework of colour. ... So, if I live in the framework of sound and the entire framework of sound and its sound-objects disappear, then I am no more entitled to say that because of this disappearance that there is 'nothing', any more than I can say that there is the framework of colour and its colours. ... the container can be empty. ...
    (sci.logic)
  • Help! DateTime question.
    ... This may sound a bit weird, but I cannot find any class ... in the framework that lets me change the current date and ... to do it in a "pure" .NET fashion. ...
    (microsoft.public.dotnet.general)
  • Re: Help! DateTime question.
    ... "Frank" schrieb ... > This may sound a bit weird, but I cannot find any class ... > in the framework that lets me change the current date and ...
    (microsoft.public.dotnet.general)