Continuing with the topic of major gaps in metaphysical theory, I'll turn to the topic of Space-Time (of perennial interest and even more so given the attempt to quantize Time and Space today).

These may seem like trivial disputes but they've led to more than their fair-share of problems in physics (and many of the great advances in modern physics have come about by coming down on the opposite side from whence we started):

- Euclid or Hyperbolic?
- Points or Point-free geometries?

- Point-based
- The number-theoretic
*Successor Function*does all the work in systems that view spatial dimensions as symmetric and as Reals or Ordinals. Function-centric approach. - Mereology - rather, it's about the relationships between
*parts*and*wholes*which are taken to be primitives (rather than*numbers*). - Alternative - one can start with concentric circles or say, with concentric spheres, to define the remainder of a space.
- Alternative - a structuralist conception of space might view
*wholes*and*parts*as requiring one another rather than as*points***preceding**a*line*. (The number-theoretic view might very well be "structural" under this lens.)

*Relationalist*(as what relations obtain between objects, secondary, Leibniz) or*Absolute*(as the background into which objects "inhere", primary, Newton)- Textured or flat (empty or foam)?
- Passive or active?
- Continuous or discontinuous?
- Static and fixed or changing and growing?
- Having specific topological properties?
- Quantized or not?
- Mental (Kant) or Objective?

- Is spacetime holistic and irreducible whether it’s relational or not?
- Tentatively if spacetime is
*relational*that perhaps lends support for the idea that it can be quantized (since, if it were, it would depend for its existence on the sub-entities from which it emerges).

A perhaps surprising return to Pythagoras and his teachings (he was one of the first philosophers and mathematicians in the West):

- That geometry and especially physical geometry emerge from something non-geometric.
- A natural way of understanding this is by way of the set-theoretic description of a topological space whereby presumably abstract mathematical entities come to define the notion of a space.

##### post: 12/2/2020