M
Membre supprimé 1060554
Invité
La leçon provisoire (et tout empirique) qui s'en tire est la suivante : le fichier com.apple.Safari.plist des Containers (de la bibliothèque personnelle de l'utilisateur) overrides (surclasse logiquement) le fichier com.apple.Safari.plist des Preferences de la même bibliothèque. On peut estimer que cela soit vrai de tous les groupes de paramètres du fichier de préférence de Safari.
Le problème (théorique) qui s'en dégage est le suivant : quel rôle jouent donc les contenus du dossier des Containers > en comparaison des contenus du dossier des Preferences ? - pourquoi cette redondance de fichiers de préférences > fichiers dont l'« autorité » (logiquement parlant) n'est pas équivalente --> puisque le fichier des Containers surclasse le fichier des Preferences ?
Le problème (théorique) qui s'en dégage est le suivant : quel rôle jouent donc les contenus du dossier des Containers > en comparaison des contenus du dossier des Preferences ? - pourquoi cette redondance de fichiers de préférences > fichiers dont l'« autorité » (logiquement parlant) n'est pas équivalente --> puisque le fichier des Containers surclasse le fichier des Preferences ?
- je trouve (personnellement) qu'on tombe là sur le mauvais côté de l'informatique : le "fatras" ou la "complication". Cette pullulation d'entités logiques que sont les fichiers d'instruction - en contradiction du principe strict de Guillaume d'Occam (dit : le "rasoir d'occam") : "Il ne faut pas indûment multiplier les êtres de discours". Mais l'informatique - nouvelle Scolastique - fait pulluler au contraire les "êtres de discours" (fichiers ou instances logiques). Dans le cas qui nous occupe > par une itération de fichiers homologues dans des lieux différents (Preferences vs Containers) > avec une "autorité" différentielle des paramètres de ces fichiers - celui des Containers surclassant celui des Préférences. Itération qui rend possible une contradiction logique : le fait que les valeurs puissent être fr dans un fichier et non-fr (= en par exemple) dans l'autre. Surclassement qui soumet le fr d'un fichier à l'en de l'autre. Résolution d'une contradiction par "autorité prioritaire" : ce qui répugne invinciblement à l'esprit logique pur > lequel veut que > dans un Ensemble de référence > règne l'Identité sous toutes ses déclinaisons : égalité des composants > homogénéité des assertions > cohérence des propositions. Càd. la "consistance". Le théorème d'« inconsistance » que Gödel a mis en lumière pour les Mathématiques > doit s'appliquer aussi bien aux Systèmes informatiques que sont les OS.
Dernière édition par un modérateur: