Path: ...!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!cleanfeed3-b.proxad.net!nnrp4-1.free.fr!not-for-mail
From: Thomas Alexandre <none@no.invalid>
Subject: Re: [flood] Re: [Turf] Virtualisation
Newsgroups: fr.sci.zetetique
References: <65dcc29b$0$3239$426a74cc@news.free.fr>
	<65de1aaa$0$11922$426a74cc@news.free.fr>
	<MPG.4048994d2a2e947098a318@news.individual.net>
	<65df1d59$0$2977$426a74cc@news.free.fr>
	<65df3820$0$8226$426a74cc@news.free.fr>
	<65df4926$0$11893$426a74cc@news.free.fr>
	<65e02cd9$0$3263$426a74cc@news.free.fr>
	<65e050f6$0$29743$426a74cc@news.free.fr>
	<65e17ca7$0$29766$426a74cc@news.free.fr>
	<65e1a7e5$0$7528$426a74cc@news.free.fr>
	<MPG.404c5e3fe8b1f4c798a321@news.individual.net>
	<m5HEN.11204443$ee1.6829784@fx16.ams4>
	<MPG.404dd33025a13e298a328@news.individual.net>
	<atVEN.1464857$hm1.609796@fx04.ams4> <65e4659f$0$5270$426a74cc@news.free.fr>
	<MPG.404f22ea96c3a8098a32b@news.individual.net>
	<atmFN.1475559$hm1.51660@fx04.ams4> <65e60569$0$5284$426a74cc@news.free.fr>
	<perFN.2215726$cgX9.950496@fx13.ams4>
	<65e6436f$0$11910$426a74cc@news.free.fr>
	<DREFN.1147921$cE8e.220964@fx09.ams4>
	<65e724ff$0$11917$426a74cc@news.free.fr>
MIME-Version: 1.0
Organization: =?UTF-8?B?8J+Nv/Cfjbo=?=
User-Agent: Pan/0.154 (Izium; 517acf4)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 05 Mar 2024 15:07:20 GMT
Lines: 46
Message-ID: <65e73528$0$8248$426a74cc@news.free.fr>
NNTP-Posting-Date: 05 Mar 2024 16:07:20 CET
NNTP-Posting-Host: 78.196.238.42
X-Trace: 1709651240 news-1.free.fr 8248 78.196.238.42:44412
X-Complaints-To: abuse@proxad.net
Bytes: 3011

Le 05 Mar 2024 13:58:23 GMT, James Bond 007 a écrit :

> ne pas croire est nier ce qui est proposé.

Les propositions suivantes sont la négation l'une de l'autre :

1) "Si je ne crois pas un truc alors je crois le contraire."

2) "Il y a des trucs pour lesquels je n'ai aucune opinion, je ne crois ni
que c'est vrai, ni que c'est faux."

On ne peut donc pas les tenir pour vraies toutes les deux.

En effet si l'on note 𝓑(p) "croire (tenir pour vrai) la proposition 
p" (⁸),

la proposition 1 :

    ∀p , ¬𝓑(p) => 𝓑(¬p)

"pour toute proposition p, si je ne crois pas p alors je crois la négation
de p"

est équivalente à

    ∀p ,  𝓑(p) v 𝓑(¬p)

"pour toute proposition p, je crois p OU je crois la négation de p"

qui est la négation logique de :

    ∃p , ¬𝓑(p) ∧ ¬𝓑(¬p)

"il existe (au moins) une proposition p telle que : je ne crois pas p ET
je ne crois pas la négation de p"

qui est la proposition 2.


8: <https://en.wikipedia.org/wiki/Doxastic_logic>

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