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.

This is pretty standard model theory: the class of models of the total theory is empty (viceversa: the theory of the class of all models is empty).

I'm not sure why level IV would restrict itself to standard model theory. In a tri-valued logic (i.e., all propositions are either true, false, or both), there are non-trivial models of trivialism.

Trivialism would not respect Tegmark IV's subsections which comply with our model of logic.

[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.

12

Things philosophers have debated

12

[edit]See also

[edit]References

[edit]Further reading

12

12

Things philosophers have debated

12

[edit]See also

[edit]References

[edit]Further reading

12