An epistemology of natural logic to understand knowledge