Article <v0o032$5j35$1@solani.org>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v0o032$5j35$1@solani.org>

Deutsch English Français Italiano

<v0o032$5j35$1@solani.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: Re: Self-evidently I am not my grandpa
Date: Mon, 29 Apr 2024 21:25:22 +1000
Message-ID: <v0o032$5j35$1@solani.org>
References: <v0hvp5$25uj$1@solani.org> <v0nmc7$1kvn0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 29 Apr 2024 11:25:22 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="183397"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:Of5qyj+04vvFpr0cXQDkT/8LkjQ=
X-User-ID: eJwFwQkBwDAIA0BLMMJTOYUS/xJ25xYakwgPOJ3Fs6yy0gG5NSO5Nx7BPp/m1d11hTx2f0ynJafQks8g+AF/sBZp
In-Reply-To: <v0nmc7$1kvn0$1@dont-email.me>
Bytes: 2355
Lines: 39


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

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.
> 
> -- 
> ---------------------------
> |  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   |
> -----------------------------
>