ontolog-forum
[Top] [All Lists]

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

To: <mclange@xxxxxxxxxxx>, "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: 2012年5月25日 10:54:38 +0100
Message-id: <4fbf56e2.a157b40a.22e7.ffffd84a@xxxxxxxxxxxxx>

Dear Matthew L,


Here again are some examples of facts, I would be delighted if someone would attempt to bound factual knowledge so that they could be quantified--or otherwise provide succinct reasons about why my examples are not facts.

MW: Well lets pick up on what you are saying, you mention factual knowledge, so presumably you are only interested about the facts we know not the facts there are.


Fact examples:

  1. The earth revolves around the sun.
  2. The Greek letter Pi represents the irrational number that is the ratio between a circle's circumference and diameter.
  3. A calorie is the amount of energy it takes to raise the temperature of 1cc of water 1 deg. C at sea level.
  4. Chemical X contains Y calories of available energy. (of course substituting where appropriate)

MW: What is not in this list is actually rather interesting. There is no fact like “Matthew West exists, Matthew Lange Exists”. Do you mean to exclude such facts? In fact all the facts you state could be called rules of one sort or another. Do you really mean the rules that govern the world we live in (including the ones we make up) and that we have written knowledge of rather than facts?

Are these not facts? Are they not countable?

MW: If you mean what I suggest, and exclude brute facts, then it must be countable, if only because it must have been written down to count.

MW: My next question would be whether each writing down of a rule counts as a fact, or whether a rule counts only once however many times (greater than one) it is written down.

Regards

Dr Matthew West

Information Junction

Tel: +44 1489 880185

Mobile: +44 750 3385279

Skype: dr.matthew.west

matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx

http://www.informationjunction.co.uk/

http://www.matthew-west.org.uk/

This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.

Registered office: 2 Brookside, Meadow Way, Letchworth Garden City, Hertfordshire, SG6 3JE.

_________________________________________________________________
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)
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , Chris Menzel
Next by Date: Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , Matthew West
Previous by Thread: Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , doug foxvog
Next by Thread: Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , Patrick Cassidy
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /