Switch to: Citations

Add references

You must login to add references.
  1. The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - 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 of (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Whole and part in mathematics.John L. Bell - 2004 - Axiomathes 14 (4):285-294.
    The centrality of the whole/part relation in mathematics is demonstrated through the presentation and analysis of examples from algebra, geometry, functional analysis,logic, topology and category theory.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
    Download  
     
    Export citation  
     
    Bookmark   133 citations  
  • Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Mathematics: Form and Function.Saunders Mac Lane - 1990 - Studia Logica 49 (3):424-426.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • A Primer of Infinitesimal Analysis.John Lane Bell - 1998 - Cambridge University Press.
    This is the first elementary book to employ the concept of infinitesimals.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Review: F. William Lawvere, An Elementary Theory of the Category of sets. [REVIEW]Calvin C. Elgot - 1972 - Journal of Symbolic Logic 37 (1):191-192.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Towards a real phenomenology of logic.Alberto Peruzzi - 1989 - Husserl Studies 6 (1):1-24.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Ilge interference patterns in semantics and epistemology.Alberto Peruzzi - 2002 - Axiomathes 13 (1):39-64.
    The issue as to whether an atomistic or holistic viewof knowledge and meaning is correct relies on the way part/whole relationships is analysed,exactly as the issue as to whether a constructive or realistic view of knowledge and meaningis correct relies on the way internal/external relationships is analysed. Both theprinciple of compositionality and the context principle depend on how finely the constituents,the nature and the size of the context are identified; both the notion of meaning andthe notion of truth depend on (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Defining sets as sets of points of spaces.Colin McLarty - 1988 - Journal of Philosophical Logic 17 (1):75 - 90.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Mathematics: Form and Function.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):643-645.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Book Reviews. [REVIEW]B. Jacobs - 2001 - Studia Logica 69 (3):429-455.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • The theory of descriptions revisited.Alberto Peruzzi - 1988 - Notre Dame Journal of Formal Logic 30 (1):91-104.
    Download  
     
    Export citation  
     
    Bookmark   3 citations