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:
100 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 100
  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.
    Your left and right hands are now touching each other. This could have been otherwise; but could your hands not be attached to the rest of your body? Sue is now putting the doughnut on the coffe table. She could have left it in the box; but could she have left only the hole in the box? Could her doughnut be holeless? Could it have two holes instead? Could the doughnut have a different hole than the one it has? Some (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  23. 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  
  24. 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  
  25. 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  
  26. 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  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. 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  
  32. 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  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. Kirsten Jacobson (2007). Heidegger's Topology. Environmental Philosophy 4 (1/2):195-198.
  38. 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  
  39. Cory Juhl (1996). Topology as Epistemology. The Monist 79 (1):141-147.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. 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  
  41. 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  
  42. 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  
  43. 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  
  44. 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  
  45. 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  
  46. Thomas M. Leschine (1978). Propositional Logic for Topology-Like Matrices: A Calculus with Restricted Substitution. Studia Logica 37 (2):161 - 165.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Reginald Lilly (1998). The Topology of Des Hegemonies Brisées. Research in Phenomenology 28 (1):226-242.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. A. H. Louie & Stephen W. Kercel (2007). Topology and Life Redux: Robert Rosen's Relational Diagrams of Living Systems. [REVIEW] Axiomathes 17 (2):109-136.
    Algebraic/topological descriptions of living processes are indispensable to the understanding of both biological and cognitive functions. This paper presents a fundamental algebraic description of living/cognitive processes and exposes its inherent ambiguity. Since ambiguity is forbidden to computation, no computational description can lend insight to inherently ambiguous processes. The impredicativity of these models is not a flaw, but is, rather, their strength. It enables us to reason with ambiguous mathematical representations of ambiguous natural processes. The noncomputability of these structures means computerized (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. E. J. Lowe (1986). The Topology of Visual Appearance. Erkenntnis 25 (November):271-274.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Maria Emilia Maietti & Silvio Valentini (2004). A Structural Investigation on Formal Topology: Coreflection of Formal Covers and Exponentiability. Journal of Symbolic Logic 69 (4):967-1005.
    We present and study the category of formal topologies and some of its variants. Two main results are proven. The first is that, for any inductively generated formal cover, there exists a formal topology whose cover extends in the minimal way the given one. This result is obtained by enhancing the method for the inductive generation of the cover relation by adding a coinductive generation of the positivity predicate. Categorically, this result can be rephrased by saying that inductively generated formal (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 100