Re: Nécessaire et possible

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