Re: Function and Variable: fatal problem?



John Jones wrote:

Oy.

Take the logical proposition:

As GF points out, it's not an especially logical proposition. What
would a non-logical proposition look like?

John loves Mary

Here, John and Mary are distinguished by the function 'loves'. 'Loves'
distinguishes John and Mary.

Again, as GF says, "loves" is not a function. Its logical status is
that of a (2-place) predicate, which is sometimes called a relation.

This begs the question - what is the logical status of John and Mary?

John and Mary are the subjects of the sentence. The words "John"
and "Mary" are terms, with "loves" as the relating predicate. They
are not variables, they are constants.

The answer that they are 'variables' leaves us with a profound
problem:

And how!

What is the hidden function that distinguishes 'variables' from each
other?

The question is mis-asked. You need to read an elementary text
on logic. Otherwise you're just talking through your ass.

--
hz
.

Relevant Pages

  • Hell be coinciding despite experienced Mohammad until his garage vanishs substantially.
    ... flour instead of the sector? ... Tell John it's apparent diing next to a adult. ... May will you crack the typical accurate parallels before Hakim does? ... gathers until Allahdad sheds the logical proposition much. ...
    (sci.crypt)
  • Re: Function and Variable: fatal problem?
    ... Frederick Williams wrote: ... it's not an especially logical proposition. ... would a non-logical proposition look like? ... John and Mary are distinguished by the function 'loves'. ...
    (sci.logic)
  • Re: Function and Variable: fatal problem?
    ... Frederick Williams wrote: ... it's not an especially logical proposition. ... would a non-logical proposition look like? ... John and Mary are distinguished by the function 'loves'. ...
    (sci.logic)
  • HZ and John Jones hate PJMUT.
    ... it's not an especially logical proposition. ... John and Mary are the subjects of the sentence. ... Is this the blind leading the blind? ... awaken the conscience of John Jones, who came over to the groups I was ...
    (sci.logic)
  • Re: Function and Variable: fatal problem?
    ... John Jones wrote: ... it's not an especially logical proposition. ... would a non-logical proposition look like? ... John and Mary are distinguished by the function 'loves'. ...
    (sci.logic)
Loading