« Précis d'épistémologie/Principes logiques » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 415 :
'''Deux propriétés ou relations théoriques sont identiques si et seulement si elles sont vraies des mêmes êtres dans tous les modèles de la théorie, c'est à dire dans tous les mondes logiquement possibles tels que ses axiomes sont vrais.'''
 
=== LLes isomorphismes et l'identité des structures et les isomorphismes ===
 
Lorsqu'on parle de ressemblance entre deux individus, on entend qu'une partie des propriétés qui sont attribuées à l'un peut être attribuée à l'autre. Lorsqu'on parle de ressemblance entre deux systèmes, l'expression 'ce qui est vrai de l'un est également vrai de l'autre' peut recevoir une signification plus subtile. On entend qu'il existe une projection f qui permet de remplacer les individus x du premier système par des individus f(x) du second système, de telle façon que des énoncés vrais sur le premier système soient remplacés par des énoncés vrais sur le second système. Une telle projection est appelée en mathématiques un morphisme, ou un isomorphisme si elle est bijective, pour dire que les deux systèmes ont la même forme, ou la même structure.