A sequent calculus S for the variety tqBa of all topological quasi-Boolean algebras is established. Using a construction of syntactic finite algebraic model, the finite model property of S is shown, and thus the decidability of S is obtained. We also introduce two non-distributive variants of topological quasi-Boolean algebras. For the variety TDM5 of all topological De Morgan lattices with the axiom 5, we establish a sequent calculus S5 and prove that the cut elimination holds for it. Consequently the decidability (...) of S5 is established. Furthermore, this proof-theoretic method is applied to some subvarieties of TDM5. (shrink)

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent (...) topological reconstruction of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

Hobbes emphasized that the state of nature is a state of war because it is characterized by fundamental and generalized distrust. Exiting the state of nature and the conflicts it inevitably fosters is therefore a matter of establishing trust. Extant discussions of trust in the philosophical literature, however, focus either on isolated dyads of trusting individuals or trust in large, faceless institutions. In this paper, I begin to fill the gap between these extremes by analyzing what I call the (...) class='Hi'>topology of communities of trust. Such communities are best understood in terms of interlocking dyadic relationships that approximate the ideal of being symmetric, Euclidean, reflexive, and transitive. Few communities of trust live up to this demanding ideal, and those that do tend to be small (between three and fifteen individuals). Nevertheless, such communities of trust serve as the conditions for the possibility of various important prudential epistemic, cultural, and mental health goods. However, communities of trust also make possible various problematic phenomena. They can become insular and walled-off from the surrounding community, leading to distrust of out-groups. And they can lead their members to abandon public goods for tribal or parochial goods. These drawbacks of communities of trust arise from some of the same mecha-nisms that give them positive prudential, epistemic, cultural, and mental health value – and so can at most be mitigated, not eliminated. (shrink)

We provide three innovations to recent debates about whether topological or “network” explanations are a species of mechanistic explanation. First, we more precisely characterize the requirement that all topological explanations are mechanistic explanations and show scientific practice to belie such a requirement. Second, we provide an account that unifies mechanistic and non-mechanistic topological explanations, thereby enriching both the mechanist and autonomist programs by highlighting when and where topological explanations are mechanistic. Third, we defend this view against some powerful mechanist objections. (...) We conclude from this that topological explanations are autonomous from their mechanistic counterparts. (shrink)

In the last two decades, philosophy of neuroscience has predominantly focused on explanation. Indeed, it has been argued that mechanistic models are the standards of explanatory success in neuroscience over, among other things, topological models. However, explanatory power is only one virtue of a scientific model. Another is its predictive power. Unfortunately, the notion of prediction has received comparatively little attention in the philosophy of neuroscience, in part because predictions seem disconnected from interventions. In contrast, we argue that topological predictions (...) can and do guide interventions in science, both inside and outside of neuroscience. Topological models allow researchers to predict many phenomena, including diseases, treatment outcomes, aging, and cognition, among others. Moreover, we argue that these predictions also offer strategies for useful interventions. Topology-based predictions play this role regardless of whether they do or can receive a mechanistic interpretation. We conclude by making a case for philosophers to focus on prediction in neuroscience in addition to explanation alone. (shrink)

Fundamental concrete particulars are needed to explain facts about non-fundamental concrete particulars. However, the former can only play this explanatory role if they are properly discernible from the latter. Extant theories of how to discern fundamental concreta primarily concern mereological structure. Those according to which fundamental concreta can bear, but not be, proper parts are motivated by the possibilities that all concreta bear proper parts and that some properties of wholes are not fixed by the properties of their proper parts. (...) In response, theorists who hold that the fundamental concrete particulars can be proper parts may appeal to the possibility that every concrete particular is a proper part—that there is no mereologically maximal whole world, as well as to the intuition that fundamental concreta are qualitatively homogeneous “blocks” from which non-fundamental concreta are built. After motivating the plausibility of gunk and junk, the present essay proposes a constraint on fundamental concrete particulars based on topology instead of mereology: the fundamental concrete particulars must be appropriately connected. This constraint has the unique advantage of consistency with each of gunk, emergence, junk, and the building block intuition. (shrink)

This chapter provides a systematic overview of topological explanations in the philosophy of science literature. It does so by presenting an account of topological explanation that I (Kostić and Khalifa 2021; Kostić 2020a; 2020b; 2018) have developed in other publications and then comparing this account to other accounts of topological explanation. Finally, this appraisal is opinionated because it highlights some problems in alternative accounts of topological explanations, and also it outlines responses to some of the main criticisms raised by the (...) so-called new mechanists. (shrink)

This paper considers a generalisation of the sorites paradox, in which only topological notions are employed. We argue that by increasing the level of abstraction in this way, we see the sorites paradox in a new, more revealing light—a light that forces attention on cut-off points of vague predicates. The generalised sorites paradox presented here also gives rise to a new, more tractable definition of vagueness.

Since antiquity well into the beginnings of the 20th century geometry was a central topic for philosophy. Since then, however, most philosophers of science, if they took notice of topology at all, considered it as an abstruse subdiscipline of mathematics lacking philosophical interest. Here it is argued that this neglect of topology by philosophy may be conceived of as the sign of a conceptual sea-change in philosophy of science that expelled geometry, and, more generally, mathematics, from the central (...) position it used to have in philosophy of science and placed logic at center stage in the 20th century philosophy of science. Only in recent decades logic has begun to loose its monopoly and geometry and topology received a new chance to find a place in philosophy of science. (shrink)

The aim of this paper is to show that (elementary) topology may be useful for dealing with problems of epistemology and metaphysics. More precisely, I want to show that the introduction of topological structures may elucidate the role of the spatial structures (in a broad sense) that underly logic and cognition. In some detail I’ll deal with “Cassirer’s problem” that may be characterized as an early forrunner of Goodman’s “grue-bleen” problem. On a larger scale, topology turns out to (...) be useful in elaborating the approach of conceptual spaces that in the last twenty years or so has found quite a few applications in cognitive science, psychology, and linguistics. In particular, topology may help distinguish “natural” from “not-so-natural” concepts. This classical problem that up to now has withstood all efforts to solve (or dissolve) it by purely logical methods. Finally, in order to show that a topological perspective may also offer a fresh look on classical metaphysical problems, it is shown that Leibniz’s famous principle of the identity of indiscernibles is closely related to some well-known topological separation axioms. More precisely, the topological perspective gives rise in a natural way to some novel variations of Leibniz’s principle. (shrink)

In this paper, I argue that the newly developed network approach in neuroscience and biology provides a basis for formulating a unique type of realization, which I call topological realization. Some of its features and its relation to one of the dominant paradigms of realization and explanation in sciences, i.e. the mechanistic one, are already being discussed in the literature. But the detailed features of topological realization, its explanatory power and its relation to another prominent view of realization, namely the (...) semantic one, have not yet been discussed. I argue that topological realization is distinct from mechanistic and semantic ones because the realization base in this framework is not based on local realisers, regardless of the scale but on global realizers. In mechanistic approach, the realization base is always at the local level, in both ontic and epistemic accounts. The explanatory power of realization relation in mechanistic approach comes directly from the realization relation-either by showing how a model is mapped onto a mechanism, or by describing some ontic relations that are explanatory in themselves. Similarly, the semantic approach requires that concepts at different scales logically satisfy microphysical descriptions, which are at the local level. In topological framework the realization base can be found at different scales, but whatever the scale the realization base is global, within that scale, and not local. Furthermore, topological realization enables us to answer the “why” questions, which according to Polger 2010 make it explanatory. The explanatoriness of topological realization stems from understanding mathematical consequences of different topologies, not from the mere fact that a system realizes them. (shrink)

We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logic is in subset spaces , and we obtain complete axiomatizations for the sentences which hold in these interpretations. In addition, we axiomatize the validities of the smaller class of topological spaces in a system we call topologic . We also prove decidability for these two systems. Our results on topologic relate (...) early work of McKinsey on topological interpretations of S4 with recent work of Georgatos on topologic. Some of the results of this paper were presented at the 1992 conference on Theoretical Aspects of Reasoning about Knowledge. (shrink)

In this article, we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multivalued functions.” This generalizes known statements about weakly o-minimal, C-minimal, and P-minimal theories.

I explain the difficulty of making various concepts of and relating to probability precise, rigorous and physically significant when attempting to apply them in reasoning about objects living in infinite-dimensional spaces, working through many examples from cosmology. I focus on the relation of topological to measure-theoretic notions of and relating to probability, how they diverge in unpleasant ways in the infinite-dimensional case, and are even difficult to work with on their own. Even in cases where an appropriate family of spacetimes (...) is finite-dimensional, and so admits a measure of the relevant sort, however, it is always the case that the family is not a compact topological space, and so does not admit a physically significant, well behaved probability measure. Problems of a different but still deeply troubling sort plague arguments about likelihood in that context, which I also discuss. I conclude that most standard forms of argument used in cosmology to estimate the likelihood of the occurrence of various properties or behaviors of spacetimes have serious mathematical, physical and conceptual problems. (shrink)

The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the first author. It is proved in this note that a closed logic theory Γ is consistent if and only if it contains no interior point in the logic metric space. Moreover the relationship between logic (...) closedness and topological closedness of a logic theory Γ is discussed. Finally, the concept of full divergency is also characterized by means of the topological concept of density. (shrink)

We reformulate a key definition given by Wáng and Ågotnes to provide semantics for public announcements in subset spaces. More precisely, we interpret the precondition for a public announcement of ???? to be the “local truth” of ????, semantically rendered via an interior operator. This is closely related to the notion of ???? being “knowable”. We argue that these revised semantics improve on the original and offer several motivating examples to this effect. A key insight that emerges is the crucial (...) role of topological structure in this setting. Finally, we provide a simple axiomatization of the resulting logic and prove completeness. (shrink)

How do concepts of topology such as that of a boundary apply to the empirical world? Take the example of a chess board, represented here with black squares in black and red squares in white. We see by looking at the board that the squares of any one color have common boundaries only with squares of the opposite color, but each square has corners in common with other squares of the same color, which are points at which their common (...) boundaries intersect. For example, the white square labelled ‘A’ has common boundaries with the black squares that surround it, and common corners with the white squares like square B that are diagonally adjacent to it. (shrink)

The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an analogous result from [2] for sets and functions definable in models of weakly o-minimal theories. We pay special attention to large subsets (...) of Cartesian products of definable sets, showing that if X, Y and S are non-empty definable sets and S is a large subset of X × Y, then for a large set of tuples $\langle \overline{a}_{1},\ldots,\overline{a}_{2^{k}}\rangle \in X^{2^{k}}$ , where k = dim(Y), the union of fibers $S_{\overline{a}_{1}}\cup \cdots \cup S_{\overline{a}_{2^{k}}}$ is large in Y. Finally, given a weakly o-minimal structure ������, we find various conditions equivalent to the fact that the topological dimension in ������ enjoys the addition property. (shrink)

In this highly original text, Christopher Steinsvold explores an alternative semantics for logics of rational belief. Topologies, as mathematical objects, are typically interpreted in terms of space; here topologies are re-interpreted in terms of an agent with rational beliefs. The topological semantics tells us that the agent can never, in principle, know everything; that the agent's beliefs can never be complete. -/- A number of completeness proofs are given for a variety of logics of rational belief. Beyond this, the author (...) explores the philosophical question of why our beliefs can never be complete, and considers the possibility that a totality of truths is a dialethia. -/- This work will be of interest to all philosophers interested in epistemology, and modal logicians as well. (shrink)

I argue that it may well be the case that space and time do not consist of points, indeed that they have no smallest parts. I examine two different approaches to such pointless spaces : a topological approach and a measure theoretic approach. I argue in favor of the measure theoretic approach.

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an (...) interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

The standard presentation of topological spaces relies heavily on (naïve) set theory: a topology consists of a set of subsets of a set (of points). And many of the high-level tools of set theory are required to achieve just the basic results about topological spaces. Concentrating on the mathematical structures, category theory offers the possibility to look synthetically at the structure of continuous transformations between topological spaces addressing specifically how the fundamental notions of point and open come about. As (...) a byproduct of this, one may look at the different approaches to topology from an external perspective and compare them in a unified way. Technically, the category of sober topological spaces can be seen as consisting of (co)algebraic structures in the exact completion of the elementary category of sets and relations. Moreover, the same abstract construction of taking the exact completion, when applied to the category of topological spaces and continuous functions produces an extension of it which is cartesian closed. In other words, there is one general mathematical construction that, when applied to a very elementary category, generates the category of topological spaces and continuous functions, and when applied to that category produces a very suitable category where to deal with all sorts functions spaces. Yet, via such free constructions it is possible to give a new meaning to Marshall Stone’s dictum: “always topologize” as the category of sets and relations is the most natural way to give structure to logic and the category of topological spaces and continuous functions is obtained from it by a good mix of free – i.e. syntactic – constructions. (shrink)

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that (...) the main candidates—and each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

We construct a fibered dimension function in some topological differential fields.

Recent philosophical work has explored the distinction between causal and non-causal forms of explanation. In this literature, topological explanation is viewed as a clear example of the non-causal variety–it is claimed that topology lacks temporal information, which is necessary for causal structure. This paper explores the distinction between topological and causal forms of explanation and argues that this distinction is not as clear cut as the literature suggests. One reason for this is that some explanations involve both topological and (...) causal information. In these “borderline” cases scientists explain some outcome by appealing to the causal topology of the system of interest. These cases help clarify a type of topological explanation that is genuinely causal, but that differs from standard topological and interventionist accounts of explanation. (shrink)

갈등은 일차적으로 개인(주관)의 심리문제일 것이지만, 결국은 사회(주체)의 정치적 문제가 된다. 그리고 이 정치적 문제는 갈등의 제거가 아니라 갈등의 승인에서 가능하다. 이는 갈등에 대한 정치적 논의가 사회적 현실에 대한 “탈구와 재구성”의 역학, 즉 ‘해방의 변증법’을 수반하는 ‘갈등의 위상학’을 통해 이루어져야 한다는 것을 의미한다. 주체에 억압된 욕망, 부연하자면 ‘존재론적 욕망’으로 회귀하며 “내재성”의 논리에 입각해 갈등의 ‘위상학’(topology)을 선명히 가리킨 것은 현대의 철학, 특히 후설 이후 메를로퐁티와 하이데거, 그리고 라캉과 들뢰즈의 철학이었다. 이 글은, 이들에 함축된 ‘시(詩)적 인식’의 위상학적 양상을 메를로퐁티의 관점으로 수렴하는 자리에서, (...) 갈등이 갖는 해방의 변증법적 의의를 짚은 후, 우리사회에서 폭발하는 갈등이 위기가 아니라 사실은 〈외재적 초월의 유토피아적 허구를 넘는 ‘내재적 초월’의 현실에 입각해 정치적 상상력을 재정립할 기회〉의 한 계기임을 제시할 것이다. (shrink)

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of f is (...) particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

The standard mathematical account of the sub-metrical geometry of a space employs topology, whose foundational concept is the open set. This proves to be an unhappy choice for discrete spaces, and offers no insight into the physical origin of geometrical structure. I outline an alternative, the Theory of Linear Structures, whose foundational concept is the line. Application to Relativistic space-time reveals that the whole geometry of space-time derives from temporal structure. In this sense, instead of spatializing time, Relativity temporalizes (...) space. (shrink)

The publication of Michel Foucault’s lectures at the Collège de France in the late 1970s has provided new insight into crucial developments in his late work, including the return to an analysis of the state and the introduction of biopolitics as a central theme. According to one dominant interpretation, these shifts did not entail a fundamental methodological break; the approach Foucault developed in his work on knowledge/power was simply applied to new objects. The present article argues that this reading — (...) which is colored by the overwhelming privilege afforded to Discipline and Punish in secondary literature — obscures an important modification in Foucault’s method and diagnostic style that occurred between the introduction of biopolitics in 1976 (in Society Must Be Defended) and the lectures of 1978 ( Security, Territory, Population) and 1979 ( Birth of Biopolitics). Foucault’s initial analysis of biopolitics was couched in surprisingly epochal and totalizing claims about the characteristic forms of power in modernity. The later lectures, by contrast, suggest what I propose to call a ‘topological’ analysis that examines the ‘patterns of correlation’ in which heterogeneous elements — techniques, material forms, institutional structures and technologies of power — are configured, as well as the redeployments through which these patterns are transformed. I also indicate how attention to the topological dimension of Foucault’s analysis might change our understanding of key themes in his late work: biopolitics, the analysis of thinking, and the concept of governmentality. (shrink)

We interpret the basic notions of topological dynamics in the model-theoretic setting, relating them to generic types of definable group actions and their generalizations.

Stalnaker, 169–199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as ‘subjective certainty’. In this paper, we provide a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces. This semantics extends the standard topological interpretation of knowledge with a new topological semantics for belief. We prove that the belief (...) logic KD45 is sound and complete with respect to the class of extremally disconnected spaces and we compare our approach to a different topological setting in which belief is interpreted in terms of the derived set operator. We also study belief revision as well as belief dynamics by providing a topological semantics for conditional belief and belief update modalities, respectively. Our setting based on extremally disconnected spaces, however, encounters problems when extended with dynamic updates. We then propose a solution consisting in interpreting belief in a similar way based on hereditarily extremally disconnected spaces, and axiomatize the belief logic of hereditarily extremally disconnected spaces. Finally, we provide a complete axiomatization of the logic of conditional belief and knowledge, as well as a complete axiomatization of the corresponding dynamic logic. (shrink)

In “Topology of Balasaguni’s Kutadgu Bilig: Thinking the Between,” Onur Karamercan focuses on the philosophical dimension of Kutadgu Bilig, a poetic work of Yūsuf Balasaguni, an 11th century Central Asian thinker, poet, and statesman. Karamercan pays special attention to the meaning of betweenness and, in the first step of his argument, discusses the hermeneutic and topological implications of the between, distingushing the dynamic sense of betweenness from a static sense of in-betweenness. He then moves on to analyze Balasaguni’s notion (...) of language, which he interprets as an early critique of the instrumental account of language and, by examining several selected fragments from Kutadgu Bilig, illustrates Balasaguni’s designation of language as an inexhaustible phenomenon. In the process, he also points to the possible parallels between Balasaguni’s and Heidegger’s ideas of language. In the final section of the article, building on his argument, Karamercan thematizes the margins of Turkic languages and of Islamic philosophy, suggesting that they need to be reexamined. He problematizes the very meaning of Asia itself by decentering what he calls “its internal East–West antagonism” and puts forth instead a framework based on in-betweenness reinterpreted from a topological perspective, proposing it as an alternative view which might help us make sense of the hermeneutic neighborhoods of Asian philosophies. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □ , and two temporal modalities, ○ and * , both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

The quantization of the magnetic flux in superconducting rings is studied in the frame of a topological model of electromagnetism that gives a topological formulation of electric charge quantization. It turns out that the model also embodies a topological mechanism for the quantization of the magnetic flux with the same relation between the fundamental units of magnetic charge and flux as there is between the Dirac monopole and the fluxoid.

The present paper gives a topological solution to representability problems related to multi-utility, in the field of Decision Theory. Necessary and sufficient topologies for the existence of a semicontinuous and finite Richter–Peleg multi-utility for a preorder are studied. It is well known that, given a preorder on a topological space, if there is a lower semicontinuous Richter–Peleg multi-utility, then the topology of the space must be finer than the Upper topology. However, this condition fails to be sufficient. Instead (...) of search for properties that must be satisfied by the preorder, we study finer topologies which are necessary or/and sufficient for the existence of semicontinuous representations. We prove that Scott topology must be contained in the topology of the space in case there exists a finite lower semicontinuous Richter–Peleg multi-utility. However, the existence of this representation cannot be guaranteed. A sufficient condition is given by means of Alexandroff’s topology, for that, we prove that more order implies less Alexandroff’s topology, as well as the converse. Finally, the paper is implemented with a topological study of the maximal elements. (shrink)

Dynamic topological logic combines topological and temporal modalities to express asymptotic properties of dynamic systems on topological spaces. A dynamic topological model is a triple 〈X ,f , V 〉, where X is a topological space, f : X → X a continuous function and V a truth valuation assigning subsets of X to propositional variables. Valid formulas are those that are true in every model, independently of X or f. A natural problem that arises is to identify the logics (...) obtained on familiar spaces, such as . It [9] it was shown that any satisfiable formula could be satisfied in some for n large enough, but the question of how the logic varies with n remained open.In this paper we prove that any fragment of DTL that is complete for locally finite Kripke frames is complete for . This includes DTL○; it also includes some larger fragments, such as DTL1, where “henceforth” may not appear in the scope of a topological operator. We show that satisfiability of any formula of our language in a locally finite Kripke frame implies satisfiability in by constructing continuous, open maps from the plane into arbitrary locally finite Kripke frames, which give us a type of bisimulation. We also show that the results cannot be extended to arbitrary formulas of DTL by exhibiting a formula which is valid in but not in arbitrary topological spaces. (shrink)

In this work, we investigate the relationship between paraconsistent semantics and some well-known topological spaces such as connected and continuous spaces. We also discuss homotopies as truth preserving operations in paraconsistent topological models.

We prove a topological completeness theorem for the modal logic $$\textsf{GLP}$$ GLP containing operators $$\{\langle \xi \rangle :\xi \in \textsf{Ord}\}$$ { ⟨ ξ ⟩ : ξ ∈ Ord } intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X, any sentence $$\phi $$ ϕ consistent with $$\textsf{GLP}$$ GLP can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the (...) finitely many modalities that occur in $$\phi $$ ϕ. (shrink)

We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we extend (...) the positive answer of Hilbert’s seventeenth problem and we prove an Ax–Kochen–Ershov theorem. Similarly, we consider first-order theories of topological fields admitting a model-companion and their expansion to differential fields, and under a similar criterion as before, we show that the expansion still admits a model-companion. This last result can be compared with those of M. Tressl: on one hand we are only dealing with a single derivation whereas he is dealing with several, on the other hand we are not restricting ourselves to definable expansions of the ring language, taking advantage of our topological context. We apply our results to fields endowed with several valuations. (shrink)

Territorial borders just like other boundaries are involved in a politics of belonging, a politics of “us” and “them”. Border management regimes are thus part of processes of othering. In this article, we use the management of borders and populations in Europe as an empirical example to make a theoretical claim about race. We introduce the notion of the phenotypic other to argue that race is a topological object, an object that is spatially and temporally folded in distributed technologies of (...) governance. To elaborate on these notions, we first examine a number of border management technologies through which both race and Europe are brought into being. More specifically we focus on how various such technologies aimed at monitoring the movement of individuals together with the management of populations have come to play crucial roles in Europe. Different border management regimes, we argue, do not only enact different versions of Europe but also different phenotypic others. We then shift the focus from border regimes to internal practices of governance, examining forensic DNA databanks to unravel articulations of race in the traffic between databases and societies. (shrink)

The concept of "the flesh" (la chair) derives from the writings of Maurice Merleau-Ponty. This was the word he used to name the concrete realm of sentient bodies and life processes that has been eclipsed by the abstractions of science, technology, and modern culture. Topology, to conventional understanding, is the branch of mathematics that concerns itself with the properties of geometric figures that stay the same when the figures are stretched or deformed. Topologies of the Flesh blends continental thought (...) and mathematical imagination, opening up a new area of philosophical inquiry: topological phenomenology. Through its unique application of qualitative mathematics, this work extends the approaches of Merleau-Ponty and Heidegger so as to offer a detailed exploration of previously uncharted dimensions of human experience and the natural world. (shrink)

We derive for Bohmian mechanics topological factors for quantum systems with a multiply-connected configuration space Q. These include nonabelian factors corresponding to what we call holonomy-twisted representations of the fundamental group of Q. We employ wave functions on the universal covering space of Q. As a byproduct of our analysis, we obtain an explanation, within the framework of Bohmian mechanics, of the fact that the wave function of a system of identical particles is either symmetric or anti-symmetric.

We give topological proofs of Görnemann’s adaptation to Heyting algebras of the Rasiowa-Sikorski Lemma for Boolean algebras; and of the Rauszer-Sabalski generalisation of it to distributive lattices. The arguments use the Priestley topology on the set of prime filters, and the Baire category theorem. This is preceded by a discussion of criteria for compactness of various spaces of subsets of a lattice, including spaces of filters, prime filters etc.

For any subset $Z \subseteq {\mathbb {Q}}$, consider the set $S_Z$ of subfields $L\subseteq {\overline {\mathbb {Q}}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in L such that $C \cap {\mathbb {Q}}=Z$. Placing a natural topology on the set ${\operatorname {Sub}({\overline {\mathbb {Q}}})}$ of subfields of ${\overline {\mathbb {Q}}}$, we show that if Z is not thin in ${\mathbb {Q}}$, then $S_Z$ is meager in ${\operatorname {Sub}({\overline {\mathbb {Q}}})}$. Here, thin and meager both mean (...) “small”, in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields L have the property that the ring of algebraic integers $\mathcal {O}_L$ is universally definable in L. The main tools are Hilbert’s Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists $-definable subset of an algebraic extension of ${\mathbb Q}$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials. (shrink)