A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as “region V1 touches the boundary of region V2”, “region V3 is connected” or “region V4 is a proper part of the closure of region V5”. A formula f in a topological constraint language (...) is said to be satisfiable if there exists an assignment to its variables of regions from some topological space under which φ is made true. This paper introduces a topological constraint language which, in addition to the usual mechanisms for expressing Boolean combinations of regions and their topological closures, includes primitives for bounding the number of components of a region. We call this language T CC, a rough acronym for “topological constraint language with component counting”. Our main result is that the problem of determining the satisfiability of a T CC-formula is NEXPTIME-complete. (shrink)

. The deep structural properties of a quantum information theoretic approach to formal languages and universal computation, as well as those of the topology problem of defining the presentation of the Mapping Class Group of a smooth, compact manifold are shown to be grounded in the common categorical features of the two problems.

In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.

Local sentences and the formal languages they define were introduced by Ressayre in. We prove that locally finite ω‐languages and effective analytic sets have the same topological complexity: the Borel and Wadge hierarchies of the class of locally finite ω‐languages are equal to the Borel and Wadge hierarchies of the class of effective analytic sets. In particular, for each non‐null recursive ordinal there exist some ‐complete and some ‐complete locally finite ω‐languages, and the supremum of the set of Borel ranks (...) of locally finite ω‐languages is the ordinal, which is strictly greater than the first non‐recursive ordinal. This gives an answer to the question of the topological complexity of locally finite ω‐languages, which was asked by Simonnet and also by Duparc, Finkel, and Ressayre in. Moreover we show that the topological complexity of a locally finite ω‐language defined by a local sentence φ may depend on the models of the Zermelo‐Fraenkel axiomatic system. Using similar constructions as in the proof of the above results we also show that the equivalence, the inclusion, and the universality problems for locally finite ω‐languages are ‐complete, hence highly undecidable. (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 topological semantics for modal logic interprets a standard modal propositional language in topological spaces rather than Kripke frames: the most general logic of topological spaces becomes S4. But other modal logics can be given a topological semantics by restricting attention to subclasses of topological spaces: in particular, S5 is logic of the class of almost discrete topological spaces, and also of trivial topological spaces. Dynamic Topological Logic interprets a modal language enriched with two unary temporal connectives, next (...) and henceforth. DTL interprets the extended language in dynamic topological systems: a DTS is a topological space together with a continuous function used to interpret the temporal connectives. In this paper, we axiomatize four conservative extensions of S5, and show them to be the logic of continuous functions on almost discrete spaces, of homeomorphisms on almost discrete spaces, of continuous functions on trivial spaces and of homeomorphisms on trivial spaces. (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)

A growing body of evidence in cognitive psychology and neuroscience suggests a deep interconnection between sensory-motor and language systems in the brain. Based on recent neurophysiological findings on the anatomo-functional organization of the fronto-parietal network, we present a computational model showing that language processing may have reused or co-developed organizing principles, functionality, and learning mechanisms typical of premotor circuit. The proposed model combines principles of Hebbian topological self-organization and prediction learning. Trained on sequences of either motor or linguistic (...) units, the network develops independent neuronal chains, formed by dedicated nodes encoding only context-specific stimuli. Moreover, neurons responding to the same stimulus or class of stimuli tend to cluster together to form topologically connected areas similar to those observed in the brain cortex. Simulations support a unitary explanatory framework reconciling neurophysiological motor data with established behavioral evidence on lexical acquisition, access, and recall. (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)

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 wError: Corrupted memory profileError: read ICCBased color space profile errorith 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. (shrink)

In this paper I will try to argue for a new version in philosophy entitled as Philosophical Topology. It is inspired by the thought of Peter Strawson as well as ones of some of so-called Continental philosophers like Heidgger. Unlike any of metaphilosophy in general, the philosophical topology focuses rather on analyses of processes of make-up in philosophers’ thinking, especially by revealing the internal logic of philosophical ideas in making and processing in order to explain the intrinsic continuation (...) of philosophical ideas in particular philosophers’ thinking. In this sense the philosophical topology is not one of philosophical methods but a new branch in philosophy that is characterized as being concerned with continuation of ideas as its basic task. So, in this way, it is available to analyses of various doctrines in philosophy. Main issues in the philosophical topology are as follows: 1) to analyze the internal law-likes in the development of philosophy with the perspective of topology; 2) to interpret the general routes of Western philosophy in terms of the philosophical topology; 3) to view the philosophical topology as a way to inquire into metaphysics; 4) to deal properly with the relation of the philosophical topology to other branches in contemporary philosophy such as the philosophy of language, of logic, of science and ethics. (shrink)

We modify the semantics of topological modal logic, a language due to Moss and Parikh. This enables us to study the corresponding theory of further classes of subset spaces. In the paper we deal with spaces where every chain of opens fulfils a certain finiteness condition. We consider both a local finiteness condition relevant to points and a global one concerning the whole frame. Completeness of the appearing logical systems, which turn out to be generalizations of the well-known modal (...) system G, can be obtained in the same manner as in the case of the general subset space logic. It is our main purpose to show that the systems differ with regard to the finite model property. (shrink)

Starting from Poincaré’s assignment of an algebraic object to a topological manifold, namely the fundamental group, this article introduces the concept of categories and their language of arrows that has, since their mid-20th-century inception, altered how large areas of mathematics, from algebra to abstract logic and computer programming, are conceptualized. The assignment of the fundamental group is an example of a functor, an arrow construction central to the notion of a category. The exposition of category theory’s arrows, which operate (...) at three distinct but deeply interconnected levels, is framed by a comparison with the language and outlook of set theory founded on the concept of membership; sets and their theorization having provided, famously through the Bourbaki initiative, the basic ontological and epistemological vocabulary for defining and handling all mathematical entities. The comparison with sets emphasizes how categories offer a form of diagrammatic argument and thought against set theory’s fidelity to syntax-based proofs; how categories invert set theory’s priority of objects and their attributes over relations by making the relations of an object to others of its kin primary; and how categories replace identity, that is, equality, between objects, by the weaker notion of isomorphism, restricting equality to identity between arrows. The article concludes with a return to topology and some remarks about the question of its possible use in articulating/characterizing cultural dynamics. (shrink)

Let L be one of the topological languages L t , (L ∞ω ) t and (L κω ) t . We characterize the topological spaces which are models of the L-theory of the class of ordinals equipped with the order topology. The results show that the role played in classical model theory by the property of being well-ordered is taken over in the topological context by the property of being locally compact and scattered.

Topology is integral to a shift in socio-cultural theory from a linguistic to a mathematical paradigm. This has enabled in Badiou and Žižek a critique of the symbolic register, understood in terms of pure conceptual abstraction. Drawing on topology, this article understands it instead in terms of the figure. The break with the symbolic and language necessitates a break with form, but topologically still preserves a logic of the figure. This becomes a process of figuration, indeed a (...) process of `deformation'. Badiou/Žižek will then presume a break with the symbolic for `the real'. But topology entails the centrality of not the real but the imaginary. With Castoriadis, this imaginary is understood as productive and social, and with Sloterdijk as spatial. In our times this is a self-organizing socio-technical imaginary. For Niklas Luhmann these socio-technical systems engage in coupling. They structurally couple with other social imaginaries. Their self-organization, going beyond pure functionality, operates through semantic excess: an excess that organizes the system and is their structure. Such structural coupling entails semantic exchange, consisting of not just information but also of images. (shrink)

This study has two aims. First, it lays out the synchronic patterning of four constructions that express static location in Secoya (Tukanoan). Each construction licenses different semantic verb types: topological verbs, postural verbs, an existential verb, and a copula. Second, this study explores the different construals encoded by these constructions and highlights the ways speakers use them creatively to elaborate on stage-level properties adjacent to location in locative utterances. Data collected from six speakers using visual stimuli reveal that each of (...) the constructions elaborates on specific aspects of locative scenes. Responses for typical/atypical scenes, negative polarity statements, and frequency patterns show that speakers can choose conceptualizations that favor Ground geometry, Figure posture, more complex Figure dispositions, or marked perspectivizations. Similar phenomena are observed in other Amazonian languages. These results raise difficulties in identifying a basic locative construction, suggesting that Secoya may not fit squarely into any type in existing typologies of spatial expression (e.g., Ameka and Levinson 2007). Additionally, the Secoya system raises questions about the relationship between conceptual alternativity and the notion of “basicness” with respect to construal types. (shrink)

Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the (...) classical Rice-Shapiro Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)

We show that Pitts' modeling of propositional quantification in intuitionistic logic (as the appropriate interpolants) does not coincide with the topological interpretation. This contrasts with the case of the monadic language and the interpretation over sufficiently regular topological spaces. We also point to the difference between the topological interpretation over sufficiently regular spaces and the interpretation of propositional quantifiers in Kripke models.

We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...) of finite problems. In addition to the algebraic characterization of H(B), we give a topological characterization of H(B) in terms of the recently introduced choice-free duality for Boolean algebras using so-called upper Vietoris spaces (UV-spaces). In particular, while a Boolean algebra B is realized as the Boolean algebra of compact regular open elements of a UV-space dual to B, we show that H(B) is realized as the algebra of compact open elements of this space. This connection yields a new topological semantics for inquisitive logic. (shrink)

The premise of this paper is that the goal of signifying Being central to ontological phenomenology has been tacitly subverted by the semiotic structure of conventional phenomenological writing. First it is demonstrated that the three components of the sign—sign-vehicle, object, and interpretant (C. S. Peirce)—bear an external relationship to each other when treated conventionally. This is linked to the abstractness of alphabetic language, which objectifies nature and splits subject and object. It is the subject-object divide that phenomenology must surmount (...) if it is to signify Being. To this end, we go beyond alphabetic convention and explore the use of iconic signs. Following the lead of Merleau-Ponty, the iconic expression of Being is seen as entailing paradox, and we are directed to the fields of visual geometry and topology, where we work with three paradoxical figures: the Necker cube, Moebius strip, and Klein bottle. While the Necker cube and Moebius prove to have their limitations in fully signifying Being, the Klein bottle, possessing an added dimension (made palpable via a stereogram), can embody Being more intimately, provided that it is approached in a radically non-classical way. The essay closes with the realization that the most concrete signification of Being must be a self-signification. Here the author removes his cloak of anonymity and makes his presence tangibly felt in the text. (shrink)

We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy.

This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist (...) logic and paraconsistentlogic in respect of the incompleteness and inconsistency of theories.Necessary and sufficient conditions which relate the T 1-property to theproperties of logical theories, are obtained. The result is then extendedto Hausdorff and Normal spaces. In the final section these methods areused to vary the modelling conditions for identity. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda (...) calculus, known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

Dynamic Topological Logic (DFH) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DFH over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the language to include a polyadic topological modality, originally introduced by Dawar and Otto in (...) a different context. We then provide a sound axiomatization for DFH over this extended language, and prove that it is complete. The polyadic modality is used in an essential way in our proof. (shrink)

Language, meaning, and ek-sistence, by J. J. Kockelmans.--Heidegger's conception of language in Being and time, by J. Aler.--Poetry and language in Heidegger, by W. Biemel.--Heidegger's topology of being, by O. Pöggeler.--Thinking and poetizing in Heidegger, by H. Birault.--Hermeneutic and personal structure of language, by H. Ott.--Ontological difference, hermeneutics, and language, by J. J. Kockelmans.--The world in another beginning: poetic dwelling and the role of the poet, by W. Marx.--Panel discussion.--Heidegger's language: metalogical forms of (...) thought and grammatical specialties, by E. Schöfer.--M. Heidegger's "ontological difference" and language, by J. Lohmann.--Bibliography (p. 365-368). (shrink)

The concept of rhetorical predicates reveals significant information about Anggor semantic structure. Still greater generality comes from introducing the theoretical concept of a topologically based time index. This topological handling of time provides a tool for studying universal aspects of the cognition of time. Time indexing provides an adequate means of indicating temporal relations in semantic structure without being compelled to consider particular surface manifestations of temporal relations as basic, and also provides a means of relating intralinguistic and extralinguistic temporal (...) reference. Time indexing appears to go more appropriately with propositions than with variables. (shrink)

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

Let M be an o-minimal expansion of an ordered field. Let φ be a formula in the language of ordered domains. In this note we establish some topological properties which are transferred from $\varphi^M$ to $\varphi^R$ and vice versa. Then, we apply these transfer results to give a new proof of a result of M. Edmundo-based on the work of A. Strzebonski-showing the existence of torsion points in any definably compact group defined in an o-minimal expansion of an ordered (...) field. (shrink)

We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that language that provides a way of writing remarkably readable assertions without straying far from the set-theoretic semantics. We illustrate with some examples of formalized textbook definitions from elementary set theory and point-set topology. We also present statistics concerning the complexity of these definitions, (...) under various complexity measures. (shrink)

Geometry was a main source of inspiration for Carnap’s conventionalism. Taking Poincaré as his witness Carnap asserted in his dissertation Der Raum (Carnap 1922) that the metrical structure of space is conventional while the underlying topological structure describes "objective" facts. With only minor modifications he stuck to this account throughout his life. The aim of this paper is to disprove Carnap's contention by invoking some classical theorems of differential topology. By this means his metrical conventionalism turns out to be (...) indefensible for mathematical reasons. This implies that the relation between to-pology and geometry cannot be conceptualized as analogous to the relation between the meaning of a proposition and its expression in some language as logical empiricists used to say. (shrink)

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof (...) of S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency. (shrink)

Hans Reichenbach’s posthumous book The Direction of Time ends somewhere between Socratic aporia and historical irony. Prompted by Feynman’s diagrammatic formulation of quantum electrodynamics, Reichenbach eventually abandoned the delicate balancing between the macroscopic foundation of the direction of time and microscopic descriptions of time order undertaken throughout the previous chapters in favor of an exclusively macroscopic theory that he had vehemently rejected in the 1920s. I analyze Reichenbach’s reasoning against the backdrop of the history of Feynman diagrams and the current (...) practice of particle physics. Building upon the debates about processes and conserved quantities between Wesley Salmon and Phil Dowe in the 1990s, and the exchange between Reichenbach and the gestalt theorist Kurt Lewin during the 1920s about topology and genidentity, I investigate whether the aporia about local time order could be avoided by following a strategy that Reichenbach adopted elsewhere in the book and develop a notion of functional genidentity that captures the practice of present-day elementary particle physics and the fact that Feynman diagrams have to be understood in the context of a complex mathematical description of scattering processes. (shrink)

The philosophical literature on scientific explanation in neuroscience has been dominated by the idea of mechanisms. The mechanist philosophers often claim that neuroscience is in the business of finding mechanisms. This view has been challenged in numerous ways by showing that there are other successful and widespread explanatory strategies in neuroscience. However, the empirical evidence for all these claims was hitherto lacking. Empirical evidence about the pervasiveness and uses of various explanatory strategies in neuroscience is particularly needed because examples and (...) case studies that are used to illustrate philosophical claims so far tend to be hand-picked. The risk of confirmation bias is therefore considerable: when looking for white swans, all one finds is that swans are white. The more systematic quantitative and qualitative bibliometric study of a large body of relevant literature that we present in this paper can put such claims into perspective. Using bibliometric tools, we identify the typical linguistic patterns used in the alleged mechanistic, dynamical, and topological explanations in the literature, their preponderance and how they change over time. Our findings show abundant use of mechanistic language, but also the presence of a significant neuroscience literature using topological and dynamical explanatory language, which grows over time and increasingly differentiates from each other and from mechanistic explanations. (shrink)

“Toy worlds” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle, are often used by researchers in the areas of commonsense reasoning and planning to illustrate and test their ideas. We would like to create a database of generalpurpose knowledge about actions that encodes common features of many action domains of this kind, in the same way as abstract algebra and topology represent common features of specific number systems. This paper is a report on the (...) first stage of this project—the design of an action description language in which this database will be written. The new language is an extension of the action language C+. Its main distinctive feature is the possibility of referring to other action descriptions in the definition of a new action domain. (shrink)

In this paper, I provide an account of the spatiality of olfactory experiences in terms of topological properties. I argue that thinking of olfactory experiences as making the subject aware of topological properties enables us to address popular objections against the spatiality of smells, and it makes sense of everyday spatial olfactory phenomenology better than its competitors. I argue for this latter claim on the basis of reflection on thought experiments familiar from the philosophical literature on olfaction, as well as (...) on the basis of some empirical data about the localization of smells. I conclude by suggesting how the naïve‐topology framework could be applied in debates about the spatiality of other types of experiences. (shrink)

I elucidate Heidegger’s understanding of the “place-being” of the “question of being.” My premises are: 1) Heidegger’s “question of being” can be appropriately made sense of as the “question of language.” 2) The “question of language” requires a topological approach that looks into the link between the place-nature of language and the open-bounded essence of human existence. First, I explain the topological underpinnings of Heidegger’s later thought of being as the clearing and language; second, I examine (...) Sheehan’s phenomenological reading of Heidegger by focusing on the relationship between alētheia and appropriation. In the first section, I explain the correlation between place and language within the context of the “question of being” and display how understanding the former is crucial in having a more complete perspective for the latter. In the second section, I examine Sheehan’s acknowledgment of Heidegger’s idea of place in his understanding of the nature of human existence in relation to Ereignis, while criticizing the “metaphorical” reading of the “placebeing” of the clearing. (shrink)

In this paper, we propose two agent-based simulation models for the evolution of language in the framework of evolutionary language games. The theory of evolutionary language games arose from the union of evolutionary game theory, introduced by the English biologist John Maynard Smith, and language games, developed by the Austrian philosopher Ludwig Wittgenstein. The first model proposed is based on Martin Nowak’s work and is designed to reproduce and verify the results Nowak obtained in his simplest (...) mathematical model. For the second model, we extend the previous one with the introduction of a world where the languages live and evolve, and which influences interactions among individuals. The main goal of this research is to present a model which shows how the presence of a topological structure influences the communication among individuals and contributes to the emergence of clusters of different languages. (shrink)

We extend Moss and Parikh’s bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidability of the extended system. Special emphasis will be placed on algebras.

The main goal of this article is to examine the link between the idea of language, being and nothingness by comparing 16th century Turkish-Azeri poet Fuzûlî’s poetry and 20th century German philosopher Martin Heidegger’s philosophy departing from the latter’s thinking of being. There are similarities between Heidegger and Fuzûlî’s respective thoughts concerning the role of the human being’s relation to finitude which grounds the relationship between being and nothingness. The article consists of three sections. The first section makes sense (...) of Heidegger’s early and late thought in terms of its ontological unity, explaining the ways in which being and nothingness topologically co-determine one another in poetic language. The second section focuses on clarifying the sources that nourish Fuzûlî’s poetry, such as Sufism and the literary style of “Rind” as observed in classical Ottoman poetry, elucidating how these influences underpin the philosophical foundations of Fuzûlî’s poetry. The third section offers a philosophical interpretation of Fuzûlî’s lyric poems by illustrating how and why being and nothingness are not to be thought as mere opposites, pointing out their ontological belonging together. In the concluding section, it is argued that a poetic mode of existence necessitates an authentic experience of human finitude both for Heidegger and Fuzûlî. Although Fuzûlî’s poetry involves onto-theological influences from Sufism, Fuzûli manages to form an original idea of poetic existence, emphasizing that the poetic agent needs to take a step back from the mundane world of multitudes in order to unify with Being itself. As for Heidegger, it is doubtful whether there is such a mystical idea of being. Nonetheless, for both figures the more originary experience of finite human existence lies in the poetic interplay between being and nothingness. The poetic meaning of being comes to manifest itself in the process of one’s existential annihilation, which takes place in the movement of being-towards-death. Accordingly, exploring how the meaning of being requires the poetic experience of nothingness and how such an experience appears through language in Fuzûlî’s lyric poems provides a more comprehensive account of his thinking. (shrink)

Locally finite omega languages were introduced by Ressayre [Formal languages defined by the underlying structure of their words. J Symb Log 53(4):1009–1026, 1988]. These languages are defined by local sentences and extend ω-languages accepted by Büchi automata or defined by monadic second order sentences. We investigate their topological complexity. All locally finite ω-languages are analytic sets, the class LOC ω of locally finite ω-languages meets all finite levels of the Borel hierarchy and there exist some locally finite ω-languages which are (...) Borel sets of infinite rank or even analytic but non-Borel sets. This gives partial answers to questions of Simonnet (Automates et Théorie Descriptive, Ph.D. Thesis. Université Paris 7, March 1992) and of Duparc et al. [Computer science and the fine structure of Borel sets. Theor Comput Sci 257(1–2):85–105, 2001]. (shrink)

First published in 1982. Routledge is an imprint of Taylor & Francis, an informa company.

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

In this paper we define the relation t of elementary extension of topological models in the language L t and show a Back and Forth criterion for t. We introduce some new operations on partial homeomorphisms preserving Back and Forth properties. Some properties of t are proved by the Back and Forth technique.

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