Inférence (logique)

L’inférence est un mouvement de la pensée qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion. Étymologiquement, le mot inférence signifie « reporter ». En théorie, l'inférence est traditionnellement divisée en déduction et induction, une distinction qui, en Europe, remonte au moins à Aristote ( avant Jésus-Christ). On distingue les inférences immédiates des inférences médiates telles que déductives, inductives et abductives. Au sens strict, une inférence n'est pas nécessairement un raisonnement puisqu'elle peut être immédiate. En effet, une inférence immédiate peut référer à une sensation. Celle-ci . Exemple : L'observation d'un chat infère l'objet d'un chat, soit l'inférence immédiate : ceci est un chat. L'inférence immédiate peut également être un raisonnement. Elle se compose alors . Les inférences immédiates aristotéliciennes sont sous la forme d'un carré logique. Une inférence médiate est un . Par ailleurs, pour les sémiologues, tels que Charles Peirce, la pensée n'opère pas sur des propositions, mais sur des signes. Ils proposent ainsi un modèle structuraliste, centré sur les relations formelles du langage, qui s'inspire de la linguistique. En effet, pour Ferdinand de Saussure, toute langue constitue un système au sein duquel les signes se combinent et évoluent d'une façon qui s'impose à ceux qui la manient. On est donc conduit, pour rendre compte de la sémiosis, à élargir la notion d'inférence à des opérations portant sur des symboles dicents (des quasi-propositions) et à remplacer la notion de vérité d'une proposition par celle de réalité d'une représentation pour un interprète particulier. Cette conception de l'inférence ouvre le champ à la description des opérations réellement effectuées dans la vie quotidienne et libère des contraintes imposées par le point de vue qui s'en tient uniquement à la production de vérités universelles, c’est-à-dire aux arguments valides.

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Exploiting the Signal-Leak Bias in Diffusion Models

Exploiting the Signal-Leak Bias in Diffusion Models

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism