PROPOSITIONNELLE FONCTION

Ce sujet est traité dans les articles suivants :

1.  PRÉDICATS CALCUL DES

Écrit par : Françoise ARMENGAUD

… *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… Lire la suite

2.  PROPOSITION, philosophie

Écrit par : Françoise ARMENGAUD

… *Il convient d'abord de distinguer la phrase, le jugement, l'énoncé et la proposition. La phrase est une entité linguistique, soumise à des règles grammaticales, qui assurent sa correction, et à d'éventuels critères stylistiques ; on considère qu'elle exprime un jugement ou un énoncé ; elle est susceptible d'être proférée verbalement par un… Lire la suite

3.  RELATION

Écrit par : Jean LADRIÈRE

Dans le chapitre "Les relations selon Bertrand Russell"  : … Si R est un symbole dénotant une relation, l'expression xRy exprime la fonction *propositionnelle « x a la relation R avec y » (une fonction propositionnelle est une expression, contenant des variables, qui devient une proposition lorsque les variables prennent des valeurs déterminées, c'est-à-dire sont… Lire la suite

4.  RUSSELL BERTRAND lord (1872-1970)

Écrit par : Philippe DEVAUX

Dans le chapitre "Implication formelle"  : … Toute implication entre fonctions de propositions est formelle. *Une fonction est dite propositionnelle quand son expression est constituée d'une fonction ϕ relativement constante et d'une ou de plusieurs variables individuelles (x, y, z...). Elle peut s'analyser et engendrer des propositions élémentaires… Lire la suite