Just a tiny observation -- but this discussion of Ayn Rand reminded me that
eminent programmer Grady Booch cites Ayn Rand's Introduction to Objectivist
Epistemology in his 1991 book Object Oriented Design with Applications -- a
text I found quite illuminating, not only for its comprehensive review of
the philosophy and conceptual theory behind programming, but also for its
entertaining illustrations. (01)
Rand's idea of "abstraction" involves what she calls "measurement omission"
-- as levels of abstraction increase, specific measurements are omitted.
I'd say she figured this stuff out before the days of computer science, when
the subject was still pretty blurry. Since those days, highly motivated and
very precise people have taken a very close and testable look at these
issues. (02)
But it helps to keep the broad intuitive picture in mind. The big challenge
in thinking about these things is to be broadly inclusive AND precise -- and
I'm guessing that it was her intuition that Booch found interesting.
Needless to say, Booch also cites Conceptual Structures... (03)
Bruce Schuman
NETWORK NATION: http://networknation.net
SHARED PURPOSE: http://sharedpurpose.net
INTERSPIRIT: http://interspirit.net
(805) 966-9515, PO Box 23346, Santa Barbara CA 93101 (04)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
Sent: Monday, March 31, 2014 6:15 PM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] FW: mKR2IKL (05)
Dick, (06)
In mathematics (and mathematical logic), symbols have exactly the same
meaning at each occurrence, and there are systematic rules for relating the
symbols to one another. The following examples show that the symbols have
no fixed meaning, and there are no rules for doing anything whatsoever with
them. (07)
> Rand:
> Consciousness :: I am conscious.
> and then she goes on for many pages explaining how there is a subject
> and object of conscious awareness, and how perceptions are automatic. (08)
For the first line, "consciousness" and "I am conscious"
are two very different, but related expressions. What does the symbol '::'
mean? How does it relate the two sides? (09)
> Rand:
> Existence :: Existence exists.
> Rand says this is the only way to describe this axiomatic concept in a
> proposition. She spends many pages describing various aspects of
> existents. (010)
The two sides of '::' in this example are related in a totally different way
from the two sides above. Either Rand is being very sloppy with her
notation, or you didn't quote her exactly. (011)
> mKR:
> Existence :: entity, characteristic, proposition isa existent; (012)
This is yet a third way of using the symbol '::'. Either Rand is being
sloppy, you are being sloppy, or neither of you has a clue about how to
reason precisely. (013)
> I summarize the many pages where
> she talks about the identities of entities (and existents) with
> Identity :: existent has characteristic; (014)
This is a fourth way of using the symbol '::'. (015)
_________________________________________________________________
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 (016)
Booch2a_700.jpg
Description: JPEG image
Booch5a_700.jpg
Description: JPEG image
_________________________________________________________________
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)
|
