It is not the case that Fitch's proof requires explosion (ex contradictione quodlibet) to derive that omniscience follows from knowability, but LP explicitly blocks explosion as a valid inference.
?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.