If I were to swap the phrase “law of the excluded middle” in the piece for the phrase “principle of bivalence” how much would the meaning of it change
A lot. At least I associate multi-valued logic with a different sphere of research than intuitionism.
as well as overall correctness?
My impression is that a lot of people have tried to do interesting stuff with multi-valued logic to make it handle the sorts of things you mention, and they haven’t made any real progress, so I would be inclined to say that it is a dead-end.
Though arguably objections like “It introduces the concept of “actually true” and “actually false” independent of whether or not we’ve chosen to believe something.” also apply to multi-valued logic so idk to what extent this is even the angle you would go on it.
A lot. At least I associate multi-valued logic with a different sphere of research than intuitionism.
My impression is that a lot of people have tried to do interesting stuff with multi-valued logic to make it handle the sorts of things you mention, and they haven’t made any real progress, so I would be inclined to say that it is a dead-end.
Though arguably objections like “It introduces the concept of “actually true” and “actually false” independent of whether or not we’ve chosen to believe something.” also apply to multi-valued logic so idk to what extent this is even the angle you would go on it.