The claim conflates epistemology with ontology illegitimately. Absence of proof may genuinely indicate absence of fact in formal systems designed precisely to capture computability.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
A normative enterprise that tells us how we ought to reason from evidence and how we ought to justify our beliefs, as distinct from merely describing how we do reason or justify beliefs
proof(Frege's formal system; the definition still used by logicians today)
Any finite sequence of statements such that each statement is either an axiom of the formal system or follows from previous members of the sequence by a valid rule of inference.