Switch to: References

Citations of:

Topoi: The Catergorical Analysis of Logic

Dover Publications (2006)

Add citations

You must login to add citations.
  1. The Minimal Levels of Abstraction in the History of Modern Computing.Federico Gobbo & Marco Benini - 2014 - Philosophy and Technology 27 (3):327-343.
    From the advent of general purpose, Turing-complete machines, the relation between operators, programmers and users with computers can be observed as interconnected informational organisms (inforgs), henceforth analysed with the method of levels of abstraction (LoAs), risen within the philosophy of information (PI). In this paper, the epistemological levellism proposed by L. Floridi in the PI to deal with LoAs will be formalised in constructive terms using category theory, so that information itself is treated as structure-preserving functions instead of Cartesian products. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Structuralist Reduction Concepts as Structure-Preserving Maps.Thomas Mormann - 1988 - Synthese 77 (2):215 - 250.
    The aim of this paper is to characterize the various structuralist reduction concepts as structure-preserving maps in a succinct and unifying way. To begin with, some important intuitive adequacy conditions are discussed that a good (structuralist) reduction concept should satisfy. Having reconstructed these intuitive conditions in the structuralist framework, it turns out that they divide into two mutually incompatible sets of requirements. Accordingly there exist (at least) two essentially different types of structuralist reduction concepts: the first type stresses the existence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Infinitesimals.J. L. Bell - 1988 - Synthese 75 (3):285 - 315.
    The infinitesimal methods commonly used in the 17th and 18th centuries to solve analytical problems had a great deal of elegance and intuitive appeal. But the notion of infinitesimal itself was flawed by contradictions. These arose as a result of attempting to representchange in terms ofstatic conceptions. Now, one may regard infinitesimals as the residual traces of change after the process of change has been terminated. The difficulty was that these residual traces could not logically coexist with the static quantities (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Book Reviews. [REVIEW]John Symons - 2008 - Studia Logica 89 (2):285-289.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Toposes in Logic and Logic in Toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
    The purpose of this paper is to justify the claim that Topos theory and Logic (the latter interpreted in a wide enough sense to include Model theory and Set theory) may interact to the advantage of both fields. Once the necessity of utilizing toposes (other than the topos of Sets) becomes apparent, workers in Topos theory try to make this task as easy as possible by employing a variety of methods which, in the last instance, find their justification in metatheorems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Adjoints and Emergence: Applications of a New Theory of Adjoint Functors. [REVIEW]David Ellerman - 2007 - Axiomathes 17 (1):19-39.
    Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory about (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Bohrification of Operator Algebras and Quantum Logic.Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2012 - Synthese 186 (3):719 - 752.
    Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Some Operators in Kripke Models with an Involution.A. Galli & M. Sagastume - 1999 - Journal of Applied Non-Classical Logics 9 (1):107-120.
    ABSTRACT In an unpublished paper, we prove the equivalence between validity in 3L-models and algebraic validity in 3-valued Lukasiewicz algebras. R. Cignoli and M. Sagastume de Gallego present in [4] an intrinsic definition of the operators s, for i = 1,…,4 of a 5-valued Lukasiewicz algebra. The aim of the present work is to study those operators in g-Kripke models context and to generalize the result obtained for 3L-models in [9] by proving that there exist g-Kripke models appropriate for 5-valued (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On Adjoint and Brain Functors.David Ellerman - 2016 - Axiomathes 26 (1):41-61.
    There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Contextual Semantics in Quantum Mechanics From a Categorical Point of View.Vassilios Karakostas & Elias Zafiris - 2017 - Synthese 194 (3).
    The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • A Concrete Categorical Model for the Lambek Syntactic Calculus.Marcelo Da Silva Corrêa & Edward Hermann Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.
    We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • N.A. Vasil’Ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic.D. Y. Maximov - 2016 - Logica Universalis 10 (1):21-43.
    Here we suggest a formal using of N.A. Vasil’ev’s logical ideas in categorical logic: the idea of “accidental” assertion is formalized with topoi and the idea of the notion of nonclassical negation, that is not based on incompatibility, is formalized in special cases of monoidal categories. For these cases, the variant of the law of “excluded n-th” suggested by Vasil’ev instead of the tertium non datur is obtained in some special cases of these categories. The paraconsistent law suggested by Vasil’ev (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Importance of Developing a Foundation for Naive Category Theory.Marcoen J. T. F. Cabbolet - 2015 - Thought: A Journal of Philosophy 4 (4):237-242.
    Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly shown (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Imperative Logic as Based on a Galois Connection.Arnold Johanson - 1988 - Theoria 54 (1):1-24.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation