Proposition (philosophie)Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. Un exemple courant pour désigner ce qu'est une proposition par rapport à un énoncé ou à une phrase est de comparer les deux énoncés ou phrases suivantes : « Il pleut. » « It's raining. » Ces deux énoncés ou phrases ont la même proposition, à savoir qu'il pleut. Un autre exemple courant dans le domaine est de comparer « La neige est blanche » et « Snow is white ».
PerspectivismeLe perspectivisme désigne les doctrines philosophiques qui défendent l'idée que la réalité se compose de la somme des perspectives que nous avons sur elle. Autrement dit, ce sont les différents points de vue que nous avons sur elle qui la constituent. On trouve des développements significatifs de cette idée chez Montaigne, Leibniz, Nietzsche, Ortega y Gasset, entre autres. On en perçoit quelques traces chez Pascal également.
Logique traditionnelleEn philosophie, certains nomment logique traditionnelle celle qui a existé en Occident après Aristote et avant l'avènement de la logique mathématique moderne. Elle fut dominante en Europe depuis l'Antiquité jusqu'à la fin du . La logique d'Aristote est présentée dans six documents connus sous le nom dOrganon. Deux de ces documents, les Premiers Analytiques et De l'interprétation, contiennent l'étude des jugements et de l'inférence formelle et c'est cette partie des œuvres d'Aristote qui est passée à la postérité.
Théorie sémantique de la véritéUne théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases. La conception sémantique de la vérité, qui est liée de différentes façons à la correspondance et aux conceptions déflationnistes, est due au travail publié par le logicien polonais Alfred Tarski dans les années 1930. Tarski, dans « On the Concept of Truth in Formalized Languages », a tenté de formuler une nouvelle théorie de la vérité afin de résoudre le paradoxe du menteur.
Analytic–synthetic distinctionThe analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
Principe de raison suffisanteLe principe de raison suffisante est un principe philosophique (ou axiome). Dans sa formulation originelle, par Leibniz, il affirme que « jamais rien n'arrive sans qu'il y ait une cause ou du moins une raison déterminante, c'est-à-dire qui puisse servir à rendre raison a priori pourquoi cela est existant plutôt que non existant et pourquoi cela est ainsi plutôt que de toute autre façon » (Théodicée, I, 44). Le principe de raison suffisante remonte au moins à Saint Thomas d'Aquin qui l'utilise dans la troisième voie pour démontrer l'existence de Dieu par la raison naturelle.
Condition humaineLa condition humaine est définie comme . Il s'agit d'une question très vaste, qui a été et continue d'être l'objet de réflexions et d'analyses dans un grand nombre de domaines : anthropologique, artistique, biologique, littéraire, historique, philosophique, psychologique, religieux, sociologique, pour citer les principaux. Dans un contexte littéraire, on parle généralement de la condition humaine lorsqu'il est question de sujets tels que le sens de la vie ou les problèmes moraux, liés au contexte et à l'époque historique.
VérisimilitudeLa vérisimilitude (ou verisimilitude, vérisimilarité) est un terme utilisé en épistémologie et en philosophie des sciences. Il désigne l'approximation de la vérité. Si le mot apparaît au , sous la plume de Montaigne notamment, c'est Leibniz qui dans les Nouveaux essais sur l'entendement humain donne à ce terme un contenu épistémologique afin de définir l'écart séparant les raisons démonstratives certaines des propositions simplement vraisemblables.
Truth-bearerA truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories.
Degree of truthIn classical logic, propositions are typically unambiguously considered as being true or false. For instance, the proposition one is both equal and not equal to itself is regarded as simply false, being contrary to the Law of Noncontradiction; while the proposition one is equal to one is regarded as simply true, by the Law of Identity. However, some mathematicians, computer scientists, and philosophers have been attracted to the idea that a proposition might be more or less true, rather than wholly true or wholly false.
