[FOM] mathematics as formal

[Alex Blum]

  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