Trivialism is the logical theory that all statements (also known as propositions) are true and that all contradictions of the form "p and not p" (e.g. the ball is red and not red) are true. In accordance with this, a trivialist is a person who believes everything is true.
In classical logic, trivialism is in direct violation of Aristotle's law of noncontradiction. In philosophy, trivialism is considered by some to be the complete opposite of skepticism. Paraconsistent logics may use "the law of non-triviality" to abstain from trivialism in logical practices that involve true contradictions.
Theoretical arguments and anecdotes have been offered for trivialism to contrast it with theories such as modal realism, dialetheism and paraconsistent logics.
Trivialism, as a term, is derived from the Latin word trivialis, meaning commonplace, in turn derived from the trivium, the three introductory educational topics (grammar, logic, and rhetoric) expected to be learned by all freemen. In logic, from this meaning, a "trivial" theory is something regarded as defective in the face of a complex phenomenon that needs to be completely represented. Thus, literally, the trivialist theory is something expressed in the simplest possible way.
In symbolic logic, trivialism may be expressed as the following:
The above would be read as "given any proposition, it is a true proposition" through universal quantification (∀).
A claim of trivialism may always apply its fundamental truth, otherwise known as a truth predicate:
The above would be read as a "proposition if and only if a true proposition", meaning that all propositions are believed to be inherently proven as true. Without consistent use of this concept, a claim of advocating trivialism may not be seen as genuine and complete trivialism; as to claim a proposition is true but deny it as probably true may be considered inconsistent with the assumed theory.
Luis Estrada-González in "Models of Possibilism and Trivialism" lists four types of trivialism through the concept of possible worlds, with a "world" being a possibility and "the actual world" being reality.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
The laws of thought are fundamental axiomatic rules upon which rational discourse itself is often considered to be based. The formulation and clarification of such rules have a long tradition in the history of philosophy and logic. Generally they are taken as laws that guide and underlie everyone's thinking, thoughts, expressions, discussions, etc. However, such classical ideas are often questioned or rejected in more recent developments, such as intuitionistic logic, dialetheism and fuzzy logic.
In classical logic, intuitionistic logic and similar logical systems, the principle of explosion (ex falso [sequitur] quodlibet, 'from falsehood, anything [follows]'; or ex contradictione [sequitur] quodlibet), or the principle of Pseudo-Scotus (falsely attributed to Duns Scotus), is the law according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition (including its negation) can be inferred from it; this is known as deductive explosion.
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
The helicity, h -, of μ - in π-decay has been determined as positive (h -≥+0.90) from the average polarization, P av≡〈J B·s μ〉, of 12B produced in the μ -+ 12C→ν μ+ 12B reaction. We obtain also dynamical information on μ-capture: (i) the weak magnetism for ...
A graphical construction was proposed for the complementarity of various cross-correlation rates for the detn. of dihedral angles. Motional fluctuations around the dihedral angles taken into account. The detn. of the conformation of 2 consecutive peptide s ...
Today businesses are facing radical transformations through digitalization of services and products. Accordingly, their ability to innovate is increasingly linked to the capacity to innovate through information and communication technologies (ICTs). This a ...