Extension as the background of substance a formal approach

Similar documents
Math 734 Aug 22, Differential Geometry Fall 2002, USC

Topology - I. Michael Shulman WOMP 2004

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

Final Test in MAT 410: Introduction to Topology Answers to the Test Questions

A Flavor of Topology. Shireen Elhabian and Aly A. Farag University of Louisville January 2010

Topological space - Wikipedia, the free encyclopedia

M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY

CONNECTED SPACES AND HOW TO USE THEM

Topology notes. Basic Definitions and Properties.

Notes on Topology. Andrew Forrester January 28, Notation 1. 2 The Big Picture 1

Topological Data Analysis - I. Afra Zomorodian Department of Computer Science Dartmouth College

Manifolds. Chapter X. 44. Locally Euclidean Spaces

MA651 Topology. Lecture 4. Topological spaces 2

1 Point Set Topology. 1.1 Topological Spaces. CS 468: Computational Topology Point Set Topology Fall 2002

Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary?

Solids as point set. Solid models. Solid representation schemes (cont d) Solid representation schemes. Solid representation schemes (cont d)

Introduction to Immersion, Embedding, and the Whitney Embedding Theorems

Final Exam, F11PE Solutions, Topology, Autumn 2011

Lecture 7: Jan 31, Some definitions related to Simplical Complex. 7.2 Topological Equivalence and Homeomorphism

4. Definition: topological space, open set, topology, trivial topology, discrete topology.

A Little Point Set Topology

INTRODUCTION TO TOPOLOGY

Notes on metric spaces and topology. Math 309: Topics in geometry. Dale Rolfsen. University of British Columbia

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.

Topology I Test 1 Solutions October 13, 2008

Session 27: Fractals - Handout

POINT SET TOPOLOGY. Introduction

Planar Graphs and Surfaces. Graphs 2 1/58

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).

Point-Set Topology II

Topic: Orientation, Surfaces, and Euler characteristic

Excerpts from. Introduction to Modern Topology and Geometry. Anatole Katok Alexey Sossinsky

Elementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way.


Bounded subsets of topological vector spaces

CLASSIFICATION OF SURFACES

Decomposition of the figure-8 knot

Computer Aided Engineering Design Prof. Anupam Saxena Department of Mechanical Engineering Indian Institute of Technology, Kanpur.

T. Background material: Topology

Lecture 3: Some Strange Properties of Fractal Curves

Topology problem set Integration workshop 2010

and this equivalence extends to the structures of the spaces.

Lecture IV - Further preliminaries from general topology:

Homework Set #2 Math 440 Topology Topology by J. Munkres

Geometric and Solid Modeling. Problems

A Tour of General Topology Chris Rogers June 29, 2010

Regarding Python level necessary for the course

Geometric Modeling Mortenson Chapter 11. Complex Model Construction

NICOLAS BOURBAKI ELEMENTS OF MATHEMATICS. General Topology. Chapters 1-4. Springer-Verlag Berlin Heidelberg New York London Paris Tokyo

Surfaces. 14 April Surfaces 14 April /29

Topology Homework 3. Section Section 3.3. Samuel Otten

1. Introduction to Constructive Solid Geometry (CSG)

Continuous functions and homeomorphisms

CS 6170: Computational Topology, Spring 2019 Lecture 03

Course Number: Course Title: Geometry

What is Set? Set Theory. Notation. Venn Diagram

Topology: Basic ideas

On Soft Topological Linear Spaces

Curriki Geometry Glossary

SETS. Sets are of two sorts: finite infinite A system of sets is a set, whose elements are again sets.

Section 26. Compact Sets

Figure 2.1: An example of a convex set and a nonconvex one.

CLASSIFICATION OF SURFACES

The Global Topology of the Universe. Dr. Bob Gardner. Great Ideas in Science (BIOL 3028)

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Module 1 Session 1 HS. Critical Areas for Traditional Geometry Page 1 of 6

Lecture 11 COVERING SPACES

Thompson groups, Cantor space, and foldings of de Bruijn graphs. Peter J. Cameron University of St Andrews

TOPOLOGY CHECKLIST - SPRING 2010

4. Simplicial Complexes and Simplicial Homology

Research in Computational Differential Geomet

2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to

Pacific Journal of Mathematics

4.2 Simplicial Homology Groups

I. An introduction to Boolean inverse semigroups

A simple problem that has a solution that is far deeper than expected!

The Fundamental Group, Braids and Circles

Computer Graphics Prof. Sukhendu Das Dept. of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 24 Solid Modelling

Topology and Boundary Representation. The ACIS boundary representation (B-rep) of a model is a hierarchical decomposition of the model s topology:

Lecture-12: Closed Sets

More reverse mathematics of the Heine-Borel Theorem

3.1 Constructions with sets

A Process-Ontological Model for Software Engineering


Simplicial Hyperbolic Surfaces

CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE

Euler s Theorem. Brett Chenoweth. February 26, 2013

Curvature Berkeley Math Circle January 08, 2013

What is a... Manifold?

Chapter 1. Preliminaries

Lecture : Topological Space

Prentice Hall Mathematics: Geometry 2007 Correlated to: Arizona Academic Standards for Mathematics (Grades 9-12)

GENERAL TOPOLOGY. Tammo tom Dieck

Ohio Tutorials are designed specifically for the Ohio Learning Standards to prepare students for the Ohio State Tests and end-ofcourse

NOTES ON GENERAL TOPOLOGY

Geometric Modeling. Introduction

Lecture 15: The subspace topology, Closed sets

Topology of Surfaces

Transcription:

Extension as the background of substance a formal approach Bart lomiej Skowron Wroc law University The Pontifical University of John Paul II, Kraków bartlomiej.skowron@gmail.com February 11, 2013

Presentation plan 1. Substance

Presentation plan 1. Substance Substance

Presentation plan 1. Substance Substance Extension

Presentation plan 1. Substance Substance Extension Conclusions

Presentation plan 1. Substance Substance Extension Conclusions

The nature of corporeal substance is extension in length, breadth and depth; and any other property a body has presupposes extension as merely a special case of it. For example, we cant make sense of shape except in an extended thing, or of motion except in an extended space. (2) The nature of thinking substance is thought; and anything else that is true of a mind is merely a special case of that, a way of thinking. Descartes

The nature of corporeal substance is extension in length, breadth and depth; and any other property a body has presupposes extension as merely a special case of it. For example, we cant make sense of shape except in an extended thing, or of motion except in an extended space. (2) The nature of thinking substance is thought; and anything else that is true of a mind is merely a special case of that, a way of thinking. Res extensa is extened, res cogitans is not. Descartes

What is the extension? Does it have any formal moments?

What is the extension? Does it have any formal moments? 1 being in a space

What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable

What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable 3 having a positive dimension

What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable 3 having a positive dimension 4 being (everywhere) in between

What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable 3 having a positive dimension 4 being (everywhere) in between 5 possibility to divide

How to analyze of these category?

How to analyze of these category? ontologically

How to analyze of these category? ontologically phenomenologically

How to analyze of these category? ontologically phenomenologically physically (material ontology?)

How to analyze of these category? ontologically phenomenologically physically (material ontology?) mathematically (formal ontology?)

How to analyze these category? ontologically phenomenologically physically (material ontology?) mathematically (formal ontology?)

What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension

What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension

What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension Geometry

What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension Geometry

What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension Geometry Topology

Topology is the study of those properties of geometric configurations which remain invariant when these configurations are subjected to one-to-one bicontinuous transformations, or homeomorphisms (...). We call such properties topological invariants. For example, the property of a circle to separate the plane into two regions is a topological invariant; if we transform the circle into an ellipse or into the perimeter of a triangle, this property is retained. On the other hand, the property of a curve to have a tangent line at every point is not a topological property; the circle has this property but the perimeter of a triangle does not, although it may be obtained from the circle by means of a homeomorphism. K. Kuratowski

Basic notions of topology Topology

Basic notions of topology Topology Open (closed) set

Basic notions of topology Topology Open (closed) set

Basic notions of topology Topology Open (closed) set closure of A, interior of A

Basic notions of topology Topology Open (closed) set closure of A, interior of A

Basic notions of topology Topology Open (closed) set closure of A, interior of A Connectedness (all one piece)

Definition 1 A topological space (X, τ) is a set X together with a family τ of subsets of X, called open sets (or topology on X) and satisfying the following axioms: 1 and X are open. 2 Any union of open sets is open. 3 The intersection of any finite number of open sets is open.

Definition 1 A topological space (X, τ) is a set X together with a family τ of subsets of X, called open sets (or topology on X) and satisfying the following axioms: 1 and X are open. 2 Any union of open sets is open. 3 The intersection of any finite number of open sets is open. Definition 2 A complement of open set is called closed set. The closure of an entity is a kind of remedy deficiencies, additions towards the perfection of the object.

Definition 3 A topological space (X, τ) is said to be connected if there are no U, V τ (U V ) such that U V = and U V = X. Otherwise, X is called disconnected. For example [0, 1] and R n for n N are connected.

Definition 3 A topological space (X, τ) is said to be connected if there are no U, V τ (U V ) such that U V = and U V = X. Otherwise, X is called disconnected. For example [0, 1] and R n for n N are connected. Definition 4 A topological space (X, τ) is said to be compact if each of its open covers has a finite subcover. The real line R is not compact since the open cover ( n, n), n N of it has no finite subcover. The closed line segment [0, 1] is compact, but the open line segment (0, 1) is not.

Definition 3 A topological space (X, τ) is said to be connected if there are no U, V τ (U V ) such that U V = and U V = X. Otherwise, X is called disconnected. For example [0, 1] and R n for n N are connected. Definition 4 A topological space (X, τ) is said to be compact if each of its open covers has a finite subcover. The real line R is not compact since the open cover ( n, n), n N of it has no finite subcover. The closed line segment [0, 1] is compact, but the open line segment (0, 1) is not. Connectedness and compactness are the invariants under homeomorpisms.

Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse

Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse Topology is the study of invariants of homeomorphisms

Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse Topology is the study of invariants of homeomorphisms Invariant under homeomorphism: dimension, being open, being closed, being dense, being separable, being connected, etc.

Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse Topology is the study of invariants of homeomorphisms Invariant under homeomorphism: dimension, being open, being closed, being dense, being separable, being connected, etc.

How to analyze extension in topology? reminder being in a space being impenetrable (impervious) (not admitting of passage through) having a positive dimension being (everywhere) in between possibility to divide

Being in space 1. Substance space shall be composed of an infinite number of points (without this it is difficult to talk about an extension)

Being in space 1. Substance space shall be composed of an infinite number of points (without this it is difficult to talk about an extension) Cantor Set

Being in space 1. Substance space shall be composed of an infinite number of points (without this it is difficult to talk about an extension) space shall be connected Cantor Set

but there are spaces connected with holes

but there are spaces connected with holes Topologist s sine curve

but there are spaces connected with holes Topologist s sine curve simply connected space (?) (A space is simply connected if every loop in the space is contractible).

way of thinking: dispose of pathologies

Impenetrability 1. Substance Possible lines of analysis:

Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative)

Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative) but let s try

Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative) but let s try impossibility of being at the same time on the same place (in a given space) by two objects extended in the same way

Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative) but let s try impossibility of being at the same time on the same place (in a given space) by two objects extended in the same way have a boundary or a bound or a limit

homogeneity (?)

homogeneity (?) Definition 6 A topological space X is called homogeneous if for all x, y X there is a homeomorphism f : X X such that f(x) = y.

Positive dimension 1. Substance

Positive dimension 1. Substance There are three (in general non-equivalent) theories of dimension.

Positive dimension 1. Substance There are three (in general non-equivalent) theories of dimension. Intuitions Roughly speaking these theories are based on two basic ideas. First, the points have dimension of 0, the curves have dimension of 1, a dimension of surfaces is 2, dimension of space is 3, etc. Second, objects of dimension n are bounded by objects of dimension n 1, i.e. points are bounded by the empty set, the curves are bounded by the points, the surfaces are bounded by the curves, the spaces are bounded by the surfaces, etc.

Dimension can be infinite

Dimension can be infinite the dimension of possible worlds in Hilbert Cube combination topo-ontology is infinite

being (everywhere) in between being (everywhere) in between = being dense

being (everywhere) in between being (everywhere) in between = being dense Definition 7 B X is called dense (in X) if every point x X either belongs to B or is a limit point of B or equivalently cl(b) = X.

Possibility to divide 1. Substance Imposition on the space stronger and stronger separation axioms T 0, T 1, T 2, T 3, T 4

noncontradictory combinations of these conditions

noncontradictory combinations of these conditions

noncontradictory combinations of these conditions different types of extension

noncontradictory combinations of these conditions different types of extension a special type of extension: R n connected, arc-connected, simply connected, T 0 T 4 separation axioms are satisfied, n-dimensional space

Type of extension of res cogitans in the space thoughts

Type of extension of res cogitans in the space thoughts

Type of extension of res cogitans in the space thoughts

Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space

Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space Elements of X = acts Definition 2.1 (Neighbourhood) If p X, then a neighbourhood of p is a subset V X, which includes an open set U containing p.

Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space Elements of X = acts Definition 2.1 (Neighbourhood) If p X, then a neighbourhood of p is a subset V X, which includes an open set U containing p. Neighbourhood of an act p = all acts that may occur with p (eg. at the same time)

Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space Elements of X = acts Definition 2.1 (Neighbourhood) If p X, then a neighbourhood of p is a subset V X, which includes an open set U containing p. Neighbourhood of an act p = all acts that may occur with p (eg. at the same time) neighbourhood system = topology

Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself

Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself Being a hole is invariant under homeomorphism

Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself Being a hole is invariant under homeomorphism Subject may increase, decrease, widen, shrink...

Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself Being a hole is invariant under homeomorphism Subject may increase, decrease, widen, shrink... Identity = homeomorphicness

Consciousness 1. Substance Jan Szewczyk: Universally infinite (infinitely spreadable) field of fields, finite as well as infinite, establishing the certain closed in itself and internally integral unity of existence, not being the material part of nature, neither connected to it causally nor structurally, centered in its subjective source. This field spouts or radiates from Self in all directions (therefore undoubtedly three dimensionally) and constitutes itself in unceasingly and multi dimensionally undulating medium. It makes the certain environment or plasma of intentionality, having its own temporality, and therefore, necessarily, it own spatiality or sort of phenomenological quasi corporeality.

Question to Jeff: What do you think about this plasma of intentionality?

Is the consciousness radically non stretchable? Consciousness stretches out towards the world, hitting the objects to whom it intends it approaches them meets them in some way In this way we attribute some kind of extent to the consciousness.

Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded

Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded but unexpectedly

Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded but unexpectedly these types are identical in terms of topology. That is they are homeomorphic.

Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded but unexpectedly these types are identical in terms of topology. That is they are homeomorphic. The property of being extended is not the property which differentiates things and thoughts.

Claims and conclusions 1 Substance is extended 2 We should use the topology in the study of extension 3 Extension can be modeled as a special case of a topological space 4 There are many forms of extension ( substances) 5 The moment of being extended is not the property which differentiates things and thoughts. 6 Extension of things extension of thoughts

Open problems 1. Substance Is the type of extension invariant under homeomorphism?

Open problems 1. Substance Is the type of extension invariant under homeomorphism? So, among others: Is a being bounded an essential moment of extension or not?

Open problems 1. Substance Is the type of extension invariant under homeomorphism? So, among others: Is a being bounded an essential moment of extension or not? What is the role play of manifolds in these studies?

Open problems 1. Substance Is the type of extension invariant under homeomorphism? So, among others: Is a being bounded an essential moment of extension or not? What is the role play of manifolds in these studies? Is it possible to examine the impenetrability in the topology?

M. Rosiak described extension as a possibility of coexistence of a plurality of objects, the multitude of differences between places. A possibility of coexistence of a plurality of objects topology

M. Rosiak described extension as a possibility of coexistence of a plurality of objects, the multitude of differences between places. A possibility of coexistence of a plurality of objects topology (formal ontology)

Formal Philosophy

Formal Philosophy Formal philosophy philosophy that uses a formal language

Formal Philosophy Formal philosophy philosophy that uses a formal logic

Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize

Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize

Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize philosophizing by structures,

Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize philosophizing by structures, rotation of the structures

What kind of structure should be used in Formal Philosophy? Complex structures because the philosophical issues are complex Examples: Algebraic fields, rings, posets, lattices, differentiable manifolds, Hilbert spaces, closure spaces, model Monster, categories (category theory), etc.

What for a formal philosophy? We need a formal philosophy, we need a structures, because the philosophy is just so hard to practice without it.

Thank you!