# Things philosophers have debated

[Straight from Wikipedia](http://en.wikipedia.org/wiki/Trivialism).

I just had to stare at this a while.  We can have papers published about this, we really ought to be able to get papers published about Friendly AI subproblems.

My favorite part is at the very end.

* * *

**Trivialism** is the [theory](http://en.wikipedia.org/wiki/Theory "Theory") that every [proposition](http://en.wikipedia.org/wiki/Proposition "Proposition") is true. A [consequence](http://en.wikipedia.org/wiki/Logical_consequence "Logical consequence") of trivialism is that all statements, including all [contradictions](http://en.wikipedia.org/wiki/Contradiction "Contradiction") of the form "p and not p" (that something both 'is' and 'isn't' at the same time), are true.^[\[1\]](http://en.wikipedia.org/wiki/Trivialism#cite_note-GabbayWoods2007-0)^

\[[edit](http://en.wikipedia.org/w/index.php?title=Trivialism&action=edit&section=1 "Edit section: See also")\]See also
-----------------------------------------------------------------------------------------------------------------------

*   [Dialetheism](http://en.wikipedia.org/wiki/Dialetheism "Dialetheism")
*   [Kevala Jnana](http://en.wikipedia.org/wiki/Kevala_Jnana "Kevala Jnana")
*   [Paraconsistency](http://en.wikipedia.org/wiki/Paraconsistency "Paraconsistency")
*   [Principle of explosion](http://en.wikipedia.org/wiki/Principle_of_explosion "Principle of explosion")

\[[edit](http://en.wikipedia.org/w/index.php?title=Trivialism&action=edit&section=2 "Edit section: References")\]References
---------------------------------------------------------------------------------------------------------------------------

1.  **[^](http://en.wikipedia.org/wiki/Trivialism#cite_ref-GabbayWoods2007_0-0)** Graham Priest; John Woods (2007). ["Paraconsistency and Dialetheism"](http://books.google.com/books?id=3TNj1ZkP3qEC&pg=PA131). _The Many Valued and Nonmonotonic Turn in Logic_. Elsevier. p. 131. [ISBN](http://en.wikipedia.org/wiki/International_Standard_Book_Number "International Standard Book Number") [978-0-444-51623-7](http://en.wikipedia.org/wiki/Special:BookSources/978-0-444-51623-7 "Special:BookSources/978-0-444-51623-7").

\[[edit](http://en.wikipedia.org/w/index.php?title=Trivialism&action=edit&section=3 "Edit section: Further reading")\]Further reading
-------------------------------------------------------------------------------------------------------------------------------------

*   Paul Kabay (2008). "[A defense of trivialism](http://repository.unimelb.edu.au/10187/5734)". PhD thesis, School of Philosophy, Anthropology, and Social Inquiry, The University of Melbourne.
*   Paul Kabay (2010). _On the Plenitude of Truth. A Defense of Trivialism_. Lambert Academic Publishing. [ISBN](http://en.wikipedia.org/wiki/International_Standard_Book_Number "International Standard Book Number") [978-3-8383-5102-5](http://en.wikipedia.org/wiki/Special:BookSources/978-3-8383-5102-5 "Special:BookSources/978-3-8383-5102-5").
*   Luis Estrada-González (2012) "[Models of Possibilism and Trivialism](http://www.logika.umk.pl/llp/212/4-212zw.pdf)", Logic and Logical Philosophy, Volume 21, 175–205
*   Frederick Kroon (2004). "Realism and Dialetheism". In Graham Priest, J. C. Beall, and Bradley Armour-Garb. _The Law of Non-Contradiction: New Philosophical Essays_. Oxford University Press. [ISBN](http://en.wikipedia.org/wiki/International_Standard_Book_Number "International Standard Book Number") [978-0-19-926517-6](http://en.wikipedia.org/wiki/Special:BookSources/978-0-19-926517-6 "Special:BookSources/978-0-19-926517-6").
*   Paul Kabay (2010). [Interpreting the divyadhvani: On Why the Digambara Sect Is Right about the Nature of the Kevalin](https://docs.google.com/viewer?a=v&pid=explorer&chrome=true&srcid=114v_6Is4P48MZ58phTkHo9vJccTeJaDCEGU2rU7gzoFxdOg7OQGJ-ER8o4jk&hl=en&authkey=CNuH1OIP&pli=1). The Australasian Philosophy of Religion Association Conference
*   Bueno, O. V. (2007). "Troubles with Trivialism". _Inquiry_ **50** (6): 655–667. [doi](http://en.wikipedia.org/wiki/Digital_object_identifier "Digital object identifier"):[10.1080/00201740701698670](http://dx.doi.org/10.1080%2F00201740701698670). [edit](http://en.wikipedia.org/w/index.php?title=Template:Cite_doi/10.1080.2F00201740701698670&action=edit&editintro=Template:Cite_doi/editintro2)
*   Priest, G. (2000). "Could everything be true?". _Australasian Journal of Philosophy_ **78** (2): 189–195. [doi](http://en.wikipedia.org/wiki/Digital_object_identifier "Digital object identifier"):[10.1080/00048400012349471](http://dx.doi.org/10.1080%2F00048400012349471). [edit](http://en.wikipedia.org/w/index.php?title=Template:Cite_doi/10.1080.2F00048400012349471&action=edit&editintro=Template:Cite_doi/editintro2)

| [![Stub icon](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Logic.svg/40px-Logic.svg.png)](http://en.wikipedia.org/w/index.php?title=File:Logic.svg&page=1) | _This [logic](http://en.wikipedia.org/wiki/Logic "Logic")-related article is a [stub](http://en.wikipedia.org/wiki/Wikipedia:Stub "Wikipedia:Stub"). You can help Wikipedia by [expanding ](http://en.wikipedia.org/w/index.php?title=Trivialism&action=edit)it._ |
| --- | --- |