Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!news.trigofacile.com!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-b.proxad.net!nnrp1-1.free.fr!not-for-mail Date: Mon, 20 Dec 2021 08:36:32 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.1 Subject: =?UTF-8?Q?Re=3a_Incoh=c3=a9rence=2c_Hypocrisie_ou_incomp=c3=a9tence?= =?UTF-8?Q?_technique_=3f?= Content-Language: fr-FR Newsgroups: fr.sci.maths References: <1pk0qjf.1xxyyhk1adgn7aN%gd2512@free.fr> From: Jacques Mathon In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Lines: 23 Message-ID: <61c03280$0$8913$426a74cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 20 Dec 2021 08:36:32 CET NNTP-Posting-Host: 81.185.160.196 X-Trace: 1639985792 news-2.free.fr 8913 81.185.160.196:60258 X-Complaints-To: abuse@proxad.net Bytes: 2975 Le 18/12/2021 à 11:03, Samuel DEVULDER a écrit : > Le 18/12/2021 à 09:45, Le Loup Blanc de Usenet a écrit : >> tu me dira qui ne crois pas au moins à une chose et on verra... > > C'est quoi ta définition de "croire" ? On en revient toujours à cela. > Quels sont tes axiomes qui définissent le prédicat d'ordre 2 > "croire(x,y)" ? (Rappel: on est un forum de maths.) Je pense que la question qui se pose relève plutôt de la définition de "non croire" ce qui pourrait nous ramener à une question plus "mathématique" est ce que "non croire" est équivalent à "croire que non"? Ma réponse personnelle est sans ambiguïté, en tout cas dans un monde non aristotélicien. Voir, par exemple: https://fr.wikipedia.org/wiki/Le_Monde_des_non-A La question reste peut-être plus ouverte dans d'autres logiques. Amicalement -- Jacques Mathon