- Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Proceedings of Sinn und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A Logical Approach to Philosophy: Essays in Memory of Graham Solomon.David DeVidi & Tim Kenyon (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
A verisimilitudinarian analysis of the Linda paradox.Gustavo Cevolani, Vincenzo Crupi & Roberto Festa - 2012 - VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science.details
|
|
Types, Sets and Categories.John L. Bell - unknowndetails
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
A Study of Categorres of Algebras and Coalgebras.Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss - unknowndetails
|
|
Generality of proofs and its Brauerian representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740-750.details
|
|
The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.Emerson P. Doyle - 2014 - Dissertation, University of Western Ontariodetails
|
|
Continuity and logical completeness: an application of sheaf theory and topoi.Steve Awodey - 2000 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 139--149.details
|
|
Intuition, Objectivity and Structure.Elaine Landry - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 133--153.details
|
|
Soft Axiomatisation: John von Neumann on Method and von Neumann's Method in the Physical Sciences.Miklós Rédei & Michael Stöltzner - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 235--249.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.details
|
|
Structural realism and quantum gravity.Tian Yu Cao - 2006 - In Dean Rickles, Steven French & Juha Saatsi (eds.), The Structural Foundations of Quantum Gravity. Oxford University Press.details
|
|
Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.details
|
|
Categories of scientific theories.Hans Halvorson & Dimitris Tsementzis - 2018 - In Elaine Landry (ed.), Categories for the Working Philosopher. Oxford University Press.details
|
|
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknowndetails
|
|
What is Turing's Comparison between Mechanism and Writing Worth?Jean Lassègue & Giuseppe Longo - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 450--461.details
|
|
Formal hermeneutics based on Frege duality.Oleg Prosorov - 2005 - In Emar Maier, Corien Bary & Janneke Huitink (eds.), Proceedings of Sub9. pp. 286--298.details
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 337--341.details
|
|