Path: ...!news.misty.com!weretis.net!feeder8.news.weretis.net!news.trigofacile.com!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed2-a.proxad.net!nnrp1-1.free.fr!not-for-mail From: Thomas Alexandre Subject: Re: =?iso-8859-1?Q?Incoh=E9rence=2C?= Hypocrisie ou =?iso-8859-1?Q?incomp=E9tence?= technique ? Newsgroups: fr.sci.maths References: <1pk0qjf.1xxyyhk1adgn7aN%gd2512@free.fr> <61c03280$0$8913$426a74cc@news.free.fr> <61c07a82$0$29505$426a74cc@news.free.fr> User-Agent: Pan/0.147 (Sweet Solitude; 0049344 gitlab.gnome.org/GNOME/pan.git) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Date: 20 Dec 2021 14:25:21 GMT Lines: 25 Message-ID: <61c09251$0$8904$426a74cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 20 Dec 2021 15:25:21 CET NNTP-Posting-Host: 78.196.238.42 X-Trace: 1640010321 news-2.free.fr 8904 78.196.238.42:51730 X-Complaints-To: abuse@proxad.net Bytes: 2785 Le Mon, 20 Dec 2021 14:17:44 +0100, Samuel DEVULDER a écrit : > Ne pas croire n'est *pas* une croyance C'est incroyable. > (sauf si tu retient l'axiome tout-PT). Ou mieux : 𝓑(PT) ∧ 𝓑[¬𝓑(PT)] A peculiar reasoner believes proposition p while also believing they do not believe p. Although a peculiar reasoner may seem like a strange psychological phenomenon (see Moore's paradox), a peculiar reasoner is necessarily inaccurate but not necessarily inconsistent. https://en.wikipedia.org/wiki/Doxastic_logic Ça rend la discussion délicate. -- "Ce qu'il faut au fond pour obtenir une espèce de paix avec les hommes, (...) c'est leur permettre en toutes circonstances, de s'étaler, de se vautrer parmi les vantardises niaises. Il n'y a pas de vanité intelligente. C'est un instinct." - Céline