[FOM] mathematics as formal

Alex Blum 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.
Alex Blum

More information about the FOM mailing list