#dialetheism — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dialetheism, aggregated by home.social.
-
Priest, Tanaka, and Weber have revised their SEP-entry on paraconsistent logic, https://plato.stanford.edu/entries/logic-paraconsistent/
#sep #paraconsistent #explosive #logic #philosophy #logiikka #filosofia #matematiikka #mathematics #paradoxes #beliefs #dialetheism #consistency #inconsistency
-
Priest, Tanaka, and Weber have revised their SEP-entry on paraconsistent logic, https://plato.stanford.edu/entries/logic-paraconsistent/
#sep #paraconsistent #explosive #logic #philosophy #logiikka #filosofia #matematiikka #mathematics #paradoxes #beliefs #dialetheism #consistency #inconsistency
-
Priest, Tanaka, and Weber have revised their SEP-entry on paraconsistent logic, https://plato.stanford.edu/entries/logic-paraconsistent/
#sep #paraconsistent #explosive #logic #philosophy #logiikka #filosofia #matematiikka #mathematics #paradoxes #beliefs #dialetheism #consistency #inconsistency
-
Priest, Tanaka, and Weber have revised their SEP-entry on paraconsistent logic, https://plato.stanford.edu/entries/logic-paraconsistent/
#sep #paraconsistent #explosive #logic #philosophy #logiikka #filosofia #matematiikka #mathematics #paradoxes #beliefs #dialetheism #consistency #inconsistency
-
Priest, Tanaka, and Weber have revised their SEP-entry on paraconsistent logic, https://plato.stanford.edu/entries/logic-paraconsistent/
#sep #paraconsistent #explosive #logic #philosophy #logiikka #filosofia #matematiikka #mathematics #paradoxes #beliefs #dialetheism #consistency #inconsistency
-
@andrejbauer (I am assuming classical logic, but nothing really changes if we switch to intuitionistic logic, just replace Boolean algebras with Heyting algebras.)
This is a bit like saying "I am assuming euclidean geometry but nothing really changes if we switch to spherical." Because there are more than 2 kinds of geometry, and intuitionistic logic is not the only other choice here. Is RH "neither true nor false" or perhaps RH is "both true and false"? You need a dialetheic logic, a #paraconsistent logic. And in that case, these are both valid truth values, and RH would be formally undecidable. But more than that, asking for it to have no truth value at all is different from just not being true and also not being false. It might be similar to Graham Priest's "ineffable" logical value. #logic #dialetheism #twothingscanbetrue