Hume's first fork distinguishes demonstrative from probable reasoning, where demonstrative arguments...