See also
Look up truism in Wiktionary, the free dictionary.
A truism is a claim that is so obvious or self-evident as to be hardly worth mentioning, except as a reminder or as a rhetorical or literary device, and is the opposite of falsism. [1]
In philosophy, a sentence which asserts incomplete truth conditions for a proposition may be regarded as a truism. [2] An example of such a sentence would be "Under appropriate conditions, the sun rises." Without contextual support –a statement of what those appropriate conditions are –the sentence is true but incontestable. [3]
Lapalissades, such as "If he were not dead, he would still be alive", are considered to be truisms.
Epistemology is the branch of philosophy concerned with knowledge. Epistemologists study the nature, origin, and scope of knowledge, epistemic justification, the rationality of belief, and various related issues. Debates in contemporary epistemology are generally clustered around four core areas:
The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives representing the truth functions of conjunction, disjunction, implication, biconditional, and negation. Some sources include other connectives, as in the table below.
Truth or verity is the property of being in accord with fact or reality. In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.
In mathematics, a theorem is a statement that has been proved, or can be proved. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.
In classical rhetoric and logic, begging the question or assuming the conclusion is an informal fallacy that occurs when an argument's premises assume the truth of the conclusion. Historically, begging the question refers to a fault in a dialectical argument in which the speaker assumes some premise that has not been demonstrated to be true. In modern usage, it has come to refer to an argument in which the premises assume the conclusion without supporting it. This makes it an example of circular reasoning.
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false.
A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions. For instance, the English sentence "Snow is white" denotes the same proposition as the German sentence "Schnee ist weiß" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of belief and other propositional attitudes. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of idea: Collins Dictionary has a definition for proposition as "a statement or an idea that people can consider or discuss whether it is true."
In epistemology, a self-evident proposition is a proposition that is known to be true by understanding its meaning without proof, and/or by ordinary human reason.
Explication is the process of drawing out the meaning of something which is not clearly defined, so as to make explicit what is currently left implicit. The term explication is used in both analytic philosophy and literary criticism. Rudolf Carnap was the first to coin the term in an analytic philosophical approach in his book Logical Foundations of Probability, while the term is supplanted with Gustave Lanson’s idea of Explication de Texte when referring to the analysis and criticism of different forms of literature.
In philosophy and logic, a deflationary theory of truth is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.
Norms are concepts (sentences) of practical import, oriented to affecting an action, rather than conceptual abstractions that describe, explain, and express. Normative sentences imply "ought-to" types of statements and assertions, in distinction to sentences that provide "is" types of statements and assertions. Common normative sentences include commands, permissions, and prohibitions; common normative abstract concepts include sincerity, justification, and honesty. A popular account of norms describes them as reasons to take action, to believe, and to feel.
In philosophy—more specifically, in its sub-fields semantics, semiotics, philosophy of language, metaphysics, and metasemantics—meaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify".
In mathematical logic, a tautology is a formula or assertion that is true in every possible interpretation. An example is "x=y or x≠y". Similarly, "either the ball is green, or the ball is not green" is always true, regardless of the colour of the ball.
Infinitism is the view that knowledge may be justified by an infinite chain of reasons. It belongs to epistemology, the branch of philosophy that considers the possibility, nature, and means of knowledge.
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories. Truth-bearer candidates include propositions, sentences, sentence-tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous, or seek to avoid addressing their distinction or do not clarify it.
The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.
A self-refuting idea or self-defeating idea is an idea or statement whose falsehood is a logical consequence of the act or situation of holding them to be true. Many ideas are called self-refuting by their detractors, and such accusations are therefore almost always controversial, with defenders stating that the idea is being misunderstood or that the argument is invalid. For these reasons, none of the ideas below are unambiguously or incontrovertibly self-refuting. These ideas are often used as axioms, which are definitions taken to be true, and cannot be used to test themselves, for doing so would lead to only two consequences: consistency or exception (self-contradiction).
Evidence for a proposition is what supports the proposition. It is usually understood as an indication that the supported proposition is true. What role evidence plays and how it is conceived varies from field to field.
In literary criticism and rhetoric, a tautology is a statement that repeats an idea, using near-synonymous morphemes, words or phrases, effectively "saying the same thing twice". Tautology and pleonasm are not consistently differentiated in literature. Like pleonasm, tautology is often considered a fault of style when unintentional. Intentional repetition may emphasize a thought or help the listener or reader understand a point. Sometimes logical tautologies like "Boys will be boys" are conflated with language tautologies, but a language tautology is not inherently true, while a logical tautology always is.
An undoubted or self-evident truth; a statement which is pliantly true; a proposition needing no proof or argument; — opposed to falsism.