Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires

Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.

Les logiques : notes en vrac
Auteur Message
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 22173
Mer 11 Jan 2023 17:55
Message Re: Les logiques : notes en vrac
Un mot n’est pas la chose qu’il désigne, même s’il est lui‑même une chose, il ne fait que désigner une autre chose, sans l’être lui‑même. Il peut même désigner quelque chose qui n’est plus ou n’est pas encore, sans pourtant ne pas avoir de sens. Une hypothèse ne parle pas nécessairement de quelque chose qui est, elle parle de ce qui a put être ou de ce qui pourra(it) être ou de ce qui est, autant qu’elle peut parler de ce qui est impossible (c’est le cas de certains mots aussi, qui désignent individuellement une chose impossible à réaliser). Un mot est assez comme une hypothèse ; en tous cas, les mots d’un langage naturelle. Et si les mots des langues naturelles devaient être compris comme étant des hypothèses ? Intuitivement, ça semble pertinent.

Cette note est dédicacée à Véronica La Grande (comme implicitement d’autres messages sur le forum).

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 22173
Mar 21 Fév 2023 17:16
Message Re: Les logiques : notes en vrac
Des notes qui n’ont rien d’exceptionnel mais qui sont à garder.

L’imbrication des termes peut être mimée par des variables. Cela nécessite seulement d’avoir une règle pour l’égalité et comme cette règle est pour ainsi dire toujours utile en pratique, peut‑être que l’imbrication des termes pourrait ne pas faire partie de la syntaxe. L’intérêt serait d’avoir une forme conceptuellement plus épurée, même si elle serait moins commode en pratique, quoique ce n’est pas pas certain. À envisager. En marge, que l’imbrication des termes puisse être mimée par des variables, justifie encore plus de voir les termes comme des espaces.

Pendant une résolution ou une vérification, les liaisons entre les variables, pourrait être exprimée par des substitution directement dans les termes. Mais techniquement, ce serait moins avantageux (pour des raisons de structures de données) et cela ferait aussi perdre une traçabilité qui a au moins un intérêt pédagogique et a peut‑être éventuellement un intérêt technique aussi.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 22173
Mar 21 Fév 2023 18:45
Message Re: Les logiques : notes en vrac
Les notes de ce message, sont liées entre elles et trouve un échos annonciateur dans le message précédent.

L’instantiation d’une règle, est surtout l’instantiation de ses variables. Mais comme vu précédemment, il est possible de, plutôt que lier des variables, de directement les substituer dans des termes. L’instantiation d’une règle devrait alors être plus que la seule instantiation des variables ou alors ne plus être. Une possible réponse est donnée plus loin.

Un terme peut être vérifié par plusieurs contextes et réciproquement, un contexte peut vérifier plusieurs termes. Dans ce dernier cas, où la recherche se fait d’aval en amont, on ne peut plus parler d’instantiations de règles, puisqu’elles sont déjà vérifiées et qu’on pioche dans ce qui l’a déjà été. Mais si pendant une résolution d’amont en aval, au lieu de liaisons de variables on a des substitutions dans des termes (une option valable proposé dans le message précédent), qu’est donc alors ce contexte dans lequel on pioche en allant d’aval en amont ? Il ne peut que être un ensemble de termes vérifiés. Cette vision est au moins en accord avec le fait de placer les hypothèses dans le contexte, les hypothèses étant des termes (ou des conjonctions de termes, mais on peut poser un terme comme représentant d’une conjonction).

Comme les vérification d’amont en aval se font par substitutions et résolutions successives de termes, on devrait penser à conserver ces relations, pour définir un contexte comme étant fait de termes vérifiés plutôt que comme étant fait de variables liées. Le lien entre la tête et le corps d’une règle, serait alors à placer au même niveau d’importance que le lien entre des variables ou entre une variable et un terme.

L’existence d’au moins une vision alternative d’un contexte, qui pourrait même être mixte, fait penser que la définition formelle d’un contexte, devrait être abstraite plutôt que concrète.

En marge, dans tout ce qui a été discuté ici jusqu’à présent, implicitement, un contexte était un ensemble de variables liées et les seules termes qui apparaissait directement dans un contexte, étaient les hypothèses.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 22173
Mar 21 Fév 2023 20:37
Message Re: Les logiques : notes en vrac
Une note avec une importance marginale.

Peut‑être que la tête d’une règle devrait plutôt être appelée l’entête de la règle et le corps de la règle plutôt être appelée le texte de la règle. L’avantage de cette terminologie, est qu’elle fait plus sens au grand‑public.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
cron