A trop vouloir "avoir raison contre", vous avez adopté toute les caractéristiques des zozos que vous prétendez combattre: aveuglement face aux preuves, malhonneteté intellectuelle manifeste.
Sans compter l'agressivité excessive qui dépasse de très loin la simple attitude désagrable.
I)
Inexistence locale
J'ai démontré qu'on pouvait prouver une inexistence de quelque chose dans un référentiel local.
a/ La première critique, celle d'Etienne Beauman, consistait à vouloir à tout prix faire un distingo entre présence et existence d'une part et entre absence et inexistence d'autre part. J'ai montré que ce distingo n'avait pas lieu d'etre de manière logique dans
ce message:
cajypart a écrit :Existence= être, inexistence=non-être. Es-tu d'accord?
J'ouvre mon frigo, je constate qu'il y a du fromage. Le fromage est dans le frigo. Etre.
Je prend le fromage et le pose sur la table de la cuisine.
J'ouvre à nouveau le frigo. Le fromage n'est pas dans le frigo. Non-être.
J'ai aussi apporté la
définition du dictionnaire et je vous épargnerais toutes les sources qui vont dans le meme sens (dictionnaires de synonimes).
b/ La seconde critique est celle de Eve_en_Gilles qui estime que mes référentiels sont "ultra localisé, très restreint, et surtout ce 'nest qu'un sous-sous-sous-sous référentiel, un epsilon, une partie minuscule.".
J'affirme qu'il est possible de démontrer l'inexistence d'une station spatiale d'origine terrienne en orbite autour de Mars.
Référentiel minuscule?
II)
Inexistence universelle
Etienne beauman refuse mes démonstrations d'inexistence universelle au prétexte que "quelque chose qui ne peut pas exister est inexistant" est un truisme.
Qu'est-ce qu'un
truisme?
C'est une "Vérité trop manifeste, qu’il est superflu de vouloir démontrer et qui ne vaut même pas la peine d’être énoncée."
Manifeste a le sens de " Notoire, évident pour tout le monde."
Effectivement, "quelque chose qui ne peut pas exister est inexistant" a toutes les qualités d'un truisme.
Mais c'est aussi un
postulat, une
équivalence logique, une méthode de démonstration:
Soit P= "quelque chose qui ne peut pas exister"
Et Q= "quelque chose est inexistant"
si on prouve que quelque chose ne peut exister alors on prouve que ce quelque chose est inexistant. Si P alors Q.
("En logique classique, cela revient à dire que P et Q ont même valeur de vérité : P et Q sont soit toutes les deux vraies, soient toutes les deux fausses.")
Etienne Beauman nous explique donc que toute équivalence logique est un truisme.
Par cet artifice, il m'interdit tout simplement de démontrer l'inexistence de TOUT ce qui n'existe pas (et évidemment de tout ce qui ne peut pas exister).
C'est évidemment un sophisme.
Reprenons mon exemple "un etre humain sans chromosome X n'existe pas".
Est-ce une vérité trop manifeste, évidente pour tout le monde, du même ordre que "l'eau, ça mouille"?
Evidemment que non, car pour prouver que ça ne peut exister, il fallait découvrir, démontrer qu'un chromosome X est indispensable à la croissance d'un embryon humain.
Est-ce que toute chose qui a été démontrée devient un truisme?
Les exemples de démonstration d'inexistence par cette méthode peuvent être nombreux et être valides de manière universelle.
Conclusion:
Il est possible de démontrer une inexistence:
-En la constatant dans un référentiel local
-En prouvant l'impossibilité d'exister de manière universelle ou locale.
Reformulons la maxime/slogan/postulat pour montrer toute son absurdité: "il n'existe pas de personne capable de démontrer une inexistence". -> poubelle