It is not the case that Proof-theoretic validity, as developed by Prawitz and Dummett, is defined via validity of proofs in all possible extensions, not mere derivability from axioms.
?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.