Re: Function and Variable: fatal problem?

herbzet wrote:

Frederick Williams wrote:
herbzet wrote:
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.

Ironically, the real Frege would say that loves is a function.

I'm surprised to hear that! How so?

X loves Y is a function from the set of pairs of objects to the set of
truth values.

--
How unlike the home life of our own dear Queen.
Remove "antispam" and ".invalid" for e-mail address.
.

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)
  • 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)
  • 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)