Things philosophers have debated

Eliezer Yudkowsky

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 that every proposition is true. A consequence of trivialism is that all statements, including all contradictions of the form "p and not p" (that something both 'is' and 'isn't' at the same time), are true.^[1]

[edit]See also

[edit]References

^ Graham Priest; John Woods (2007). "Paraconsistency and Dialetheism". The Many Valued and Nonmonotonic Turn in Logic. Elsevier. p. 131. ISBN 978-0-444-51623-7.

[edit]Further reading

Paul Kabay (2008). "A defense of trivialism". 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 978-3-8383-5102-5.
Luis Estrada-González (2012) "Models of Possibilism and Trivialism", 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 978-0-19-926517-6.
Paul Kabay (2010). Interpreting the divyadhvani: On Why the Digambara Sect Is Right about the Nature of the Kevalin. The Australasian Philosophy of Religion Association Conference
Bueno, O. V. (2007). "Troubles with Trivialism". Inquiry 50 (6): 655–667. doi:10.1080/00201740701698670. edit
Priest, G. (2000). "Could everything be true?". Australasian Journal of Philosophy 78 (2): 189–195. doi:10.1080/00048400012349471. edit

This logic-related article is a stub. You can help Wikipedia by expanding it.

Straight from Wikipedia.

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.

[edit]See also

[edit]References

^ Graham Priest; John Woods (2007). "Paraconsistency and Dialetheism". The Many Valued and Nonmonotonic Turn in Logic. Elsevier. p. 131. ISBN 978-0-444-51623-7.

[edit]Further reading

Paul Kabay (2008). "A defense of trivialism". 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 978-3-8383-5102-5.
Luis Estrada-González (2012) "Models of Possibilism and Trivialism", 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 978-0-19-926517-6.
Paul Kabay (2010). Interpreting the divyadhvani: On Why the Digambara Sect Is Right about the Nature of the Kevalin. The Australasian Philosophy of Religion Association Conference
Bueno, O. V. (2007). "Troubles with Trivialism". Inquiry 50 (6): 655–667. doi:10.1080/00201740701698670. edit
Priest, G. (2000). "Could everything be true?". Australasian Journal of Philosophy 78 (2): 189–195. doi:10.1080/00048400012349471. edit

This logic-related article is a stub. You can help Wikipedia by expanding it.

The Kabay dissertation is interesting in a bizarre way.

Wow. I've actually used all but one of those arguments (the principle of sufficient reason one) as reductios against various things.

13Nisan14y

Heh. [...]

12[anonymous]14y

It was definitely worth skimming through. Two... well, not really questions, but thoughts: 1. How does trivialism differ from assuming the existence of a Tegmark IV universe? 2. A spectral argument given in defense of trivialism in the dissertation runs like this: a. Natural language is inconsistent. b. Therefore, by explosion, every sentence in natural language is true. c. Every classical proposition may be interpreted in natural language. d. Therefore, classical logic is inconsistent. The error in the argument is actually quite subtle!

[cite_note-GabbayWoods2007-0] ^ Graham Priest; John Woods (2007). "Paraconsistency and Dialetheism". The Many Valued and Nonmonotonic Turn in Logic. Elsevier. p. 131. ISBN 978-0-444-51623-7.