type de logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More* autorisant des valeurs de vérité intermédiaires entre le vrai et le faux, pour exprimer l’idée de partiellement vrai, et aussi pour tenter de capturer des notions comme l’inconnu ou le contradictoire par exemple.
De quoi s'agit-il vraiment ?