Re: [ontolog-forum] [ontology-summit] Estimating number of all known fac

[Christopher Menzel <cmenzel@xxxxxxxx>]

Adrian,

I think the question about counting facts was more properly a question about identity conditions: Given purported facts f1 and f2, under what conditions is f1 = f2? Given an answer to that question, we then know whether or not we've got one fact or two, i.e., we can know how to count them. It doesn't follow we'll know how many there are (though we might, given a sufficiently well circumscribed domain and a sufficiently rigorous notion of a fact). :-)

-chris

On Thu, May 24, 2012 at 8:25 PM, Adrian Walker <adriandwalker@xxxxxxxxx> wrote:

Hi Leo and All,

Just a thought....

If we stick strictly to classical logic, as some semanticists advocate, then there is no closed world negation, and therefore there is no way of counting facts (since count=0  simulates closed world negation).

Problem solved.  It's impossible to count facts.  (:-)

                                   -- Adrian

 

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