Logique

la 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, 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 en combinant des “propositions atomiques’’ avec des connecteurs logiques (et, ou, négation, implication…), on parle alors 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 propositionnelle. Les formules de la 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 du premier ordre permettent également l’utilisation de quantificateurs existentiels (“il existe”) ou universels (“pour tous”), comme dans l’exemple de la section 1.1. Ces logiques classiques, développées en liaison avec des questions touchant au fondement des mathématiques, sont largement utilisées en représentation des connaissances*, même si d’autres logiques se sont révélées nécessaires pour prendre en compte les exceptions, l’incertain ou l’incohérence notamment.