ontolog-forum
[Top] [All Lists]

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

 To: "[ontolog-forum]" Christopher Menzel Thu, 24 May 2012 20:35:40 +0200
 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). :-) -chrisOn Thu, May 24, 2012 at 8:25 PM, Adrian Walker 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) ```
 Current Thread [ontology-summit] Estimating number of all known facts, matthew lange Message not available Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, matthew lange Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Obrst, Leo J. Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John Bottoms Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Adrian Walker Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Christopher Menzel <= Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Obrst, Leo J. Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, William Frank Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Christopher Menzel Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John F Sowa Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, William Frank Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John Bottoms Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Alexander Titov Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West