Results for 'sheaves'

8 found
Order:
  1. Trope Sheaves. A Topological Ontology of Tropes.Thomas Mormann - 1995 - Logic and Logical Philosophy of Science 3:129-150.
    In this paper I want to show that topology has a bearing on the theory of tropes. More precisely, I propose a topological ontology of tropes. This is to be understood as follows: trope ontology is a „one-category”-ontology countenancing only one kind of basic entities, to wit, tropes. 1 Hence, individuals, properties, relations, etc. are to be constructed from tropes.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  2. Mathematical Aspects of Similarity and Quasi-analysis - Order, Topology, and Sheaves.Thomas Mormann - manuscript
    The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many empirical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  40
    Topos of existential graphs over Riemann Surfaces.Angie Hugueth - 2025 - Cognitio 26 ( 2316-5278): 1-12.
    Peirce’s Existential Graphs provide a geometrical understanding of a variety of logics (classical, intuitionistic, modal, fi rst-order). The geometrical interpretation is given by topological transformations of closed (Jordan) curves on the plane, but it can be extended to other surfaces (sphere, cylinder, torus, etc.) The result provides the appearance of new logics related to the shapes of the surfaces. Going beyond, one can draw existential graphs over general Riemann Surfaces, and, introducing tools from algebraic geometry (Sheaves, Grothendieck Toposes, Elementary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. A categorial approach to the combination of logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
    In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Events and Memory in Functorial Time I: Localizing Temporal Logic to Condensed, Event-Dependent Memories.Shanna Dobson & Chris Fields - manuscript
    We develop an approach to temporal logic that replaces the traditional objective, agent- and event-independent notion of time with a constructive, event-dependent notion of time. We show how to make this event-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render event-dependent time functorial and to construct memories as sequences of observed and constructed events with well-defined limits that maximize the consistency of categorizations assigned to objects appearing in memories. We then develop a condensed formalism that represents memories (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  45
    Topos de Gráficos Existenciales sobre Superficies de Riemann.Angie Hugueth - forthcoming - X Jornadas de Peirce En Argentina - Universidad de Navarra.
    Los gráficos existenciales de Peirce proveen un entendimiento geométrico de una variedad de lógicas (clásica, intuicionista, modal, primer orden). La interpretación geométrica se da en el plano, pero puede ser extendida a otras superficies (esfera, cilindro, toro, etc.) Yendo más allá, se pueden dibujar gráficos existenciales sobre superficies de Riemann arbitrarias, y, con la introducción de herramientas de geometría algebraica (haces, topos de Grothendieck, topos elementales), se pueden capturar las lógicas emergentes vía un nuevo Topos de Gráficos Existenciales sobre Superficies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Mathematical realism and conceptual semantics.Luke Jerzykiewicz - 2012 - In Oleg Prosorov, Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language. Steklov Institute of Mathematics.
    The dominant approach to analyzing the meaning of natural language sentences that express mathematical knowl- edge relies on a referential, formal semantics. Below, I discuss an argument against this approach and in favour of an internalist, conceptual, intensional alternative. The proposed shift in analytic method offers several benefits, including a novel perspective on what is required to track mathematical content, and hence on the Benacerraf dilemma. The new perspective also promises to facilitate discussion between philosophers of mathematics and cognitive scientists (...)
    Download  
     
    Export citation  
     
    Bookmark