It is not the case that Fitch's proof operates within a classical modal-epistemic logic, but if the logic governing knowledge is paraconsistent, contradictions derived from K(k) do not force ¬K(k).
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.