Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Barb Knox <Barb@sig.below>
Newsgroups: sci.logic
Subject: Re: Self-evidently I am not my grandpa
Date: Mon, 29 Apr 2024 20:39:30 +1200
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <v0nmc7$1kvn0$1@dont-email.me>
References: <v0hvp5$25uj$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 29 Apr 2024 10:39:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="41efda3049b94d037b8b8061d3ffa852";
	logging-data="1736416"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/8yqRcT3AfwB/omCp8pdNP"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ALX1+VdM2Q9cFUx+yq09Eo8MjEk=
Content-Language: en-GB
In-Reply-To: <v0hvp5$25uj$1@solani.org>
Bytes: 2064

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.

--
---------------------------
|  BBB                b    \   Barbara at LivingHistory stop co stop uk
|  B  B   aa     rrr  b     |
|  BBB   a  a   r     bbb   |  Quidquid latine dictum sit,
|  B  B  a  a   r     b  b  |  altum videtur.
|  BBB    aa a  r     bbb   |
-----------------------------