Access the full text.
Sign up today, get DeepDyve free for 14 days.
C. McLarty (1992)
Elementary categories, elementary toposes
M. Makkai, M. Makkai (1987)
Stone duality for first order logicAdvances in Mathematics, 65
S. Lane (1997)
DESPITE PYHSICISTS, PROOF IS ESSENTIAL IN MATHEMATICSSynthese, 111
F. Lawvere, Christiane Maurer, G. Wraith (1975)
Model Theory and Topoi
M. Dummett (1984)
Philosophy of mathematics: The philosophical basis of intuitionistic logic
B. Seely, J. Abbott, A. Bellevue (1984)
Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 95
J. Lambek, P. Scott (1986)
Introduction to higher order categorical logic
J. Lambek (1968)
Deductive systems and categoriesMathematical systems theory, 2
A. Pitts (2001)
Categorical logic
Aubert Daigneault (1974)
Studies in algebraic logic
F. Lawvere, R. Rosebrugh (2003)
Sets for Mathematics
M. Makkai, G. Reyes (1977)
First order categorical logic
L. Geymonat, Ugo Giacomini (1970)
Storia del pensiero filosofico e scientifico
D. Kan (1958)
FUNCTORS INVOLVING C.S.S. COMPLEXESTransactions of the American Mathematical Society, 87
A. Asperti, G. Longo (1991)
Categories, types and structures - an introduction to category theory for the working computer scientist
I. Bucur, F. Lawvere (1972)
Toposes, Algebraic Geometry and Logic
P. Cartier (2001)
A mad day’s work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetryBulletin of the American Mathematical Society, 38
S. Eilenberg, S. Maclane (1945)
General theory of natural equivalencesTransactions of the American Mathematical Society, 58
A. Peruzzi (1991)
Categories and Logic
A. Peruzzi (2000)
The geometric roots of semantics
J. Benabou (1985)
Fibered categories and the foundations of naive category theoryJournal of Symbolic Logic, 50
J. Bell (1986)
From absolute to local mathematicsSynthese, 69
F. Lawvere (1969)
Diagonal arguments and cartesian closed categories
W. Hatcher (1968)
Foundations of Mathematics
F. Lawvere (1963)
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES.Proceedings of the National Academy of Sciences of the United States of America, 50 5
S. Lane (1985)
Mathematics, Form and Function
M. Fourman, D. Scott (1979)
Sheaves and logic
A. Kock, G. Reyes (1977)
Doctrines in Categorical LogicStudies in logic and the foundations of mathematics, 90
P. Freyd (1972)
Aspects of topoiBulletin of the Australian Mathematical Society, 7
Saunders Galdós, I. Moerdijk (1992)
Sheaves in geometry and logic: a first introduction to topos theory
S. Maclane, S. Sugden (1935)
A Logical Analysis of Mathematical StructureThe Monist, 45
A. Peruzzi (1993)
Meaning and truth: the ileg project, 15
F. Lawvere (1969)
Adjointness in FoundationsDialectica, 23
J. Hyland (1982)
The Effective ToposStudies in logic and the foundations of mathematics, 110
J. Macnamara, G. Reyes (1994)
The Logical Foundations of Cognition
J. Bell (1998)
A primer of infinitesimal analysis
P. Johnstone (2007)
Sketches of an Elephant
J. Bell (1993)
Hilbert's ɛ-operator and classical logicJournal of Philosophical Logic, 22
Albert Reimer (2005)
Spacetime physics research trends
M. Makkai, R. Paré (1989)
Accessible categories : the foundations of categorical model theory, 104
W. Mitchell (1972)
Boolean topoi and the theory of setsJournal of Pure and Applied Algebra, 2
M. Fourman (1977)
The Logic of TopoiStudies in logic and the foundations of mathematics, 90
S. Vickers (1989)
Topology via Logic
A. Macintyre (1973)
Model-completeness for sheaves of structuresFundamenta Mathematicae, 81
C. McLarty (2005)
Saunders Mac Lane (1909–2005): His Mathematical Life and Philosophical WorksPhilosophia Mathematica, 13
P. Johnstone (1996)
HANDBOOK OF CATEGORICAL ALGEBRABulletin of The London Mathematical Society, 28
J. Mayberry (1994)
What is Required of a Foundation for MathematicsPhilosophia Mathematica, 2
F. Lawvere (1966)
The Category of Categories as a Foundation for Mathematics
A. Troelstra, D. Dalen, A. Heyting (1988)
Constructivism in Mathematics: An Introduction
F. Lawvere (1964)
AN ELEMENTARY THEORY OF THE CATEGORY OF SETS.Proceedings of the National Academy of Sciences of the United States of America, 52 6
Andre Boileau, A. Joyal (1981)
La logique des toposJournal of Symbolic Logic, 46
J. Bell (1988)
Toposes and local set theories - an introduction
M. Fourman, C. Mulvey, D. Scott (1979)
Applications of sheaves
K. Peters (2005)
Obituary: Saunders Mac Lane (1909–2005)Nature, 435
Rob Clifton (1996)
Perspectives on Quantum Reality
P. Johnstone, S. Awodey (2003)
REVIEWS-Sketches of an elephant: A topos theory compendium
J. Bell (1996)
Logical Reflections on the Kochen-Specker Theorem
G. Osius (1974)
The internal and external aspect of logic and set theory in elementary topoiCahiers de Topologie et Géométrie Différentielle Catégoriques, 15
R. Seely (1987)
Modelling Computations: A 2-Categorical Framework
H. Rasiowa, R. Sikorski (1963)
The mathematics of metamathematics
N. Yanofsky (2003)
A universal approach to self-referential paradoxes, incompleteness and fixed pointsBull. Symb. Log., 9
R. Goldblatt (1979)
Topoi, the Categorial Analysis of Logic
(2002)
Handbook of Philosophical Logic
F. Lawvere (1975)
Continuously Variable Sets; Algebraic Geometry = Geometric LogicStudies in logic and the foundations of mathematics, 80
B. Jacobs (2001)
Categorical Logic and Type Theory, 141
D. Rees (1972)
ELÉMENTS DE GÉOMÉTRIE ALGÉBRIQUE–IBulletin of The London Mathematical Society, 4
J. Barwise, H. Keisler (1977)
Handbook of mathematical logicThe British Journal for the Philosophy of Science, 30
[Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning. Logical tools have been exploited in a variety of applications: from linguistics to computer science, from methodology of science to specific physical theories. The very formulation of questions and answers concerning the foundations of mathematics relies on such tools. Finally, mathematical logic has altered the face of philosophy. In view of such outcomes, it is all the more appropriate to consider the impact of categorical methods on logic, since they affect the study of proofs and models, by forging a stricter relationship between a theory and its models, and by enlarging the range of possible models beyond the universe of sets in a way that leads to a substantial refinement of the status ascribed to logic itself.]
Published: Jan 27, 2011
Keywords: Category Theory; Intuitionistic Logic; Left Adjoint; Indispensability Argument; Categorical Logic
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.