Deduction and Mathematical Necessity – philosophy.stackexchange.com
David Gudeman
By "mathematical modality" or "mathematical necessity" I mean the sort of necessity that makes mathematical propositions true.
The modal understanding of logic is that a deduction ...