ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Reality Oriented Logic -- Discussion

 To: Arisbe , Inquiry , Ontolog , Semantic Web Jon Awbrey Fri, 10 Aug 2007 09:28:23 -0400 <46BC67F7.6E0CFEE6@xxxxxxx>
 ```o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o    (01) SB = Sean Barker PH = Pat Hayes    (02) Re: http://ontolog.cim3.net/forum/ontolog-forum/2007-08/msg00269.html CC: Arisbe List, Inquiry List, Ontolog Forum, Semantic Web List    (03) SB, addressing PH:    (04) SB: You evidently have not done a course in geometry where every theorem starts with the assumption "if 2 not-equal-to 0". This leaves mathematicians permanently scared [scarred?] with the idea that pure mathematics is a formal system independent of reality -- "a game played this way" if you like -- and it is the job of applied mathematicians to identify the formal apparatus that can be used to model some aspects of reality. This is not to say that the mathematics cannot apply to reality, but rather that it is sometimes tricky to work out which parts it applies to.    (05) SB: Perhaps the question keeps arising because there is a fundamental difference in assumptions/perceptions between the different religions of mathematics and logic (to wander into another thread)?    (06) Sean,    (07) Funny you should mention it, because I happen to have spent the last quarter century working in a branch of geometry where 2 = 0, and it has a lot to do with the "ecclesiastical rapprochement" of logic and mathematics.    (08) Vide: http://www.centiare.com/Differential_Logic_and_Dynamic_Systems What I am calling "Differential Logic" here is in many respects just Differential Geometry in Characteristic 2.    (09) Jon Awbrey    (010) o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o inquiry e-lab: http://stderr.org/pipermail/inquiry/ ¢iare: http://www.centiare.com/Directory:Jon_Awbrey getwiki: http://www.getwiki.net/-UserTalk:Jon_Awbrey zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey wp review: http://wikipediareview.com/index.php?showuser=398 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o    (011) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (012) ```
 Current Thread [ontolog-forum] Reality Oriented Logic -- Discussion, Jon Awbrey Re: [ontolog-forum] Reality Oriented Logic -- Discussion, Duane Nickull Re: [ontolog-forum] Reality Oriented Logic -- Discussion, Jon Awbrey <=