I also argue for a four-state evaluation, rather than the two-state of classical logic. But my fourth category is incoherent/unevaluable. Also both accept and reject are conditional, rather than absolute — following Popper’s empiricism.

IFF is an interesting 5th.

You should consider incorporating Popper, and both conditional acceptance/rejection, and the unevaluable state into your thinking.

But well done — the realization that classical either/or thinking leaves a lot of nuance out — is crucial insight!