PROPOSITIONNELLE FONCTION

PRÉDICATS CALCUL DES

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 276 mots

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 en […] Lire la suite☛ http://www.universalis.fr/encyclopedie/calcul-des-predicats/#i_44714

PROPOSITION, philosophie

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 658 mots

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 individu, ou d'être écrite, d'être […] Lire la suite☛ http://www.universalis.fr/encyclopedie/proposition-philosophie/#i_44714

RELATION

  • Écrit par 
  • Jean LADRIÈRE
  •  • 7 662 mots

Dans le chapitre « Les relations selon Bertrand Russell »  : […] C'est surtout dans l'œuvre de Bertrand Russell (1872-1970) que la théorie moderne des relations prend tout son essor. On peut discerner deux étapes dans l'élaboration de la doctrine russellienne des relations : celle des Principles of Mathematics (1903) et celle des Principia Mathematica (publiés par Russell, en collaboration avec Alfred North Whitehea […] Lire la suite☛ http://www.universalis.fr/encyclopedie/relation/#i_44714

RUSSELL BERTRAND lord (1872-1970)

  • Écrit par 
  • Philippe DEVAUX
  •  • 6 112 mots
  •  • 1 média

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 propos […] Lire la suite☛ http://www.universalis.fr/encyclopedie/bertrand-russell/#i_44714