.
@ pauline.px,
C'est vrai que ce n'est pas évident de définir même un simple tout.
______________________
Ajouté 11 heures 25 minutes 54 secondes après :
J'm'interroge a écrit : 08 nov.25, 00:23
Je ne suis pas contraint de réduire les concepts de catégorie ou d'ensemble à un cadre logique strictement mathématique.
aerobase a écrit : 08 nov.25, 00:53
Que l'on puisse poser une égalité entre un objet physique et un objet mathématique sans trop de problème et validé par une théorie ok
En mathématique il est question d'égalités. En logique il est question d'équivalences.
Les objets de la physique ne sont pas purement mathématiques, même s'il est question en physique de formules mathématiques dites de physique.
En physique une théorie ne valide rien, une théorie est validée ou non par des preuves expérimentales dans le cadre d'une théorie épistémologique.
aerobase a écrit : 08 nov.25, 00:53
Mais toi le domaine que tu essaye d'atteindre dépasse largement le domaine de la physique
Je n'essaie pas d'attendre un domaine, je raisonne dans le cadre de la logique classique ou intuitionniste selon les besoins, c'est-à-dire dans un cadre logique qui inclut celui des mathématiques et de la physique.
Je ne sais pas ce que tu entends par un domaine qui dépasserait la physique. Les objets de la physique sont tout aussi abstraits que ceux de n'importe quelle théorie.
aerobase a écrit : 08 nov.25, 00:53
Tu le fais dans le cadre d'aucune théorie
Quoi ? Qu'est-ce que je ferais ? Je ne comprends pas bien ton propos.
Tu parles de quoi au juste ? Ce n'est pas moi qui défends le concept creux (incohérent) d'un Tout qui engloberait tout.
aerobase a écrit : 08 nov.25, 00:53
C'est quoi le rapport entre l'objet ensemble en maths et un ensemble d'êtres humains par exemple?
C'est le même concept, mais avec une autre classe d'objets.
Plus exactement : C'est le concept équivalent généralisé, en ce qu'il permet de regrouper d'autres classes d'objets, non nécessairement mathématiques.
aerobase a écrit : 08 nov.25, 00:53
Pense tu que la relation appartenance employée en langage des ensembles est la même que celle dont on se donne dans le langage courant?
Bah non aucun rapport
En quoi se serait différent dans le principe ?
aerobase a écrit : 08 nov.25, 00:53
Dans le langage des ensembles quand on commence à dire quelque chose on se place dans le cadre d'une théorie
Et pas dans le langage ordinaire ?
Que se ne soit pas explicite y changerait-il quelque chose ?
aerobase a écrit : 08 nov.25, 00:53
Quelle est ta théorie (donc le nom de l'objet dont elle parle) et qui te permet d'emblé d'utiliser l'objet ensemble qui d'ailleurs n'a rien à faire avec toi car l'objet ensemble est l'objet de toute théorie des ensembles?
Tu me demandes quel est le cadre théorique dans lequel mes propos ont une cohérence logique ? J'ai déjà répondu plus haut.
C'est oi qui dis que ça n'a aucun rapport et que ce que je dis n'a rien à faire avec le concept mathématique d'ensemble développé dans son cadre théorique mathématique. Mais c'est une erreur.
En effet, le fait qu'il ait été développé dans un cadre mathématique n'empêche en rien de l'employer dans un cadre logique plus vaste pour d'autres catégories d'objets.
Le fait que tu ne veuilles pas l'admettre ne constitue pas un argument.
aerobase a écrit : 08 nov.25, 00:53
Dans ta théorie on devrait y retrouver au moins des humains comme objets donc des définitions de ces objets
Je ne sais pas si on peut, ce n'est pas mon point. Le fait est que certains font comme si on le pouvait et échafaudent dessus. Moi je me contente de dire ce que je dis.
aerobase a écrit : 08 nov.25, 00:53
On y voit rien de tout cela
Et ? Qu'est-ce que ça fait ? Il est suffisant de poser qu'un objet soit définissable sans être de la classe des objets mathématiques et de le regrouper avec d'autres partageant la ou les mêmes caractéristiques pour constituer un ensemble ou une classe selon le context.
Un tel objet ainsi défini n'existe certes pas en mathématique, mais n'existe-t-il pas pour autant ?
Toi tu décrètes que non. Mais sans raison.
aerobase a écrit : 08 nov.25, 00:53
Ce ne sont pas des mathématiques que tu fais mais du charlatanisme à base pseudo scientifique qui se justifie avec des maths
Lol. Ça ce n'est que ton avis.
Et je ne vois d'ailleurs pas, ce que tu viens y mêler la science ou la scientificité. C'est incohérent avec ce que tu dis par ailleurs.
aerobase a écrit : 08 nov.25, 00:53
Moi tu vois je n'essaye pas d'utiliser des objets mathématiques en dehors dehors de telle ou telle théorie des ensembles ou en dehors de la théorie des catégories car c'est une escroquerie que de le faire
Oui, mais toi tu es un fanatique.
aerobase a écrit : 08 nov.25, 00:53
Quels sont tes objets? tu as reconnus que c'étaient des ensembles ok!
Non. J’ai dit que le concept d’ensemble pouvait être utilisé comme modèle logique pour penser des regroupements d’objets, pas que mes objets étaient nécessairement des ensembles au sens mathématique. Mes objets sont des classes quelconques, définies par leurs propriétés, pas par appartenance à une théorie formelle comme ZFC.
aerobase a écrit : 08 nov.25, 00:53
De quoi parle ton sujet? Il y a des touts mais pas un grand Tout qui engloberait tout (un tout fait de choses physique et d'humains et de tout ce qui existe dans notre monde réel)
C’est exactement ce que je dis. Mon propos est que le concept d’un "Tout qui engloberait tout" est incohérent, car il suppose un cadre logique qui se contiendrait lui-même. Dire qu’il y a des touts partiels ne pose aucun problème, mais postuler un "Tout absolu" viole le principe de non-contradiction.
aerobase a écrit : 08 nov.25, 00:53
Dans quelle théorie des ensembles (donne nu nom au moins) les choses qui sont dans le tout dont tu parles peuvent elles se définir ?
Dans aucune, évidemment. Je ne parle pas dans une théorie des ensembles, mais à propos des limites de toute théorie qui tenterait de formaliser un "Tout tout englobant". C’est un raisonnement métalogique, pas une démonstration interne à ZFC ou autre.
aerobase a écrit : 08 nov.25, 00:53
Tu vois que si je te parle de par exemple de morphisme de groupe bah je le fait légitimement en me fondant sur une théorie des ensembles
Oui, parce que tu raisonnes à l’intérieur de cadre mathématique. Alors que moi, j’examine la pertinence logique d’un cadre qui prétendrait tout contenir. Ce n’est pas la même chose. Je ne produis pas un théorème, j’analyse une structure conceptuelle.
Il s’agit d’un raisonnement sur la cohérence d’un concept, pas sur des entités mathématiques. Ta remarque ne s’applique donc pas : je n’ai pas besoin de me cantonner à un cadre formel strictement mathématique pour discuter de la validité logique d’une idée.
aerobase a écrit : 08 nov.25, 00:53
Mais dans ce que tu cherche à démontrer je ne vois pas la relation entre l'objet de ta théorie dont d'ailleurs tu en a rien dit et par exemple un cheval dont tu dis qu'il doit exister dans la démonstration
C’est toi qui prends l’exemple du cheval, pas moi. Peu importe l’objet choisi : le problème est structurel.
Qu’il s’agisse d’ensembles ou de catégories, on rencontre la même aporie dès qu’on veut penser un "Tout qui engloberait tout".
Dans la théorie des ensembles, c’est l’ensemble de tous les ensembles ; dans la théorie des catégories, c’est la catégorie de toutes les catégories.
Dans les deux cas, la contradiction surgit parce que le cadre tente de s’inclure lui-même. Aucune structure cohérente ne peut contenir intégralement son propre niveau de définition.
..............................
Remarques récapitulatives :
- Je distingue la différence entre l’usage d’un concept et le domaine logique dans lequel il a été formalisé.
- Le point central : un concept logique n’est pas confiné à son contexte mathématique d’origine. La notion d’"ensemble" comme structure de regroupement ou de collection existe avant et au-delà de sa formalisation axiomatique mathématique. Employer le concept d'ensemble de manière généralisée, sans donc le restreindre à une quelconque classe d'objet, dans un raisonnement logique général ne se cantonnant pas au champ des mathématiques, n’a rien d’illégitime, tant qu’on ne prétend pas en faire un objet mathématique au sens strict.
- Aérobase commet ici une erreur de type biais de clôture théorique * : il confond le cadre formalisé d’un concept avec la validité de son usage conceptuel généralisé. En d’autres termes, il n'admet pas qu’un concept puisse avoir une portée logique ou philosophique plus large que celle du cadre restreint de sa formalisation.
Cela signifie qu’il confond la théorie (un cadre formel particulier, avec ses règles et définitions) avec l’ensemble du sens possible du concept.
Autrement dit : il agit comme si le sens d’un mot ou d’une idée se limitait entièrement à la façon dont la théorie les définit.
- Le concept d’"ensemble" a été formalisé en mathématique, mais il renvoie à une compréhension logique plus générale : celle de regroupement d’éléments partageant une propriété commune. Refuser d’en parler hors du cadre mathématique, c’est confondre la théorie (formalisme) avec le concept (une définition en compréhension (voir Arnauld et Nicole)).
..............................
Heureusement qu'il y a eu des logiciens pour se pencher sur les incohérences de certains concepts mathématiques...
.
- La réalité est toujours beaucoup plus riche et complexe que ce que l'on peut percevoir, se représenter, concevoir, croire ou comprendre.
- Nous ne savons pas ce que nous ne savons pas.
Humilité !
- Toute expérience vécue résulte de choix. Et tout choix produit son lot d'expériences vécues.
Sagesse !