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

1 found
Order:
  1. 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  
  2. Reconciling Rigor and Intuition.Silvia De Toffoli - forthcoming - Erkenntnis:1-20.
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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  
  5. 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  
  6. Slavoj Žižek, "Sex and the Failed Absolute". [REVIEW]Jakub Mácha - 2020 - Philosophy in Review 40 (2):88-90.
  7. Topological Models of Columnar Vagueness.Thomas Mormann - 2020 - Erkenntnis:1-24.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. 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  
  9. 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  
  10. 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   1 citation  
  11. 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   1 citation  
  12. 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  
  13. 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  
  14. De amore.Andrej Poleev - 2018
  15. 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   1 citation  
  16. 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  
     
    Export citation  
     
    Bookmark  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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   4 citations  
  22. 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  
  23. 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  
  24. 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.
  25. 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  
  26. 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   7 citations  
  27. 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   2 citations  
  28. 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  
  29. 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  
  30. 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  
  31. 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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  32. 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   3 citations  
  33. Bridging the “Two Cultures”: Merleau-Ponty and the Crisis in Modern Physics.Steven M. Rosen - 2013 - Cosmos and History 9 (2):1-12.
    This paper brings to light the significance of Merleau-Ponty’s thinking for contemporary physics. The point of departure is his 1956–57 Collège de France lectures on Nature, coupled with his reflections on the crisis in modern physics appearing in THE VISIBLE AND THE INVISIBLE. Developments in theoretical physics after his death are then explored and a deepening of the crisis is disclosed. The upshot is that physics’ intractable problems of uncertainty and subject-object interaction can only be addressed by shifting its philosophical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. 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   7 citations  
  35. 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  
  36. 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  
  37. HIV, Globalization and Topology: Of Prepositions and Propositions.M. Michael & M. 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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Topology and Morphogenesis.X. W. Sha - 2012 - Theory, Culture and Society 29 (4-5):220-246.
    One can use mathematics not as an instrument or measure, or a replacement for God, but as a poetic articulation, or perhaps as a stammered experimental approach to cultural dynamics. I choose to start with the simplest symbolic substances that respect the lifeworld’s continuous dynamism, temporality, boundless morphogenesis, superposability, continuity, density and value, and yet are independent of measure, metric, counting, finitude, formal logic, syntax, grammar, digitality and computability – in short, free of the formal structures that would put a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Cultural Topology: The Seven Bridges of Königsburg, 1736.Rob Shields - 2012 - Theory, Culture and Society 29 (4-5):43-57.
    In an example of Enlightenment ‘engaged research' and public intellectual practice, Euler established the basis of topology and graph theory through his solution to the puzzle of whether a stroll around the seven bridges of 18th-century Königsberg was possible without having to cross any given bridge twice. This ‘Manifesto' argues that, born in a form of cultural studies, topology offers 21st-century researchers a model for mapping the dynamics of time as well as space, allowing the rigorous description of events, situations, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40. On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 1-13.
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Rosen's Modelling Relations Via Categorical Adjunctions.Elias Zafiris - 2012 - International Journal of General Systems 41 (5):439-474.
    Rosen's modelling relations constitute a conceptual schema for the understanding of the bidirectional process of correspondence between natural systems and formal symbolic systems. The notion of formal systems used in this study refers to information structures constructed as algebraic rings of observable attributes of natural systems, in which the notion of observable signifies a physical attribute that, in principle, can be measured. Due to the fact that modelling relations are bidirectional by construction, they admit a precise categorical formulation in terms (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Metric Complements of Overt Closed Sets.Thierry Coquand, Erik Palmgren & Bas Spitters - 2011 - Mathematical Logic Quarterly 57 (4):373-378.
    We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop-compact. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43. The Spatial Logic of Social Struggle: A Bourdieuian Topology.Nikolaus Fogle - 2011 - Lexington Books.
    This is the first work to explicitly target Bourdieu's philosophy of space as a basic organizing force for his social theory. It draws together his work on both social space and physical space, and it applies the logic that binds them together to problems of architecture and urban development.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. Multilocation and Mereology.Shieva Kleinschmidt - 2011 - Philosophical Perspectives 25 (1):253-276.
    Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  45. The Place of Topology: Responding to Crowell, Beistegui, and Young.Jeff Malpas - 2011 - International Journal of Philosophical Studies 19 (2):295 - 315.
    The idea of philosophical topology, or topography as I call it outside of the Heideggerian context, has become increasingly central to my work over the last twenty years. While the idea is not indebted only to Heidegger’s thinking, it is probably Heidegger to whom I owe the most. Moreover, one of my claims, central to _Heidegger’s Topology_, is that Heidegger’s own work cannot adequately be understood except as topological in character, and so as centrally concerned with place – _topos, Ort, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46. The Topology of Homophase Misorientation Spaces.S. Patala & C. A. Schuh - 2011 - Philosophical Magazine 91 (10):1489-1508.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-Reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics. [REVIEW]Diego L. Rapoport - 2011 - Foundations of Physics 41 (1):33-76.
    In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. On the T 1 Axiom and Other Separation Properties in Constructive Point-Free and Point-Set Topology.Peter Aczel & Giovanni Curi - 2010 - Annals of Pure and Applied Logic 161 (4):560-569.
    In this note a T1 formal space is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of a formal space, and prove that the class of points of a weakly set-presentable formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulate separation properties for constructive topological spaces , strengthening separation properties discussed elsewhere. Finally we relate (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.
    This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50. Time, Topology and Physical Geometry.Tim Maudlin - 2010 - Aristotelian Society Supplementary Volume 84 (1):63-78.
    The standard mathematical account of the sub-metrical geometry of a space employs topology, whose foundational concept is the open set. This proves to be an unhappy choice for discrete spaces, and offers no insight into the physical origin of geometrical structure. I outline an alternative, the Theory of Linear Structures, whose foundational concept is the line. Application to Relativistic space-time reveals that the whole geometry of space-time derives from temporal structure. In this sense, instead of spatializing time, Relativity temporalizes space.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations