Topology

Edited by Nemi Boris Pelgrom (Ludwig Maximilians Universität, München)
Related categories

192 found
Order:
1 — 50 / 192
  1. Why did Fermat believe he had `a truly marvellous demonstration' of FLT?Bhupinder Singh Anand - manuscript
    Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. A Pre-formal Proof of Why No Planar Map Needs More Than Four Colours.Bhupinder Singh Anand - manuscript
    Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, which seeks a formal proof in a first-order mathematical language in order (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Heidegger's silence: Towards a post-modern topology.Babette Babich - manuscript
    in Charles Scott and Arleen Dallery, eds., Ethics and Danger: Currents in Continental Thought. Albany. State University of New York Press. 1992. Pp. 83-106.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. Who’s afraid of mathematical diagrams?Silvia De Toffoli - forthcoming - Philosophers' Imprint.
    Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Topology of Modal Propositions Depicted by Peirce’s Gamma Graphs: Line, Square, Cube, and Four-Dimensional Polyhedron.Jorge Alejandro Flórez - forthcoming - Logic and Logical Philosophy:1-14.
    This paper presents the topological arrangements in four geometrical figures of modal propositions and their derivative relations by means of Peirce's gamma graphs and their rules of transformation. The idea of arraying the gamma graphs in a geometric and symmetrical order comes from Peirce himself who in a manuscript drew two cubes in which he presented the derivative relations of some gamma graphs. Therefore, Peirce's insights of a topological order of gamma graphs are extended here backwards from the cube to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. A Topological Analysis of Space-Time-Consciousness: Self, Self-Self, Self-Other.Hye Young Kim - forthcoming - In When Form Becomes Substance. Power of Gesture, Grammatical Intuition and Phenomenology of Space. Basel, Switzerland:
    This paper attempts to explore a possibility to visualize the structure of time-consciousness in a knot shape. By applying Louis Kauffman’s knot-logic, the consistency of subjective consciousness, the plurality of now’s, and the necessary relationship between subjective and intersubjective consciousness will be represented in topological space.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. The introduction of topology into analytic philosophy: two movements and a coda.Samuel C. Fletcher & Nathan Lackey - 2022 - Synthese 200 (3):1-34.
    Both early analytic philosophy and the branch of mathematics now known as topology were gestated and born in the early part of the 20th century. It is not well recognized that there was early interaction between the communities practicing and developing these fields. We trace the history of how topological ideas entered into analytic philosophy through two migrations, an earlier one conceiving of topology geometrically and a later one conceiving of topology algebraically. This allows us to reassess the influence and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Topology optimization of computer communication network based on improved genetic algorithm.Kayhan Zrar Ghafoor, Jilei Zhang, Yuhong Fan & Hua Ai - 2022 - Journal of Intelligent Systems 31 (1):651-659.
    The topology optimization of computer communication network is studied based on improved genetic algorithm, a network optimization design model based on the establishment of network reliability maximization under given cost constraints, and the corresponding improved GA is proposed. In this method, the corresponding computer communication network cost model and computer communication network reliability model are established through a specific project, and the genetic intelligence algorithm is used to solve the cost model and computer communication network reliability model, respectively. It has (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Not so distinctively mathematical explanations: topology and dynamical systems.Aditya Jha, Douglas Campbell, Clemency Montelle & Phillip L. Wilson - 2022 - Synthese 200 (3):1-40.
    So-called ‘distinctively mathematical explanations’ (DMEs) are said to explain physical phenomena, not in terms of contingent causal laws, but rather in terms of mathematical necessities that constrain the physical system in question. Lange argues that the existence of four or more equilibrium positions of any double pendulum has a DME. Here we refute both Lange’s claim itself and a strengthened and extended version of the claim that would pertain to any n-tuple pendulum system on the ground that such explanations are (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. Topological Explanations: An Opinionated Appraisal.Daniel Kostić - 2022 - In I. Lawler, E. Shech & K. Khalifa (eds.), Scientific Understanding and Representation: Modeling in the Physical Sciences. Routledge. pp. 96-115.
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Topological Models of Columnar Vagueness.Thomas Mormann - 2022 - Erkenntnis 87 (2):693 - 716.
    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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Justified belief, knowledge, and the topology of evidence.Sonja Smets, Aybüke Özgün, Nick Bezhanishvili & Alexandru Baltag - 2022 - Synthese 200 (6):1-51.
    We propose a new topological semantics for evidence, evidence-based justifications, belief, and knowledge. Resting on the assumption that an agent’s rational belief is based on the available evidence, we try to unveil the concrete relationship between an agent’s evidence, belief, and knowledge via a rich formal framework afforded by topologically interpreted modal logics. We prove soundness, completeness, decidability, and the finite model property for the associated logics, and apply this setting to analyze key epistemological issues such as “no false lemma” (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. A journey through computability, topology and analysis.Manlio Valenti - 2022 - Bulletin of Symbolic Logic 28 (2):266-267.
    This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.We first analyze the strength of the open and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - 2021 - Studia Logica 109 (4):701-723.
    In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Extension and Self-Connection.Ben Blumson & Manikaran Singh - 2021 - Logic and Logical Philosophy 30 (3):435-59.
    If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Reconciling Rigor and Intuition.Silvia De Toffoli - 2021 - Erkenntnis 86 (6):1783-1802.
    Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Two applications of topology to model theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
    By utilizing the topological concept of pseudocompactness, we simplify and improve a proof of Caicedo, Dueñez, and Iovino concerning Terence Tao's metastability. We also pinpoint the exact relationship between the Omitting Types Theorem and the Baire Category Theorem by developing a machine that turns topological spaces into abstract logics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Punctual definability on structures.Iskander Kalimullin, Alexander Melnikov & Antonio Montalban - 2021 - Annals of Pure and Applied Logic 172 (8):102987.
    We study punctual categoricity on a cone and intrinsically punctual functions and obtain complete structural characterizations in terms of model-theoretic notions. As a corollary, we answer a question of Bazhenov, Downey, Kalimullin, and Melnikov by showing that relational structures are not punctually universal. We will also apply this characterisation to derive an algebraic characterisation of relatively punctually categorical mono-unary structures.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Topology of Balasaguni's Kutadgu Bilig. Thinking the Between.Onur Karamercan - 2021 - In Takeshi Morisato & Roman Pașca (eds.), Asian Philosophers and Their Discontents. Flower, Shame, and Direct Cultivation in Asian Philosophies. Milan, Metropolitan City of Milan, Italy: Mimesis International. pp. 69-97.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. Część i Całość: W Stronę Topoontologii (Part and Whole: Towards Topoontology).Bartłomiej Skowron - 2021 - Warsaw: Oficyna Wydawnicza Politechniki Warszawskiej, 2021..
    part, whole, ideal quality, foundation, unity, space, topoontology, topophilosophy, formal ontology, topology, mathematical philosophy, topology, topology of the person, topology of mind, mathematics in philosophy, mereology, mereotopology, phenomenology, Benedict Bornstein, Edmund Husserl, Roman Ingarden, Kurt Lewin, René Thom.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Choice-free stone duality.Nick Bezhanishvili & Wesley H. Holliday - 2020 - Journal of Symbolic Logic 85 (1):109-148.
    The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Continua.Lu Chen - 2020 - Dissertation, University of Massachusetts Amherst
    The subject of my dissertation is the structure of continua and, in particular, of physical space and time. Consider the region of space you occupy: is it composed of indivisible parts? Are the indivisible parts, if any, extended? Are there infinitesimal parts? The standard view that space is composed of unextended points faces both \textit{a priori} and empirical difficulties. In my dissertation, I develop and evaluate several novel approaches to these questions based on metaphysical, mathematical and physical considerations. In particular, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. From the four-color theorem to a generalizing “four-letter theorem”: A sketch for “human proof” and the philosophical interpretation.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 12 (21):1-10.
    The “four-color” theorem seems to be generalizable as follows. The four-letter alphabet is sufficient to encode unambiguously any set of well-orderings including a geographical map or the “map” of any logic and thus that of all logics or the DNA plan of any alive being. Then the corresponding maximally generalizing conjecture would state: anything in the universe or mind can be encoded unambiguously by four letters. That admits to be formulated as a “four-letter theorem”, and thus one can search for (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (4):537-559.
    Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with the study of the topological notions of dimension and paracompactness, inside Kohlenbach’s higher-order RM. As to splittings, there are some examples in RM of theorems A, B, C such that A (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Peirce's Topical Continuum: A “Thicker” Theory.Jon Alan Schmidt - 2020 - Transactions of the Charles S. Peirce Society 56 (1):62-80.
    Although Peirce frequently insisted that continuity was a core component of his philosophical thought, his conception of it evolved considerably during his lifetime, culminating in a theory grounded primarily in topical geometry. Two manuscripts, one of which has never before been published, reveal that his formulation of this approach was both earlier and more thorough than most scholars seem to have realized. Combining these and other relevant texts with the better-known passages highlights a key ontological distinction: a collection is bottom-up, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.
    Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Algebraic and topological semantics for inquisitive logic via choice-free duality.Nick Bezhanishvili, Gianluca Grilletti & Wesley H. Holliday - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541. Springer. pp. 35-52.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Boundaries and Things. A Metaphysical Study of the Brentano-Chisholm Theory.Gonzalo Nuñez Erices - 2019 - Kriterion: Journal of Philosophy 33 (2):15-48.
    The fact that boundaries are ontologically dependent entities is agreed by Franz Brentano and Roderick Chisholm. This article studies both authors as a single metaphysical account about boundaries. The Brentano-Chisholm theory understands that boundaries and the objects to which they belong hold a mutual relationship of ontological dependence: the existence of a boundary depends upon a continuum of higher spatial dimensionality, but also is a conditio sine qua non for the existence of a continuum. Although the view that ordinary material (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Drawing Boundaries.Barry Smith - 2019 - In Timothy Tambassi (ed.), The Philosophy of GIS. New York: Springer. pp. 137-158.
    In “On Drawing Lines on a Map” (1995), I suggested that the different ways we have of drawing lines on maps open up a new perspective on ontology, resting on a distinction between two sorts of boundaries: fiat and bona fide. “Fiat” means, roughly: human-demarcation-induced. “Bona fide” means, again roughly: a boundary constituted by some real physical discontinuity. I presented a general typology of boundaries based on this opposition and showed how it generates a corresponding typology of the different sorts (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Syntax meets semantics during brain logical computations.Arturo Tozzi, James F. Peters, Andrew And Alexander Fingelkurts & Leonid Perlovsky - 2018 - Progress in Biophysics and Molecular Biology 140:133-141.
    The discrepancy between syntax and semantics is a painstaking issue that hinders a better comprehension of the underlying neuronal processes in the human brain. In order to tackle the issue, we at first describe a striking correlation between Wittgenstein's Tractatus, that assesses the syntactic relationships between language and world, and Perlovsky's joint language-cognitive computational model, that assesses the semantic relationships between emotions and “knowledge instinct”. Once established a correlation between a purely logical approach to the language and computable psychological activities, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective on the Relation between Quantum and Relativistic Physics.Albrecht von Müller & Elias Zafiris - 2018 - Cham: Springer.
    This volume develops a fundamentally different categorical framework for conceptualizing time and reality. The actual taking place of reality is conceived as a “constellatory self-unfolding” characterized by strong self-referentiality and occurring in the primordial form of time, the not yet sequentially structured “time-space of the present.” Concomitantly, both the sequentially ordered aspect of time and the factual aspect of reality appear as emergent phenomena that come into being only after reality has actually taken place. In this new framework, time functions (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. A visual representation of part-whole relationships in BFO-conformant ontologies.Jose M. Parente de Oliveira & Barry Smith - 2017 - In Á Rocha, A. M. Correia, H. Adeli, L. P. Reis & S. Costanzo (eds.), Recent Advances in Information Systems and Technologies (Advances in Intelligent Systems and Computing, 569). New York: Springer. pp. 184-194.
    In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. A diagrammatic representation for entities and mereotopological relations in ontologies.José M. Parente de Oliveira & Barry Smith - 2017 - In CEUR, vol. 1908.
    In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Poincaré on the Foundation of Geometry in the Understanding.Jeremy Shipley - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Springer. pp. 19-37.
    This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that geometry is the study (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Envisioning Transformations – The Practice of Topology.Silvia De Toffoli & Valeria Giardino - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012--2014. Zurich, Switzerland: Birkhäuser. pp. 25-50.
    The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  36. I. Topology and the Idea of Form.Angus Fletcher - 2016 - In The Topological Imagination: Spheres, Edges, and Islands. Harvard University Press. pp. 11-40.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. The nature of the topological intuition.L. B. Sultanova - 2016 - Liberal Arts in Russia 5 (1):14.
    The article is devoted to the nature of the topological intuition and disclosure of the specifics of topological heuristics in the framework of philosophical theory of knowledge. As we know, intuition is a one of the support categories of the theory of knowledge, the driving force of scientific research. Great importance is mathematical intuition for the solution of non-standard problems, for which there is no algorithm for such a solution. In such cases, the mathematician addresses the so-called heuristics, built on (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics.Elias Zafiris - 2016 - Quantum Studies: Mathematics and Foundations 3 (4):337-359.
    All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain invariant under (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. Boolean Localization Of Quantum Events: A Processual Sheaf-Theoretic Approach.Elias Zafiris - 2016 - In David Ray Griffin, Michael Epperson & Timothy E. Eastman (eds.), Physics and Speculative Philosophy: Potentiality in Modern Science. De Gruyter. pp. 107-126.
  40. An Inquiry into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2015 - In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315-336.
    The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  41. Linear structures, causal sets and topology.Hudetz Laurenz - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part B):294-308.
    Causal set theory and the theory of linear structures share some of their main motivations. In view of that, I raise and answer the question how these two theories are related to each other and to standard topology. I show that causal set theory can be embedded into Maudlin’s more general framework and I characterise what Maudlin’s topological concepts boil down to when applied to discrete linear structures that correspond to causal sets. Moreover, I show that all topological aspects of (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Global and local.James Franklin - 2014 - Mathematical Intelligencer 36 (4).
    The global/local contrast is ubiquitous in mathematics. This paper explains it with straightforward examples. It is possible to build a circular staircase that is rising at any point (locally) but impossible to build one that rises at all points and comes back to where it started (a global restriction). Differential equations describe the local structure of a process; their solution describes the global structure that results. The interplay between global and local structure is one of the great themes of mathematics, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Stability through indeterminacy?: Jacques Derrida, "indefinite legal concepts" and the topology of order.Doris Schweitzer - 2014 - In Nicole Falkenhayner (ed.), Rethinking Order: Idioms of Stability and de-Stabilization. Cambridge University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. 'Reasoning Well From Badly Drawn Figures': The Birth of Algebraic Topology.Claudio Bartocci - 2013 - Lettera Matematica 1:13-22.
    In this paper the emergence of Poincaré’s “analysis situs” is described by means of an overview of the original memoir and its supplements. In particular, the genesis of the celebrated “Poincaré conjecture” is discussed.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Mathematical Forms and Forms of Mathematics: Leaving the Shores of Extensional Mathematics.Jean-Pierre Marquis - 2013 - Synthese 190 (12):2141-2164.
    In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46. Topology as an Issue for History of Philosophy of Science.Thomas Mormann - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer. pp. 423--434.
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. Boundary.Achille C. Varzi - 2013 - Stanford Encyclopedia of Philosophy.
    We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  48. Towards a Point-free Account of the Continuous.Geoffrey Hellman & Stewart Shapiro - 2012 - Iyyun 61:263.
    Remove from this list  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Between Inclusion and Exclusion: On the Topology of Global Space and Borders.Sandro Mezzadra & Brett Neilson - 2012 - Theory, Culture and Society 29 (4-5):58-75.
    The research hypothesis that we call border as method offers a fertile ground upon which to test the potentiality and the limits of the topological approach. In this article we present our hypothesis and address three questions relevant for topology. First, we ask how the topological approach can be applied within the heterogeneous space of globalization, which we argue does not obey the dialectic of inclusion and exclusion. Second, we address the claim of neutrality that is often linked to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. HIV, Globalization and Topology: Of Prepositions and Propositions.Mike Michael & Marsha Rosengarten - 2012 - Theory, Culture and Society 29 (4-5):93-115.
    In this article we explore how two enactments of HIV – the UN’s AIDS Clock and clinical trials for an HIV biomedical prevention technology or pre-exposure prophylaxis – entail particular globalizing and localizing dynamics. Drawing on Latour’s and Whitehead’s concept of proposition, and Serres’ call for a philosophy of prepositions, we use the composite notion of pre/pro-positions to trace the shifting topological status of HIV. For example, we show how PrEP emerges through topological entwinements of globalizing biomedical standardization, localizing protests (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 192