Paradoxe du menteurEn philosophie et en logique mathématique, le paradoxe du menteur est un paradoxe dérivé du paradoxe du Crétois (ou paradoxe d'Épiménide). Il consiste essentiellement en une phrase se qualifiant elle-même de mensonge. Elle ne peut être alors ni vraie ni fausse. La plus ancienne formulation connue du paradoxe du menteur est attribuée à Épiménide le Crétois () dans l'énoncé , même si le paradoxe soulevé n’est pas nécessairement apparu immédiatement à l’époque.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Paradoxe de RussellLe paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles (Russell lui-même parle de théorie des classes, en un sens équivalent), qui a joué un rôle important dans la formalisation de celle-ci. Il fut découvert par Bertrand Russell vers 1901 et publié en 1903. Il était en fait déjà connu à Göttingen, où il avait été découvert indépendamment par Ernst Zermelo, à la même époque, mais ce dernier ne l'a pas publié.
Epimenides paradoxThe Epimenides paradox reveals a problem with self-reference in logic. It is named after the Cretan philosopher Epimenides of Knossos (alive circa 600 BC) who is credited with the original statement. A typical description of the problem is given in the book Gödel, Escher, Bach, by Douglas Hofstadter: Epimenides was a Cretan who made the immortal statement: "All Cretans are liars." A paradox of self-reference arises when one considers whether it is possible for Epimenides to have spoken the truth.
Véritéthumb|Walter Seymour Allward, Veritas, 1920 thumb|Nec mergitur ou La Vérité sortant du puits, toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère. Cependant cette définition correspondantiste de la vérité n'est pas la seule, il existe de nombreuses définitions du mot et des controverses classiques autour des diverses théories de la vérité.
Expérience de penséeUne expérience de pensée, expérience par la pensée, expérience mentale ou expérience en imagination, est une méthode qui permet de résoudre un problème en utilisant la seule puissance de l'imagination humaine. Une expérience par la pensée peut être utilisée parce que les conditions de l'expérimentation ne sont pas réalisables ou pas souhaitables. L'expression d'expérience de pensée est la traduction de l'anglais thought experiment. Cela se dit, en allemand, Gedankenexperiment.
Paradoxe de BerryLe paradoxe de Berry a été formulé par Bertrand Russell en 1906. On le trouve dans un article, paru en français cette même année, de la Revue de métaphysique et de morale. Russell introduit, dans une discussion à propos du paradoxe de Richard, le « plus petit entier non nommable en moins de dix-huit syllabes qui paraît être ainsi nommé en dix-sept syllabes », et attribue cette définition paradoxale à un bibliothécaire londonien, G. G. Berry.
PhilosophieLa philosophie, du grec ancien (composé de , « aimer », et de , « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique. Cette réflexion n’est pas pour autant le propre d’un homme en particulier mais de tout homme dans sa dimension proprement humaine même si certains penseurs en ont fait le cœur de leur activité.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
AutoréférenceL'autoréférence apparaît dans les langages naturels ou formels, quand une phrase, une idée ou une formule fait référence à elle-même. Cette référence peut s'exprimer directement, grâce à une formule ou une phrase intermédiaire, ou par encodage sémantique. En philosophie, elle renvoie à la capacité d'un sujet à parler de lui ou à se référer à lui-même. L'autoréférence est un sujet d'étude et a des applications en mathématiques, en philosophie, en programmation ou encore en linguistique.
Paradoxes de ZénonLes paradoxes de Zénon forment un ensemble de paradoxes imaginés par Zénon d'Élée pour soutenir la doctrine de Parménide, selon laquelle toute évidence des sens est fallacieuse, et le mouvement est impossible. Plusieurs des huit paradoxes de Zénon ont traversé le temps (rapportés par Aristote dans la Physique et par Simplicius dans un commentaire à ce sujet). Certains ont été considérés, même dans des périodes antiques, comme faciles à réfuter.
DialethéismeLe dialethéisme est le point de vue selon lequel certaines propositions peuvent être à la fois vraies et fausses. Plus précisément, c'est la croyance qu'il peut y avoir une proposition vraie dont la négation est également vraie. Ces propositions sont appelées les « contradictions vraies », « dialethéia » ou non-dualismes. Le dialethéisme n'est pas un système formel ; il est, à la place, une thèse sur la vérité qui influe sur la construction d'une logique formelle, souvent basée sur des systèmes de préexistants.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Stoïcismevignette|Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes. Le stoïcisme est une philosophie de l'éthique personnelle influencée par son système logique et ses vues sur le monde naturel. Selon ses enseignements, en tant qu'êtres sociaux, la voie de l’eudaimonia (, le bonheur, la prospérité) pour les êtres humains consiste à accepter le moment tel qu'il se présente, à ne pas se laisser contrôler par le désir du plaisir ni la peur de la douleur, à utiliser son esprit pour comprendre le monde et à faire sa part dans le plan de la nature, à œuvrer avec les autres et à les traiter de manière juste et équitable.
RationalitéEn philosophie, en psychologie et en sociologie, la rationalité est un concept servant à définir et mesurer la capacité de raisonnement, telle qu'elle se manifeste dans un (ou des) comportement(s) humain(s). Plus précisément, le mot désigne la qualité de ce qui, dans l’ordre de la connaissance, est (c'est-à-dire relevant de l'usage de la raison, ou intellect) et de ce qui, plus rarement, dans l’ordre de la pratique, relève du raisonnable.
Zénon d'ÉléeZénon d'Élée (en grec ancien / Zếnôn), né vers 490 et mort vers 430 av. J.-C., est un philosophe grec présocratique. Surnommé « le Palamède d'Élée », selon une interprétation de Diogène Laërce qui voit en Zénon un palamède, c'est-à-dire un habile dialecticien, dont parle Platon dans le Phèdre. Il serait le principal disciple de Parménide, qui fut aussi son amant. Platon, dans le dialogue du Parménide, rapporte non sans complaisance, une rumeur ambiguë selon laquelle Zénon aurait été l'amant de son maître.
Valeur de véritéUne valeur de vérité est une valeur attribuée à chaque proposition logique. Pour donner une valeur de vérité à une proposition, on attribue des valeurs de vérité aux variables qu'elle contient. La valeur d'une proposition formés de deux propositions P et Q et d'un connecteur est calculée à partir des valeurs de vérité attribuées à P et à Q. Ainsi la valeur de vérité attribuée à « P et Q » sera « p.q » où « . » est la multiplication. En conséquence, P et Q est vrai si et seulement si P et Q sont chacun vrais.
Intrication quantiqueEn mécanique quantique, l'intrication quantique, ou enchevêtrement quantique, est un phénomène dans lequel deux particules (ou groupes de particules) forment un système lié, et présentent des états quantiques dépendant l'un de l'autre quelle que soit la distance qui les sépare. Un tel état est dit « intriqué » ou « enchevêtré », parce qu'il existe des corrélations entre les propriétés physiques observées de ces particules distinctes. En effet, le théorème de Bell démontre que l'intrication donne lieu à des actions non locales.
Raisonnement circulaireLe raisonnement circulaire est, dans la philosophie du langage, en rhétorique et en épistémologie, un mode d'argumentation qui pose comme prémisse ce que l’argument veut prouver. C'est un cas particulier de la pétition de principe. Dans une argumentation circulaire, une proposition A utilise pour sa justification une proposition B dans le même temps que la justification de la proposition B nécessite la vérité de la proposition A.
