This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
113 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 113
  1. Peter Aczel (2006). Aspects of General Topology in Constructive Set Theory. Annals of Pure and Applied Logic 137 (1):3-29.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Peter Aczel & Giovanni Curi (2010). On the T1 Axiom and Other Separation Properties in Constructive Point-Free and Point-Set Topology. Annals of Pure and Applied Logic 161 (4):560-569.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Ernest W. Adams (1996). Topology, Empiricism, and Operationalism. The Monist 79 (1):1--20.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Frank Arntzenius (2008). Gunk, Topology and Measure. In Dean Zimmerman (ed.), Oxford Studies in Metaphysics: Volume 4. Oup Oxford.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Steve Awodey & Kohei Kishida, Topology and Modality: The Topological Interpretation of First-Order Modal Logic.
    As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topological space. in this paper the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Remove from this list | Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  6. Steve Awody & K. Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1 (2):146-166.
    As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Remove from this list | Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  7. Nils A. Baas (2009). Hyperstructures, Topology and Datasets. Axiomathes 19 (3):281-295.
    In the natural sciences higher order structures often occur. There seems to be a need for good methods of describing what we mean by higher order structures in various contexts. This is what hyperstructures are intended to do. We motivate and introduce this new concept. Next we illustrate how it can be applied in various types of genomic analysis—particular the correlations between single nucleotide polymorphisms and diseases. The suggested structure is quite general and may be applied to a variety of (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Babette Babich, Heidegger's Silence: Towards a Post-Modern Topology.
    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 | Direct download  
     
    My bibliography  
     
    Export citation  
  9. Roxana Baiasu (2009). Heidegger's Topology: Being, Place, World, by Jeff Malpas. European Journal of Philosophy 17 (2):315-323.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Paul Bankston (1984). Expressive Power in First Order Topology. Journal of Symbolic Logic 49 (2):478-487.
    A first order representation (f.o.r.) in topology is an assignment of finitary relational structures of the same type to topological spaces in such a way that homeomorphic spaces get sent to isomorphic structures. We first define the notions "one f.o.r. is at least as expressive as another relative to a class of spaces" and "one class of spaces is definable in another relative to an f.o.r.", and prove some general statements. Following this we compare some well-known classes of spaces and (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Alessandro Berarducci, Mário Edmundo & Margarita Otero (2007). Corrigendum To: "Transfer Methods for O-Minimal Topology". Journal of Symbolic Logic 72 (3):1079 - 1080.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Alessandro Berarducci & Margarita Otero (2003). Transfer Methods for o-Minimal Topology. Journal of Symbolic Logic 68 (3):785-794.
    Let M be an o-minimal expansion of an ordered field. Let φ be a formula in the language of ordered domains. In this note we establish some topological properties which are transferred from $\varphi^M$ to $\varphi^R$ and vice versa. Then, we apply these transfer results to give a new proof of a result of M. Edmundo-based on the work of A. Strzebonski-showing the existence of torsion points in any definably compact group defined in an o-minimal expansion of an ordered field.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. David Bohm (1962). Classical and Non-Classical Concepts in the Quantum Theory. British Journal for the Philosophy of Science 12 (48):265-280.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Giovanni Boniolo & Silvio Valentini (2008). Vagueness, Kant and Topology: A Study of Formal Epistemology. Journal of Philosophical Logic 37 (2):141 - 168.
    In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together allow us an atypical, but promising, way of considering vagueness.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. R. Brown, J. F. Glazebrook & I. C. Baianu (2007). A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems. [REVIEW] Axiomathes 17 (3-4):409-493.
    A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Norbert Brunner (1983). The Axiom of Choice in Topology. Notre Dame Journal of Formal Logic 24 (3):305-317.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Gerd Buchdahl (1992). Science and God: The Topology of the Kantian World. Southern Journal of Philosophy 30 (S1):1-24.
    Kant maintains that in face of the failure of the traditional arguments for the existence of God it is necessary to provide an entirely fresh centre of gravity for the notion of religious consciousness. To explicate Kant's critique this paper develops, as a special hermeneutic device, the idea of a kind of Husserlian reduction and realization', in terms of which the various uses of Kant's concept of thing' or object' are given a new interpretation,using this to provide a novel approach (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Robert Warren Button (1978). A Note on the $Q$-Topology. Notre Dame Journal of Formal Logic 19 (4):679-686.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Craig Callendar & Robert Weingard (1996). An Introduction to Topology. The Monist 79 (1):21--33.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. C. Callender & R. Weingard (2000). Topology Change and the Unity of Space. Studies in History and Philosophy of Science Part B 31 (2):227-246.
    Must space be a unity? This question, which exercised Aristotle, Descartes and Kant, is a specific instance of a more general one; namely, can the topology of physical space change with time? In this paper we show how the discussion of the unity of space has been altered but survives in contemporary research in theoretical physics. With a pedagogical review of the role played by the Euler characteristic in the mathematics of relativistic spacetimes, we explain how classical general relativity (modulo (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  21. Roberto Casati (2009). Does Topological Perception Rest on a Misconception About Topology? Philosophical Psychology 22 (1):77 – 81.
    In this article I assess some results that purport to show the existence of a type of 'topological perception', i.e., perceptually based classification of topological features. Striking findings about perception in insects appear to imply that (1) configural, global properties can be considered as primitive perceptual features, and (2) topological features in particular are interesting as they are amenable to formal treatment. I discuss four interrelated questions that bear on any interpretation of findings about the perception of topological properties: what (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. Roberto Casati & Achille C. Varzi (2000). Topological Essentialism. Philosophical Studies 100 (3):217-236.
    Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...)
    Remove from this list | Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  23. Roberto Casati & Achille C. Varzi (1999). Parts and Places. The Structures of Spatial Representation. The Mit Press.
    Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Anthony G. Cohn & Achille C. Varzi (2003). Mereotopological Connection. Journal of Philosophical Logic 32 (4):357-390.
    The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...)
    Remove from this list | Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  25. Marcelo E. Coniglio & Francisco Miraglia (2000). Non-Commutative Topology and Quantales. Studia Logica 65 (2):223-236.
    The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. Thierry Coquand (1997). Minimal Invariant Spaces in Formal Topology. Journal of Symbolic Logic 62 (3):689-698.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. John Earman (1977). How to Talk About the Topology of Time. Noûs 11 (3):211-226.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Ilijas Farah (2002). Review: Stevo Todorcevic, Topics in Topology. [REVIEW] Bulletin of Symbolic Logic 8 (4):526-528.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Ingo Farin (2007). Heidegger's Topology: Being, Place, World. Journal of Phenomenological Psychology 38 (2):288-295.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Peter Forrest (1996). From Ontology to Topology in the Theory of Regions. The Monist 79 (1):34--50.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Philip Franklin (1935). What is Topology? Philosophy of Science 2 (1):39-47.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Wolfgang Freitag (2009). Form and Philosophy: A Topology of Possibility and Representation. Synchron.
    Possibility and reference have been central topics in metaphysics and the philosophy of language in the past decades. Wolfgang Freitag’s Form and Philosophy provides a novel approach to these notions and their interrelations, based on the concept of form as the key modal concept: form is the possibility space of objects. In its historic dimension, the book analyses the role of form in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and Immanuel Kant’s Critique of Pure Reason. In its systematic dimension, the book offers (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Stefan Geschke (2002). Applications of Elementary Submodels in General Topology. Synthese 133 (1-2):31 - 41.
    Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangelskii concerning cardinal invariants of compact spaces.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  34. Clark Glymour (1972). Topology, Cosmology and Convention. Synthese 24 (1-2):195 - 218.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. E. R. Grosholz (1985). Two Episodes in the Unification of Logic and Topology. British Journal for the Philosophy of Science 36 (2):147-157.
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  36. W. Guz (1984). Stochastic Phase Spaces, Fuzzy Sets, and Statistical Metric Spaces. Foundations of Physics 14 (9):821-848.
    This paper is devoted to the study of the notion of the phase-space representation of quantum theory in both the nonrelativisitic and the relativisitic cases. Then, as a derived concept, the stochastic phase space is introduced and its connections with fuzzy set theory and probabilistic topological (in particular, metric) spaces are discussed.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Marion Haemmerli & Achille C. Varzi (2014). Adding Convexity to Mereotopology. In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems. Proceedings of the Eighth International Conference. IOS Press. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  38. James Harrington, Instants and Instantaneous Velocity.
    This paper will argue that the puzzles about instantaneous velocity, and rates of change more generally, are the result of a failure to recognize an ambiguity in the concept of an instant, and therefore of an instantaneous state. We will conclude that there are two distinct conceptions of a temporal instant: (i) instants conceived as fundamentally distinct zero-duration temporal atoms and (ii) instants conceived as the boundary of, or between,temporally extended durations. Since the concept of classical instantaneous velocity is well- (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Bernhard Heinemann (2008). A Hybrid Logic for Reasoning About Knowledge and Topology. Journal of Logic, Language and Information 17 (1):19-41.
    We extend Moss and Parikh’s bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidability of the extended system. Special emphasis will be placed on algebras.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Chris Heunen, Klaas Landsman & Bas Spitters, The Principle of General Tovariance.
    We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr's interpretation of quantum mechanics, i.e. his doctrine of classical concepts and his principle of complementarity. An appropriate mathematical language for combining (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  41. H. M. Hubey (1997). Logic, Physics, Physiology, and Topology of Color. Behavioral and Brain Sciences 20 (2):191-194.
    This commentary starts with a simplified Cartesian vector space of the tristimulus theory of color. This vector space is then further simplified so that bitstrings are used to represent the vector space. The Commission Internationale de l'Eclairage (CIE) diagram is shown to follow directly and simply from this vector space. The Berlin & Kay results are shown to agree quite well with the vector space and the two-dimensional version of it, especially if the dimensions are normalized to take into account (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Kirsten Jacobson (2007). Heidegger's Topology. [REVIEW] Environmental Philosophy 4 (1/2):195-198.
  43. P. T. Johnstone (1991). Review: Steven Vickers, Topology Via Logic. [REVIEW] Journal of Symbolic Logic 56 (3):1101-1102.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Cory Juhl (1996). Topology as Epistemology. The Monist 79 (1):141-147.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Iraj Kalantari & Anne Leggett (1983). Maximality in Effective Topology. Journal of Symbolic Logic 48 (1):100-112.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  46. Iraj Kalantari & Anne Leggett (1982). Simplicity in Effective Topology. Journal of Symbolic Logic 47 (1):169-183.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Shieva Kleinschmidt (2011). Multilocation and Mereology. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  48. David Kolb (2007). Review of Jeff Malpas, Heidegger's Topology: Being, Place, World. [REVIEW] Notre Dame Philosophical Reviews 2007 (6).
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Robin Le Poidevin (1996). Time, Tense and Topology. Philosophical Quarterly 46 (185):467-481.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Robin Le Poidevin (1990). Relationism and Temporal Topology: Physics or Metaphysics? Philosophical Quarterly 40 (161):419-432.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 113