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.

Every sentence (or rather, proposition) is both true and false, since "false" is defined here to mean having a true negation (and all negations are established as being true.)

If false is defined as the property of having a true negation, than under trivialism there's no real semantic distinction between true and false, since there's no property that can distinguish between the set of true and false propositions. This is of course to be expected, but I was curious if trivialism could be interpreted as a system that poses significant distinctions of truth values: for example, one that postulates that some propositions can be true and false, but not necessarily all of them: some of them could just plainly be true.
I know that such a system can be formally coherent (after all, there is one that is isomorphic to classical logic), but I'm interested if it has been used in that way.

If (alternatively) neither P nor ~P - as might sometimes be the case according to intuitionists - we would say that P is neither true nor false.

But this, I get, is not trivialism.

I was curious if trivialism could be interpreted as a system that poses significant distinctions of truth values: for example, one that postulates that some propositions can be true and false, but not necessarily all of them: some of them could just plainly be true. I know that such a system can be formally coherent (after all, there is one that is isomorphic to classical logic), but I'm interested if it has been used in that way.

In that case it's not trivialism anymore, but there are nonclassical logics where some (but not all) propositions are true an... (read more)

[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