PRÉDICATS CALCUL DES
Dans la logique aristotélicienne, la distinction du sujet et du prédicat est à la fois d'ordre linguistique (grammatical), d'ordre ontologique (la substance et ce qu'on peut dire d'elle) et d'ordre logique. Le prédicat est affirmé d'un sujet ; il est dit lui appartenir : « La blancheur appartient à Callias », ou « Callias est blanc ».
La logique moderne ne distingue plus entre sujet et prédicat entendus en ce sens ; et elle substitue la notion générale de fonction à celle de prédicat. La fonction propositionnelle diffère du prédicat en ce qu'elle contient à la fois la propriété — le prédicat au sens premier — affirmée du sujet et la copule qui effectue cette attribution. « Je crois, dit Frege, que le remplacement des concepts de sujet et de prédicat par ceux d'argument et de fonction se maintiendra dans l'avenir » (Préface à la Begriffschrift, 1879).
De fait, l'expression « calcul des prédicats » est demeurée pour désigner la logique des propositions analysées, qui fait suite au calcul des propositions inanalysées, et qui comporte l'introduction (1) des fonctions propositionnelles (être bleu), (2) des variables individuelles, (3) de la quantification. À quoi viennent s'ajouter (4) l'identité, (5) l'appartenance. Les règles de ce « calcul des prédicats » sont celles du calcul propositionnel, avec quelques règles supplémentaires. (Sa première formulation se trouve chez B. Russell et A. N. Whitehead dans Principia Mathematica, 1910-1915 ; on peut consulter aussi W. V. O. Quine : Elementary Logic.)
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Françoise ARMENGAUD : agrégée de l'Université, docteur en philosophie, maître de conférences à l'université de Rennes
Classification
Pour citer cet article
Françoise ARMENGAUD, « PRÉDICATS CALCUL DES », Encyclopædia Universalis [en ligne], consulté le . URL :
Autres références
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 5 403 mots
- 1 média
-
FREGE GOTTLOB (1848-1925)
- Écrit par Claude IMBERT
- 2 868 mots
...propositions comme des constantes dont la valeur dépend de la valeur de vérité des propositions arguments. Par ailleurs, l'analyse de la proposition en fonction (prédicat) et argument dissout l'illusion linguistique de la copule dont les sens multiples sont reversés sur différentes constantes de prédicat.... -
GÖDEL KURT (1906-1978)
- Écrit par Daniel ANDLER
- 2 017 mots
-
HERBRAND JACQUES (1908-1931)
- Écrit par Gabriel SABBAGH
- 77 mots
Logicien et mathématicien français né à Paris et mort à Saint-Christophe-en-Oisans dans un accident de montagne. La brève carrière de Jacques Herbrand est marquée par sa démonstration, essentiellement correcte, d'un théorème central du calcul des prédicats du premier ordre, qui...
-
MODÉLISATION, mathématique
- Écrit par Jean-Paul DELAHAYE
- 1 384 mots
Parmi ses résultats, la théorie des modèles indique pour le calcul des prédicats du premier ordre (un seul type d'objet est envisagé pour les quantifications « quel que soit » et « il existe ») que : - Afficher les 8 références
