ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping

 To: "John F. Sowa" "[ontolog-forum]" Pat Hayes Mon, 15 Mar 2010 10:42:32 -0500 <690CB4D0-AB39-464B-9FCF-969BBDC48CC3@xxxxxxx>
 ``` On Mar 11, 2010, at 7:09 AM, John F. Sowa wrote:    (01) > Folks, > > From the time of Euclid, mathematicians have extended the > 2D axioms and terminology to 3D. And since the 19th century > they have generalized Euclidean and non-Euclidean geometries > to N dimensions. In all the usual Euclidean geometries and > the great majority of the others, an N-1 dimensional geometry > is isomorphic to a slice of the corresponding N dimensional > geometry. > > Euclid talks about the faces of a tetrahedron as triangles, > and he applies exactly the same 2D axioms, theorems, and > terms to those triangles that he used in the earlier 2D > chapter. For all but some "weird" geometries, modern > mathematicians do the same. > > When we are talking about 4D vs. 3D ontologies, we have some > issues that are created by treating one of the dimensions > (called time) as a special case. Those issues arise from > questions about how we relate a 4D volume to its 3D time > slices. > > Ordinary language uses a 3+1 D coordinate system that talks > about "individuals" that "persist" in time. A 4D ontology > would talk about those "same" individuals as 4D volumes that > have a multiplicity of time slices, each of which is > isomorphic to a 3D volume. > > There are many complex issues involved in mapping 4D terms > and axioms to the 3+1 D terms and axioms. But let's follow > common mathematical practice: use the same terminology > for isomorphic structures unless there is some pressing > need to do otherwise.    (02) John, the continuant/occurrent model is NOT isomorphic to the view that 3D entities are temporal slices of 4D entities. The issues do not arise from questions about relating 3D temporal slices to 4D entities. Even posing the issue in those terms begs the question: temporal slices are *logically incoherent* in the continuant/occurrent view of things, and continuants are *necessarily impossible* in the 4D view. Your historical exegesis, while all correct, is therefore irrelevant to the topic.    (03) Pat    (04) > > John > > > _________________________________________________________________ > Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ > Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J > To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx > >    (05) ------------------------------------------------------------ IHMC (850)434 8903 or (650)494 3973 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 mobile phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes    (06) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07) ```
 Current Thread Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, (continued) Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Christopher Spottiswoode Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, John F. Sowa Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Christopher Spottiswoode Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, John F. Sowa Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Christopher Spottiswoode Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, doug foxvog Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Mike Bennett Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Kevin D Keck Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Pavithra Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Pat Hayes <= Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping, Kevin D Keck