Skip to Main content Skip to Navigation
Journal articles

From Analogical Proportion to Logical Proportions

Henri Prade 1 Gilles Richard 1
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Given a 4-tuple of Boolean variables (a, b, c, d), logical proportions are modeled by a pair of equivalences relating similarity indicators ( a∧b and a¯∧b¯), or dissimilarity indicators ( a∧b¯ and a¯∧b) pertaining to the pair (a, b), to the ones associated with the pair (c, d). There are 120 semantically distinct logical proportions. One of them models the analogical proportion which corresponds to a statement of the form “a is to b as c is to d”. The paper inventories the whole set of logical proportions by dividing it into five subfamilies according to what they express, and then identifies the proportions that satisfy noticeable properties such as full identity (the pair of equivalences defining the proportion hold as true for the 4-tuple (a, a, a, a)), symmetry (if the proportion holds for (a, b, c, d), it also holds for (c, d, a, b)), or code independency (if the proportion holds for (a, b, c, d), it also holds for their negations (a¯,b¯,c¯,d¯)). It appears that only four proportions (including analogical proportion) are homogeneous in the sense that they use only one type of indicator (either similarity or dissimilarity) in their definition. Due to their specific patterns, they have a particular cognitive appeal, and as such are studied in greater details. Finally, the paper provides a discussion of the other existing works on analogical proportions.
Complete list of metadata

Cited literature [79 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, April 2, 2015 - 8:41:56 AM
Last modification on : Thursday, March 18, 2021 - 2:24:48 PM
Long-term archiving on: : Tuesday, April 18, 2017 - 8:24:17 AM


Files produced by the author(s)



Henri Prade, Gilles Richard. From Analogical Proportion to Logical Proportions. Logica Universalis, Springer Verlag, 2013, vol. 7 (n° 4), pp. 441-505. ⟨10.1007/s11787-013-0089-6⟩. ⟨hal-01138469⟩



Record views


Files downloads