Search for a command to run...
<div> Une logique de variations associée à une logique (dite alors « statique »), permet de représenter des relations binaires entre interprétations. Or, une relation analogique « a est à b ce que c est à d » peut souvent être appréhendée par deux relations binaires. La première relie a et b d'une part et c et d, d'autre part. La seconde relie a et c d'une part et b et d, d'autre part. C'est ce qui motive l'étude de cet article, lequel introduit une famille de relations quaternaires, dites de pré-analogie, entre formules d'une logique statique, utilisant des formules d'une logique de variations. Une pré-analogie vérifie deux des postulats sur les analogies (la symétrie et l'échange des moyens) mais pas nécessairement la réflexivité. Au-delà de la définition d'une telle famille de pré-analogies, dont certaines sont des analogies, quelques premiers résultats sont montrés, notamment dans un cadre propositionnel. Mots-clés analogie, logiques de variations Notons que b -a et d -c appartiennent à H mais pas nécessairement à G. L'analogie arithmétique A ari sur B coïncide avec l'analogie minimale sur B. En effet, une caractérisation de A ari est que, pour a, b, c, d ∈ B, a : b :: ari c : d ssi abcd est de la forme uuvv ou de la forme uvuv (u, v ∈ B). Une autre analogie sur les booléens est A SK , définie par Sheldon Klein (et rappelée dans [9]). Elle peut se définir par a : b :: SK c : d si |b -a| = |d -c| (pour a, b, c, d ∈ B). Une caractérisation de A SK est que, pour a, b, c, d ∈ B, a : b :: ari c : d ssi abcd est de la forme uuvv, de la forme uvuv ou de la forme uvvu (u, v ∈ B). </div> <div>Les logiques de variations Une logique de variations est un formalisme s'appuyant sur une autre logique, appelée alors logique statique. La section 3.1 introduit des hypothèses sur les « logiques statiques ». La section 3.2 définit ce qu'est une logique des variations s'appuyant sur une logique statique. La section 3.3 décrit des opérateurs sur les logiques de variations. </div>