MétalangageUn métalangage est un formalisme conçu pour décrire rigoureusement un langage. Un langage est décrit par une grammaire, et la description de sa grammaire est son métalangage. Ainsi le langage des expressions rationnelles ou la forme de Backus-Naur en informatique sont des métalangages. Un métalangage ne décrit pas seulement la syntaxe, il sert aussi à décrire la sémantique. Un langage qui est son propre métalangage pour la syntaxe et la sémantique est dit réflexif.
VérifacteurUn vérifacteur est ce qui dans le monde rend vraie une vérité ou un énoncé vrai. Cette notion relève du vocabulaire de la philosophie analytique et elle est associée à une conception à la fois réaliste et « correspondantiste » de la vérité : si un énoncé est vrai, alors il doit exister quelque chose qui le rend vrai ; de même, si un prédicat quelconque s'applique à quelque chose (ex. : « mammifère » dans « les hommes sont des mammifères »), alors il doit exister quelque chose qui rend vrai le fait qu'un prédicat s'y applique.
Relativisme factuelLe relativisme factuel (également appelé relativisme épistémique, relativisme épistémologique ou encore relativisme cognitif) est un moyen de raisonner, où les faits utilisés pour justifier des propositions sont considérés comme relatifs et subjectifs aux yeux de ceux qui prouvent ou falsifient la proposition. Une école de pensée compare les connaissances scientifiques à la mythologie d'autres cultures, arguant que ce n'est que l'ensemble des mythes de notre société basés sur des hypothèses sociétales.
Pragmaticism"Pragmaticism" is a term used by Charles Sanders Peirce for his pragmatic philosophy starting in 1905, in order to distance himself and it from pragmatism, the original name, which had been used in a manner he did not approve of in the "literary journals". Peirce in 1905 announced his coinage "pragmaticism", saying that it was "ugly enough to be safe from kidnappers" (Collected Papers (CP) 5.414). Today, outside of philosophy, "pragmatism" is often taken to refer to a compromise of aims or principles, even a ruthless search for mercenary advantage.
Statement (logic)In logic and semantics, the term statement is variously understood to mean either: a meaningful declarative sentence that is true or false, or a proposition. Which is the assertion that is made by (i.e., the meaning of) a true or false declarative sentence. In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement. By a statement, I mean "that which one states", not one's stating of it.
ContextualismeLe contextualisme en philosophie de la connaissance est la thèse selon laquelle les peuvent changer de valeur de vérité d'un contexte de conversation à l'autre. Le contextualisme a été avant tout défendu comme une solution au problème du . Selon les contextualistes, lorsque , le mot "savoir" prend une valeur très restrictive, de telle sorte que l'affirmation « Pierre sait qu'il a deux mains » devient fausse dans . Inversement, dans les conversations courantes, le mot « savoir » a une valeur moins restrictive, de sorte que l'affirmation « Pierre sait qu'il a deux mains » pourra être vraie.
T-schemaThe T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett. The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a "T-theory.
Coherence theory of truthCoherence theories of truth characterize truth as a property of whole systems of propositions that can be ascribed to individual propositions only derivatively according to their coherence with the whole. While modern coherence theorists hold that there are many possible systems to which the determination of truth may be based upon coherence, others, particularly those with strong religious beliefs, hold that the truth only applies to a single absolute system. In general, truth requires a proper fit of elements within the whole system.
Frank RamseyFrank Plumpton Ramsey ( - ) est un mathématicien, économiste et logicien britannique. En économie, il est célèbre pour être l'auteur du modèle de Ramsey et la règle de Ramsey. Ramsey naît à Cambridge où son père est alors président du Magdalene College. Sa mère, Agnès Ramsey, a étudié l'histoire à Oxford. Il poursuit ses études au prestigieux Winchester College, avant de revenir à l'université de Cambridge pour étudier les mathématiques au Trinity College. Il obtient son diplôme en tant que senior wrangler (premier de l'examen final de mathématiques).
Scepticisme moralLe scepticisme moral est une classe de théories méta-éthiques dont tous les membres impliquent que personne n'a de connaissance morale. De nombreux tenants du scepticisme moral avancent également la plus forte assertion modale que la connaissance morale est impossible. Le scepticisme moral s'oppose particulièrement au réalisme moral qui pose qu'il existe des vérités morales objectives connaissables. Parmi les défenseurs de quelques formes de scepticisme moral figurent David Hume, Friedrich Nietzsche, Max Stirner, J.
