Laitoin ylle IEP-linkin näkyviin jälestäpäin, koska sen kautta pääsee ehkä helpommin sisään parakonsistentin logiikan lupauksiin (esim. luku 4).

Ite tietysti ajauduin noiden kautta maistelemaan Dialetismia eli näkemystä, että voi olla tosia väitteitä, joiden negaatio on myös samalla tosi,

https://plato.stanford.edu/entries/dialetheism/

Aina välillä käy kuin hyvää sarjakuvaa lukiessa, että ei malta olla kääntämättä sivua. 🙂

#logic #dialetheism #contradiction #truth

@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