[Top] [All Lists]

Re: [ontolog-forum] Conjunction and Disjunction

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Sat, 4 Jul 2009 11:52:52 -0700
Message-id: <20090704185328.5F922138CF1@xxxxxxxxxxxxxxxxx>

John Bottoms wrote:


JB> Can pre-existant knowledge to be ignored in creating an ontology?

Are there temporal and atemporal ontologies? Are there PeK and

non-PeK ontologies? And, can we really separate the logic from

the ontology?


  "All instruction given or received by way of argument

   proceeds from pre-existent knowledge."


   "The pre-existent knowledge required is of two kinds. In some

    cases admission of the fact must be assumed, in others

    comprehension of the meaning of the term used, and sometimes

    both assumptions are essential. Thus, we assume that every

    predicate can be either truly affirmed or truly denied of any


                                        Logic, Book 1


-John Bottoms


I want to use the bio word "ontogeny" to represent the sequence of inferences, iteratively applied to the results of the last inferred axiom set.  Think of a linear, discrete time system.  I think we all share the math behind control theory, which is a set of calculations, begun with a constant, and stepped throughout a trajectory.  Ask if I am skipping too lightly over this assumed math background. 


The first set of axioms in an ontogeny must be constants, with respect to the other axiom sets generated during the iterative process of building new memories on top of old ones.  Think of a fertilized egg developing in steps. 


So in an analogous way, we are discussing the actual development of agency knowledge, and its refinement, based on the reality experienced as a sequence of sampled values. 


Is this a fruitful approach?






Rich Cooper


Rich AT EnglishLogicKernel DOT com


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    (01)

<Prev in Thread] Current Thread [Next in Thread>