Assertion: analytic truth | /r/CapableOf | ought to be derivable
Facets:
value: in one single calculus
type: OTHER
Source sentences:
text: The claim that all analytic truths ought to be derivable in one single calculus is perhaps plausible on the view that analyticity is to be explained by conventions or “tacit agreements”, for these agreements are presumably finite in number, and their implications are presumably at most effectively enumerable.