Re: An argument against modus ponens

george wrote:
The LOGIC of the implications
will be INDEPENDENT of the meaning of
the atoms.

On Sep 8, 3:25 pm, John Jones <jonescard...@xxxxxxx> wrote:
Don't introduce meaning then.

It doesn't NEED to be EXPLICITLY introduced.
IT HAPPENS BY ITSELF. You JUST NOTICE
that certain kinds of statements have relationships to
certain other kinds of statements.
P v Q just HAPPENS to always have THE OPPOSITE truth-
value from ~P ^ ~Q. That fact by itself winds up INVITING
a "meaning" for "not".

Don't introduce consequences,

The WHOLE THING IS ABOUT consequence!
The whole thing IS ABOUT inference!
You CAN'T say "don't introduce" THAT!
Introducing THAT is WHY WE CAME!
We basically CAN'T "introduce" consequence
because consequence WAS ALREADY HERE!
It is the DEFINING feature OF "here"!


Not p and not Q are ambiguous and don't belong in a decent logical lexicon.

There are no consequences or inferences in logic. Logic presents everything as it is. Any effort on our part toward a deduction is just that - effort.
.

Relevant Pages

  • Re: An argument against modus ponens
    ... will be INDEPENDENT of the meaning of ... the atoms. ... The whole thing IS ABOUT inference! ... It is the DEFINING feature OF "here"! ...
    (sci.logic)
  • Re: Is every touchdown a stall?
    ... You excerpted that context and created a truncated statement from my reply ... descending, it is landing" (Mxsmanic's, and basically correct, even if he ... How can an inference NOT be "fabricated"? ... including stating the inferences of the meaning of others' ambiguous ...
    (rec.aviation.piloting)
  • Re: Heres a possibility, but its a tall order; Harshman "got science,"hecan do it
    ... >> relying on direct vision, and in fact vision doesn't allow one ... >> and atoms and electrons. ... observation is in measuring the time it takes a runner to travel a mile. ... example of an inference is based on that observation, ...
    (talk.origins)
  • Re: Heres a possibility, but its a tall order; Harshman "got science,"hecandoit
    ... >>>inferences as any other inference. ... >>>including the subject of atoms, just a couple of which would make you ... I don't think the difference between direct observation ... > using gravity as an example, is that gravity does not discriminate between ...
    (talk.origins)
  • Re: Heres a possibility, but its a tall order; Harshman "got science,"hecandoit
    ... whenever John tries to convince you that observations ... Why would they define an observation as an inference if it wasn't one? ... As the bowling ball falls to the ground, ... signals and *infer* their meaning based on things I already know, ...
    (talk.origins)