Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Logic and Logical Philosophy

1 2015

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Regions-based two dimensional continua: The Euclidean case

100%

Hellman G. , Shapiro S.

Logic and Logical Philosophy

2015

tom 24

nr 4 Mereology and Beyond

499-534

We extend the work presented in [7, 8] to a regions-based, two-dimensional, Euclidean theory. The goal is to recover the classical continuum on a point-free basis. We first derive the Archimedean property for a class of readily postulated orientations of certain special regions, “generalized quadrilaterals” (intended as parallelograms), by which we cover the entire space. Then we generalize this to arbitrary orientations, and then establishing an isomorphism between the space and the usual point-based R × R. As in the one-dimensional case, this is done on the basis of axioms which contain no explicit “extremal clause” (to the effect that “these are the only ways of generating regions”), and we have no axiom of induction other than ordinary numerical (mathematical) induction. Finally, having explicitly defined ‘point’ and ‘line’, we will derive the characteristic Parallel’s Postulate (Playfair axiom) from regions-based axioms, and point the way toward deriving key Euclidean metrical properties.