Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of (...) objects that are fundamental building blocks of specific topological spaces. (shrink)

The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ ⟨α⟩ B) where A and B are Boolean terms and α is a relational term. Examining what we (...) can say about dynamic models when we use formulas to describe them, we successively address the axiomatization/completeness issue and the decidability/complexity issue of our dynamic logics of the region-based theory of discrete spaces. (shrink)

This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity (...) spaces, is developed. This permits us to give new proximity-type models of local connection algebras, to obtain a representation theorem for such algebras and to give a new shorter proof of the main theorem of Roeper's paper [ROE 97]. Finally, the notion of MVD-algebra is introduced. It is similar to Mormann's notion of enriched Boolean algebra [MOR 98], based on a single mereological relation of interior parthood. It is shown that MVD-algebras are equivalent to local connection algebras. This means that the connection relation and boundedness can be incorporated into one, mereological in nature relation. In this way a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained. (shrink)

Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies called unique closure mereotopologies whose models always have orthocomplemented contact algebras , an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact (...) algebras the strength of the algebraic complementation delineates two classes of mereotopology according to the key ontological choice between mereological and topological closure operations. All closure operations are defined mereologically if and only if the corresponding contact algebras are uniquely complemented while topological closure operations highly restrict the contact relation but allow not uniquely complemented and nondistributive contact algebras. Each class contains a single ontologically coherent theory that admits discrete models. (shrink)

Action is a means of acquiring perceptual information about the environment. Turning around, for example, alters your spatial relations to surrounding objects and, hence, which of their properties you visually perceive. Moving your hand over an object’s surface enables you to feel its shape, temperature, and texture. Sniffing and walking around a room enables you to track down the source of an unpleasant smell. Active or passive movements of the body can also generate useful sources of perceptual information (Gibson 1966, (...) 1979). The pattern of optic flow in the retinal image produced by forward locomotion, for example, contains information about the direction in which you are heading, while motion parallax is a “cue” used by the visual system to estimate the relative distances of objects in your field of view. In these uncontroversial ways and others, perception is instrumentally dependent on action. According to an explanatory framework that Susan Hurley (1998) dubs the “Input-Output Picture”, the dependence of perception on action is purely instrumental: "Movement can alter sensory inputs and so result in different perceptions… changes in output are merely a means to changes in input, on which perception depends directly" (1998: 342). -/- The action-based theories of perception, reviewed in this entry, challenge the Input-Output Picture. They maintain that perception can also depend in a noninstrumental or constitutive way on action (or, more generally, on capacities for object-directed motor control). This position has taken many different forms in the history of philosophy and psychology. Most action-based theories of perception in the last 300 years, however, have looked to action in order to explain how vision, in particular, acquires either all or some of its spatial representational content. Accordingly, these are the theories on which we shall focus here. -/- We begin in Section 1 by discussing George Berkeley’s Towards a New Theory of Vision (1709), the historical locus classicus of action-based theories of perception, and one of the most influential texts on vision ever written. Berkeley argues that the basic or “proper” deliverance of vision is not an arrangement of voluminous objects in three-dimensional space, but rather a two-dimensional manifold of light and color. We then turn to a discussion of Lotze, Helmholtz, and the local sign doctrine. The “local signs” were felt cues for the mind to know what sort of spatial content to imbue visual experience with. For Lotze, these cues were “inflowing” kinaesthetic feelings that result from actually moving the eyes, while, for Helmholtz, they were “outflowing” motor commands sent to move the eyes. -/- In Section 2, we discuss sensorimotor contingency theories, which became prominent in the 20thcentury. These views maintain that an ability to predict the sensory consequences of self-initiated actions is necessary for perception. Among the motivations for this family of theories is the problem of visual direction constancy—why do objects appear to be stationary even though the locations on the retina to which they reflect light change with every eye movement?—as well as experiments on adaptation to optical rearrangement devices (ORDs) and sensory substitution. -/- Section 3 examines two other important 20th century theories. According to what we shall call the motor component theory, efference copies generated in the oculomotor system and/or proprioceptive feedback from eye-movements are used together with incoming sensory inputs to determine the spatial attributes of perceived objects. Efferent readiness theories, by contrast, look to the particular ways in which perceptual states prepare the observer to move and act in relation to the environment. The modest readiness theory, as we shall call it, claims that the way an object’s spatial attributes are represented in visual experience can be modulated by one or another form of covert action planning. The bold readiness theory argues for the stronger claim that perception just is covert readiness for action. -/- In Section 4, we move to the disposition theory, most influentially articulated by Gareth Evans (1982, 1985), but more recently defended by Rick Grush (2000, 2007). Evans’ theory is, at its core, very similar to the bold efferent readiness theory. There are some notable differences, though. Evans’ account is more finely articulated in some philosophical respects. It also does not posit a reduction of perception to behavioral dispositions, but rather posits that certain complicated relations between perceptual input and behavioral provide spatial content. Grush proposes a very specific theory that is like Evans’ in that it does not posit a reduction, but unlike Evans’ view, does not put behavioral dispositions and sensory input on an undifferentiated footing. (shrink)

The problem of how mathematics and physics are related at a foundational level is of interest. The approach taken here is to work towards a coherent theory of physics and mathematics together by examining the theory experiment connection. The role of an implied theory hierarchy and use of computers in comparing theory and experiment is described. The main idea of the paper is to tighten the theory experiment connection by bringing physical theories, as mathematical structures over C, the complex (...) numbers, closer to what is actually done in experimental measurements and computations. The method replaces C by C n which is the set of pairs, R n,I n, of n figure rational numbers in some basis. The properties of these numbers are based on those of numerical measurement outcomes for continuous variables. A model of space and time based on R n is discussed. The model is scale invariant with regions of constant step size interrupted by exponential jumps. A method of taking the limit n→∞ to obtain locally flat continuum-based space and time is outlined. Also R n based space is invariant under scale transformations. These correspond to expansion and contraction of space relative to a flat background. The location of the origin, which is a space and time singularity, does not change under these transformations. Some properties of quantum mechanics, based on C n and on R n space are briefly investigated. (shrink)

This article considers the importance of a spatial dimension for witchcraft research, which has so far been largely neglected. In twentieth-century Europe people in certain regions still considered their world in terms of witchcraft; they attributed misfortune to bewitchments and usually blamed their neighbors. Here a part of Flemish-speaking Belgium is investigated with the help of legend texts collected in the 1960s. The witchcraft discourse that informed these texts did not just contain formulations of space; sometimes it also determined (...) how people negotiated space. In this part of Flanders, witchcraft was embedded in Roman Catholicism; monasteries were the favored destinations of all those who considered themselves or their family members bewitched. In order to find cures for bewitchments people undertook hazardous journeys of considerable distance and found their efforts hindered by the witch they sought to counteract. The measures against evil influences that they were given were meant to consolidate the boundaries between their own space and the space where witches roamed. Bewitchments were generally blamed on women. In the contemporary patriarchal social order, both public and domestic spaces were nearly always under men's control. This is why bewitchment was caused less by transgressions of male-defined boundaries than by infringements of bodily spaces such as by eying or touching somebody else's children. This suggests a different approach to female space based on notions of proximity. (shrink)

This paper discusses the theory of knowledge based on the idea of dynamical space. The goal of this effort is to comprehend the knowledge that remains beyond the human domain, e.g., of the artificial cognitive systems. This theory occurs in two versions, weak and strong. The weak version is limited to knowledge in which retention and articulation are performed through the discourse. The strong version is general and is not limited in any way. In the weak version, knowledge (...) is represented by the trajectories of discourses in time, in a dynamical space called the discursive space, which has an arbitrary number of dimensions. Given space is used to represent a given part of knowledge. A manifold is introduced to represent knowledge with a wider scope. The strong version is an extrapolation of the weak version to cover all forms of knowledge, not necessarily human or manifesting in language. The use of dynamical space construction allows one to formalize knowledge as such. Such an effort requires us to initially consider knowledge as mainly a social and linguistic phenomenon, which also could be presented as a result of the evolution of the understanding of knowledge that took place in the 20th century. (shrink)

The paper presents the main idea of point-free theories of space based on Tarski's system of point-free geometry. First, the general idea of the so-called point-free ontology was discussed, as well as the epistemological and methodological reasons for its adoption. Next, Whitehead's method of extensive abstraction, which is the methodological basis for the construction of point-free theories of space, is presented, and the fundamental concepts of mereology are discussed. The main part of the paper is (...) a discussion of Tarski’s geometry of solids, its postulates and metatheoretical properties. The paper ends with a short description of the contribution of Polish researchers to the development of research on point-free theories of space. (shrink)

In this paper a solution of Whitehead’s problem is presented: Starting with a purely mereological system of regions a topological space is constructed such that the class of regions is isomorphic to the Boolean lattice of regular open sets of that space. This construction may be considered as a generalized completion in analogy to the well-known Dedekind completion of the rational numbers yielding the real numbers . The argument of the paper relies on the theories of continuous (...) lattices and “pointless” topology.

. (shrink)

There is an inherent need for education systems and mental health models to begin incorporating principles of non-local science in their approach to education for a population to gain general intelligence. Contemporary education is lagging in comparison with scientific progress due to the adoption of concepts that are considered outdated in current scientific terms. While education systems have not moved away from physical theories the scientific community began departing from this scientific framework in the year 1900 with the dawn (...) of the discovery of the Planck constant. The Bhagavata Purana provides a robust framework to encompass various spatial features of reality required to describe non-local sciences. This research attempts to assess the extent toward which the Bhagavata Purana can reconcile the various issues in contemporary scientific theory. Through review of Newton’s Principia Mathematica, Immanuel Kant’s Critique of Pure Reason, articles on Einstein’s Theory of Relativity, various academic papers regarding quantum physics as well as published articles on topics of space and time, various reference frames used for perceiving reality is compared to the Bhagavata Purana. The research concludes that the true nature of time according to the Bhagavata is ontological and relative to the reference frame used by the observer to perceive reality and stresses that the only way to perceive the true ontological state of Time is through a practice called devotional service. This research also recommends that there should be further research done in this area through the phenomenological research of time and space. (shrink)

Undoubtedly the Penrose-Hameroff Orch OR model may be considered as a good theory for describing information processing mechanisms and holistic phenomena in the human brain, but it doesn’t give us satisfactory explanation of human perception. In this work a new approach explaining our perception is introduced, which is in good agreement with Orch OR model and other mainstream science theories such as string theory, loop quantum gravity and holographic principle. It is shown that human perception cannot be explained in (...) the terms of elementary particles and we should introduce new indivisible holistic objects with geometry based on smooth infinitesimal analysis - elastic membranes. The example of such a membrane is our Universe which is an indivisible whole. It is shown that our perception may be considered as the result of elastic oscillations of two dimensional (2D) elastic membranes with closed topology embedded in our bodies. Only one elastic membrane responsible for its perceptions will correspond to the selected organism, but there may be other membranes, even at the cell level. In other words, reality may be considered as the process of time evolution of holistic energetically very weak macro objects - elastic membranes with the geometry based on smooth infinitesimal analysis. An embedded membrane in this multidimensional world will look different for the external and internal observers: from the outside it will look like a material object with smooth infinitesimal geometry, while from the inside our Universe-like space-time fabric. When interacting with elementary particles and other membranes, a membrane will transform their energy into its elastic energy (a new form of energy) - the energy of stretching of the infinitesimal segments. The theory postulates that these elastic deformations will not be observable from the point of view of the internal observer. Heisenberg’s uncertainty principle will work in this physics only from the point of view of the internal observer. For the external observer each embedded elastic membrane may be stretched and even a very small region will become observable. For example, living organisms play the role of internal observers of the Universe, and at the same time they serve as external observers for 2D membranes embedded into our Universe. We can observe our 2D self-membranes through our perceptions, which are encoded in elastic oscillations of the elastic membrane. According to the theory, elastic membranes occupy energetically favorable positions around microtubules involved into Orch OR. The theory not only gives us a really multidimensional holistic picture of reality, but it also provides us with a new method for understanding such phenomena as perception, self-awareness and will. (shrink)

We explore the notion of a measure in a mereological structure and we deal with the difficulties arising. We show that measure theory on connection spaces is closely related to measure theory on the class of ortholattices and we present an approach akin to Dempster’s and Shafer’s. Finally, the paper contains some suggestions for further research.

Oases have served as sacred landscapes and sources of ritual plants in arid regions of the Old and New Worlds. We evaluate the Jesuit mission oases of the Baja California peninsula for their role in agrobiodiversity persistence, and extend theories of sacred landscapes and biodiversity conservation to agricultural species and practices. Jesuit missionaries on the peninsula introduced a suite of crops species and agricultural and water management systems that persist in the oases and have become an integral part of (...) the cultural and religious identity of the peninsula. The sacred landscapes of the oases are defined by elements of the Jesuit mission systems, such as water capture systems and irrigation canals, stone field borders and terraces, field gardens or huertas, groves of olive trees and date palms, and multi-tiered agroecosystems. Sacred practices—including pilgrimages, religious rites, and Catholic-based community celebrations—depend on the integrated “landscapes” of the oases and on the ritual use of wild and cultivated oasis plant species. We propose that some, though not all, of the peninsula oases may be considered as sacred landscapes responsible for maintaining heritage crop species, biodiversity, and traditional farming and foodways practices. (shrink)

We here present explicit relational theories of a class of geometrical systems (namely, inner product spaces) which includes Euclidean space and Minkowski spacetime. Using an embedding approach suggested by the theory of measurement, we prove formally that our theories express the entire empirical content of the corresponding geometric theory in terms of empirical relations among a finite set of elements (idealized point-particles or events) thought of as embedded in the space. This result is of interest within (...) the general phenomenalist tradition as well as the theory of space and time, since it seems to be the first example of an explicit phenomenalist reconstruction of a realist theory which is provably equivalent to it in observational consequences. The interesting paper "On the Space-Time Ontology of Physical Theories" by Ken Manders, Philosophy of Science, vol. 49, number 4, December 1982, p. 575-590, has significant affinities to this one. We both, in a sense, try to formally vindicate Leibniz's notion of a relational theory of space, by constructing theories of spatial relations among physical objects which are provably equivalent to the standard absolutist theories. The essential difference between our approaches is that Manders retains Leibniz's explicitly modal framework, whereas I do not. Manders constructs a spacetime theory which explicitly characterizes the totality of possible configurations of physical objects, using a modal language in which the notion of a possible configuration occurs as a primitive. There is no doubt that this is a more accurate realization of Leibniz's own conception of space than the embedding-based approach developed here. However, it also remains open to objections (such as those cited here from Sklar) on account of the special appeal to modal notions. Our approach here, by contrast, aims to avoid the special appeal to modal notions by giving directly a set of laws which are satisfied by a configuration individually, if and only if it is one of the allowable ones. One thus avoids the need for reference to possible but not actual configurations or objects, in the statement of the spacetime laws. We may then take this alternative set of laws as the actual geometric theory, and do away with the hypothetical entity called 'space'. Yet at the same time there is no invocation of modality, except in the ordinary sense in which every physical theory constrains what is possible. So that a relationalist is not forced to utilize a modal language (though Leibniz certainly does.). (shrink)

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. (...) It solves the long-standing problem of interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

On our ordinary representations of space, space is composed of indivisible, dimensionless points; extended regions are understood as infinite sets of points. Region-based theories of space reverse this atomistic picture, by taking as primitive several relations on extended regions, and recovering points as higher-order abstractions from regions. Over the years, such theories have focused almost exclusively on the topological and geometric structure of space. We introduce to region-based theories of (...) space a new primitive binary relation (‘qualitative probability’) that is tied to _measure_. It expresses that one region is _smaller than or equal in size_ to another. Algebraic models of our theory are _separation_ _σ_-_algebras with qualitative probability_: \((\mathbb {B}, \ll, \preceq )\), where \(\mathbb {B}\) is a Boolean _σ_-algebra, ≪ is a separation relation on \(\mathbb {B}\), and ≼ is a qualitative probability on \(\mathbb {B}\). We show that from algebraic models of this kind we can, in an interesting class of cases, recover a compact Hausdorff topology _X_, together with a countably additive measure _μ_ on a _σ_-field of Borel subsets of that topology, and that \((\mathbb {B}, \ll, \preceq )\) is isomorphic to a ‘standard model’ arising out of the pair (_X_, _μ_). It follows from one of our main results that any closed ball in Euclidean space, \(\mathbb {R}^{n}\), together with Lebesgue measure arises in this way from a separation _σ_-algebra with qualitative probability. (shrink)

Oases have served as sacred landscapes and sources of ritual plants in arid regions of the Old and New Worlds. We evaluate the Jesuit mission oases of the Baja California peninsula for their role in agrobiodiversity persistence, and extend theories of sacred landscapes and biodiversity conservation to agricultural species and practices. Jesuit missionaries on the peninsula introduced a suite of crops species and agricultural and water management systems that persist in the oases and have become an integral part of (...) the cultural and religious identity of the peninsula. The sacred landscapes of the oases are defined by elements of the Jesuit mission systems, such as water capture systems and irrigation canals, stone field borders and terraces, field gardens or huertas, groves of olive trees and date palms, and multi-tiered agroecosystems. Sacred practices—including pilgrimages, religious rites, and Catholic-based community celebrations—depend on the integrated “landscapes” of the oases and on the ritual use of wild and cultivated oasis plant species. We propose that some, though not all, of the peninsula oases may be considered as sacred landscapes responsible for maintaining heritage crop species, biodiversity, and traditional farming and foodways practices. (shrink)

Points of view are a central phenomenon in human cognition. Although the concept of point of view is ambiguous, there exist common elements in different notions. A point of view is a certain way to look at things around us. In conceptual points of view, things are looked at or interpreted through conceptual lenses. Conceptual points of view are important for epistemology, cognitive science, and philosophy of science. In this article, a new method to formalize conceptual points of view is (...) introduced. It is based on the conceptual space approach, where concepts are regions of multi-dimensional quality spaces. Points of view, as defined in this article, consist of a selection of relevant dimensions, referred to here as determinables, and of a certain supposition, referred to here as a theory, about the subject content. After considering some early efforts to formalize points of view, the notion of conceptual space is defined and explored. One concept of point of view is defined and developed in the framework of conceptual space, and a new logic for points of view is also outlined. The problem of mind–body correlation is discussed as an example of the application of the notion of points of view. To conclude, the meaning and applications of the new concepts and tools developed in the article are discussed. (shrink)

Multi-level institutional designs with distributed power and authority arrangements among federal, state, regional, and local government agencies could lead to the emergence of differential patterns of socioeconomic and infrastructure development pathways in complex social–ecological systems. Both exogenous drivers and endogenous processes in social–ecological systems can lead to changes in the number of “basins of attraction,” changes in the positions of the basins within the state space, and changes in the positions of the thresholds between basins. In an effort to (...) advance the theory and practice of the governance of policy systems, this study addresses a narrower empirical question: how do intergovernmental institutional rules set by federal, state, and regional government agencies generate and sustain basins of attraction in funding infrastructure projects? A pattern-oriented, agent-based model (ABM) of an intergovernmental network has been developed to simulate real-world transportation policy implementation processes across the federal, the state of Vermont, regional, and local governments for prioritizing transportation projects. The ABM simulates baseline and alternative intergovernmental institutional rule structures and assesses their impacts on financial investment flows. The ABM was calibrated with data from multiple focus groups, individual interviews, and analysis of federal, state, and regional scale transportation projects and programs. The results from experimental simulations are presented to test system-wide effects of alternative multi-level institutional designs, in particular different power and authority arrangements between state and regional governments, on the emergence of roadway project prioritization patterns and funding allocations across regions and towns. (shrink)

A topological description of space is given, based on the relation of connection among regions and the property of being limited. A minimal set of 10 constraints is shown to permit definitions of points and of open and closed sets of points and to be characteristic of locally compact T2 spaces. The effect of adding further constraints is investigated, especially those that characterise continua. Finally, the properties of mappings in region-based topology are studied. Not all such (...) mappings correspond to point functions and those that do correspond to continuous functions. (shrink)

We introduce a variety of algebras in the language of Boolean algebras with an extra implication, namely the variety of pseudo-subordination algebras, which is closely related to subordination algebras. We believe it provides a minimal general algebraic framework where to place and systematise the research on classes of algebras related to several kinds of subordination algebras. We also consider the subvariety of pseudo-contact algebras, related to contact algebras, and the subvariety of the strict implication algebras introduced in Bezhanishvili et al. (...) [(2019). A strict implication calculus for compact Hausdorff spaces. Annals of Pure and Applied Logic, 170, 102714]. The variety of pseudo-subordination algebras is term equivalent to the variety of Boolean algebras with a binary modal operator. We exploit this fact in our study. In particular, to obtain a topological duality from which we derive the known topological dualities for subordination algebras and contact algebras. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor (...) in mind. Wundt posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

It would be a good thing to have at our disposal a general theory of location that is neutral with respect to the view that some objects have more than one exact location, the view that some objects are located without having an exact location, and the view that some objects are “spanners”—where a spanner is an object exactly located at a region that has proper parts but which has no proper part exactly located at a proper part of (...) the region. As far as I know, no theory of location that can be found in the literature has this feature. I put forward a new theory that does—or so I argue. The theory takes as its sole locational primitive the notion of being entirely located at. (shrink)

Branching space-times (BST; Belnap, Synthese 92:385–434, 1992 ) is the most advanced formal framework for representing indeterminism. BST is however based on continuous partial orderings, while our natural way of describing indeterministic scenarios may be called discrete. This paper establishes a theorem providing a discrete data format for BST: it is proved that a discrete representation of indeterministic scenarios leading to BST models is possible in an important subclass of cases. This result enables the representation of limited indeterminism (...) in BST and hopefully paves the way for the representation of substances with capacities in that framework. (shrink)

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay to (...) the more-detailed cited works for further study. Throughout – again, due to space – we focus only on the most central motivation for standard non-classical-logic-based truth theories: namely, truth-theoretic paradox (specifically, due to space, the liar paradox). (shrink)

The many-Hilbert-spaces theory of quantum measurements, which was originally proposed by S. Machida and the present author, is reviewed and developed. Dividing a typical quantum measurement in two successive steps, the first being responsible for spectral decomposition and the second for detection, we point out that the wave packet reduction by measurement takes place at the latter step, through interaction of an object system with one of the local systems of detectors. First we discuss the physics of the detection process, (...) using numerical simulations for a simple detector model, and then formulate a general theory of quantum measurements to give the wave packet reduction in an explicit form as a sort of phase transition. The derivation is based on the macroscopic nature of the local system, to be represented in a continuous direct sum of many Hilbert spaces, and on the finite-size effect of the local system, to give phase shifts proportional to size parameters. We give a definite criterion for examining any instrument as to whether it works well as a detector or not. Finally, we compare the present theory with famous measurement theories and propose a possible experimental test to discriminate it from others. A few solvable detector models are also discussed. (shrink)

The article analyzes a number of modern physics approaches in different aspects, which are directly or indirectly affected by the problem of space. The variations of cosmologies based on the theory of relativity, quantum mechanics, the theory of inflation, the holographic universe model, the model of the virtual universe, etc. and their scientifically validated combinations are examined for specifics of category of space interpretation in each case. In reliance to the historical and philosophical analys is the connection (...) between the traditional interpretations of the concept of space in philosophy and the modern ones in physics is established. The context of some modern physical theories is concluded to bring new dimensions to the understanding of space (while retaining certain classical concepts). (shrink)

I propose that we interpret Kant’s argument from incongruent counterparts in the 1768 article ‘Concerning the Ultimate Ground of the Differentiation of Directions in Space’ in light of a theory of dynamic absolute space that he accepted throughout the 1750s and 1760s. This force-based or material conception of space was not an unusual interpretation of the Newtonian notion of absolute space. Nevertheless, commentators have continually argued that Kant’s argument is an utter failure that shifts from (...) the metaphysics of space to its epistemology, because he has no way to connect ‘directionality’ and ‘handedness’ to absolute space. This supposed failure is based on an understanding of absolute space in purely mathematical terms and as an absolute void that lacks any qualitative or dynamic features. If we recognize that Kant held that space had an intrinsic directional asymmetry then his argument successfully connects incongruent counterparts to absolute space. The presence of this notion in Kant’s pre-Critical thought is rarely noted, and its necessity in understanding his incongruence argument is novel. (shrink)

China has undergone a rapid process of modernization since 1949. The modernization process has accelerated with the development of the market economy and rural-to-urban migration after the 1980s. Nevertheless, Chinese regions still exhibit substantial differences in terms of individualist/collectivist cultural orientations. The rice theory and the climato-economic theory have attempted to explain this variation by analyzing provincial-level data. Based on a quantitative analysis of more granular, county-level variables spanning from the early 1990s until 2010, we offer an alternative account (...) of this cultural variety based on lineage development in different Chinese regions. Using the ArcGIS geographic information system, we first present the regional distribution of individualism/collectivism indicators at the county level through descriptive statistics and spatial analysis. We also run a regression model to analyze county-level data on individualism/collectivism that includes three periods. Our multi-level analysis shows that lineage development is a critical variable that explains more regional variation of culture in China when compared to other variables. While rice farming, the key variable of the rice theory, is a significant variable, its explanatory power is less than the lineage variable. Finally, our analysis shows that the climato-economic theory fails to explain the regional variation of culture. (shrink)

The assumption that natural selection alone is sufficient to explain not only which traits get fixed in a population/species, but also how they develop, has been questioned since Darwin’s times, and increasingly in the last decades. Alternative theories, linked to genetic and phenotypic processes, or to the theory of complex systems, have been proposed to explain the rise of the phenotypic variety upon which natural selection acts. In this article, we illustrate the current state of the issue and we (...) propose a logical space based on phenotypic robustness that allows a classification of evolutionary phenomena and can provide a framework for unifying all these accounts. (shrink)

The current technoscientific progress has led to a sectorization in the philosophy of science. Today the philosophy of science isn't is informal interested in studying old problems about the general characteristics of scientific practice. The interest of the philosopher of science is the study of concepts, problems and riddles of particular disciplines. Then, within this progress of philosophy of science, neuroscientific research stands out, because it invades issues traditionally addressed by the humanities, such as the nature of consciousness, action, knowledge, (...) normativity, etc. As a result, the new area of interdisciplinary study of neuroscience and philosophy arises: neurophilosophy. This emerging area applies neuroscientific concepts to traditional philosophical questions, limiting their responses to neuroscientific revelations about nervous systems. Neurophilosophy research focuses on problems related to the indirect nature of mind and brain, computational or representative analysis of brain process, relationships between psychological and neuroscientific research, adequate adaptations of physical and philosophical concepts in neuroscience and the place of cognitive functions. Now, the temporal representation of conscious experience and the types of the neural architecture to represent objects in time have aroused scientific interest. Under these interests, we focus on the studies on the temporary triadic structure of phenomenological consciousness in Dan Lloyd and Rick Grush. From Grush’s studies, the importance of Kantian ideas for cognitive neuroscience emerges, due to the active way in which Kant conceived space and time as forms of intuition, within which the mind interprets its experience. Under this perspective, the theoretical arguments of Dennett-Kinsbourne and Eagleman-Sejnowski represent winks in the direction of Kant-Husserl within the neuroscientific goal while considering that the contents provided by the mind included space, objects and perception of causal relationships. Then, theories of cognitive neuroscience are beginning to suggest that these elements are also, as Kant argued, interpretative elaborations provided by mind / brain, and not only content received from outside. In other words, current cognitive neuroscientific theories try to pass from its Humean phase to a Kantian phase. So, the challenge has been to explain that these elements are provided by the mind and the world itself, and how they have the content they have come from. These are lacking in current studies. Filling this gap helps to involve the analysis of the scientist’s experience in his theoretical attitude. In this sense, an investigation under the Kantian-Husserlian approach that involves pure intuitions a priori with the experience of the scientific and neuroscientific concepts represents a ground-breaking. At present, a neurophilosophical study about this does not exist. In this sense, one feasible proposal for research would be based on the application of neuroscientific results of Moser-Britt to philosophical problems of foundational notions in relativistic physics: space, time, space-time, field, etc., under the Kantian-Husserlian approach, which allows to demonstrate the multidisciplinary link between neurophilosophy and physics. This represents a ground-breaking area in current interests in scientific research, with a positive impact in the field of neuroscience, and contributing to the study of abstraction emphasizing the importance of Kant’s Copernican turn and Husserl’s phenomenological ideas in the construction of physical theories. -/- . (shrink)

Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for (...) instance, the relation of n-ary contact, internal connectedness and some others. To overcome this disadvantage, we introduce a generalisation of contact algebra, replacing the contact with a binary relation between finite sets of regions and a region, satisfying some formal properties of Tarski consequence relation. The obtained system is called sequent algebra, considered as an algebraic counterpart of a new mereotopology. We develop the topological representation theory for sequent algebras showing in this way certain correspondence between point-free and point-based models of space. As a by-product, we show how one logical relation in nature notion, Tarski consequence relation, may have also certain spatial meaning. (shrink)

A fiber bundle constructed over spacetime is used as the basic underlying framework for a differential geometric description of extended hadrons. The bundle has a Cartan connection and possesses the de Sitter groupSO(4, 1) as structural group, operating as a group of motion in a locally defined space of constant curvature (the fiber) characterized by a radius of curvatureR≈10−13 cm related to the strong interactions. A hadronic matter field ω(x, ζ) is defined on the bundle space, withx the (...) spacetime coordinate and ζ varying in the local fiber. The components of a generalized tensor current ℑ μab (M) (x) are introduced, involving a bilinear expression in the fields ω(x, ζ) and ωΔ(x, ζ) integrated over the local fiber at the pointx. This hadronic matter current is considered as a source current for the underlying fiber geometry by coupling it in a gauge-invariant manner to the curvature expressions derived from the bundle connection coefficients, which are associated here with strong interaction effects, i.e., play the role of meson fields induced in the geometry. Studying discrete symmetry transformations between the 16 differently soldered Cartan bundles, a generalized matter-antimatter conjugation Ĉ is established which leaves the basic current-curvature equations Ĉ-invariant. The discrete symmetry transformation Ĉ turns out to be the direct product of an ordinary charge conjugation for the Dirac point-spinor part of ω(x, ζ) and an internal $\hat P\hat T$ transformation applied globally on the bundle to the fiber (i.e., de Sitter) part of ω(x, ζ). (shrink)

We face with the question of a suitable measure theory in Euclidean point-free geometry and we sketch out some possible solutions. The proposed measures, which are positive and invariant with respect to movements, are based on the notion of infinitesimal masses, i.e. masses whose associated supports form a sequence of finer and finer partitions.

In the Treatise of Human Nature , Hume argues that, because we have adequate ideas of the smallest parts of space, we can infer that space itself must conform to our representations of it. The paper examines two challenges to this argument based on Descartes's and Locke's treatments of adequate ideas, ideas that fully capture the objects they represent. The first challenge, posed by Arnauld in his Objections to the Meditations , asks how we can know that (...) an idea is adequate. The second challenge, implicit in Locke's Essay , asks how an empiricist can characterize an idea as inadequate, as both picking out an object and yet failing to capture it fully. In showing how Hume responds to these challenges, his theory of perceptual representation is explained and his treatment of space is related to his scepticism. His conclusion is shown not to be a characterization of space as it exists wholly apart from our powers of conception. Instead, in an adumbration of Kant, his claim is restricted to space as it appears to us. (shrink)

How are ownership relationships distributed in the geographical space? Is physical proximity a significant factor in investment decisions? What is the impact of the capital city? How can the structure of investment patterns characterize the attractiveness and development of economic regions? To explore these issues, we analyze the network of company ownership in Hungary and determine how are connections are distributed in geographical space. Based on the calculation of the internal and external linking probabilities, we propose several (...) measures to evaluate the attractiveness of towns and geographic regions. Community detection based on several null models indicates that modules of the network coincide with administrative regions, in which Budapest is the absolute centre, and where county centres function as hubs. Gravity model-based modularity analysis highlights that, besides the strong attraction of Budapest, geographical distance has a significant influence over the frequency of connections and the target nodes play the most significant role in link formation, which confirms that the analysis of the directed company-ownership network gives a good indication of regional attractiveness. (shrink)

The notion of conceptual space, proposed by Gärdenfors as a framework for the representation of concepts and knowledge, has been highly influential over the last decade or so. One of the main theses involved in this approach is that the conceptual regions associated with properties, concepts, verbs, etc. are convex. The aim of this paper is to show that such a constraint—that of the convexity of the geometry of conceptual regions—is problematic; both from a theoretical perspective and with regard (...) to the inner workings of the theory itself. On the one hand, all the arguments provided in favor of the convexity of conceptual regions rest on controversial assumptions. Additionally, his argument in support of a Euclidean metric, based on the integral character of conceptual dimensions, is weak, and under non-Euclidean metrics the structure of regions may be non-convex. Furthermore, even if the metric were Euclidean, the convexity constraint could be not satisfied if concepts were differentially weighted. On the other hand, Gärdenfors’ convexity constraint is brought into question by the own inner workings of conceptual spaces because: some of the allegedly convex properties of concepts are not convex; the conceptual regions resulting from the combination of convex properties can be non-convex; convex regions may co-vary in non-convex ways; and his definition of verbs is incompatible with a definition of properties in terms of convex regions. Therefore, the mandatory character of the convexity requirement for regions in a conceptual space theory should be reconsidered. (shrink)

A similarity space is a hyperspace in which the dimensions represent various dimensions on which objects may differ. The similarity space theory of concepts is the thesis that concepts are regions of similarity spaces that are somehow realized in the brain. Proponents of such a theory of concepts include Paul Churchland and Peter Gärdenfors. This paper argues that the similarity space theory of concepts is mistaken because regions of similarity spaces cannot serve as the components of judgments. (...) It emerges that although similarity spaces cannot model concepts, they may model a kind of nonconceptual representation. (shrink)

Contact algebra is one of the main tools in region-based theory of space. In it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join-semilattices and structures, called distributive contact join-semilattices. We obtain a set-theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of (...) CJS and of DCJS is the same and is decidable. (shrink)

The experimental testing of the Lorentz transformations is based on a family of sets of coordinate transformations that do not comply in general with the principle of equivalence of the inertial frames. The Lorentz and Galilean sets of transformations are the only member sets of the family that satisfy this principle. In the neighborhood of regular points of space-time, all members in the family are assumed to comply with local homogeneity of space-time and isotropy of space (...) in at least one free-falling elevator, to be denoted as Robertson'sab initio rest frame [H. P. Robertson,Rev. Mod. Phys. 21, 378 (1949)].Without any further assumptions, it is shown that Robertson's rest frame becomes a preferred frame for all member sets of the Robertson family except for, again, Galilean and Einstein's relativities. If one now assumes the validity of Maxwell-Lorentz electrodynamics in the preferred frame, a different electrodynamics spontaneously emerges for each set of transformations. The flat space-time of relativity retains its relevance, which permits an obvious generalization, in a Robertson context, of Dirac's theory of the electron and Einstein's gravitation. The family of theories thus obtained constitutes a covering theory of relativistic physics.A technique is developed to move back and forth between Einstein's relativity and the different members of the family of theories. It permits great simplifications in the analysis of relativistic experiments with relevant “Robertson's subfamilies.” It is shown how to adapt the Clifford algebra version of standard physics for use with the covering theory and, in particular, with the covering Dirac theory. (shrink)

The question of the dimensionality of space has informed the development of physics since the beginning of the twentieth century in the quest for a unified picture of quantum processes and gravitation. Scientists have worked within various approaches to explain why the universe appears to have a certain number of spatial dimensions. The question of why space has three dimensions has a genuinely philosophical nature that can be shaped as a problem of justifying a contingent necessity of the (...) world. In contrast to explanations of three-dimensionality based on anthropic arguments, we support the search for a theory that provides a justification for the dimensionality of space based on a combination of deductive and inductive reasoning applied to science. In doing so, we argue that Kant correctly approached the question in “Thoughts on the true estimation of living forces” by connecting space dimensionality and the inverse square law. In expounding the strategy of Kant’s argument, we describe the main features of a general Kantian explanation of the dimensionality of space and discuss them with respect to current accounts of explanation in the philosophy of science, such as inference to the best explanation and the deductive-nomological model. (shrink)

The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C, called contact. Standard models of contact algebras are topological and are the contact algebras of regular closed sets in a given topological space. In such a contact algebra we add the predicate of internal connectedness with the following meaning—a regular closed set is internally connected if and only (...) if its interior is a connected topological space in the subspace topology. We add also a ternary relation \ meaning that the intersection of the first two arguments is included in the third. In this paper the extension of a Boolean algebra with \, contact and internal connectedness, satisfying certain axioms, is called an extended contact algebra. We prove a representation theorem for extended contact algebras and thus obtain an axiomatization of the theory, consisting of the universal formulas, true in all topological contact algebras with added relations of internal connectedness and \. (shrink)

My enquiry will be within the scope of two suppositions. The first is that Space is continuous, not discrete. The second is that we are to adopt realism about either points or regions or both. That does not, however, preclude a choice of categories—substance or property—for these entities. Thus we could think of either regions or points as properties of the things in those regions or at those points. Alternatively, we could think of regions or points as substances which (...) themselves have properties. (shrink)

This paper attempts to reinterpret asylum theory (1954) propounded by Ortwin Henssler (1923–2017) as a free-space theory of education, as a way of grasping the problematic nature of ‘pedagogical protection.’ The theoretical potential of Henssler’s thought has been more appreciated, accepted, and developed in Japan than in his native Germany. First, I outline Henssler’s theory of asylum and show how his theory has been received and developed in Japan, especially in the fields of historical researches. Secondly, I discuss the (...) possibility of reading Henssler’s thought of asylum as a theory of ‘pedagogical protection.’ Thirdly, I consider whether it is possible to interpret ‘free space’ in education based on the model of asylum. Finally, I delineate some prospects for and challenges involved in connecting the theory of asylum to the theory of education. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.