Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!news.mixmin.net!aioe.org!wWi+bf82x/J4IG13ZEtRgw.user.46.165.242.75.POSTED!not-for-mail From: Samuel DEVULDER Newsgroups: fr.sci.maths Subject: =?UTF-8?Q?Re=3a_Incoh=c3=a9rence=2c_Hypocrisie_ou_incomp=c3=a9tence?= =?UTF-8?Q?_technique_=3f?= Date: Mon, 20 Dec 2021 14:16:07 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <1pk0qjf.1xxyyhk1adgn7aN%gd2512@free.fr> <61c03280$0$8913$426a74cc@news.free.fr> <61c07a82$0$29505$426a74cc@news.free.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gioia.aioe.org; logging-data="52918"; posting-host="wWi+bf82x/J4IG13ZEtRgw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.4.0 X-Antivirus: Avast (VPS 211220-0, 20/12/2021), Outbound message Content-Language: fr X-Notice: Filtered by postfilter v. 0.9.2 X-Antivirus-Status: Clean Bytes: 2820 Lines: 19 Le 20/12/2021 à 13:43, Thomas Alexandre a écrit : > Il faut ajouter l'axiome Purée Totale (PT) : > ∀p , ¬𝓑(p) => 𝓑(¬p) > > qui est équivalent à : > ∀p , 𝓑(p) v 𝓑(¬p) En langage naturelle: pour toute proposition p, soit on croit que c'est vrai, soit on croit que c'est faux. Il est impossible de ne pas croire ni en l'un ni en l'autre. L'ignorant est éliminé! > Il devient impossible de ne pas avoir un avis sur tout. Et si on ajoute qu'il faut l'imposer aux autres (opérateur Claim), on remarque qu'on obtient la définition actuelle des réseaux sociaux où on est obligé non seulement d'avoir un avis sur tout, et surtout on doit le publier. sam.