[FOM] mathematics as formal
blumal at mail.biu.ac.il
Fri Apr 11 05:26:00 EDT 2008
Steven Ericsson-Zenith wrote:
> ...I would not disagree "it is necessarily true that is p and q are
> both true then p is true" but, this is a feature of the convention
> (and, incidentally, vacuous as it stands). The rule appears so
> compelling because it is a property of the convention, not because it
> is a property of the world....
If truth is a matter of convention, wouldn't it then be the case that
how the world is, is a matter of convention as well? For what p says is
the case iff p is true.
More information about the FOM