Définition de «différence logique»?

Je lis actuellement "SQL et la théorie relationnelle" par CJ Date . Et bien que je sois assez loin dans le livre, j'ai quelques questions de base. Je veux savoir ce que le terme "différence logique" signifie, le livre essaie d'expliquer le terme avec des exemples, mais n'explique pas vraiment ce qu'il signifie (ou peut-être que je le comprends mal ??)

Voici une petite partie du livre:

J'ai dit qu'il y a une différence logique entre une relation et l'image d'une relation. Le concept de différence logique découle d'un dicton de Wittgenstein:

• Toutes les différences logiques sont de grandes différences.

Je sais ce qu'une différence logique signifie intuitivement, je sais quelle est la différence entre une relation et l'image d'une relation. Ce que je veux, c'est une définition formelle du concept de «différence logique», j'ai donc une bonne idée de ce que cela signifie.

Voir le livre de Date:

Date dans la base de données: Écrits 2000-2006

Chapitre 4: Sur la notion de différence logique

Citation saillante:

vous savez que je fais souvent appel dans mes écrits à la notion de différence logique. Cette notion est une que je trouve extraordinairement utile dans mon propre travail; c'est une aide précieuse pour une réflexion claire et précise… L'intention de ce qui suit [dans le chapitre 4 de ce livre] est donc d'offrir une brève introduction au concept de différence logique.

… En gardant à l'esprit qu'il s'agit de Chris Date, pour qui une «brève introduction» équivaut en fait à 15 pages de prose typées, y compris des notes de bas de page et des notes de fin!

Suivez le lien ci-dessus pour la copie du livre Google Livres, qui devrait s'ouvrir dans votre navigateur, où le chapitre semble être disponible dans son intégralité. Après avoir lu le chapitre, je suis sûr que vous aurez une bonne compréhension du concept de différence logique.

J'ai lu le chapitre. Je pense que j'ai maintenant une bonne idée de ce que cela signifie. Il n'y a pas de "définition" explicite pour une "différence logique", par conséquent, j'essaierai de définir explicitement une "différence logique".

je vais d'abord expliquer les termes que j'utiliserai dans ma définition.

• Concept: ce qui est testé pour la différence logique.
• Contexte: Le concept est utilisé d'une certaine manière.
• Résultat: les effets après que le concept a été utilisé dans un certain contexte.

Définition: Un concept est logiquement le même qu'un autre concept si pour chaque contexte possible dans lequel le concept peut être utilisé a le même résultat pour chaque concept. Inversement, si les résultats sont différents, il y a alors une différence logique.

Je pense que c'est la bonne réponse.

Remarque: Ceci est la définition de ma compréhension actuelle de la "différence logique", cela ne signifie pas que c'est la définition correcte.

Ayant lu tout le livre de CJ Date que je pouvais voir sur le lien fourni , et ayant lu précédemment de grandes parties de plusieurs de ses autres livres (et vu plusieurs de ses vidéos pédagogiques), je crois que je peux poser une définition utile pour l'expression dans question:

Je crois que l'expression "différence logique" telle qu'elle est utilisée par Chris Date signifie simplement une différence qui a des implications logiques dans le contexte du sujet en discussion, par opposition à une différence sans pertinence pour le sujet en discussion.

Ce dernier type de différence pourrait être appelé une «différence superficielle», mais plus probablement devrait simplement être appelé «non pertinent».

Exemple: si nous parlons de bases de données, il y a une différence logique entre le modèle et l'implémentation (comme discuté en détail par date).

Exemple: si nous parlons de bases de données et que j'évoque la différence entre un ordinateur et un moniteur, vous n'appelleriez pas cela une "différence logique". Cependant, ce n'est pas non plus une "différence superficielle"; ce n'est tout simplement pas pertinent (inapplicable) à la discussion.

Personnellement, je dirais que toutes les différences sont des différences logiques.

La pertinence ou la non - pertinence d'une différence observée au sujet en discussion ne détermine pas si oui ou non il est une « différence logique » , bien que est , je crois, une description précise de la façon dont Date de Chris utilise le terme.

L' essence même de la logique (ou de la raison) est de pouvoir reconnaître la différence entre deux choses et de reconnaître quand il n'y a pas de différence.

Plus précisément:

La santé mentale est la capacité de reconnaître les différences, les similitudes et les identités.

(Il s'agit d'un élément fondamental posé à l'origine par L. Ron Hubbard en 1938.)

Ainsi, le concept même de «différence» est fondamental pour la notion de «logique», alors comment pourrait-il être possible d'avoir une différence qui n'est pas une différence logique?

Si vous remplacez tous les usages de l'expression "différence logique" par "différence importante" ou "distinction pertinente", je ne pense pas que vous perdrez tout sens.

Pour emprunter la propre terminologie de Date, le concept de «différence logique» est logiquement le même que le concept de «distinction pertinente et importante».

Soit dit en passant, juste au cas où mes opinions seraient jugées critiques, je tiens à dire clairement que je pense que CJ Date est un génie. :)