https://en.wikipedia.org/wiki/Trivialism Trivialism From Wikipedia, the free encyclopedia Jump to navigation Jump to search [200px-Trivialisme_en_logiqu] Trivialism in symbolic logic; Read as "given any proposition, it is a true proposition." Trivialism (from Latin trivialis 'found everywhere') 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.^[1]^[2] 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. [ ] Contents * 1 Overview + 1.1 Etymology + 1.2 Theory + 1.3 Taxonomy of trivialisms * 2 Arguments against trivialism + 2.1 Aristotle + 2.2 Priest * 3 Arguments for trivialism + 3.1 Argument from possibilism + 3.2 Paradoxes * 4 Philosophical implications + 4.1 Comparison to skepticism + 4.2 Impossibility of action * 5 Advocates + 5.1 Azzouni + 5.2 Anaxagoras * 6 Anti-trivialism * 7 See also * 8 References * 9 Further reading Overview[edit] Etymology[edit] Trivialism, as a term, is derived from the Latin word trivialis, meaning something that can be found everywhere. From this, "trivial" was used to suggest something was introductory or simple. 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.^[3] Theory[edit] In symbolic logic, trivialism may be expressed as the following:^[4] [?] p T p {\displaystyle \forall pTp} \forall pTp 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: p - T p {\displaystyle p\leftrightarrow Tp} p \leftrightarrow Tp 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. ^[4] Taxonomy of trivialisms[edit] Luis Estrada-Gonzalez in "Models of Possiblism 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. It is theorized a trivialist simply designates a value to all propositions in equivalence to seeing all propositions and their negations as true. This taxonomy is used to demonstrate the different strengths and plausibility of trivialism in this context: * (T0) Minimal trivialism: At some world, all propositions have a designated value. * (T1) Pluralist trivialism: In some worlds, all propositions have a designated value. * (T2) Actualist trivialism: In the actual world, all propositions have a designated value. * (T3) Absolute trivialism: In all worlds, all propositions have a designated value.^[3] Arguments against trivialism[edit] The consensus among the majority of philosophers is descriptively a denial of trivialism, termed as non-trivialism or anti-trivialism.^ [3] This is due to it being unable to produce a sound argument through the principle of explosion and it being considered an absurdity (reductio ad absurdum).^[2]^[4] Aristotle[edit] Aristotle's law of noncontradiction and other arguments are considered to be against trivialism. Luis Estrada-Gonzalez in "Models of Possiblism and Trivialism" has interpreted Aristotle's Metaphysics Book IV as such: "A family of arguments between 1008a26 and 1007b12 of the form 'If trivialism is right, then X is the case, but if X is the case then all things are one. But it is impossible that all things are one, so trivialism is impossible.' ... these Aristotelian considerations are the seeds of virtually all subsequent suspicions against trivialism: Trivialism has to be rejected because it identifies what should not be identified, and is undesirable from a logical point of view because it identifies what is not identical, namely, truth and falsehood."^[3] Priest[edit] Graham Priest considers trivialism untenable: "a substantial case can be made for [dialetheism]; belief in [trivialism], though, would appear to be grounds for certifiable insanity".^[5] He formulated the "law of non-triviality" as a replacement for the law of non-contradiction in paraconsistent logic and dialetheism.^[6] Arguments for trivialism[edit] There are theoretical arguments for trivialism argued from the position of a devil's advocate: Argument from possibilism[edit] Paul Kabay has argued for trivialism in "On the Plenitude of Truth" from the following: 1. Possibilism is true [premise] 2. If possibilism is true, then there is a world (either possible or impossible or both), w, in which trivialism is true [premise] 3. w is a possible world [premise] 4. It is true in w that w is identical to the actual world, A [2] 5. If it is true that there is a world, w, and w is a possible world, and it is true in w that w is identical to A, then trivialism is true [premise] 6. Trivialism is true [1-5]^[2]^[4] Above, possibilism (modal realism; related to possible worlds) is the barely accepted theory that every proposition is possible. With this assumed to be true, trivialism can be assumed to be true as well according to Kabay. Paradoxes[edit] The liar's paradox, Curry's paradox, and the principle of explosion all can be asserted as valid and not required to be resolved and used to defend trivialism.^[2]^[4] Philosophical implications[edit] Comparison to skepticism[edit] In Paul Kabay's comparison of trivialism to schools of philosophical skepticism (in "On the Plenitude of Truth")--such as Pyrrhonism--who seek to attain a form of ataraxia, or state of imperturbability; it is purported the figurative trivialist inherently attains this state. This is claimed to be justified by the figurative trivialist seeing every state of affairs being true, even in a state of anxiety. Once universally accepted as true, the trivialist is free from any further anxieties regarding whether any state of affairs is true. Kabay compares the Pyrrhonian skeptic to the figurative trivialist and claims that as the skeptic reportedly attains a state of imperturbability through a suspension of belief, the trivialist may attain such a state through an abundance of belief. In this case--and according to independent claims by Graham Priest--trivialism is considered the complete opposite of skepticism.^ [2]^[4]^[7] However, insofar as the trivialist affirms all states of affairs as universally true, the Pyrrhonist neither affirms nor denies the truth (or falsity) of such affairs.^[8] Impossibility of action[edit] It is asserted by both Priest and Kabay that it is impossible for a trivialist to truly choose and thus act. Priest argues this by the following in Doubt Truth to Be a Liar: "One cannot intend to act in such a way as to bring about some state of affairs, s, if one believes s already to hold. Conversely, if one acts with the purpose of bringing s about, one cannot believe that s already obtains."^[6]^ [9] Ironically, due to their suspension of determination upon striking equipollence between claims, the Pyrrhonist has also remained subject to apraxia charges.^[10]^[11]^[12] Advocates[edit] Paul Kabay, an Australian philosopher, in his book A Defense of Trivialism has argued that various philosophers in history have held views resembling trivialism, although he stops short of calling them trivialists. He mentions various pre-Socratic Greek philosophers as philosophers holding views resembling trivialism. He mentions that Aristotle in his book Metaphysics appears to suggest that Heraclitus and Anaxagoras advocated trivialism. He quotes Anaxagoras as saying that all things are one. Kabay also suggests Heraclitus' ideas are similar to trivialism because Heraclitus believed in a union of opposites, shown in such quotes as "the way up and down is the same". ^[13] Kabay also mentions a fifteenth century Roman Catholic cardinal, Nicholas of Cusa, stating that what Cusa wrote in De Docta Ignorantia is interpreted as stating that God contained every fact, which Kabay argues would result in trivialism, but Kabay admits that mainstream Cusa scholars would not agree with interpreting Cusa as a trivialist.^[14] Kabay also mentions Spinoza as a philosopher whose views resemble trivialism. Kabay argues Spinoza was a trivialist because Spinoza believed everything was made of one substance which had infinite attributes.^[15] Kabay also mentions Hegel as a philosophers whose views resemble trivialism, quoting Hegel as stating in The Science of Logic "everything is inherently contradictory."^[16] Azzouni[edit] Jody Azzouni is a purported advocate of trivialism in his article The Strengthened Liar by claiming that natural language is trivial and inconsistent through the existence of the liar paradox ("This sentence is false"), and claiming that natural language has developed without central direction. It is heavily implied by Azzouni that every sentence in any natural language is true.^[17]^[18]^[19] Anaxagoras[edit] The Greek philosopher Anaxagoras is suggested as a possible trivialist by Graham Priest in his 2005 book Doubt Truth to Be a Liar . Priest writes, "He held that, at least at one time, everything was all mixed up so that no predicate applied to any one thing more than a contrary predicate."^[6] Anti-trivialism[edit] [220px-Absolute_anti-trivialism] Absolute anti-trivialism (or maximal logical nihilism) in symbolic logic; Read as "given any proposition, it is neither a true or false proposition." Luis Estrada-Gonzalez in "Models of Possiblism and Trivialism" lists eight types of anti-trivialism (or non-trivialism) through the use of possible worlds: (AT0) Actualist minimal anti-trivialism: In the actual world, some propositions do not have a value of true or false. (AT1) Actualist absolute anti-trivialism: In the actual world, all propositions do not have a value of true or false. (AT2) Minimal anti-trivialism: In some worlds, some propositions do not have a value of true or false. (AT3) Pointed anti-trivialism (or minimal logical nihilism): In some worlds, every proposition does not have a value of true or false. (AT4) Distributed anti-trivialism: In every world, some propositions do not have a value of true or false. (AT5) Strong anti-trivialism: Some propositions do not have a value of true or false in every world. (AT6) Super anti-trivialism (or moderate logical nihilism): All propositions do not have a value of true or false at some world. (AT7) Absolute anti-trivialism (or maximal logical nihilism): All propositions do not have a value of true or false in every world. ^[3] See also[edit] * #Philosophy portal * Discordianism * Doublethink * Factual relativism * Fatalism * Anekantavada * Syadvada * Law of excluded middle * Laws of thought * Monism * Moral relativism * Principle of bivalence References[edit] 1. ^ Priest, Graham (2007). "Paraconsistency and Dialetheism". In Gabbay, Dov M.; Woods, John (eds.). The Many Valued and Nonmonotonic Turn in Logic. Elsevier. p. 131. ISBN 978-0-444-51623-7. 2. ^ ^a ^b ^c ^d ^e Paul Kabay (2010). On the Plenitude of Truth. A Defense of Trivialism. Lambert Academic Publishing. ISBN 978-3-8383-5102-5. 3. ^ ^a ^b ^c ^d ^e Estrada-Gonzalez, Luis. "Models of Possibilism and Trivialism". Logic and Logical Philosophy. 21: 175-205. 4. ^ ^a ^b ^c ^d ^e ^f Kabay, Paul. "A defense of trivialism". PhD thesis, School of Philosophy, Anthropology, and Social Inquiry. The University of Melbourne, Research Collections (UMER). p. 29. Retrieved 20 May 2014. 5. ^ Priest, Graham (1999). "Perceiving contradictions". Australasian Journal of Philosophy. 77 (4): 443. doi:10.1080/ 00048409912349211. 6. ^ ^a ^b ^c Priest, Graham (2008). Doubt truth to be a liar (1st pbk. ed.). Oxford: Oxford University Press. pp. 69-71. ISBN 978-0199238514. 7. ^ Priest, G. (2000). "Could everything be true?". Australasian Journal of Philosophy. 78 (2): 189-195. doi:10.1080/ 00048400012349471. S2CID 170771596. 8. ^ Empiricus, S. (2000). Sextus Empiricus: Outlines of Scepticism. Cambridge University Press. "Suspension of judgement is a standstill of intellect, owing to which we neither reject nor posit anything" (p. 5). 9. ^ Kabay, Paul. "Interpreting the Divyadhvani: On Why the Digambara Sect Is Right about the Nature of the Kevalin". The Australasian Philosophy of Religion Association Conference. Retrieved 23 May 2014. 10. ^ Comesana, J. (2012). Can Contemporary Semantics Help the Pyrrhonian Get a Life?. In Pyrrhonism in Ancient, Modern, and Contemporary Philosophy (pp. 217-240). Springer Netherlands. 11. ^ Wieland, J. W. (2012) Can Pyrrhonists act normally? Philosophical Explorations: An International Journal for the Philosophy of Mind and Action 15(3):277-289. 12. ^ Burnyeat, M. (1980). Can the sceptic live his scepticism?. In M. Schofield, M. Burnyeat, and J. Barnes (eds.), Doubt and Dogmatism (pp. 20-53). Cambridge University Press. 13. ^ Kabay, P.D. (2008) A Defense of Trivialism. Phd Thesis, School of Philosophy, Anthropology, and Social Inquiry, The University of Melbourne pages 32-35 14. ^ Kabay, pages 36-37 15. ^ Kabay, pages 37-40 16. ^ Kabay, pages 40-41. A Defense of Trivialism 17. ^ Kabay, Paul. "A defense of trivialism". PhD thesis, School of Philosophy, Anthropology, and Social Inquiry. The University of Melbourne, Research Collections (UMER). p. 42. Retrieved 21 May 2014. `...According to Azzouni, natural language is trivial, that is to say, every sentence in natural language is true...And, of course, trivialism follows straightforwardly from the triviality of natural language: after all, 'trivialism is true' is a sentence in natural language...' 18. ^ Bueno, O. V. (2007). "Troubles with Trivialism". Inquiry. 50 (6): 655-667. doi:10.1080/00201740701698670. S2CID 170636654. 19. ^ Azzouni, Jody (2003). "The Strengthened Liar, the Expressive Strength of Natural Languages, and Regimentation". The Philosophical Forum. 34 (3-4): 342. doi:10.1111/1467-9191.00142. Retrieved 21 May 2014. Further reading[edit] [34p] Wikiquote has quotations related to: Trivialism # Wikimedia Commons has media related to Trivialism. * Frederick Kroon (2004). "Realism and Dialetheism". In Graham Priest; J. C. Beall; Bradley Armour-Garb (eds.). The Law of Non-Contradiction: New Philosophical Essays. Oxford University Press. ISBN 978-0-19-926517-6. * Immanuel (Immanuel) (2014). Instrumentalist Science of Zen Philosophy: Applied Ad Hoc Trivialism. Zen Applied Science. Retrieved 30 January 2015. * v * t * e Logic * Outline * History * Computer science * Inference * Philosophy of logic * Proof * Semantics * Syntax * Classical * Informal Fields + Critical thinking Logics + Reason * Mathematical * Non-classical * Philosophical * Argumentation Theories * Metalogic * Metamathematics * Set * Abduction * Analytic and synthetic propositions * Contradiction + Paradox + Antinomy * Deduction * Deductive closure * Definition * Description * Entailment + Linguistic Foundations * Form * Induction * Logical truth * Name * Necessity and sufficiency * Premise * Probability * Reference * Statement * Substitution * Truth * Validity * Mathematical logic topics * Boolean algebra * Set theory Lists * Logicians * Rules of inference other * Paradoxes * Fallacies * Logic symbols * Socrates.png Philosophy portal * Category * WikiProject (talk) * changes * v * t * e Philosophy Branches * Metaphysics * Epistemology Traditional * Logic * Ethics * Aesthetics * Action * Color * Culture + Design + Music + Film * Cosmology * Education * Environment * Geography * Happiness * History * Human nature * Humor * Feminism * Language * Law * Life * Literature * Mathematics * Medicine + Healthcare + Psychiatry Philosophy of... * Mind + Pain + Psychology * Perception * Philosophy * Religion * Science + Physics + Chemistry + Biology * Sexuality * Social science + Business + Culture + Economics + Politics + Society * Space and time * Sport * Technology + Artificial intelligence + Computer science + Engineering + Information * War Schools of thought * Ancient * Western + Medieval By era + Renaissance + Early modern + Modern + Contemporary * Agriculturalism * Confucianism * Legalism * Logicians * Mohism Chinese * Chinese naturalism * Neotaoism * Taoism * Yangism * Chan * Aristotelianism * Atomism * Cynicism * Cyrenaics * Eleatics * Eretrian school * Epicureanism * Hermeneutics * Ionian + Ephesian + Milesian Greco-Roman * Megarian school * Neoplatonism * Peripatetic * Platonism * Pluralism * Presocratic Ancient * Pyrrhonism * Pythagoreanism * Neopythagoreanism * Sophistic * Stoicism * Hindu * Samkhya * Nyaya * Vaisheshika * Yoga * Mimamsa * Ajivika * Ajnana * Carvaka Indian * Jain + Anekantavada + Syadvada * Buddhist + Sunyata + Madhyamaka + Yogacara + Sautrantika + Svatantrika * Mazdakism Persian * Mithraism * Zoroastrianism * Zurvanism * Christian * Augustinianism * Scholasticism European * Thomism * Scotism * Occamism * Renaissance humanism * Korean Confucianism East Asian * Edo neo-Confucianism * Neo-Confucianism * Vedanta + Acintya bheda abheda Medieval + Advaita + Bhedabheda Indian + Dvaita + Nimbarka Sampradaya + Shuddhadvaita + Vishishtadvaita * Navya-Nyaya * Averroism * Avicennism Islamic * Illuminationism * 'Ilm al-Kalam * Sufi Jewish * Judeo-Islamic * Cartesianism * Kantianism * Neo-Kantianism People * Hegelianism * Marxism * Spinozism * Anarchism * Classical Realism * Liberalism * Collectivism * Conservatism * Determinism * Dualism * Empiricism * Existentialism * Foundationalism * Historicism * Holism * Humanism + Anti- * Idealism + Absolute Modern + British + German + Objective 0 + Subjective + Transcendental * Individualism * Kokugaku * Materialism * Modernism * Monism * Naturalism * Natural law * Nihilism * New Confucianism * Neo-scholasticism * Pragmatism * Phenomenology * Positivism * Reductionism * Rationalism * Social contract * Socialism * Transcendentalism * Utilitarianism * Applied ethics * Analytic feminism * Analytical Marxism * Communitarianism * Consequentialism * Critical rationalism * Experimental philosophy * Falsificationism * Foundationalism / Coherentism * Internalism and externalism * Logical positivism * Legal positivism * Normative ethics * Meta-ethics Analytic * Moral realism * Quinean naturalism * Ordinary language philosophy * Postanalytic philosophy * Quietism * Rawlsian * Reformed epistemology * Systemics * Scientism * Scientific realism * Scientific skepticism Contemporary * Transactionalism * Contemporary utilitarianism * Vienna Circle * Wittgensteinian * Critical theory * Deconstruction * Existentialism * Feminist * Frankfurt School * New Historicism * Hermeneutics Continental * Neo-Marxism * Phenomenology * Posthumanism * Postmodernism * Post-structuralism * Social constructionism * Structuralism * Western Marxism * Kyoto School * Objectivism Other * Postcritique * Russian cosmism * more... Positions * Formalism Aesthetics * Institutionalism * Aesthetic response * Consequentialism Ethics * Deontology * Virtue * Compatibilism * Determinism + Hard Free will * Incompatibilism + Hard * Libertarianism * Atomism * Dualism * Idealism Metaphysics * Monism * Naturalism * Realism * Empiricism * Fideism * Naturalism Epistemology * Particularism * Rationalism * Skepticism * Solipsism * Behaviorism * Emergentism * Eliminativism Mind * Epiphenomenalism * Functionalism * Objectivism * Subjectivism * Absolutism * Particularism * Relativism Normativity * Nihilism * Skepticism * Universalism * Action Ontology * Event * Process * Anti-realism * Conceptualism * Idealism Reality * Materialism * Naturalism * Nominalism * Physicalism * Realism * By region * Related lists * Miscellaneous * African * Ethiopian * Amerindian * Aztec * Eastern * Chinese * Egyptian * Indian * Indonesian * Iranian * Japanese * Korean * Taiwanese * Pakistani * Vietnamese * Middle Eastern By region * Western * American * Australian * British * Czech * Danish * French * German * Greek * Italian * Polish * Romanian * Russian * Slovene * Spanish * Turkish * Outline * Index * Years * Problems Lists * Schools * Glossary * Philosophers * Movements * Publications * Natural law Miscellaneous * Sage * Theoretical philosophy / Practical philosophy * Women in philosophy * Portal Portal * Category Category * Retrieved from "https://en.wikipedia.org/w/index.php?title=Trivialism &oldid=1012662710" Categories: * Concepts in logic * Metaphysical theories * Non-classical logic * Philosophical movements * Theories of deduction * Theories of truth Hidden categories: * Commons link is the pagename Navigation menu Personal tools * Not logged in * Talk * Contributions * Create account * Log in Namespaces * Article * Talk [ ] Variants Views * Read * Edit * View history [ ] More Search [ ] [Search] [Go] Navigation * Main page * Contents * Current events * Random article * About Wikipedia * Contact us * Donate Contribute * Help * Learn to edit * Community portal * Recent changes * Upload file Tools * What links here * Related changes * Upload file * Special pages * Permanent link * Page information * Cite this page * Wikidata item Print/export * Download as PDF * Printable version In other projects * Wikiquote Languages * Espanol * Francais * hangugeo * Latina * Zhong Wen Edit links * This page was last edited on 17 March 2021, at 16:54 (UTC). * Text is available under the Creative Commons Attribution-ShareAlike License ; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy . Wikipedia(r) is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization. * Privacy policy * About Wikipedia * Disclaimers * Contact Wikipedia * Mobile view * Developers * Statistics * Cookie statement * Wikimedia Foundation * Powered by MediaWiki