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 connectionsPath: ...!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!cleanfeed1-b.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> 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 12:43:46 GMT Lines: 50 Message-ID: <61c07a82$0$29505$426a74cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 20 Dec 2021 13:43:46 CET NNTP-Posting-Host: 78.196.238.42 X-Trace: 1640004226 news-2.free.fr 29505 78.196.238.42:51444 X-Complaints-To: abuse@proxad.net Bytes: 3702 Le Mon, 20 Dec 2021 08:36:32 +0100, Jacques Mathon a écrit : > 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"? En logique doxastique (https://en.wikipedia.org/wiki/Doxastic_logic) l'équivalence "non croire" <=> "croire que non" pose de légers problèmes. L'axiome D (qui assure la consistance) pose : ∀p , 𝓑(p) => ¬𝓑(¬p) Si je tiens pour vrai un truc alors je ne tiens pas pour vrai son contraire. Mais si on veut la relation d'équivalence sus-mentionnée : ∀p , 𝓑(p) <=> ¬𝓑(¬p) Il faut ajouter l'axiome Purée Totale (PT) : ∀p , ¬𝓑(p) => 𝓑(¬p) qui est équivalent à : ∀p , 𝓑(p) v 𝓑(¬p) qui est la négation de ∃p , ¬𝓑(p) ∧ ¬𝓑(¬p) Il devient impossible de ne pas avoir un avis sur tout. On a alors une théorie où toute proposition p est décidable, une théorie complète quoi. > 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. Je ne suis pas convaincu (ie: je n'ai pas d'opinion, je ne crois ni que c'est vrai, ni que c'est faux - ce qui est impossible avec PT) -- "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