[Top] [All Lists]

Re: [ontac-forum] Re: The world may fundamentally be inexplicable

To: ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
Cc: guarino@xxxxxxxxxx, CG <cg@xxxxxxxxxx>
From: Michael Gruninger <gruninger@xxxxxxxxxxxxxxx>
Date: Fri, 13 Jan 2006 12:14:05 -0500
Message-id: <43C7DFDD.2040009@xxxxxxxxxxxxxxx>
Hello John,    (01)

John F. Sowa wrote:    (02)

> I believe that I can describe the conflict without writing down
> any formal axioms.      (03)

But this is what I am begging you for!
I have become a practising Vulcan, and I can only proceed with formal 
axioms.    (04)

If pi calculus is a module, what is the fixed set of Common Logic axioms
in this module?    (05)

I can point to Pat Hayes' Catalog of Temporal Theories and find a dozen
different sets of first-order axioms.
I can point to http://www.mel.nist.gov/psl/ontology.html and find forty 
or so
sets of first-order axioms.
All of these sets of axioms can be modules in some ontology.
What is the analogous set for pi calculus?    (06)

- michael    (07)

Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (08)
<Prev in Thread] Current Thread [Next in Thread>