Paradoxe de Burali-FortiEn mathématiques, le paradoxe de Burali-Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante). Dit brièvement, il énonce que, comme on peut définir la borne supérieure d'un ensemble d'ordinaux, si l'ensemble de tous les ordinaux existe, on peut définir un ordinal supérieur strictement à tous les ordinaux, d'où une contradiction.
Principe de compositionnalitéEn mathématiques, sémantique, et philosophie du langage, le principe de compositionnalité est le principe selon lequel la signification d'une expression complexe est définie par les significations des expressions la composant, et par les règles employées pour les combiner. Des techniques de raisonnement continu exploitent la compositionnalité pour analyser les systèmes à grande échelle de manière différentielle. Le principe de compositionnalité établit que dans une phrase significative, si les parties lexicales sont retirées de la phrase, ce qu'il en reste seront les règles de composition.
AntipsychologismeL’antipsychologisme est une théorie en philosophie et logique selon laquelle la vérité logique ne dépend pas de l'esprit humain. Elle a notamment été élaborée au par Gottlob Frege en opposition au psychologisme. L'antipsychologisme de Frege repose sur l'hypothèse de l'existence d'une pensée objective qu'il distingue des représentations mentales. Il critique le psychologisme en ce qu'il confondrait l'ordre des raisons dont relève la pensée objective de l'ordre des causes dont relèvent les représentations subjectives.
Singular termA singular term is a paradigmatic referring device in a language. Singular terms are of philosophical importance for philosophers of language, because they refer to things in the world, and the ability of words to refer calls for scrutiny. Singular terms are defined as expressions that purport to denote or designate particular individual people, places, or other objects. They contrast with general terms (such as "car" or "chair") which can apply to more than one thing. There are various kinds of singular terms: proper names (e.
Infini potentielL'infini potentiel est un dont le modèle le plus simple est l'infinité de la série des entiers naturels : 0, 1, 2, 3, 4... Chaque terme de cette série est fini, mais à chaque étape on peut atteindre un nouvel entier en lui ajoutant 1, ceci indéfiniment. L'infini potentiel n'est donc jamais atteint et correspond à une limite potentielle et non achevée. Il s'oppose à l'infini en acte, qui considère l'infini comme une entité achevée comme l'est l'ensemble des entiers naturels.
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.
Description définieUne description définie est une expression de la forme le X, dans laquelle X est un nom commun ou une locution nominale décrivant un individu ou un objet déterminé, et un seul (par exemple, « le premier singe de l'espace » ou « le 42 président des États-Unis »). À la différence du nom propre, une description définie ne nomme pas un objet, mais affirme, selon Russell, qu'il existe un et un seul objet qui satisfait cette description. Russell a développé l'idée de description définie dans l'article On denoting (1905), en opposition à la philosophie du langage frégéenne.
Éosphoros et HespérosDans la mythologie grecque, Éosphoros (, « porteur de la lumière de l'aurore ») et Hespéros (, « du soir ») sont deux frères qui personnifient l'« étoile du matin » (pour le premier) et l'« étoile du soir » (pour le second). Le premier représente la planète Vénus (visible un peu avant l'aurore), le second représente la même planète (visible après le crépuscule). Les Romains ont assimilé Éosphoros à leur Lucifer et Hespéros à leur Vesper. L'astre du matin, sous le nom d'Éosphoros (), apparaît pour la première fois dans Homère au chant XXIII, 226-227 de L'Iliade.
Hespéros fils de JapetIn Greek mythology, Hesperus (ˈhɛspərəs; Hésperos) is the Evening Star, the planet Venus in the evening. He is one of the Astra Planeta. A son of the dawn goddess Eos (Roman Aurora), he is the half-brother of her other son, Phosphorus (also called Eosphorus; the "Morning Star"). Hesperus' Roman equivalent is Vesper (cf. "evening", "supper", "evening star", "west"). By one account, Hesperus' father was Cephalus, a mortal, while Phosphorus was the star god Astraios.
