Mereogeometries are a group of particular logical formalisms for describing n-dimensional space that are based on mereological calculi. Mereology’s focus of interest is part-whole relations. For instance, Clarke’s mereological calculus ([Clarke 1981a]Literaturangabe fehlt. Bitte in der Bibliographie-Sammlung einfügen als: - Buch, - Artikel in Zeitschrift, - Beitrag in Sammelband, - Sammelband, - andere Publikation, - Glossarlemma. ; here quoted from [Vieu 1991a]Literaturangabe fehlt. Bitte in der Bibliographie-Sammlung einfügen als: - Buch, - Artikel in Zeitschrift, - Beitrag in Sammelband, - Sammelband, - andere Publikation, - Glossarlemma. : S. 120ff) is based on the primitive relation C(x, y) with the intended meaning “individual x is connected with individual y” and defined by the axioms:
A0.1
|
∀ x (C(x, x)) ∧ ∀ x ∀ y (C(x, y) → C(y, x))
|
Axiom of reflexivity and symmetry
|
A0.2
|
∀ x (∀ y ∀ z (C(z, x) ↔ C(z, y)) → x=y)
|
Axiom of extension
|
Some definitions possible in Clarke’s calculus are …
D0.1
|
DC(x, y)
|
≡def
|
ᓓ C(x, y) :
|
“x is disconnected with y”
|
D0.2
|
P(x, y)
|
≡def
|
∀ z (C(z, x) → C(z, y))
|
“x is part of y“
|
D0.3
|
PP(x, y)
|
≡def
|
P(x, y) ∧ ᓓ P(y, x)
|
“x is a proper part of y”
|
D0.4
|
O(x, y)
|
≡def
|
∃ z (P(z, x) ∧ P(z, y)
|
“x overlaps y“
|
D0.6
|
EC(x, y)
|
≡def
|
C(x, y) ∧ ᓓ O(x, y)
|
“x is externally connected with y”
|
D0.7
|
TP(x, y)
|
≡def
|
P(x,y) ∧ ∃ z (EC(z, x) ∧ EC(z, y))
|
“x is a tangential part of y
|
D1.1
|
x=F(α)
|
≡def
|
∀ y (C(y, x) ↔ ∃ z (z∊α ∧ C(y, z))
|
“x is identical to the fusion of the set of individuals α”
|
D1.2
|
x+y
|
≡def
|
F({z : P(z,x) ∨ P(z, y)})
|
“x+y is the sum of x and y”
|
D1.5
|
x∧y
|
≡def
|
F({z : P(z,x) ∧ P(z, y)})
|
“x∧y is the intersection of x and y”
|
|
|
|
Illustrations to the relations O, TP, and EC
|
|
… so that, for instance, the following theorem can be proven:
T0.34
|
∀ x ∀ y ∀ z ((TP(z, x) ∧ P(z, y) ∧ P(y, x)) → TP(z, y)
|
A definition of “point“ out of a set α of individuals (with Λ being the empty set):
PT(α)
|
≡def
|
ᓓ α=Λ ∧ ∀ x ∀ y ((x∊α ∧ y∊α) → (EC(x, y) ∨ (O(x, y) ∧ x∧y∊α))) ∧
∀ x ∀ y ((x∊α ∧ P(x, y)) → y∊α) ∧ ∀ x ∀ y (x+y∊α → (x∊α ∨ y∊α))
|
|
|
|
|
(i.e., all individuals partaking in a point are connected with each other; if two of them overlap, their intersection is also part of the point; each individual containing an element of the point is also element of that point; and finally, if an element of the point is the sum of two individuals then those must be elements as well.)
This calculus already allows dealing with topological relations and can be extended easily to a full geometry (i.e., including directions and metric distance). That is, any geometrical configuration can be described by a set of propositions of that calculus. Any analysis or transformation of the geometrical configuration can correspondingly be performed in analogy with the set of propositions by means of logical analyses or transformations (cf., e.g., [Pratt-Hartmann 2000a]Literaturangabe fehlt. Bitte in der Bibliographie-Sammlung einfügen als: - Buch, - Artikel in Zeitschrift, - Beitrag in Sammelband, - Sammelband, - andere Publikation, - Glossarlemma. ).
|
Anmerkungen
[Clarke 1981a]: Literaturangabe fehlt. Bitte in der Bibliographie-Sammlung einfügen als: - Buch, - Artikel in Zeitschrift, - Beitrag in Sammelband, - Sammelband, - andere Publikation, - Glossarlemma. [Pratt-Hartmann 2000a]: Literaturangabe fehlt. Bitte in der Bibliographie-Sammlung einfügen als: - Buch, - Artikel in Zeitschrift, - Beitrag in Sammelband, - Sammelband, - andere Publikation, - Glossarlemma. [Vieu 1991a]: Literaturangabe fehlt. Bitte in der Bibliographie-Sammlung einfügen als: - Buch, - Artikel in Zeitschrift, - Beitrag in Sammelband, - Sammelband, - andere Publikation, - Glossarlemma.
Hilfe: Nicht angezeigte Literaturangaben
|