Re: Self-evidently I am not my grandpa

Liste des GroupesRevenir à s logic 
Sujet : Re: Self-evidently I am not my grandpa
De : jbb (at) *nospam* notatt.com (Jeff Barnett)
Groupes : sci.logic
Date : 30. Apr 2024, 06:50:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v0pta7$28t2g$1@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 4/29/2024 5:25 AM, Mild Shock wrote:

Well I forgot to say, that only first order
logic with equality, FOL=, is available.

You also forgot that you posed this as a Prolog, not an FOL, problem.

How would you define ancestor?

Barb Knox schrieb:
On 27/04/2024 16:43, Mild Shock wrote:
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"

If you want it to.  The additional rule needed is that X can not be an
ancestor of X.--
Jeff Barnett


Date Sujet#  Auteur
27 Apr 24 * Self-evidently I am not my grandpa9Mild Shock
29 Apr 24 +* Re: Self-evidently I am not my grandpa6Barb Knox
29 Apr 24 i`* Re: Self-evidently I am not my grandpa5Mild Shock
29 Apr 24 i +- Re: Self-evidently I am not my grandpa1Mild Shock
29 Apr 24 i +- Re: Self-evidently I am not my grandpa1Barb Knox
30 Apr 24 i `* Re: Self-evidently I am not my grandpa2Jeff Barnett
30 Apr 24 i  `- Re: Self-evidently I am not my grandpa1Mild Shock
30 Apr 24 `* Re: Self-evidently I am not my grandpa2Mild Shock
2 May 24  `- Re: Self-evidently I am not my grandpa1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal