Re: [flood] Re: [Turf] Virtualisation

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