Une proposition est un terme de philosophie et de logique. C'est une déclaration qui a une valeur de vérité, ce qui signifie qu'on peut prouver qu'elle est vraie ou fausse. Pour qu'une proposition soit valable, il doit être possible de prouver qu'elle est vraie ou fausse. De nombreux enseignants et étudiants en logique utilisent les termes "déclaration" et "proposition" pour désigner la même chose.
Il est possible d'exprimer la même proposition de plusieurs manières. Les propositions ne concernent que le sens réel, et non la manière dont la proposition est exprimée. Les propositions peuvent paraître différentes, mais signifier la même chose. Lorsque deux propositions différentes signifient la même chose, on dit qu'elles sont synonymes, ce qui signifie que chaque énoncé a la même signification.
Par exemple, "Snow is white" (en anglais) et "Schnee ist weiß" (en allemand) sont des phrases différentes car elles sont écrites dans des langues différentes. Cependant, elles signifient exactement la même chose : la neige est blanche. Quelle que soit la langue dans laquelle la déclaration est écrite, elle aura la même signification. Par conséquent, ces déclarations sont synonymes.
Dans la logique aristotélicienne, une proposition est un type de phrase spécifique qui confirme ou nie qu'une action ou un prédicat a eu lieu à travers un sujet. Les propositions aristotéliciennes prennent des formes comme "Tous les hommes sont mortels" et "Socrate est un homme". Dans chaque phrase, le sujet (les hommes, Socrate) a un statut (sont mortels, est un homme) qui peut être prouvé vrai ou faux.
Dans le positivisme logique, une proposition dont la valeur de vérité ne peut être décidée n'a aucun sens. Par exemple, les déclarations sur l'existence de divinités ne peuvent pas être prouvées dans le cadre du positivisme logique. Comme les déclarations n'ont pas de valeur de vérité, un positiviste logique considérerait que les propositions sur les divinités (telles que "Dieu existe" ou "Dieu n'existe pas") n'ont pas de sens logique.