"Si l'on a à partir d'une hypothèse A une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse A est contradictoire, ce qui est le sens de 'non A'."
.
Signification de l'avatar :
- J'm'interroge
- [ Incroyant ]
- [ Incroyant ]
- Messages : 13700
- Enregistré le : 02 sept.13, 23:33
Signification de l'avatar :
Ecrit le 17 févr.26, 12:43.
"Si l'on a à partir d'une hypothèse A une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse A est contradictoire, ce qui est le sens de 'non A'."
.
"Si l'on a à partir d'une hypothèse A une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse A est contradictoire, ce qui est le sens de 'non A'."
.
1. S’en tenir au concret, c’est-à-dire à ce qui se présente, tel que cela se présente, sans ajout purement spéculatif.
2. Ne rien affirmer qui ne réfère à rien d’identifiable dans ce qui se présente.
3. Ne rien postuler qui ne puisse s’y vérifier.
4. Reconnaître toute construction théorique pour ce qu’elle est : une construction langagière.
2. Ne rien affirmer qui ne réfère à rien d’identifiable dans ce qui se présente.
3. Ne rien postuler qui ne puisse s’y vérifier.
4. Reconnaître toute construction théorique pour ce qu’elle est : une construction langagière.
- indian
- [Religion] Foi pluralisme
- [Religion] Foi pluralisme
- Messages : 31981
- Enregistré le : 25 avr.14, 03:14
Re: Signification de l'avatar :
Ecrit le 17 févr.26, 12:45mon avatar est en hommage au Bab
Unir l'humanité. Un seul Dieu. Les grandes religions de Dieu. Femmes, hommes sont égaux. Tous les préjugés sont destructeurs et doivent être abandonnés. Chercher la vérité par nous-mêmes. La science et la religion en harmonie. Nos problèmes économiques sont liés à des problèmes spirituels. La famille et son unité sont très importantes.
- J'm'interroge
- [ Incroyant ]
- [ Incroyant ]
- Messages : 13700
- Enregistré le : 02 sept.13, 23:33
Re: Signification de l'avatar :
Ecrit le 17 févr.26, 13:111. S’en tenir au concret, c’est-à-dire à ce qui se présente, tel que cela se présente, sans ajout purement spéculatif.
2. Ne rien affirmer qui ne réfère à rien d’identifiable dans ce qui se présente.
3. Ne rien postuler qui ne puisse s’y vérifier.
4. Reconnaître toute construction théorique pour ce qu’elle est : une construction langagière.
2. Ne rien affirmer qui ne réfère à rien d’identifiable dans ce qui se présente.
3. Ne rien postuler qui ne puisse s’y vérifier.
4. Reconnaître toute construction théorique pour ce qu’elle est : une construction langagière.
- J'm'interroge
- [ Incroyant ]
- [ Incroyant ]
- Messages : 13700
- Enregistré le : 02 sept.13, 23:33
Re: Signification de l'avatar :
Ecrit le 19 févr.26, 12:37.
Si l'on a à partir d'une hypothèse 𝐴 une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse 𝐴 est contradictoire, ce qui est le sens de 'non 𝐴'.
___
La logique minimale permet de tester la cohérence structurelle d’un ensemble de propositions, de construire des preuves à partir d’hypothèses explicites, et d’identifier ou d’éliminer celles qui sont auto‑contradictoires ou qui conduisent à une contradiction.
___
En logique minimale, « non 𝐴 » ne signifie pas qu’𝐴 est factuellement faux, mais qu’𝐴 mène à une contradiction lorsqu’on part de cette hypothèse.
Formulé clairement :
- On pose l’hypothèse 𝐴.
- On construit une preuve logique à partir de 𝐴.
- Si cette construction aboutit à ⊥ (contradiction), alors 𝐴 est inconsistant dans le cadre considéré.
- On peut alors conclure ¬𝐴, c’est-à-dire que l’hypothèse 𝐴 ne peut être maintenue sans contradiction.
C’est une notion de preuve constructible, pas une évaluation de vérité objective en dehors du système.
___
- En logique minimale, il n’existe pas de principe d’explosion (ex falso quodlibet).
- Donc, d’une contradiction ⊥, on ne peut rien conclure arbitrairement.
- La seule chose légitime que l’on conclut est méta-logique et locale au cadre hypothétique : l’hypothèse (ou l’ensemble d’hypothèses) dont on est parti est inconsistant.
Autrement dit :
- Une contradiction n’est pas une information sur le monde.
- Elle n’est pas une preuve du contraire d’une proposition indépendante.
- Elle est uniquement une preuve construite que l’hypothèse de départ ne peut pas être maintenue dans ce cadre.
La conséquence correcte est donc :
- élimination ou révision de l’hypothèse fautive,
- sans propagation de conclusions non justifiées.
C’est précisément ce qui distingue la logique minimale des logiques classiques.
___
En logique minimale, une contradiction construite n’autorise aucune conclusion arbitraire, elle établit uniquement que l’hypothèse (ou l’ensemble d’hypothèses) dont elle est issue est inconsistante dans ce cadre hypothétique et doit donc être éliminée ou révisée.
.
Si l'on a à partir d'une hypothèse 𝐴 une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse 𝐴 est contradictoire, ce qui est le sens de 'non 𝐴'.
___
La logique minimale permet de tester la cohérence structurelle d’un ensemble de propositions, de construire des preuves à partir d’hypothèses explicites, et d’identifier ou d’éliminer celles qui sont auto‑contradictoires ou qui conduisent à une contradiction.
___
En logique minimale, « non 𝐴 » ne signifie pas qu’𝐴 est factuellement faux, mais qu’𝐴 mène à une contradiction lorsqu’on part de cette hypothèse.
Formulé clairement :
- On pose l’hypothèse 𝐴.
- On construit une preuve logique à partir de 𝐴.
- Si cette construction aboutit à ⊥ (contradiction), alors 𝐴 est inconsistant dans le cadre considéré.
- On peut alors conclure ¬𝐴, c’est-à-dire que l’hypothèse 𝐴 ne peut être maintenue sans contradiction.
C’est une notion de preuve constructible, pas une évaluation de vérité objective en dehors du système.
___
- En logique minimale, il n’existe pas de principe d’explosion (ex falso quodlibet).
- Donc, d’une contradiction ⊥, on ne peut rien conclure arbitrairement.
- La seule chose légitime que l’on conclut est méta-logique et locale au cadre hypothétique : l’hypothèse (ou l’ensemble d’hypothèses) dont on est parti est inconsistant.
Autrement dit :
- Une contradiction n’est pas une information sur le monde.
- Elle n’est pas une preuve du contraire d’une proposition indépendante.
- Elle est uniquement une preuve construite que l’hypothèse de départ ne peut pas être maintenue dans ce cadre.
La conséquence correcte est donc :
- élimination ou révision de l’hypothèse fautive,
- sans propagation de conclusions non justifiées.
C’est précisément ce qui distingue la logique minimale des logiques classiques.
___
En logique minimale, une contradiction construite n’autorise aucune conclusion arbitraire, elle établit uniquement que l’hypothèse (ou l’ensemble d’hypothèses) dont elle est issue est inconsistante dans ce cadre hypothétique et doit donc être éliminée ou révisée.
.
1. S’en tenir au concret, c’est-à-dire à ce qui se présente, tel que cela se présente, sans ajout purement spéculatif.
2. Ne rien affirmer qui ne réfère à rien d’identifiable dans ce qui se présente.
3. Ne rien postuler qui ne puisse s’y vérifier.
4. Reconnaître toute construction théorique pour ce qu’elle est : une construction langagière.
2. Ne rien affirmer qui ne réfère à rien d’identifiable dans ce qui se présente.
3. Ne rien postuler qui ne puisse s’y vérifier.
4. Reconnaître toute construction théorique pour ce qu’elle est : une construction langagière.
Qui est en ligne
Utilisateurs parcourant ce forum : Bytespider et 15 invités