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 ».
Empirismevignette|Roger Bacon, philosophe scolastique, précurseur de l’empirisme sous sa forme moderne. L'empirisme désigne un ensemble de théories philosophiques qui font de l'expérience sensible l'origine de toute connaissance ou croyance et de tout plaisir esthétique. L'empirisme s'oppose en particulier à l'innéisme et plus généralement au rationalisme « nativiste » pour lesquels nous disposerions de connaissances, idées ou principes avant toute expérience.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Esthétiquevignette|Première page du livre intitulé Æsthetica de Baumgarten, 1750. On lui doit ce néologisme. L'esthétique (ou philosophie de l'art) est une discipline de la philosophie ayant pour objet les perceptions, les sens, le beau (dans la nature ou l'art), ou exclusivement ce qui se rapporte au concept de l'art. L'esthétique correspond ainsi au domaine désigné jusqu'au par « science du beau » ou « critique du goût », et devient depuis le la philosophie de l'art.
Théorèmes d'incomplétude de GödelLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.
Athéismevignette|Symbole de l'athéisme. Au sens large, l'athéisme est défini comme l'absence ou le refus de toute croyance en quelque divinité que ce soit. Le terme s'oppose donc au théisme, toutefois cette définition ainsi posée ne permet pas de le distinguer clairement de l'agnosticisme, de l'antithéisme et de l'apathéisme avec lesquels il peut être confondu. Ainsi, l'athéisme se définit comme la considération qu'il n'existe aucune notion de divinité plausible, prouvable et donc réelle, ceci tant pour un dieu unique que pour un ensemble de divinités intégrées dans un même mythe.
René DescartesRené Descartes est un mathématicien, physicien et philosophe français, né le à La Haye-en-Touraine et mort le à Stockholm. Il est considéré comme l’un des fondateurs de la philosophie moderne. Il reste célèbre pour avoir exprimé dans son Discours de la méthode le cogito fondant ainsi le système des sciences sur le sujet connaissant face au monde qu'il se représente. En physique, il a apporté une contribution à l’optique et est considéré comme l'un des fondateurs du mécanisme. En mathématiques, il est à l’origine de la géométrie analytique.
LogicismeLe logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique. Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général. Bertrand Russell et Alfred North Whitehead ont défendu cette approche, créée par le mathématicien Gottlob Frege. Le logicisme a joué un rôle clé dans le développement de la philosophie analytique au .
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
William JamesWilliam James (né le à New York, mort le à Chocorua dans le New Hampshire) est un psychologue et philosophe américain, fils d'Henry James Sr., théologien disciple de Swedenborg, filleul de Ralph Waldo Emerson, frère aîné du romancier Henry James ainsi que d'Alice James. Il est l'un des fondateurs du pragmatisme. Il est parfois considéré comme une influence de la philosophie analytique, mais sa réception francophone témoigne également de son impact profond sur la philosophie continentale existentialiste et processuelle (voir notamment les travaux de Jean Wahl et, plus proche de nous, de Vinciane Despret, David Lapoujade et Isabelle Stengers, entre autres).
Siècle des LumièresLe siècle des Lumières est un mouvement philosophique, littéraire et culturel bourgeois que connaît l'Europe au (de 1715 à 1789) et qui se propose de promouvoir le rationalisme, l'individualisme et le libéralisme, contre l'obscurantisme et la superstition de l'Église catholique et contre l'arbitraire de la royauté et de la noblesse, avec pour modèle la philosophie empirique, l'économie libérale et la monarchie constitutionnelle anglaise.
