MetalanguageIn logic and linguistics, a metalanguage is a language used to describe another language, often called the object language. Expressions in a metalanguage are often distinguished from those in the object language by the use of italics, quotation marks, or writing on a separate line. The structure of sentences and phrases in a metalanguage can be described by a metasyntax. For example, to say that the word "noun" can be used as a noun in a sentence, one could write "noun" is a .
Truthmaker theoryTruthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there was no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else.
Factual relativismFactual relativism (also called epistemic relativism, epistemological relativism, alethic relativism or cognitive relativism) argues that truth itself is relative. This form of relativism has its own particular problem, regardless of whether one is talking about truth being relative to the individual, the position or purpose of the individual, or the conceptual scheme within which the truth was revealed. This problem centers on what Maurice Mandelbaum in 1962 termed the "self-excepting fallacy.
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.
ContextualismContextualism, also known as epistemic contextualism, is a family of views in philosophy which emphasize the context in which an action, utterance, or expression occurs. Proponents of contextualism argue that, in some important respect, the action, utterance, or expression can only be understood relative to that context. Contextualist views hold that philosophically controversial concepts, such as "meaning P", "knowing that P", "having a reason to A", and possibly even "being true" or "being right" only have meaning relative to a specified context.
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 Ramsey (mathematician)Frank Plumpton Ramsey (ˈræmzi; 22 February 1903 – 19 January 1930) was a British philosopher, mathematician, and economist who made major contributions to all three fields before his death at the age of 26. He was a close friend of Ludwig Wittgenstein and, as an undergraduate, translated Wittgenstein's Tractatus Logico-Philosophicus into English. He was also influential in persuading Wittgenstein to return to philosophy and Cambridge. Like Wittgenstein, he was a member of the Cambridge Apostles, the secret intellectual society, from 1921.
Moral skepticismMoral skepticism (or moral scepticism in British English) is a class of meta-ethical theories all members of which entail that no one has any moral knowledge. Many moral skeptics also make the stronger, modal claim that moral knowledge is impossible. Moral skepticism is particularly opposed to moral realism: the view that there are knowable and objective moral truths. Some defenders of moral skepticism include Pyrrho, Aenesidemus, Sextus Empiricus, David Hume, J. L.
