PROPOSITION, philosophie

Carte mentale

Élargissez votre recherche dans Universalis

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 répétée, c'est-à-dire d'avoir plusieurs occurrences. Le jugement est une entité mixte dans laquelle l'aspect psychologique et décisoire est prépondérant (le terme est d'origine juridique) : c'est à la fois l'acte du sujet, qui asserte un énoncé comme vrai ou faux, et l'expression de cet acte ; le jugement est susceptible de modalités. Un énoncé peut être déclaratif (à l'indicatif), exclamatif, exhortatif, impératif. La proposition est un énoncé : déclaratif, donc susceptible d'être vrai ou faux ; vrai ou faux indépendamment de toute référence au contexte, au locuteur, au moment et au lieu de l'énonciation. La proposition est le seul objet du logicien (comme le montrent W. V. O. Quine dans Logique élémentaire et W. M. Kneale dans A History of Logic).

Les propositions donnent lieu à un calcul appelé calcul des propositions (et parfois théorie des fonctions de vérité). Il est la partie la plus élémentaire de la logique, mais aussi celle qui a été constituée le plus tard (première moitié du xxe siècle). Il considère les propositions (moléculaires) composées d'autres propositions (atomiques) à partir de connecteurs propositionnels (conjonction, disjonction, implication, équivalence), et calcule la valeur de vérité des premières comme étant directement fonction des valeurs de vérité des secondes.

La proposition est susceptible d'une analyse (logique des propositions analysées, ou calcul des prédicats). La notion de fonction propositionnelle est ici fondamentale : Frege en construit le concept comme d'une fonction susceptible d'être [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 2 pages





Écrit par :

  • : agrégée de l'Université, docteur en philosophie, maître de conférences à l'université de Rennes

Classification


Autres références

«  PROPOSITION, philosophie  » est également traité dans :

ANALYTIQUE PROPOSITION

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

Le mot « analytique » a au moins trois sens. 1. Au sens large, une proposition est dite analytique si elle est vraie en vertu de la signification des termes qu'elle contient. La simple considération des significations suffit à donner l'assurance de sa vérité. À ce sens se rattachent le nominalisme de Hobbes, pour qui la vérité nécessaire est telle qu'une proposition analytique est vraie en vertu d […] Lire la suite

BIEN, philosophie

  • Écrit par 
  • Monique CANTO-SPERBER
  •  • 6 603 mots
  •  • 1 média

Dans le chapitre « Les biens objectifs et la bonne volonté kantienne »  : […] L'hypothèse d'une objectivité du bien humain correspond à l'intuition qu'il est possible de juger du bonheur selon des critères relativement stables, en adoptant un point de vue de troisième personne. Plusieurs philosophes ont souligné l'aspect propositionnel du bonheur. Cette conception est étroitement liée à l'idée qu'il existe des biens humains objectifs. Le bonheur ne consiste pas seulement d […] Lire la suite

BOLZANO BERNARD (1781-1848)

  • Écrit par 
  • Jan SEBESTIK
  •  • 3 612 mots

Dans le chapitre « Théorie de la science »  : […] Le but de la théorie de la science est de décrire la constitution et la structure des systèmes scientifiques. Pour Bolzano, une science est un certain ensemble de vérités en soi, découpé dans la totalité des vérités selon des critères qui doivent répondre à la fois à une interrogation théorique, propre à cette science, et aux exigences de la pratique à laquelle elle se destine. L'ensemble des vér […] Lire la suite

CONCEPT

  • Écrit par 
  • Jean LADRIÈRE
  •  • 3 815 mots

Dans le chapitre « Les propriétés du concept »  : […] La tradition rationaliste établit une différence tranchée entre la connaissance intuitive et la connaissance conceptuelle, en lesquelles elle voit deux niveaux irréductibles de savoir. La tradition empiriste, en revanche, conçoit plutôt ces deux modes de connaissance comme des réalisations, selon des degrés différents, d'une seule et même modalité fondamentale. Que les concepts soient compris comm […] Lire la suite

CONTRAIRES & CONTRADICTOIRES, logique

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

Distinction qui, en logique aristotélicienne, concerne essentiellement les propositions et secondairement les termes. Deux propositions contradictoires sont opposées à la fois en quantité (quelques / tous) et en qualité (affirmation / négation) : « Tous les chats sont gris » / « Quelque chat n'est pas gris » — « Aucun chat n'est vulgaire » / « Quelque chat est vulgaire ». Deux propositions contrai […] Lire la suite

CONVERSION, logique

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

Dans la logique aristotélicienne, la « conversion » est un procédé d'inférence immédiate qui consiste à transposer les termes d'une proposition de la forme sujet-prédicat de telle sorte que le prédicat devienne sujet et le sujet prédicat, et ce de façon que la proposition converse n'affirme rien de plus que la proposition initiale. Exemples : Tous les chats sont des félidés — quelques félidés sont […] Lire la suite

DÉMONSTRATION (notions de base)

  • Écrit par 
  • Philippe GRANAROLO
  •  • 3 087 mots

Dans le chapitre « La logique, un outil pour penser »  : […] Aristote (env. 385-322 av. J.C.), moins sensible à la beauté de la géométrie que son maître, se lança dans une vaste entreprise qui n’est pas sans lien avec celle de Platon. Convaincu que la géométrie était une discipline trop élitiste pour modifier la donne politique de l’époque, il élabora contre les sophistes un outil plus accessible et peut-être plus efficace : la logique. Organon , mot grec […] Lire la suite

EMPIRISME

  • Écrit par 
  • Edmond ORTIGUES
  •  • 13 313 mots
  •  • 1 média

Dans le chapitre « L'équivoque du mot « analytique » »  : […] « La méthode analytique, écrit Kant, est tout autre chose qu'un ensemble de propositions analytiques ; elle signifie seulement que l'on part de ce que l'on cherche comme d'une donnée et que l'on remonte aux conditions sous lesquelles seules il est possible. Dans cette méthode d'enseignement, on n'emploie souvent que des propositions synthétiques ; l'analyse mathématique en fournit un exemple ; et […] Lire la suite

FREGE GOTTLOB (1848-1925)

  • Écrit par 
  • Claude IMBERT
  •  • 3 260 mots

Dans le chapitre « La caractéristique »  : […] Pour formaliser le raisonnement arithmétique, Frege conçut une caractéristique apte à dépeindre les actes logiques aussi sûrement que l'arithmétique signale ses opérations. Cependant la logique de Frege n'imite pas l'arithmétique en utilisant les mêmes symboles d'opérations (+, ×), comme le firent Leibniz et Boole ; l'idéographie emprunte à la mathématique un procédé d'algèbre, la double distinct […] Lire la suite

INDUCTION, philosophie

  • Écrit par 
  • Bertrand SAINT-SERNIN
  •  • 4 253 mots

Le processus de pensée qu'on appelle induction et qui relève de la méthode reconstructive évoque une question obscure qui peut se formuler ainsi : existe-t-il, à côté des inférences nécessaires qui se fondent sur le principe de la déduction, des inférences qui seraient seulement probables et reposeraient sur un autre principe, celui de l'induction ? Le problème de l'existence et de la validité d […] Lire la suite

INFÉRENCE

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

Opération de l'esprit qui passe de propositions assertives, comme prémisses, à des propositions assertives, comme conclusions. Au sens strict, on distingue l'inférence du raisonnement en ce qu'elle peut être soit médiate soit immédiate (passer de « Quelque a n'est pas b  » à « Quelque b n'est pas a  »), tandis que le raisonnement comporte nécessairement des médiations (il est discursif) ; de plu […] Lire la suite

JUGEMENT

  • Écrit par 
  • Noël MOULOUD
  •  • 6 858 mots

Dans le chapitre « Influence de la théorie du langage sur les doctrines de la proposition et du jugement »  : […] Les développements de la doctrine du langage, qui ont suivi les indications de Wittgenstein et qui ont marqué des œuvres comme celles de Ryle, Strawson, Austin, Searle, ont jeté des vues nouvelles sur le statut du jugement. Elles tiennent à une considération plus large des liaisons de sens dans le discours (sémantique) et à un intérêt plus poussé pour les objectifs de l'emploi des formes linguisti […] Lire la suite

LOGIQUE

  • Écrit par 
  • Robert BLANCHÉ, 
  • Jan SEBESTIK
  •  • 12 995 mots
  •  • 3 médias

Dans le chapitre « Leibniz »  : […] L'exception la plus considérable à cette désaffection générale pour la logique est celle de Leibniz. En logique comme ailleurs, ce philosophe de la continuité évite la rupture. Il accepte ce qui a été fait, il le reprend, mais pour l'approfondir. La logique traditionnelle n'est qu'un échantillon d'une logique générale, qui reste à établir. La syllogistique est une des plus belles inventions de l'e […] Lire la suite

LOGIQUE INDIENNE

  • Écrit par 
  • Kuno LORENZ
  •  • 6 603 mots

Dans le chapitre « L'art de la controverse »  : […] Lorsqu'on examine de plus près les relations que le Lokāyata entretient avec le jaïnisme et le bouddhisme, d'une part (à propos du vibhajya), et avec le Sāṁkhya et le Yoga, d'autre part (à propos de l'ānvīkṣikī), on s'aperçoit qu'il faut distinguer au moins deux traditions concernant les méthodes d'investigation rationnelle. Il y a le vāda-vidyā (doctrine de la controverse, appelée aussi « tarka-ś […] Lire la suite

LOI, épistémologie

  • Écrit par 
  • Pierre JACOB
  •  • 6 839 mots
  •  • 1 média

Dans le chapitre « Lois et explication »  : […] En raison de la parenté entre les concepts de loi et d'explication, les philosophes des sciences se sont penchés sur le concept d'explication. C'est à Hempel ( Aspects of Scientific Explanation , 1965) qu'incombe le mérite d'avoir jeté les bases des discussions contemporaines en proposant le fameux modèle dit « nomologico-déductif » (DN) de l'explication scientifique. Selon l'intuition qui guide […] Lire la suite

MATHÉMATIQUES FONDEMENTS DES

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 438 mots
  •  • 1 média

Dans le chapitre « L'œuvre de Bolzano »  : […] L'œuvre de Bolzano représente, en cette première moitié du siècle, un effort théorique explicite pour penser cette configuration de la mathesis. De cette œuvre immense qui, de la logique et des mathématiques à la théologie et à la philosophie politique, couvre un champ très étendu, nous ne retiendrons ici qu'un aspect, simplement son architecture et son projet, tels qu'ils apparaissent dans l'ouv […] Lire la suite

MODALITÉS, logique

  • Écrit par 
  • Pascal ENGEL
  •  • 7 599 mots
  •  • 1 média

La notion logico-linguistique de modalité désigne, au sens classique, toutes les modifications du sens d'une proposition par des expressions permettant d'asserter cette proposition comme nécessaire, possible, impossible ou contingente. Elle est alors dite aléthique et a été étudiée, depuis Aristote, par les philosophes et les logiciens dans le cadre de la logique modale, qui a connu un renouveau […] Lire la suite

MOORE GEORGE EDWARD (1873-1958)

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 1 564 mots

Dans le chapitre « La défense du sens commun et de la langue commune »  : […] Bien avant la parution de A Defence of Common Sense , en 1925, Moore semblait s'être assigné pour tâche d'exercer le jugement philosophique au nom d'un sens commun qui n'est ni préjugé, ni croyance populaire, ni opinion du plus grand nombre, mais vérité immédiatement évidente, contre le scepticisme des traditions idéalistes et empiristes. Russell écrit dans My Mental Development  : « Est réel tout […] Lire la suite

MOYEN ÂGE - La pensée médiévale

  • Écrit par 
  • Alain de LIBERA
  •  • 22 370 mots

Dans le chapitre « Le monde comme proposition »  : […] La sémiotique absorbe-t-elle la totalité du rapport de l'homme médiéval au monde dans lequel il vit ? L'existence d'une mentalité collective fortement imprégnée par le symbolique, l'allégorisation intempérante de certains exégètes, le dévoilement d'une structure sémiotique dans l'ordre des choses nous inclinent à penser que, pour l'homme du Moyen Âge, notamment pour le clerc et plus particulièreme […] Lire la suite

Pour citer l’article

Françoise ARMENGAUD, « PROPOSITION, philosophie », Encyclopædia Universalis [en ligne], consulté le 06 juin 2020. URL : http://www.universalis.fr/encyclopedie/proposition-philosophie/