Rick
As you might have seen I had great dialogues with Norwood Russell Hanson
and from Wiki I learned that he also used Pierce's abduction -
reasoning.
Thanks.
Ravi (01)
(Dr. Ravi Sharma) Senior Enterprise Architect (02)
Vangent, Inc. Technology Excellence Center (TEC) (03)
8618 Westwood Center Drive, Suite 310, Vienna VA 22182
(o) 703-827-0638, (c) 313-204-1740 www.vangent.com (04)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of
rick@xxxxxxxxxxxxxx
Sent: Friday, February 29, 2008 6:12 PM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Search engine for the ontology (05)
Ravi, Azmat & All (06)
I don't see the A word here: Abduction. I don't go anywhere without it. (07)
Sharma, Ravi wrote:
> Azamat
>
> Yes
> As you say, observation, experiment and reasoning, induction and
> deduction I also concur that any connection with validation or
> verification, are pillars for accuracy of any scientific theory?
> Thanks. (08)
If you really mean to limit inference to induction and deduction, this
puts us in a pretty small box. Isn't this the problem with normal
science awaiting the next paradigm shift. (09)
> Ravi
>
>
>
>> AA> The universality of mathematics had been accepted since Euclid
>>> and Nicomachus, who put quantity with its key species, multitude
>>> and magnitude, as its subject matter.
>> The *idea* of universality would go back farther, at least
>> to Pythagoras. But he spent many years studying in Egypt and
>> later in Babylon. There is no clear record of what any of
>> those mathematicians believed, not even Pythagoras. But in any
>> case, the idea of universality is a *goal* that has *never*
>> been achieved in any closed, finished accomplishment.
>
> That's correct. Such nontrivial ideas, the world has a mathematical
> structure, ''all is number'' and everything can be reduced to
numerical
> relationships, come from his school. The reason why i put forward
Euclid
> is
> rather simple: the axiomatic paradigm was first established by his
> geometry.
> The axiomatic method suggests that a genuine scientific theory is a
body
> of
> original constructs: meaningful concepts and fundamental statements
> (axioms, definitions, rules, laws). The meanings of other concepts are (010)
> defined from the primitive ones as well as the truths of subordinate
> statements are deducted from a fundamental set of axiomatic truths. (011)
This is a closed system and just leads to inconsistency issues. (012)
>> AA> While Descartes, Whitehead, Russell extended the mathematical
>>> universe by introducing order and relation. Its universality
>>> implies a single axiomatic foundation regardless your practicing
>>> mathematicians disregarding the mathematical foundation.
>> That is the fundamental flaw in the argument. Mathematics does
>> not have and never has had anything that could remotely resemble
>> "a single axiomatic foundation".
>
> It had, remember logicism, which can be replaced by ontologism,
covering
> the
> axiomatic set theory and the category theory. (013)
Could you please define *ontologism*, how it replaces logicism and how
it *covers* category theory ? The references I'm finding don't seem
relevant to the discussion. (014)
http://www.newadvent.org/cathen/11257a.htm (015)
> That was a goal that had been
>> proposed by Hilbert and pursued vigorously during the early
>> 20th century. But it had been criticized by many professional
>> mathematicians, even before Goedel. Afterwards, the goal seems
>> hopeless -- and *useless* even if it were possible.
>>
>> Practicing mathematicians -- people who actually solve problems
>> that other people pay somebody to solve -- dismiss the study
>> of foundations as *irrelevant*. For any given problem, they
>> *never* start from axioms. Instead, they have a large toolkit
>> of methods and techniques, which is constantly being enlarged
>> by new methods all the time. For any particular problem, they
>> start with informal intuitions, and only *after* they have found
>> a solution do they state it in a closed form with a small set
>> of problem-specific axioms. The axioms always come at the *end*,
>> not the beginning of any mathematical research. And they are
>> *always* problem specific, not universal.
>
> The axiomatic system basing on basic concepts and axioms and
deduction,
> in
> no way excludes induction. Induction, either as an intuitive
> generalization
> ofyour experiences or an inference from experimental data, is the
> initial
> source of axioms in empirical sciences and theoretical sciences as
> ontology.
>
> All great scientific minds followed Euclid' axiomatic approach trying
to
>
> establish a singel foundation in their field of knowledge. Leaving its (016)
> validity, take logicism, promoted by Frege, Russell and Whitehead,
that
> all
> of mathematics, its key principles, can be derived from the logical
> principles. (017)
But, not all *logical principles* are as you presume them to be. Along
with induction and deduction, we require abduction. I think that's what
Azmat's referring to above as *informal intuitions.* (018)
> Extend a bit this approach and you may come to a more ground-breaking
> statement, all of science, its basic principles, postulates and
> assumptions,
> can be derived from the ontological principles. (019)
So how does this square with Kuhn's Structure of Scientific Revolutions
in which he claims that paradigm shifts come from anomaly and crisis ? (020)
> construct N-relational ontology, natural language ontology model, and
> how we
> can build the Digital Aristotle, or the Virtual Aristotle Machine
(VAM).
> (021)
As an aside, have folks been tracking what Mark Greaves is up to at
Vulcan ? (022)
videolectures.net/iswc06_graves_img/ (023)
Seems like he found an ideal customer in Paul Allen. (024)
--
Thanks Rick,
blog http://spout.rickmurphy.org
web http://www.rickmurphy.org
cell 703-201-9129 (025)
_________________________________________________________________
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 (026)
_________________________________________________________________
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 (027)
|