Formalism (philosophy of mathematics)In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess.
Tournant linguistiqueLe tournant linguistique, plus souvent désigné par l'expression anglaise linguistic turn, est originellement une expression par laquelle Gustav Bergmann désignait en 1953 une manière de faire de la philosophie initiée par Ludwig Wittgenstein dans son Tractatus logico-philosophicus. D'une manière générale, il s'agit d'un changement méthodologique et substantiel, affirmant que le travail conceptuel de la philosophie ne peut avoir lieu sans une analyse préalable du langage. Le tournant linguistique a notamment connu des applications en histoire.
PsychologismeLe psychologisme est un terme apparu au qui désigne, au sens large et parfois péjoratif, une tendance à interpréter au travers du spectre de la psychologie, et de faire de la psyché individuelle le noyau dur permettant de comprendre le monde. Pour cette raison, il peut être assimilé à un réductionnisme et aussi à un relativisme, car elle ignorerait d'autres facteurs d'explications qui ne relèvent pas de la psychologie individuelle. L'antipsychologisme, un courant de philosophie et de logique, en a fait la critique.
Naming and NecessityNaming and Necessity is a 1980 book with the transcript of three lectures, given by the philosopher Saul Kripke, at Princeton University in 1970, in which he dealt with the debates of proper names in the philosophy of language. The transcript was brought out originally in 1972 in Semantics of Natural Language, edited by Donald Davidson and Gilbert Harman. Among analytic philosophers, Naming and Necessity is widely considered one of the most important philosophical works of the twentieth century.
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.
ReferenceA reference is a relationship between objects in which one object designates, or acts as a means by which to connect to or link to, another object. The first object in this relation is said to refer to the second object. It is called a name for the second object. The next object, the one to which the first object refers, is called the referent of the first object. A name is usually a phrase or expression, or some other symbolic representation. Its referent may be anything – a material object, a person, an event, an activity, or an abstract concept.
Philosophie de la logiqueLa philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
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.
Mediated reference theoryA mediated reference theory (also indirect reference theory) is any semantic theory that posits that words refer to something in the external world, but insists that there is more to the meaning of a name than simply the object to which it refers. It thus stands opposed to direct reference theory. Gottlob Frege is a well-known advocate of mediated reference theories. Similar theories were widely held in the middle of the twentieth century by philosophers such as Peter Strawson and John Searle.
Principe de HumeLe principe de Hume ou HP (pour Hume's principle) déclare que le nombre de " F " est égal au nombre de " G " si et seulement s'il y a une correspondance biunivoque (une bijection) entre les " F " et les " G ". Le principe de Hume peut être énoncée formellement dans des systèmes de logique de second ordre. Le principe de Hume est nommé en référence au philosophe écossais David Hume. Le HP joue un rôle central dans la philosophie des mathématiques de Gottlob Frege.
