This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

208 found
Order:
1 — 50 / 208
  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. An Elementary, Pre-Formal, Proof of FLT: Why is X^N+y^N=Z^N Solvable Only for N≪3?Bhupinder Singh Anand - manuscript
    Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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  
  5. 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  
     
    Export citation  
     
    Bookmark   1 citation  
  6. 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  
  7. 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  
  8. Topological Explanations: An Opinionated Appraisal.Daniel Kostić - forthcoming - In I. Lawler, E. Shech & K. Khalifa (eds.), Scientific Understanding and Representation: Modeling in the Physical Sciences.
    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  
     
    Export citation  
     
    Bookmark   2 citations  
  9. 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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. 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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  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   3 citations  
  12. 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)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13. 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  
  14. 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   5 citations  
  15. 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  
  16. 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  
  17. 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  
  18. The City in Flux: Toward an Urban Topology of Hong Kong Cinema.Vivian P. Y. Lee - 2021 - Télos 2021 (197):35-55.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. The Strange Nature of Quantum Perception: To See a Photon, One Must Be a Photon.Steven M. Rosen - 2021 - Journal of Mind and Behavior 42 (3, 4):229-270.
    This paper takes as its point of departure recent research into the possibility that human beings can perceive single photons. In order to appreciate what quantum perception may entail, we first explore several of the leading interpretations of quantum mechanics, then consider an alternative view based on the ontological phenomenology of Maurice Merleau-Ponty and Martin Heidegger. Next, the philosophical analysis is brought into sharper focus by employing a perceptual model, the Necker cube, augmented by the topology of the Klein bottle. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. 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   1 citation  
  21. 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  
  22. Topology of the Other: Boundaries as a Means of Space Cosmisation.Marina Kolinko - 2020 - Философия И Космология 24:99-112.
    The article presents a philosophical reflection of the Other within the context of space “cosmisation”. The topological methodology suggests the analysis of semantic structures in spatial relation of subjects and their environment. It also assigns the cartography of differentiation relationships inside the humankind and in humankind’s search of its own place in the space universe. There have been found algorithms for the topology of relations with the Other in anthropological and cultural aspects. The authors have highlighted the importance of searching (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Slavoj Žižek, "Sex and the Failed Absolute". [REVIEW]Jakub Mácha - 2020 - Philosophy in Review 40 (2):88-90.
  24. 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  
  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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. A Fractal Topology of Transcendent Experience.Sally Wilcox & Allan Coombs - 2020 - International Journal of Transpersonal Studies 39 (1-2).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. 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   4 citations  
  28. 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  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  29. 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  
     
    Export citation  
     
    Bookmark  
  30. 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  
  31. De amore.Andrej Poleev - 2018
  32. 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  
  33. 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 - 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  
  34. 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  
  35. 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  
  36. Quantum Gravity and Taoist Cosmology: Exploring the Ancient Origins of Phenomenological String Theory.Steven M. Rosen - 2017 - Progress in Biophysics and Molecular Biology 131:34-60.
    In the author’s previous contribution to this journal (Rosen 2015), a phenomenological string theory was proposed based on qualitative topology and hypercomplex numbers. The current paper takes this further by delving into the ancient Chinese origin of phenomenological string theory. First, we discover a connection between the Klein bottle, which is crucial to the theory, and the Ho-t’u, a Chinese number archetype central to Taoist cosmology. The two structures are seen to mirror each other in expressing the psychophysical (phenomenological) action (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. 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  
  38. 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  
  39. 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  
  40. 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.
  41. What Is the Validity Domain of Einstein’s Equations? Distributional Solutions Over Singularities and Topological Links in Geometrodynamics.Elias Zafiris - 2016 - 100 Years of Chronogeometrodynamics: The Status of the Einstein's Theory of Gravitation in Its Centennial Year.
    The existence of singularities alerts that one of the highest priorities of a centennial perspective on general relativity should be a careful re-thinking of the validity domain of Einstein’s field equations. We address the problem of constructing distinguishable extensions of the smooth spacetime manifold model, which can incorporate singularities, while retaining the form of the field equations. The sheaf-theoretic formulation of this problem is tantamount to extending the algebra sheaf of smooth functions to a distribution-like algebra sheaf in which the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. 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  
  43. 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   13 citations  
  44. 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   4 citations  
  45. Jacques Lacan and the Logic of Structure: Topology and Language in Psychoanalysis.Ellie Ragland - 2015 - Routledge.
    Lacan postulated that the psyche can be understood by means of certain structures, which control our lives and our desires, and which operate differently at different logical moments or stages of formation.Jacques Lacan and the Logic of Structure offers us a reading of the major concepts of Lacan in terms of his later topological theory and aims to show how this was always a concern for Lacan and not only an issue in the last seminars. Ellie Ragland discusses how various (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. 10 Not Solvable by Radicals: Lacan, Topology, Politics.A. J. Bartlett & Justin Clemens - 2014 - In Marios Constantinou (ed.), Badiou and the Political Condition. Edinburgh University Press. pp. 232-251.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. Adding Convexity to Mereotopology.Marion Haemmerli & Achille C. Varzi - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems. Proceedings of the Eighth International Conference. IOS Press. pp. 65–78.
    Convexity predicates and the convex hull operator continue to play an important role in theories of spatial representation and reasoning, yet their first-order axiomatization is still a matter of controversy. In this paper, we present a new approach to adding convexity to mereotopological theory with boundary elements by specifying first-order axioms for a binary segment operator s. We show that our axioms yields a convex hull operator h that supports, not only the basic properties of convex regions, but also complex (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. How Can We Signify Being? Semiotics and Topological Self-Signification.Steven M. Rosen - 2014 - Cosmos and History 10 (2):250-277.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. '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  
1 — 50 / 208