Whitehead's point-free geometry

Whitehead's point-free geometry

In mathematics, point-free geometry is a geometry whose primitive ontological notion is "region" rather than point. Two axiomatic systems are set out below, one grounded in mereology, the other in mereotopology and known as "connection theory".

Motivation

Point-free geometry was first formulated in Whitehead (1919, 1920), not as a theory of geometry or of spacetime, but of "events" and of an "extension relation" between events. Whitehead's purposes were as much philosophical as scientific and mathematical. [See Kneebone (1963), chpt. 13.5, for a gentle introduction to Whitehead's theory. Also see Lucas (2000), chpt. 10.]

Whitehead did not set out his theories in a manner that would satisfy present-day canons of formality. The two formal first order theories described in this entry were devised by others in order to clarify and refine our understanding of Whitehead's theories. The domain for both theories consists of "regions." All unquantified variables in this entry should be taken as tacitly universally quantified; hence all axioms should be taken as universal closures. No axiom requires more than three quantified variables. Both sets of axioms have four existential quantifiers.

Inclusion-based point-free geometry

The axioms "G1-G7" are, but for numbering, those of Def. 2.1 in Gerla and Miranda (2008). The identifiers of the form WPn, included in the verbal description of each axiom, refer to the corresponding axiom in Simons (1987: 83).

"Inclusion", denoted by infix "&le;", is the fundamental primitive binary relation. (This is the "Parthood" relation that is a standard feature of all mereological theories.) The intuitive meaning of "x"&le;"y" is "x" is part of "y"." Assuming that identity, denoted by infix "=", is part of the background logic, the binary relation "Proper Part", denoted by infix "<", is defined as:

x

The axioms are:
*Inclusion partially orders the domain.:G1. xle x. (reflexive):G2. (xle z and zle y) ightarrow xle y. (transitive) WP4.:G3. (xle y and yle x) ightarrow x = y. (anti-symmetric)

*Given any two regions, there exists a region that includes both of them. WP6.:G4. exists z [xle zand yle z] .

*Proper Part densely orders the domain. WP5.:G5. x

*Both atomic regions and a universal region do not exist. Hence the domain has neither an upper nor a lower bound. WP2.:G6. exists yz [y

* Proper Parts Principle. If all the proper parts of "x" are proper parts of "y", then "x" is included in "y". WP3. :G7. forall z [z

A model of "G1–G7" is an "inclusion space".

Definition (Gerla and Miranda 2008: Def. 4.1). Given some inclusion space, an abstractive class is a class "G" of regions such that "G" is totally ordered by Inclusion. Moreover, there does not exist a region included in all of the regions included in "G".

Intuitively, an abstractive class defines a geometrical entity whose dimensionality is less than that of the inclusion space. For example, if the inclusion space is the Euclidean plane, then the corresponding abstractive classes are points and lines.

Inclusion-based point-free geometry (henceforth "point-free geometry") is essentially an axiomatization of Simons's (1987: 83) system W. W in turn formalizes a theory in Whitehead (1919) whose axioms are not made explicit. Point-free geometry is W with this defect repaired. Instead of repairing this defect, Simons (1987) proposed, in a footnote, that the reader do so as an exercise. The primitive relation of W is Proper Part, a strict partial order. The theory [Kneebone (1963), p. 346.] of Whitehead (1919) has a single primitive binary relation "K" defined as "xKy" &harr; "y"<"x". Hence "K" is the converse of Proper Part. Simons's WP1 asserts that Proper Part is irreflexive and so corresponds to G1. G3 establishes that inclusion, unlike Proper Part, is anti-symmetric.

Point-free geometry is closely related to a dense linear order D, whose axioms are G1-3, G5, and the totality axiom x le y or y le x.. [Also see Stoll, R. R., 1963. "Set Theory and Logic". Dover reprint, 1979. P. 423.] Hence inclusion-based point-free geometry would be a proper extension of D (namely D&cup;{G4, G6, G7}), were it not that the D relation "&le;" is a total order.

Connection theory

In his 1929 "Process and Reality", A. N. Whitehead proposed a different approach, one inspired by De Laguna (1922). Whitehead took as primitive the topological notion of "contact" between two regions, resulting in a primitive "connection relation" between events. Connection theory C is a first order theory that distills the first 12 of the 31 assumptions in chpt. 2 of "Process and Reality" into 6 axioms, "C1-C6". C is a proper fragment of the theories proposed in Clarke (1981), who noted their mereological character. Theories that, like C, feature both inclusion and topological primitives, are called mereotopologies.

C has one primitive relation, binary "connection," denoted by the prefixed predicate letter "C". That "x" is included in "y" can now be defined as "x"&le;"y" &harr; &forall;z ["Czx"&rarr;"Czy"] . Unlike the case with inclusion spaces, connection theory enables defining "non-tangential" inclusion, [Presumably this is Casati and Varzi's (1999) "Internal Part" predicate, IP"xy" &harr; (x&le;y)&and;(C"zx"&rarr;&exist;"v" ["v"&le;"z" &and; "v"&le;"y"] . This definition combines their (4.8) and (3.1).] a total order that enables the construction of abstractive classes. Gerla and Miranda (2008) argue that only thus can mereotopology unambiguously define a point.

The axioms "C1-C6" below are, but for numbering, those of Def. 3.1 in Gerla and Miranda (2008).

*"C" is reflexive. C.1.:C1. Cxx.

*"C" is symmetric. C.2.:C2. Cxy ightarrow Cyx.

*"C" is extensional. C.11.:C3. forall z [Czx leftrightarrow Czy] ightarrow x = y.

* All regions have proper parts, so that C is an atomless theory. P.9.:C4. exists y [y

*Given any two regions, there is a region connected to both of them.:C5. exists z [Czxand Czy] .

*All regions have at least two unconnected parts. C.14.:C6. exists yz [(yle x)and (zle x)and eg Cyz] .

A model of C is a "connection space".

Following the verbal description of each axiom is the identifier of the corresponding axiom in Casati and Varzi (1999). Their system SMT ("strong mereotopology") consists of "C1"-"C3", and is essentially due to Clarke (1981). [Grzegorczyk (1960) proposed a similar theory, whose motivation was primarily topological.] Any mereotopology can be made atomless by invoking "C4", without risking paradox or triviality. Hence C is a proper extension of the atomless variant of SMT. The extension consists of the axioms "C5" and "C6", suggested by chpt. 2 of "Process and Reality". For an advanced discussion of systems related to C, see Roeper (1997).

Biacino and Gerla (1991) showed that every model of Clarke's theory is a Boolean algebra, in which connection cannot be distinguished from overlapping. It is doubtful that Whitehead intended either result.

ee also

*Mereology
*Mereotopology
*Pointless topology

Footnotes

References

*Biacino L., and Gerla G., 1991, " [http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093635748 Connection Structures,] " "Notre Dame Journal of Formal Logic" 32: 242-47.
* Casati, R., and Varzi, A. C., 1999. "Parts and places: the structures of spatial representation". MIT Press.
* Clarke, Bowman, 1981, " [http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093883455 A calculus of individuals based on 'connection',] " "Notre Dame Journal of Formal Logic 22": 204-18.
* ------, 1985, " [http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093870761 Individuals and Points,] " "Notre Dame Journal of Formal Logic 26": 61-75.
*De Laguna, T., 1922, "Point, line and surface as sets of solids," "The Journal of Philosophy 19": 449-61.
* Gerla, G., 1995, " [http://www.dmi.unisa.it/people/gerla/www/Down/point-free.pdf Pointless Geometries] " in Buekenhout, F., Kantor, W. eds., "Handbook of incidence geometry: buildings and foundations". North-Holland: 1015-31.
*--------, and Miranda A., 2008, " [http://www.dmi.unisa.it/people/gerla/www/ Inclusion and Connection in Whitehead's Point-free Geometry,] " to appear in "Handbook of Whiteheadian Process Thought".
*Grzegorczyk, A., 1960, "Axiomatizability of geometry without points," "Synthese 12": 228-235.
*Kneebone, G., 1963. "Mathematical Logic and the Foundation of Mathematics". Dover reprint, 2001.
*Lucas, J. R., 2000. "Conceptual Roots of Mathematics". Routledge. Chpt. 10, on "prototopology," discusses Whitehead's systems and is strongly influenced by the unpublished writings of David Bostock.
* Roeper, P., 1997, "Region-Based Topology," "Journal of Philosophical Logic 26": 251-309.
* Simons, P., 1987. "Parts: A Study in Ontology". Oxford Univ. Press.
* Whitehead, A.N., 1916, "La Theorie Relationiste de l'Espace," "Revue de Metaphysique et de Morale 23": 423-454. Translated as Hurley, P.J., 1979, "The relational theory of space," "Philosophy Research Archives 5": 712-741.
*--------, 1919. "An Enquiry Concerning the Principles of Natural Knowledge". Cambridge Univ. Press. 2nd ed., 1925.
*--------, 1920. " [http://www.gutenberg.org/files/18835/18835-h/18835-h.htm The Concept of Nature] ". Cambridge Univ. Press. 2004 paperback, Prometheus Books. Being the 1919 Tarner Lectures delivered at Trinity College.
*--------, 1979 (1929). "Process and Reality". Free Press.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Point-free — may refer to: * Pointless topology * Point free style in programming, called also tacit programming. * Whitehead s point free geometry …   Wikipedia

  • Alfred North Whitehead — Infobox Philosopher region = Western Philosophy era = 19th century philosophy 20th century philosophy color = #B0C4DE image caption = name = Alfred North Whitehead birth = birth date|1861|2|15 death = death date and age|1947|12|30|1861|2|15… …   Wikipedia

  • Alfred North Whitehead — OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Standardwerk „Principia Mathematica“ über Logik, das er zusammen mit… …   Deutsch Wikipedia

  • Alfred N. Whitehead — Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Sta …   Deutsch Wikipedia

  • Alfred Whitehead — Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Sta …   Deutsch Wikipedia

  • Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …   Wikipedia

  • Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… …   Wikipedia

  • Prozess und Realität — Der Essay Prozess und Realität ist ein zuerst 1929 in New York unter dem Originaltitel Process and Reality: An Essay in Cosmology erschienenes Werk des britischen Philosophen und Mathematikers Alfred North Whitehead (1861–1947). Es ist… …   Deutsch Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • Projective geometry — is a non metrical form of geometry, notable for its principle of duality. Projective geometry grew out of the principles of perspective art established during the Renaissance period, and was first systematically developed by Desargues in the 17th …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”