ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] cyclic and acyclic definitions

 To: "[ontolog-forum] " Christopher Menzel Thu, 23 Apr 2009 11:09:51 -0500 <8D206488-FCAA-4980-84A3-22C44E26552C@xxxxxxxx>
 ```On Apr 22, 2009, at 10:27 PM, Bart Gajderowicz wrote: > JK> How does a cyclic definition introduce incompleteness? > > When sentences contain cyclic sentences, they become inconsistent, > think of the halting problem (undecidability) with turing machines. > If we were to introduce recursion to our interpretations, it would be > limited to partial recursion. The task, then, would be to create an > interpretation of the sentence which is acyclic, and our sentence > consistent. The interpretation would be decidable, and our recursive > function total.    (01) Bart, you keep using terms in ways I don't understand.    (02) 1. Did I miss the definition of a "cyclic" sentence? Could you provide a reasonably rigorous definition and then demonstrate how (as it seems you are saying) any sentence containing a cyclic sentence "becomes inconsistent"?    (03) 2. How could the halting problem demonstrate anything about cyclic sentences (no matter how they are defined)? The halting problem is the problem of whether a certain well-defined function is computable by a Turing machine. On the face of it, it has nothing whatever to do with sentences, cyclic or otherwise.    (04) 3. What does it mean to "introduce recursion in our interpretations"? Recursion is a way of defining one function in terms of others. An interpretation might interpret a *theory* that is capable of defining functions by recursion, for example, but I have no idea what it means to "introduce recursion in" an interpretation; it seems like a category mistake.    (05) 4. Interpretations are mathematical structures. What do you mean by a "decidable" interpretation? One whose domain is decidable?    (06) -chris    (07) _________________________________________________________________ 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    (08) ```
 Current Thread [ontolog-forum] cyclic and acyclic definitions, Bart Gajderowicz Re: [ontolog-forum] cyclic and acyclic definitions, John F. Sowa Re: [ontolog-forum] cyclic and acyclic definitions, John Bottoms Re: [ontolog-forum] cyclic and acyclic definitions, Jawit Kien Re: [ontolog-forum] cyclic and acyclic definitions, Bart Gajderowicz Re: [ontolog-forum] cyclic and acyclic definitions, Jawit Kien Re: [ontolog-forum] cyclic and acyclic definitions, Bart Gajderowicz Re: [ontolog-forum] cyclic and acyclic definitions, Christopher Menzel <= Re: [ontolog-forum] cyclic and acyclic definitions, Bart Gajderowicz Re: [ontolog-forum] cyclic and acyclic definitions, John F. Sowa Re: [ontolog-forum] cyclic and acyclic definitions, Bart Gajderowicz Re: [ontolog-forum] cyclic and acyclic definitions, Azamat