<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">Beginning with Oxford,</div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><br></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="verdana, sans-serif"><b>empirical</b>: <span style="color:rgb(32,33,36);font-size:14px">based on, concerned with, or verifiable by observation or experience rather than theory or pure logic.</span></font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><br></div></blockquote><font color="#333333"><span class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)">Where then Nick goes on to argue, perhaps, that <i>experience of logic</i> is <i>experience</i> and so "experience <i>rather than</i> theory or pure logic" is meaningless. Then somewhere in hell's pub, far far away, Glen rolls his eyes and wonders whether he should write about <i>scoping</i> or simply berate Nick for navel-gazing.</span><br></font><div><font color="#333333"><span class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)"><br></span></font></div><div><font color="#333333"><span class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)">But then, maybe this is the case for <i>logic</i> and not <i>mathematics</i>. Perhaps mathematics <i>requires</i> abstraction, representation, and objectification. It may be necessary to make bold claims like, "my love is like the integers". At some point during the process, one has to decide whether a thing <i>has</i> a front or a back or an inside to be out. Even the designation <i>married</i> comes with baggage, to be taken for granted in the objectification process.</span></font></div><div><font color="#333333"><span class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)"><br></span></font></div><div><font color="#333333"><span class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)">Ah, but if I have it correct, Nick also believes that <i>a day like no other</i> is <i>no day at all</i>. Nothing can be known about such a day. The only days are those that are like the integers (type) or days like today (class).</span></font></div></div>