ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Semantic Systems

 To: "'[ontolog-forum] '" "Rich Cooper" Fri, 10 Jul 2009 09:57:35 -0700 <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         Sincerely, Rich Cooper EnglishLogicKernel.com 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)

```
 Current Thread Re: [ontolog-forum] Conjunction and Disjunction, (continued) Re: [ontolog-forum] Conjunction and Disjunction, Rich Cooper Re: [ontolog-forum] Conjunction and Disjunction, Rich Cooper Re: [ontolog-forum] Conjunction and Disjunction, Pat Hayes Re: [ontolog-forum] Conjunction and Disjunction, Rich Cooper Re: [ontolog-forum] Semantic Systems, Rich Cooper Re: [ontolog-forum] Semantic Systems, John F. Sowa Re: [ontolog-forum] Semantic Systems, Rich Cooper Re: [ontolog-forum] Semantic Systems, Christopher Menzel Re: [ontolog-forum] Semantic Systems, Ronald Stamper Re: [ontolog-forum] Semantic Systems, Pat Hayes Re: [ontolog-forum] Semantic Systems, Rich Cooper <= Re: [ontolog-forum] Semantic Systems, Rich Cooper Re: [ontolog-forum] Semantic Systems, John F. Sowa Re: [ontolog-forum] Semantic Systems, FERENC KOVACS Re: [ontolog-forum] Semantic Systems, John F. Sowa Re: [ontolog-forum] Semantic Systems, FERENC KOVACS Re: [ontolog-forum] Semantic Systems, Rich Cooper Re: [ontolog-forum] Semantic Systems, FERENC KOVACS Re: [ontolog-forum] Semantic Systems, Rich Cooper Re: [ontolog-forum] Semantic Systems, FERENC KOVACS Re: [ontolog-forum] Semantic Systems, Rich Cooper