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).
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é.
Philosophie du langage ordinaireLa philosophie du langage ordinaire fut un courant dans la philosophie analytique qui prétendait éviter les « théories » philosophiques, les excès de formalisme pour donner plus d'attention aux usages et aux pratiques du langage ordinaire et du sens commun. Le courant était surtout inspiré par Ludwig Wittgenstein, notamment dans son évolution après le Tractatus logico-philosophicus vers ce qu'on a appelé sa « seconde philosophie ». Bien que Wittgenstein ait enseigné à Cambridge, c'est surtout à Oxford avec Gilbert Ryle (1900–1976), J.
Investigations philosophiquesInvestigations philosophiques (Philosophische Untersuchungen) est un ouvrage de Ludwig Wittgenstein, publié à titre posthume en 1953. C'est un des textes de cette époque qui exprime le mieux la pensée du philosophe viennois. C’est aussi un des plus compliqués car il perpétue le laconisme cher à l’auteur et reprend des problématiques de ses anciens ouvrages. Wittgenstein travailla sur ce livre pendant de nombreuses années et il fut « terminé » vers 1949. Avec le Tractatus logico-philosophicus, il est la seconde œuvre majeure de Wittgenstein.
Theory of descriptionsThe theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language. It is also known as Russell's theory of descriptions (commonly abbreviated as RTD). In short, Russell argued that the syntactic form of descriptions (phrases that took the form of "The aardvark" and "An aardvark") is misleading, as it does not correlate their logical and/or semantic architecture.
Auguste De MorganAuguste (ou Augustus) De Morgan ( à Madurai (Tamil Nadu) - ) est un mathématicien et logicien britannique, né en Inde. Il est le fondateur avec Boole de la logique moderne ; il a notamment formulé les lois de De Morgan. Né d'un père colonel dans l'armée au service de la compagnie des Indes orientales, sa mère est une descendante de James Dodson, qui établit une table d'antilogarithmes. À cause des révoltes, le colonel envoie sa famille en Angleterre alors que Auguste a sept mois.
ImprédicativitéL'imprédicativité est un terme du domaine des mathématiques, de la logique, de la théorie des ensembles et de la théorie des types. On dit qu'il y a imprédicativité « lorsqu'un objet parle de lui-même ». Une définition est imprédicative si l'objet défini intervient dans la définition elle-même. Le paradoxe de Russell est un célèbre exemple d'imprédicativité menant à une contradiction : il introduit « l'ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes » (par « contiennent », on comprendra « éléments de ») En réaction à ce paradoxe et à d'autres Henri Poincaré et Bertrand Russell ont énoncé le « principe du cercle vicieux » ou de la pétition de principe.
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.
Propositional functionIn propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified (thus being a free variable), which leaves the statement undetermined. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments). As a mathematical function, A(x) or A(x_1, x_2, ...
Axiom of reducibilityThe axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the axiom in an attempt to manage the contradictions he had discovered in his analysis of set theory. With Russell's discovery (1901, 1902) of a paradox in Gottlob Frege's 1879 Begriffsschrift and Frege's acknowledgment of the same (1902), Russell tentatively introduced his solution as "Appendix B: Doctrine of Types" in his 1903 The Principles of Mathematics.
