Search results for 'Categories (Mathematics' (try it on Scholar)

99 found
Order:
  1.  33
    Ahmad Ighbariah (2012). Between Logic and Mathematics: Al-Kindī's Approach to the Aristotelian Categories. Arabic Sciences and Philosophy 22 (1):51-68.
    What is the function of logic in al-Kind's theory of categories as it was presented in his epistle On the Number of Aristotle's Books and Quality, whereas the rest of the categories are thought to be no more than different combinations of these two categories with the category Substance. The discussion will pay special attention to the function of the categories of Quantity and Quality as mediators between logic and mathematics.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  2. Stewart Shapiro (2005). Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-Mathematics. Philosophia Mathematica 13 (1):61-77.
    There is a parallel between the debate between Gottlob Frege and David Hilbert at the turn of the twentieth century and at least some aspects of the current controversy over whether category theory provides the proper framework for structuralism in the philosophy of mathematics. The main issue, I think, concerns the place and interpretation of meta-mathematics in an algebraic or structuralist approach to mathematics. Can meta-mathematics itself be understood in algebraic or structural terms? Or is it an exception to the (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  3. D. Corfield (2002). Review of F. W. Lawvere and S. H. Schanuel, Conceptual Mathematics: A First Introduction to Categories; and J. L. Bell, A Primer of Infinitesimal Analysis. [REVIEW] Studies in History and Philosophy of Science Part B 33 (2):359-366.
     
    Export citation  
     
    My bibliography  
  4.  10
    David Corfield (2002). Conceptual Mathematics: A First Introduction to Categories. Studies in History and Philosophy of Science Part B 33 (2):359-366.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5. Andreas Blass (1993). Makkai Michael and Paré Robert. Accessible Categories: The Foundations of Categorical Model Theory. Contemporary Mathematics, Vol. 104. American Mathematical Society, Providence 1989, Viii + 176 Pp. [REVIEW] Journal of Symbolic Logic 58 (1):355-357.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. David Corfield (2002). Conceptual Mathematics: A First Introduction to Categories. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (2):359-366.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Newton C. A. da Costa, Otavio Bueno, Chris Mortensen, Peter Lavers, William James & Joshua Cole (1997). Inconsistent Mathematics.Category Theory.Closed Set Sheaves and Their Categories.Foundations: Provability, Truth and Sets. [REVIEW] Journal of Symbolic Logic 62 (2):683.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Calvin C. Elgot (1974). Lawvere F. William. The Category of Categories as a Foundation for Mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Edited by Eilenberg S., Harrison D. K., MacLane S., and Röhrl H., Springer-Verlag New York Inc., New York 1966, Pp. 1–20. [REVIEW] Journal of Symbolic Logic 39 (2):341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Calvin C. Elgot (1974). Review: F. William Lawvere, S. Eilenberg, D. K. Harrison, S. MacLane, H. Rohrl, The Category of Categories as a Foundation for Mathematics. [REVIEW] Journal of Symbolic Logic 39 (2):341-341.
  10. G. H. Matthews (1967). Hiż Henry. Congrammaticality, Batteries of Transformations and Grammatical Categories. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence 1961, Pp. 43–50.Hiż H.. The Intuitions of Grammatical Categories. Methodos, Vol. 12 , Pp. 311–319. [REVIEW] Journal of Symbolic Logic 32 (1):115-116.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Richard T. Oehrle (1993). Van Benthem Johan. Language in Action. Categories, Lambdas and Dynamic Logic. Studies in Logic and the Foundations of Mathematics, Vol. 130. North-Holland, Amsterdam, New York, Etc., 1991, X + 349 Pp. [REVIEW] Journal of Symbolic Logic 58 (4):1472-1475.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Anne Preller (1971). Lawvere F. William. Algebraic Theories, Algebraic Categories, and Algebraic Functors. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 413–418. [REVIEW] Journal of Symbolic Logic 36 (2):336-337.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. M. E. Szabo (1981). Lawvere F. William. Introduction to Part I. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture Notes in Mathematics, Vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 3–14.Keane Orville. Abstract Horn Theories. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture Notes in Mathematics, Vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 15–50.Volger Hugo. Completeness Theorem for Logical Categories. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture Notes in Mathematics, Vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 51–86.Volger Hugo. Logical Categories, Semantical Categories and Topoi. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C.,. [REVIEW] Journal of Symbolic Logic 46 (1):158-161.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Mike Prest (2009). Purity, Spectra and Localisation. Cambridge University Press.
    The central aim of this book is to understand modules and the categories they form through associated structures and dimensions, which reflect the complexity of these, and similar, categories.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  5
    M. E. Szabo (1978). Algebra of Proofs. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  16. Marek Karpiński (ed.) (1977). Fundamentals of Computation Theory: Proceedings of the 1977 International Fct-Conference, Poznán-Kórnik, Poland, September 19-23, 1977. [REVIEW] Springer-Verlag.
     
    Export citation  
     
    My bibliography  
  17.  85
    Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
    In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing what we say about the content and structure of both mathematical concepts and theories. Insofar, then, as (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  88
    Steve Awodey (2009). From Sets to Types to Categories to Sets. Philosophical Explorations.
    Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  4
    David Landy, Arthur Charlesworth & Erin Ottmar (2016). Categories of Large Numbers in Line Estimation. Cognitive Science 40 (5).
    How do people stretch their understanding of magnitude from the experiential range to the very large quantities and ranges important in science, geopolitics, and mathematics? This paper empirically evaluates how and whether people make use of numerical categories when estimating relative magnitudes of numbers across many orders of magnitude. We hypothesize that people use scale words—thousand, million, billion—to carve the large number line into categories, stretching linear responses across items within each category. If so, discontinuities in position and (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  21
    Ralf Krömer (2005). Le Pragmatisme Peircéen, la Théorie des Catégories Et le Programme de Thiel. Philosophia Scientiae 9 (2):79-96.
    Category theory is important by its mathematical applications and by the philosophical debates it causes. It is used to express in algebraic topology, to deduce in homological algebra and, as an alternative to the theory of sets, to construct objects in Grothendieck’s conception of algebraic geometry. Category theory is a fundamental discipline in Christian Thiel’s sense, because it is a theory of some typical operations of structural mathematics. This thesis is defended through a particular interpretation of peircean pragmatism; in this (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    Benno van den Berg & Federico De Marchi (2007). Non-Well-Founded Trees in Categories. Annals of Pure and Applied Logic 146 (1):40-59.
    Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive existence results for M-types in locally cartesian closed pretoposes with a natural numbers object, using their internal logic. These are then used to prove stability of such categories with M-types under various topos-theoretic constructions; namely, slicing, formation of coalgebras , and sheaves for (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  19
    Setsuko Tanaka (1999). Boltzmann on Mathematics. Synthese 119 (1-2):203-232.
    Boltzmann’s lectures on natural philosophy point out how the principles of mathematics are both an improvement on traditional philosophy and also serve as a necessary foundation of physics or what the English call “Natura Philosophy”, a title which he will retain for his own lectures. We start with lecture #3 and the mathematical contents of his lectures plus a few philosophical comments. Because of the length of the lectures as a whole we can only give the main points of each (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23. Emily Carson & Lisa Shabel (eds.) (2015). Kant: Studies on Mathematics in the Critical Philosophy. Routledge.
    There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant compares the Formula (...)
     
    Export citation  
     
    My bibliography  
  24. Emily Carson & Lisa Shabel (eds.) (2015). Mathematics in Kant's Critical Philosophy. Routledge.
    There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant compares the Formula (...)
     
    Export citation  
     
    My bibliography  
  25. Daniel Sutherland (1998). The Role of Intuition in Kant's Philosophy of Mathematics and Theory of Magnitudes. Dissertation, University of California, Los Angeles
    The way in which mathematics relates to experience has deeply engaged philosophers from the scientific revolution to the present. It has strongly influenced their views on epistemology, mathematics, science, and the nature of reality. Kant's views on the nature of mathematics and its relation to experience both influence and are influenced by his epistemology, and in particular the distinction Kant draws between concepts and intuitions. My dissertation contributes to clarifying the role of intuition in Kant's theory of mathematical cognition. It (...)
     
    Export citation  
     
    My bibliography  
  26.  4
    Thomas Riese (2008). Book Review: On the Real Possibilities of Continuity. [REVIEW] Biosemiotics 1 (2):271-279.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27. Rainer Carls (1974). Idee Und Menge: Der Aufbau E. Kategorialen Ontologie Als Folge Aud D. Paradozien D Bergriffsrealismus in D Griech. Berchmannskolleg-Verlag.
    No categories
     
    Export citation  
     
    My bibliography  
  28. Riccardo Martinelli (2015). Part II. Themes: Introduction. In Denis Fisette & Riccardo Martinelli (eds.), Philosophy from an Empirical Standpoint. Essays on Carl Stumpf. Brill 145-149.
    An Introduction to the main themes of Carl Stumpf's Philosophy.
     
    Export citation  
     
    My bibliography  
  29.  68
    Marcoen J. T. F. Cabbolet (2015). The Importance of Developing a Foundation for Naive Category Theory. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  30. 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  31.  76
    Andrei Rodin (2011). Categories Without Structures. Philosophia Mathematica 19 (1):20-46.
    The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics.
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  32.  84
    F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
    This paper, accessible for a general philosophical audience having only some fleeting acquaintance with set-theory and category-theory, concerns the philosophy of mathematics, specifically the bearing of category-theory on the foundations of mathematics. We argue for six claims. (I) A founding theory for category-theory based on the primitive concept of a set or a class is worthwile to pursue. (II) The extant set-theoretical founding theories for category-theory are conceptually flawed. (III) The conceptual distinction between a set and a class can be (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  33.  41
    William W. Tait (2006). Proof-Theoretic Semantics for Classical Mathematics. Synthese 148 (3):603 - 622.
    We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34.  57
    Arkadiusz Chrudzimski (2009). Catégories formelles, nombres et conceptualisme. La première philosophie de l’arithmétique de Husserl. Philosophiques 36 (2):427-445.
    Résumé -/- Dans son premier livre (Philosophie de l’arithmétique 1891), Husserl élabore une très intéressante philosophie des mathématiques. Les concepts mathématiques sont interprétés comme des concepts de « deuxième ordre » auxquels on accède par une réflexion sur nos opérations mentales de numération. Il s’ensuit que la vérité de la proposition : « il y a trois pommes sur la table » ne consiste pas dans une relation mythique quelconque avec la réalité extérieure au psychique (où le nombre trois doit (...)
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  36
    F. William Lawvere (1992). Categories of Space and of Quantity. In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics. De Gruyter 14--30.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  39
    Jessica Carter (2008). Categories for the Working Mathematician: Making the Impossible Possible. Synthese 162 (1):1 - 13.
    This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, necessarily true statements are true because they describe ‘unchangeable properties of unchangeable objects’. The result that I present is argued to provide a counterexample to this description, as it concerns a case where objects are moved from one category to another in order to change the properties of these objects. The second description concerns necessary (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  32
    Jerry L. R. Chandler (2009). Algebraic Biology: Creating Invariant Binding Relations for Biochemical and Biological Categories. [REVIEW] Axiomathes 19 (3):297-320.
    The desire to understand the mathematics of living systems is increasing. The widely held presupposition that the mathematics developed for modeling of physical systems as continuous functions can be extended to the discrete chemical reactions of genetic systems is viewed with skepticism. The skepticism is grounded in the issue of scientific invariance and the role of the International System of Units in representing the realities of the apodictic sciences. Various formal logics contribute to the theories of biochemistry and molecular biology (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  5
    Ronald Brown (2009). Memory Evolutive Systems. Axiomathes 19 (3):271-280.
    This is a review of the book ‘Memory Evolutive Systems; Hierarchy, Emergence, Cognition’, by A. Ehresmann and J.P. Vanbremeersch. I welcome the use of category theory and the notion of colimit as a way of describing how complex hierarchical systems can be organised, and the notion of categories varying with time to give a notion of an evolving system. In this review I also point out the relation of the notion of colimit to ideas of communication; the necessity of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    E. P. Sitkovskii (1976). The Problem of the Formation of New Categories in Dialectical Logic. Russian Studies in Philosophy 15 (2):94-106.
    The process of the formation of new scientific concepts conditioned by scientific and technological progress often has the consequence that many concepts formed in special sciences - such as mathematics, physics, and biology - are immediately introduced by certain authors into the sphere of philosophy.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Miriam Franchella (2007). Some Reflections about Alain Badiou’s Approach to Platonism in Mathematics. Analytica 1:67-81.
    A reproach has been done many times to post-modernism: its picking up mathematical notions or results, mostly by misrepresenting their real content, in order to strike the readers and obtaining their assent only by impressing them . In this paper I intend to point out that although Alain Badiou’s approach to philosophy starts with taking distance both from analytic philosophy and from French post-modernism, the categories that he uses for labelling logicism, formalism and intuitionism do not reflect the real (...)
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  41.  22
    David P. Ellerman (2016). Category Theory and Set Theory as Theories About Complementary Types of Universals. Logic and Logical Philosophy 2016:1-18.
    Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...), dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  85
    Kay Herrmann (1994). Jakob Friedrich Fries (1773-1843): Eine Philosophie der Exakten Wissenschaften. Tabula Rasa. Jenenser Zeitschrift Für Kritisches Denken (6).
    Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  82
    Geoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
    Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  44.  76
    Barry Smith (2000). Logic and Formal Ontology. Manuscrito 23 (2):29-67.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  45. Cornelis De Waal (2013). Peirce: A Guide for the Perplexed. Continuum.
    Machine generated contents note: 1: Life and Work Chapter 2: Logic Chapter 3: The Doctrine of the Categories Chapter 4: Semiotics Chapter 5: Philosophy of Science Chapter 6: Pragmatism but Not Practicalism Chapter 7: A Pragmatist Theory of Truth Chapter 8: The Perpetual Fight against Nominalism Chapter 9: The Impact of Darwin Chapter 10: Mathematics Chapter 11: Mind and Self Chapter 12 (Conclusion): The Architectonic Philosopher Bibliography Notes Index .
     
    Export citation  
     
    My bibliography   1 citation  
  46.  81
    Graham Harman (2011). Meillassoux's Virtual Future. Continent 1 (2):78-91.
    continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  85
    Colin McLarty (1990). The Uses and Abuses of the History of Topos Theory. British Journal for the Philosophy of Science 41 (3):351-375.
    The view that toposes originated as generalized set theory is a figment of set theoretically educated common sense. This false history obstructs understanding of category theory and especially of categorical foundations for mathematics. Problems in geometry, topology, and related algebra led to categories and toposes. Elementary toposes arose when Lawvere's interest in the foundations of physics and Tierney's in the foundations of topology led both to study Grothendieck's foundations for algebraic geometry. I end with remarks on a categorical view (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  48.  3
    Valtteri Lahtinen & Antti Stenvall (forthcoming). Towards a Unified Framework for Decomposability of Processes. Synthese:1-17.
    The concept of process is ubiquitous in science, engineering and everyday life. Category theory, and monoidal categories in particular, provide an abstract framework for modelling processes of many kinds. In this paper, we concentrate on sequential and parallel decomposability of processes in the framework of monoidal categories: We will give a precise definition, what it means for processes to be decomposable. Moreover, through examples, we argue that viewing parallel processes as coupled in this framework can be seen as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  49
    Kosta Dosen (2006). Models of Deduction. Synthese 148 (3):639 - 657.
    In standard model theory, deductions are not the things one models. But in general proof theory, in particular in categorial proof theory, one finds models of deductions, and the purpose here is to motivate a simple example of such models. This will be a model of deductions performed within an abstract context, where we do not have any particular logical constant, but something underlying all logical constants. In this context, deductions are represented by arrows in categories involved in a (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  72
    J. Lambek (1989). On Some Connections Between Logic and Category Theory. Studia Logica 48 (3):269 - 278.
    Categories may be viewed as deductive systems or as algebraic theories. We are primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance to the foundations of mathematics. We see this as a common thread running through the six contributions to this issue of Studia Logica.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 99