Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #627304

Self-evidently I am not my grandpa

Show all headers | View raw

Lets take this "truth":

 > Quine explains, “No bachelor is married,” where
the meaning of the word ‘bachelor’ is synonymous
with the meaning of the word ‘unmarried.’ However,
we can make this kind of analytic claim into a
logical truth (as defined above) by replacing
‘bachelor’ with its synonym, that is, ‘unmarried man,’
to get “No unmarried man is married,” which is an
instance of No not-X is X.

Then examine this "truth":

Lets say you build a Prolog family database and
make definitions for father, grand-father etc..
Will this Prolog family database exclude:

"Im my own grandpa"

Back to sci.math | Previous | Next — Next in thread | Find similar

Thread

Self-evidently I am not my grandpa Mild Shock <janburse@fastmail.fm> - 2024-04-27 14:44 +1000
  Re: Self-evidently I am not my grandpa Mild Shock <janburse@fastmail.fm> - 2024-05-02 10:35 +1000
    Re: Self-evidently I am not my grandpa Moebius <invalid@example.invalid> - 2024-05-02 02:49 +0200
    Re: Self-evidently I am not my grandpa Moebius <invalid@example.invalid> - 2024-05-02 02:50 +0200
      Re: Self-evidently I am not my grandpa Mild Shock <janburse@fastmail.fm> - 2024-05-02 10:59 +1000
        Re: Self-evidently I am not my grandpa Moebius <invalid@example.invalid> - 2024-05-02 03:44 +0200
          Re: Self-evidently I am not my grandpa Mild Shock <janburse@fastmail.fm> - 2024-05-03 11:46 +1000
            Re: Self-evidently I am not my grandpa Moebius <invalid@example.invalid> - 2024-05-03 10:07 +0200

csiph-web