« Logique du premier ordre » : différence entre les versions

Version du 10 mars 2020 à 18:59

en construction

Définition

La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique.

La logique du premier ordre utilise des variables quantifiées sur des objets non logiques et permet l’utilisation de phrases s contenant des variables. Ainsi, au lieu de propositions telles que Socrates est un homme, on peut avoir des expressions sous la forme "il existe x tel que x Socrate et x est un homme » et il existe un quantificateur wh ile x est une variable. Cela la distingue de la logique propositionnelle, qui n'utilise pas de quantificateurs ni de relations ; En ce sens, la logique propositionnelle est le fondement de la logique du premier ordre.

Une théorie sur une image est généralement une logique de premier ordre avec un domaine de discours spécifié sur lequel les variables quantifiées se situent, un nombre infini de fonctions allant de ce domaine à lui-même, un grand nombre de prédicats définis sur ce domaine et un ensemble d'axiomes dits tenir pour ces choses. Parfois, la "théorie" est comprise dans un sens plus formel, qui n’est qu’un ensemble de phrases dans la logique du premier ordre.

L'adjectif "premier ordre" distingue la logique du premier ordre de la logique d'ordre supérieur dans laquelle il existe des prédicats ayant des prédicats ou des fonctions en tant qu'arguments, ou dans lesquels un ou les deux des quantificateurs de prédicats ou de quantificateurs de fonctions sont autorisés. Dans les théories de premier ordre, les prédicats sont souvent associés à des ensembles. Dans les théories interprétées d'ordre supérieur, les prédicats peuvent être interprétés comme des ensembles d'ensembles.

Il existe de nombreux systèmes déductifs pour la logique de premier ordre qui sont à la fois sains (toutes les déclarations prouvables sont vraies dans tous les modèles) et complètes (toutes les déclarations qui sont vraies dans tous les modèles sont prouvables). Bien t - il conséquence logique relation est seulement semidecidable, beaucoup de progrès ont été ma de dans le théorème automatisé prouver dans la logique du premier ordre. Le journal de premier ordre répond également à plusieurs métalogiques théorèmes qui le rendent favorable à l’analyse en théorie de la preuve, comme th e théorème Löwenheim-Skolem et le théorème de compacité.

La logique du premier ordre est la norme pour formaliser les mathématiques en axiomes et est étudiée dans les fondements des mathématiques. L'arithmétique de Peano et la théorie des ensembles de Zermelo – Fraenkel sont respectivement une axiomatisation de la théorie des nombres et de la théorie des ensembles dans la logique du premier ordre. Cependant, aucune théorie de premier ordre n'a la force de décrire de manière unique une structure de domaine infini, telle que les nombres naturels ou la ligne réelle. Les systèmes axiomes qui décrivent complètement ces deux structures (c'est-à-dire les systèmes axiomes catégoriques) peuvent être obtenus dans une logique plus forte telle que la logique du second ordre.

Les fondements de la logique du premier ordre ont été développés indépendamment par Gottlob Frege et Charles Sanders Peirce. Pour une histoire de la logique de premier ordre et de la manière dont elle est parvenue à dominer la logique formelle, voir José Ferreirós (2001).

Français

Logique du premier ordre.

Anglais

First-order logic

Predicate logic

- Termium

- Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery, (pdf)

Source : Wikipedia

Source : 24pm Academy

@@ Ligne 1 : / Ligne 1 : @@
+==en construction==
+[[Catégorie:Vocabulaire]]
+[[Catégorie:Intelligence artificielle]]
+[[Catégorie:24pm]]
+== Définition ==
+ La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique.
+La logique du premier ordre utilise des variables quantifiées sur des objets non logiques et permet l’utilisation de phrases s contenant des variables. Ainsi, au lieu de propositions telles que Socrates est un homme, on peut avoir des expressions sous la forme "il existe x tel que x Socrate et x est un homme » et il existe un quantificateur wh ile x est une variable.  Cela la distingue de la logique propositionnelle, qui n'utilise pas de quantificateurs ni de relations ;  En ce sens, la logique propositionnelle est le fondement de la logique du premier ordre.
+Une théorie sur une image est généralement une logique de premier ordre avec un domaine de discours spécifié sur lequel les variables quantifiées se situent, un nombre infini de fonctions allant de ce domaine à lui-même, un grand nombre de prédicats définis sur ce domaine et un ensemble d'axiomes dits tenir pour ces choses. Parfois, la "théorie" est comprise dans un sens plus formel, qui n’est qu’un ensemble de phrases dans la logique du premier ordre.
+L'adjectif "premier ordre" distingue la logique du premier ordre de la logique d'ordre supérieur dans laquelle il existe des prédicats ayant des prédicats ou des fonctions en tant qu'arguments, ou dans lesquels un ou les deux des quantificateurs de prédicats ou de quantificateurs de fonctions sont autorisés.  Dans les théories de premier ordre, les prédicats sont souvent associés à des ensembles. Dans les théories interprétées d'ordre supérieur, les prédicats peuvent être interprétés comme des ensembles d'ensembles.
-== en construction ==
+Il existe de nombreux systèmes déductifs pour la logique de premier ordre qui sont à la fois sains (toutes les déclarations prouvables sont vraies dans tous les modèles) et complètes (toutes les déclarations qui sont vraies dans tous les modèles sont prouvables). Bien t - il conséquence logique relation est seulement semidecidable, beaucoup de progrès ont été ma de dans le théorème automatisé prouver dans la logique du premier ordre. Le journal de premier ordre répond également à plusieurs métalogiques théorèmes qui le rendent favorable à l’analyse en théorie de la preuve, comme th e théorème Löwenheim-Skolem et le théorème de compacité.
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:Wikipedia-IA‏‎ ]]
-== Définition ==
+La logique du premier ordre est la norme pour formaliser les mathématiques en axiomes et est étudiée dans les fondements des mathématiques. L'arithmétique de Peano et la théorie des ensembles de Zermelo – Fraenkel sont respectivement une axiomatisation de la théorie des nombres et de la théorie des ensembles dans la logique du premier ordre. Cependant, aucune théorie de premier ordre n'a la force de décrire de manière unique une structure de domaine infini, telle que les nombres naturels ou la ligne réelle. Les systèmes axiomes qui décrivent complètement ces deux structures (c'est-à-dire les systèmes axiomes catégoriques) peuvent être obtenus dans une logique plus forte telle que la logique du second ordre.
+Les fondements de la logique du premier ordre ont été développés indépendamment par Gottlob Frege et Charles Sanders Peirce.  Pour une histoire de la logique de premier ordre et de la manière dont elle est parvenue à dominer la logique formelle, voir José Ferreirós (2001).
 == Français ==
@@ Ligne 17 : / Ligne 27 : @@
 '''Predicate logic'''
-First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain variables, so that rather than propositions such as Socrates is a man one can have expressions in the form "there exists X such that X is Socrates and X is a man" and there exists is a quantifier while X is a variable.[1] This distinguishes it from propositional logic, which does not use quantifiers or relations.[2]
-A theory about a topic is usually a first-order logic together with a specified domain of discourse over which the quantified variables range, finitely many functions from that domain to itself, finitely many predicates defined on that domain, and a set of axioms believed to hold for those things. Sometimes "theory" is understood in a more formal sense, which is just a set of sentences in first-order logic.
-The adjective "first-order" distinguishes first-order logic from higher-order logic in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.[3] In first-order theories, predicates are often associated with sets. In interpreted higher-order theories, predicates may be interpreted as sets of sets.
@@ Ligne 32 : / Ligne 36 : @@
 [https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence   Source : Wikipedia]
+[https://www.24pm.com/117-definitions/360-logique-du-premier-ordre     Source : 24pm Academy]