|To:||"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, sowa@xxxxxxxxxxx|
|From:||"Александр Шкотин" <alex.shkotin@xxxxxxxxx>|
|Date:||Tue, 5 Aug 2008 00:01:14 +0400|
Let call it WT and I think nearest to you is first part of WT#3.
To get even more definitions let's google("define:atom"). We got ~30. Many - funny. 2-3 from mathematics.
But for "sciences about nature" we have more or less the same. We have two definitions for one concept.
And for me first definition now is "chemical" ("by nature";) - first part in WT#3. So we have:
"The smallest possible amount of matter which still retains its identity as a chemical element."
The second definition is from http://www.wro.org/ras/glossary/a-c.htm
"A particle made up of a central nucleus surrounded by electrons."
For me the second is from nucleus physics. It is funny that WT#3 keeps both together.
For me second is more "constructible". As with first we need to give definitions for
- "matter" (except dark one;) as a collection of atoms;
- "chemical element" - this definition is a little bit long as "Scientists so far have found 112 different kinds of atoms." [http://www.safeelectricity.org/esw_v1_1/glossary/index.html].
- "smallest possible amount of" - let's change "amount" to "part".
- "retains its identity" <AS> May be later;) It's too late here:) </AS>
These two definitions may be refined and formalized and it is very interesting what kind of axioms and derivation rules we need to show that they are equal!
So I am very optimistic about formalization of language of "natural sciences":)
PS we have a good example with mathematics and Nicolas Bourbaki. Don't we?
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] History of the Atomic Hypothesis, Александр Шкотин|
|Next by Date:||Re: [ontolog-forum] History of the Atomic Hypothesis, John F. Sowa|
|Previous by Thread:||Re: [ontolog-forum] History of the Atomic Hypothesis, Александр Шкотин|
|Next by Thread:||[ontolog-forum] ontology vs genesis, FERENC KOVACS|
|Indexes:||[Date] [Thread] [Top] [All Lists]|