Ali, (01)
Although I used a theory with a single axiom and predicate to
illustrate the idea, it is better to consider an entire theory
(defined by the total collection of axioms) to determine the
ontological commitment. (02)
> For example, take the notion of linesegment in (or extending)
> Hilbert's geometry formalization. One might be tempted to
> implement it is as strictly a relation between 2 (or 3) points
> say in ontology O1 - i.e. (linsegment x y z) where (x,y,z) are
> all points. Another, might in ontology O2, be tempted to define
> a new entity "linesegment" which consists of points -i.e.
> (linesegment XY x y). Is one making a stronger ontological
> commitment than the other? (03)
Since Hilbert's axioms already specify lines, points, and a lot
more, I suspect that your axioms (assuming that they are consistent
with Hilbert's) would be a rather straightforward application that
wouldn't add much, if anything to the ontological commitment. (04)
For a more radical example, I suggest Tarski's version of solid
geometry, in which the only primitives are spheres of arbitrary
finite size: (05)
Tarski, Alfred (1929) "Foundations of the geometry of solids,"
in Tarski (1982) _Logic, Semantics, Metamathematics_, Second
edition, Hackett Publishing Co., Indianapolis, pp. 24-29. (06)
In that short paper, Tarski used a version of mereology instead
of set theory. That made a much smaller commitment right at
the beginning, since mereology does not have the generative
capacity of set theory -- i.e., it doesn't support the option
of building complex mathematical structures from iterations of
the empty set -- {}, {{}}, {{},{{}}}, {{},{{}},{{{}}}}... (07)
For a brief summary, see the paragraph below. (08)
For pretty pictures inspired by Tarski's geometry, see (09)
http://frot.org/t/tarski/ (010)
Note that the paper is only 6 pages long. That is not long enough
to build up all Euclidean geometry. What Tarski did was to build
the foundation and demonstrate that it had a great deal of power. (011)
Finally, he defined 'point' as the limit of a nest of spheres.
Then he showed that the axioms for Euclidean geometry could be
defined in terms of those points: (012)
1. The only ontological commitment is to finite spheres. (013)
2. Points, straight lines, and planes don't "truly" exist on
the same level as spheres. They are abstractions defined as
limiting cases of infinite series of spheres. (014)
Since all physical structures are made of tiny atoms (or particles
even smaller than atoms), truly straight physical lines, planes, and
solids never occur in nature, and they're impossible to construct.
Therefore, all the constructs of point-based Euclidean geometry
are "imaginary" or "fictitious" structures that cannot exist
physically. (015)
That was Whitehead's motivation for his system of "extensive
abstraction". He independently developed an approach that was
even more general than Tarski's because he started with arbitrary
four-dimensional blobs. But I recommend Tarski's approach for
an initial study, since his paper is only 6 pages long. (016)
John
________________________________________________________________________ (017)
Source: http://en.wikipedia.org/wiki/Alfred_Tarski (018)
In the 1920s and 30s, Tarski often taught high school geometry. In 1929,
he showed that much of Euclidean solid geometry could be recast as a
first order theory whose individuals are spheres, a primitive notion, a
single primitive binary relation "is contained in," and two axioms that,
among other things, imply that containment partially orders the spheres.
Relaxing the requirement that all individuals be spheres yields a
formalization of mereology far easier to exposit that Lesniewski's
variant. Starting in 1926, Tarski devised an original axiomatization for
plane Euclidean geometry, one considerably more concise than Hilbert's.
Tarski's axiomatization is a first-order theory devoid of set theory,
whose individuals are points, and having only two primitive relations.
In 1930, he proved this theory decidable because it can be mapped into
another theory he had already proved decidable, namely his first-order
theory of the real numbers. Near the end of his life, Tarski wrote a
very long letter, published as Tarski and Givant (1999), summarizing his
work on geometry. (019)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (020)
|