Path: ...!1.us.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!news.trigofacile.com!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed1-a.proxad.net!nnrp1-2.free.fr!not-for-mail
From: Thomas Alexandre <none@no.invalid>
Subject: Re: =?iso-8859-1?Q?N=E9cessaire?= et possible
Newsgroups: fr.sci.zetetique
References: <xNtNk_izlRWPYKP2hY7I4Df2vt8@jntp> <tjmt4u$9ob7$1@dont-email.me>
	<2TTrs35yFc2NkELXXTlLW1wTuO8@jntp> <tjopst$h5nr$3@dont-email.me>
	<tjoqch$ge$1@shakotay.alphanet.ch> <awVM9q0TRb0VOdxMy0cx4OHhOPM@jntp>
	<635feead$0$31527$426a34cc@news.free.fr> <73TuVLlHbiGJwgieNei6Ues-a6g@jntp>
	<6361325c$0$2979$426a74cc@news.free.fr>
	<63613362$0$2998$426a34cc@news.free.fr> <tjrue0$1ev8$1@gioia.aioe.org>
	<63618056$0$25468$426a74cc@news.free.fr> <tjuquv$fbb$2@gioia.aioe.org>
	<636368e4$0$25803$426a74cc@news.free.fr> <tk04s1$67u$1@gioia.aioe.org>
	<636397c5$0$22287$426a34cc@news.free.fr> <tk1ga3$1oed$1@gioia.aioe.org>
	<6364d951$0$25833$426a74cc@news.free.fr>
	<6364f7ac$0$25818$426a74cc@news.free.fr>
	<6364fc6b$0$25802$426a74cc@news.free.fr>
	<63650148$0$25818$426a74cc@news.free.fr>
	<63650235$0$25830$426a74cc@news.free.fr>
	<63651474$0$25448$426a34cc@news.free.fr>
	<636517cd$0$31535$426a34cc@news.free.fr>
Organization: 👹
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 04 Nov 2022 20:09:33 GMT
Lines: 40
Message-ID: <6365717d$0$25947$426a74cc@news.free.fr>
NNTP-Posting-Date: 04 Nov 2022 21:09:33 CET
NNTP-Posting-Host: 78.196.238.42
X-Trace: 1667592573 news-2.free.fr 25947 78.196.238.42:57260
X-Complaints-To: abuse@proxad.net
Bytes: 3261

Le Fri, 04 Nov 2022 13:46:54 +0000, Martial a écrit :

> Le 4 novembre 2022 à 14:32 , Thomas Alexandre, C'est exprimé :

>  C( p) : "je crois que p" - donc croit que Dieu existe
> ¬C( p) : "je ne crois pas que p" - donc [ne] croit pas que Dieu existe
>  C(¬p) : "je crois que non(p)" - donc croit en l'inexistance de Dieu
> ¬C(¬p) : "je ne crois pas que non(p)" donc ne croit pas en l'inexistance 
>           de Dieu
>
> c'est ça ?

Oui, en posant p "Dieu existe" c'est exactement ça.

Maintenant nous pouvons formaliser plus clairement les choses.

Pour certaines propositions p, C(p) et C(¬p) est-il possible ?

Ben non, croire simultanément un truc et son contraire, ce n'est pas 
possible, jamais, sauf à être totalement inconsistant, donc non.

Et donc : pour tout p, si C(p) alors nécessairement ¬C(¬p).


Pour certaines propositions p, ¬C(p) et ¬C(¬p) est-il possible ?

Ben oui, par exemple pour p="Macron porte un string panthère le jeudi", il 
est parfaitement possible de ne pas croire p et de ne pas croire non(p).

Ou alors citez-moi vos sources !

Est-ce que jusque là nous sommes d'accord ?



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