Équipe Hypertextes et Textualité électronique
Laboratoire Communication et polique
TerminalfRessources terminologiques en langue française
Terminalf : page d'accueil
Les mémoires de terminologie : page d'accueil
Présentation des mémoires de terminologie
Visite guidée de la fiche de terminologie
Page d'accueil du mémoire
Interroger les termes traités dans ce mémoire
Français - AnglaisFiche complète du terme
Calcul des prédicats du premier ordre
Logique qui constitue un élargissement du calcul propositionnel par l'utilisation de variables d'individus et de prédicats.
(NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999)
Langue : français
Catégorie grammaticale : loc.
Statut du terme en entrée : Langue spécialisée
Forme concurrente : logique du premier ordre
Domaine : Philosophie analytique
Sous-domaine : Logique
Contexte : a partir du système S2 de Lewis et Langford, elle a voulu axiomatiser un système fonctionnel modal fondé essentiellement sur le calcul des prédicats du premier ordre (…). (NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999, p.45)
Équivalent anglais : first-order predicate calculus
Retour à la page précédente.