Homologous operational localization processes are effectuated in terms of generalized topological covering systems on structures of physical events. We study localization systems of quantum events' structures by means of Gtothendieck topologies on the base category of Boolean events' algebras. We show that a quantum events algebra is represented by means of a Grothendieck sheaf-theoretic fibred structure, with respect to the global partial order of quantum events' fibres over the base category of local Boolean frames.

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic (...) geometry a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

We develop a categorical scheme of interpretation of quantum event structures from the viewpoint of Grothendieck topoi. The construction is based on the existence of an adjunctive correspondence between Boolean presheaves of event algebras and Quantum event algebras, which we construct explicitly. We show that the established adjunction can be transformed to a categorical equivalence if the base category of Boolean event algebras, defining variation, is endowed with a suitable Grothendieck topology of covering systems. The scheme leads (...) to a sheaf theoretical representation of Quantum structure in terms of variation taking place over epimorphic families of Boolean reference frames. (shrink)

We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics.

We characterize the category of Sambin’s positive topologies as the result of the Grothendieck construction applied to a doctrine over the category Loc of locales. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the constructed adjunction.

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed (...) in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed. (shrink)

We characterize the category of Sambin’s positive topologies as the result of the Grothendieck construction applied to a doctrine over the category Loc of locales. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the constructed adjunction.

The centrality of the whole/part relation in mathematics is demonstrated through the presentation and analysis of examples from algebra, geometry, functional analysis,logic, topology and category theory.

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, in a topos-theoretic environment, and hence, the extension of the “mechanism of differentials” in the quantum regime. The process of gluing information, within diagrams of commutative algebraic (...) localizations, generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection. (shrink)

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of (...) Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

We develop a general covariant categorical modeling theory of natural systems' behavior based on the fundamental functorial processes of representation and localization-globalization. In the second part of this study we analyze the semantic bidirectional process of localization-globalization. The notion of a localization system of a complex information structure bears a dual role: Firstly, it determines the appropriate categorical environment of base reference contexts for considering the operational modeling of a complex system's behavior, and secondly, it specifies the global compatibility conditions (...) of local contextual information. A localization system acts on the global information structure of a complex system, partitions it into sorts, and eventually, forces the consistent sheaf-theoretic fibering of the latter over the base category of commutative reference contexts. In this manner, the sheafification of the Spectrum functor of a complex information structure takes place by imposing on the uniform and homologous fibered structure of elements of the Spectrum presheaf the following two requirements of coherence in relation to the localization-globalization process: [i]. Compatibility of information under restriction from the global to the local level, and [ii]. Compatibility of information under extension from the local to the global level. Correspondingly, the options of local and global receive a concrete mathematical meaning with respect to a suitable notion of topology (categorical Grothendieck topology) defined on the base category of commutative reference contexts. Finally, the accurate functorial process modeling of a complex system's behavior, respecting the processes of representation and localization-globalization, is being effectuated by means of establishing a categorical dual equivalence between the category of complex information structures, and the topes of sheaves over the base category of partial or local information carriers, equipped with the categorical topology of epimorphosis families. (shrink)

The view that toposes originated as generalized set theory is a figment of set theoretically educated common sense. This false history obstructs understanding of category theory and especially of categorical foundations for mathematics. Problems in geometry, topology, and related algebra led to categories and toposes. Elementary toposes arose when Lawvere's interest in the foundations of physics and Tierney's in the foundations of topology led both to study Grothendieck's foundations for algebraic geometry. I end with remarks on a (...) categorical view of the history of set theory, including a false history plausible from that point of view that would make it helpful to introduce toposes as a generalization from set theory. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

For a free filter F on $$\omega $$ ω, endow the space $$N_F=\omega \cup \{p_F\}$$ N F = ω ∪ { p F }, where $$p_F\not \in \omega $$ p F ∉ ω, with the topology in which every element of $$\omega $$ ω is isolated whereas all open neighborhoods of $$p_F$$ p F are of the form $$A\cup \{p_F\}$$ A ∪ { p F } for $$A\in F$$ A ∈ F. Spaces of the form $$N_F$$ N F constitute (...) the class of the simplest non-discrete Tychonoff spaces. The aim of this paper is to study them in the context of the celebrated Josefson–Nissenzweig theorem from Banach space theory. We prove, e.g., that, for a filter F, the space $$N_F$$ N F carries a sequence $$\langle \mu _n:n\in \omega \rangle $$ ⟨ μ n : n ∈ ω ⟩ of normalized finitely supported signed measures such that $$\mu _n(f)\rightarrow 0$$ μ n ( f ) → 0 for every bounded continuous real-valued function f on $$N_F$$ N F if and only if $$F^*\le _K{\mathcal {Z}}$$ F ∗ ≤ K Z, that is, the dual ideal $$F^*$$ F ∗ is Katětov below the asymptotic density ideal $${\mathcal {Z}}$$ Z. Consequently, we get that if $$F^*\le _K{\mathcal {Z}}$$ F ∗ ≤ K Z, then: (1) if X is a Tychonoff space and $$N_F$$ N F is homeomorphic to a subspace of X, then the space $$C_p^*(X)$$ C p ∗ ( X ) of bounded continuous real-valued functions on X contains a complemented copy of the space $$c_0$$ c 0 endowed with the pointwise topology, (2) if K is a compact Hausdorff space and $$N_F$$ N F is homeomorphic to a subspace of K, then the Banach space C(K) of continuous real-valued functions on K is not a Grothendieck space. The latter result generalizes the well-known fact stating that if a compact Hausdorff space K contains a non-trivial convergent sequence, then the space C(K) is not Grothendieck. (shrink)

This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.

Given a regular cardinal $\kappa $ such that $\kappa ^{<\kappa }=\kappa $, we study a class of toposes with enough points, the $\kappa $ -separable toposes. These are equivalent to sheaf toposes over a site with $\kappa $ -small limits that has at most $\kappa $ many objects and morphisms, the topology being generated by at most $\kappa $ many covering families, and that satisfy a further exactness property T. We prove that these toposes have enough $\kappa $ -points, (...) that is, points whose inverse image preserve all $\kappa $ -small limits. This generalizes the separable toposes of Makkai and Reyes, that are a particular case when $\kappa =\omega $, when property T is trivially satisfied. This result is essentially a completeness theorem for a certain infinitary logic that we call $\kappa $ -geometric, where conjunctions of less than $\kappa $ formulas and existential quantification on less than $\kappa $ many variables is allowed. We prove that $\kappa $ -geometric theories have a $\kappa $ -classifying topos having property T, the universal property being that models of the theory in a Grothendieck topos with property T correspond to $\kappa $ -geometric morphisms into that topos. Moreover, we prove that $\kappa $ -separable toposes occur as the $\kappa $ -classifying toposes of $\kappa $ -geometric theories of at most $\kappa $ many axioms in canonical form, and that every such $\kappa $ -classifying topos is $\kappa $ -separable. Finally, we consider the case when $\kappa $ is weakly compact and study the $\kappa $ -classifying topos of a $\kappa $ -coherent theory, that is, a theory where only disjunction of less than $\kappa $ formulas are allowed, obtaining a version of Deligne’s theorem for $\kappa $ -coherent toposes from which we can derive, among other things, Karp’s completeness theorem for infinitary classical logic. (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)

In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural (...) essentialism, such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (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)

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.

Alexandre Grothendieck foi um dos maiores matemáticos do século 20 e um dos mais atípicos. Nascido na Alemanha a um pai anarquista de origem russa, sua infância foi marcada pela militância política dos seus pais, assim passando por revoluções, guerras e sobrevivência. Descoberto por sua precocidade matemática por Henri Cartan, Grothendieck fez seu doutorado sob orientação de Laurent Schwartz e Jean Dieudonné. As principais contribuições dele são na área da topologia e na geometria algébrica, assim como na teoria (...) das categorias. No final dos anos de 1960, ele se dedicou à militância política e ecológica, organizando a revista Survivre durante três anos. Em 1986, publicou um manuscrito autobiográfico de 1000 páginas, Récoltes et semailles, em que ele descreve sua experiência e sua prática da matemática, assim suas contribuições à comunidade matemática francesa. Pouco comentado na filosofia, as implicações dos seus descobrimentos fora mais recentemente discutidas por Alain Badiou na sua "fenômeno-lógica", em Logiques des mondes e Arkady Plonitsky, Mathgematics, Science and postclassical Theory, pesquisa trata da semelhança entre os aspectos formais da filosofia de Gilles Deleuze e da topologia de Grothendieck. (shrink)

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)

No mathematician did more to change mathematics in the second half of the twentieth century than Alexandre Grothendieck. This would have been true even if he had been a quiet figure with a liking for playing the piano and walking in the hills but, as this book makes very clear, he was far from that, and his character and his way of working enhanced his impact. Above all, there was his abrupt departure from the world of mathematics in 1970 (...) and his occasional interventions in it since.This review was submitted a few days before Grothendieck's death in November 2014—Editor.As a teenager, Grothendieck had lived with his mother protected from the Nazis by courageous Huguenots in the village of Le Chambon-sur-Lignon. Immediately after the war, he went to the University of Montpellier where he studied mathematics and soon made his way to Nancy and was introduced to Dieudonné and Schwartz, who were members of Bourbaki. His first original work was in the theory of Banach spaces where, in the wo .. (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)

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)

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)

In the last 20 years or so, since the publication of a seminal paper by Watts and Strogatz :440–442, 1998), an interest in topological explanations has spread like a wild fire over many areas of science, e.g. ecology, evolutionary biology, medicine, and cognitive neuroscience. The topological approach is still very young by all standards, and even within special sciences it still doesn’t have a single methodological programme that is applicable across all areas of science. That is why this special issue (...) is important as a first systematic philosophical study of topological explanations and their relation to a well understood and widespread explanatory strategy, such as mechanistic one. (shrink)

We prove the triviality of the Grothendieck ring of a Z-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K 2 to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

The spatial organization of the genome is intimately linked to its biological function, yet our understanding of higher order genomic structure is coarse, fragmented and incomplete. In the nucleus of eukaryotic cells, interphase chromosomes occupy distinct.

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)

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)

The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logical atomism and (...) monism with theaid of topological separation axioms. (shrink)

We prove the triviality of the Grothendieck ring of a $\mathbb{Z}$-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K$^2$ to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

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)

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.

Understanding of elementary topological equivalencies is impaired by preconceptions about the topological structure of ordinary objects, so that the equivalencies turn out to be counterintuitive. Here I will discuss some of these preconceptions, namely the dominance of gestalt properties of the visual display of the configuration, the neglect of holistic properties, the dominance of transformations the preserve metric properties over those that preserve topological properties only, the assumption that holes are objects of their own. These factors delineate an empirical research (...) field, intuitive topology. An explanatory hypothesis for the preconceptions suggests that they are hard-wired. (shrink)

The basic methodology of rough set theory depends on an equivalence relation induced from the generated partition by the classification of objects. However, the requirements of the equivalence relation restrict the field of applications of this philosophy. To begin, we describe two kinds of closure operators that are based on right and left adhesion neighbourhoods by any binary relation. Furthermore, we illustrate that the suggested techniques are an extension of previous methods that are already available in the literature. As a (...) result of these topological techniques, we propose extended rough sets as an extension of Pawlak’s models. We offer a novel topological strategy for making a topological reduction of an information system for COVID-19 based on these techniques. We provide this medical application to highlight the importance of the offered methodologies in the decision-making process to discover the important component for coronavirus infection. Furthermore, the findings obtained are congruent with those of the World Health Organization. Finally, we create an algorithm to implement the recommended ways in decision-making. (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)

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 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.

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.