reading about logical systems and really starting to get Gödel's theorem
1) every logical paradox seems to involve self reference
2) I really appreciate being able to write possibly false statements that don't mean anything in constructivist systems because I don't have a witness. Law of the excluded middle is no bueno from what I can tell
3) paraconsistent logic is neat! did you know the dual of constructivist logic is a paraconsistent logic? It's called Brazilian logic and it's neat.
@afldcr I guess the Liar Paradox is something like '-1 * -1 * -1 * ....[infinite sequence of * -1] where 1 means 'true' and -1 means 'not' and it makes sense that you can't reduce that to a number.
I wish trivalent logic made more sense to me though! I want a way of storing and processing changes to a logical state (eg T->F, F->T, NoChange) but I don't know how to make it consistent.
@afldcr I was looking at four-valued logic which seemed interesting and that had both 'A and not-A' as well as 'neither A nor not-A'.
I've been looking at logic programming for adventure games and first thing is I want events to produce chunk of data saying 'here are all the changes to the world' and it seems this isn't well defined in logic at all!
@natecull you may be interested in linear logic! a change from A to B can be represented as "Dual(A) par B"
it's four valued (true, false, 1 and 0), with four operators (times, plus, with, and par) and consistent
afldcr
Nate Cull (.social)