Assertion: formal logic | /r/CapableOf | discover truth
Facets:
Source sentences:
text: It is not the purpose of formal logic to discover truth.