Concept information
PREFERRED TERM
logique
DEFINITION(S)
- la logique, qui apparaît dans la Grèce antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La logique 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 logique propositionnelle. Les formules de la logique 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. (Source : https://ia.gdria.fr/Glossaire/logique-2/ )
BROADER CONCEPT(S)
NARROWER CONCEPT(S)
IN OTHER LANGUAGES
-
English
URI
http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1
{{toUpperCase label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}