Gottfried Wilhelm Leibniz — "There are also two kinds of truths: those of reasoning and those of fact. Truths…"
There are also two kinds of truths: those of reasoning and those of fact. Truths of reasoning are necessary and their opposite is impossible; truths of fact are contingent and their opposite is possible.