Re: Nécessaire et possible

Le Fri, 04 Nov 2022 12:14:46 +0000, Martial a écrit :

si tu veux discuter sérieusement tout en respectant ton interlocuteur
alors c'est d'accore, j'en ferait de même.

Parfait.
 

il n'y a pas plus de deux solutions soit Dieu existe soit il n'existe
pas
>
donc a propos de Dieu c'est une question binaire.

Formulons ça.

Soit p une proposition logique, n'importe laquelle ("Dieu existe",
"1+1=2", "1+1=12", "Socrate est un homme", etc).

Par définition, soit p est vraie, soit p est fausse, exclusivement.

Soit l'opérateur logique "croire la proposition p" : C(p).

Par définition, soit C(p) est vrai (on y croit), soit C(p) est faux (on
n'y croit pas), exclusivement.

Notons ¬p la négation de p.
La négation de vrai est faux, la négation de faux est vrai.

On notera donc
 C( p) : "je crois que p"
¬C( p) : "je ne crois pas que p"
 C(¬p) : "je crois que non(p)"
¬C(¬p) : "je ne crois pas que non(p)"

Est-ce jusque là ça va ?


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