ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Interesting Category - Chindogu

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Tue, 15 Jan 2008 13:18:52 -0500
Message-id: <478CF90C.1090009@xxxxxxxxxxx>
I completely agree with the points that Pat made.
Summary:    (01)

  1. There is no part or aspect of the universe that is self
     contradictory.  As I said in other notes, you can state all
     observations using only the two operators of conjunction
     and existence without using any negations or any operators
     defined in terms of negation.  Since at least one negation
     is necessary to create a contradiction, it's impossible for
     any set of observation statements to be self contradictory.    (02)

  2. Contradictions might arise between observations and somebody's
     proposed "laws" of nature.  But that is not nature's fault.
     That's the fault of the people who proposed those "laws".    (03)

  3. As Pat said "Most logics say nothing at all about eternity
     or otherwise, but those that do address temporal continuity
     allow for eternal entities."    (04)

  4. Also as Pat said "There are solutions to Einstein's general
     relativity equations in which the universe is finite in all
     dimensions (including time.)"    (05)

  5. Quantum physics applies to invisibly small entities.  Since
     people can't see such things, their commonsense intuitions
     don't apply to such things.  But so what?  The mathematics
     that people have invented can handle them quite well.    (06)

John    (07)






_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)

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