[Top] [All Lists]

Re: [ontolog-forum] Semantic Systems

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Fri, 10 Jul 2009 09:57:35 -0700
Message-id: <20090710165926.94727138CF1@xxxxxxxxxxxxxxxxx>

Hi Pat,



> (And  ('goto 'Paul  'Water_Fountain)

>     ('goto 'Wanda 'Water_Fountain))


> instead of


> (Or   ('goto 'Paul  'Water_Fountain)

>     ('goto 'Wanda 'Water_Fountain))


Because you saw BOTH Paul AND Wanda. If someone were to ask you, did 

you see Wanda? you would say, yes. Similarly if they asked you about 

Paul. Both of the components of the compound are true. That is exactly 

why it is a conjunction rather than a disjunction.


Pat Hayes




Yes, I would really like to have serious discussion on this specific issue John raised.  He stated that you can build a philosophy (logic, algebra, ?) on the basis of establishing the following:

1.  Existence

2.  Conjuncton

3.  Negation by omission


I'm trying to understand the precise, mathematical distinction from which the while induction process builds structure from that point on.  For example, it seems to me that only Boolean logic makes sense to derive this way.  Once I have Boolean logic, with logical expressions and storage, I can build FOL by replication. 


Existence of a signal (I'm assuming John included time in the sensor suite) is the first point, but there are unsettled questions in my mind here:


If I see two of them, how do I know whether it is the same one seen twice, or two distinct ones seen time-shifted?


Can I call that signal an Object, a Thing, a Process, a Property, a Value, and if so, can I define it as a Predicate that divides existence into classes, or instances, entities, rows or whatevers. 


Where is the scaffolding of logic to hang words on those concepts consistent with mathematical logic?







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>