Steven Awodey (awodey)

Contributions à Philosophie.ch

Bibliography

Awodey, Steven. 1996. “Structure in Mathematics and Logic: A Categorical Perspective.” Philosophia Mathematica 4(3): 209–237.
Awodey, Steven. 2004. “An Answer to Hellman’s Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’ [Hellman (2003)].” Philosophia Mathematica 12(1): 54–64.
Awodey, Steven. 2006a. Category Theory. Oxford Logic Guides n. 49. Oxford: Oxford University Press.
Awodey, Steven. 2006b. “Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi.” in The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today, edited by Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, and Henk Visser, pp. 139–150. Logic, Epistemology, and the Unity of Science n. 3. Dordrecht: Springer.
Awodey, Steven. 2008a. “A Brief Introduction to Algebraic Set Theory.” The Bulletin of Symbolic Logic 14(3): 281–298.
Awodey, Steven. 2008b. “Carnap’s Quest for Analyticity: the Studies in Semantics.” in The Cambridge Companion to Carnap, edited by Michael Friedman and Richard Creath, pp. 226–247. Cambridge Companions to Philosophy. Cambridge: Cambridge University Press.
Awodey, Steven. 2010. Category Theory. 2nd ed. Oxford Logic Guides n. 52. Oxford: Oxford University Press.
Awodey, Steven. 2012. “Type Theory and Homotopy.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 183–202. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Awodey, Steven. 2014. “Structuralism, Invariance, and Univalence.” Philosophia Mathematica 22(1): 1–11. Reprinted in Landry (2017, 58–61).
Awodey, Steven. 2017. “Carnap and the Invariance of Logical Truth.” Synthese 194(1): 67–78.
Awodey, Steven and Carus, André W. 2007. “The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus to Logical Syntax.” in The Cambridge Companion to Logical Empiricism, edited by Alan W. Richardson and Thomas E. Uebel, pp. 165–192. Cambridge Companions to Philosophy. Cambridge: Cambridge University Press.
Awodey, Steven and Carus, André W. 2010. “Gödel and Carnap.” in Kurt Gödel. Essays for his Centennial, edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, pp. 252–274. Cambridge: Cambridge University Press.
Awodey, Steven and Kishida, Kohei. 2008. “Topology and Modality: The Topological Interpretation of First-Order Modal Logic.” The Review of Symbolic Logic 1(2): 146–166.
Awodey, Steven and Kishida, Kohei. 2012. “Topological Completeness of First-Order Modal Logics.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 1–17. London: King’s College Publications.
Awodey, Steven, Kishida, Kohei and Kotzsch, Hans-Christoph. 2014. “Topos Semantics for Higher-Order Modal Logic.” Logique et Analyse 57(228): 591–636.
Awodey, Steven and Reck, Erich H. 2002a. “Completeness and Categoricity, Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.” History and Philosophy of Logic 23(1): 1–30.
Awodey, Steven and Reck, Erich H. 2002b. “Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics.” History and Philosophy of Logic 23(2): 77–94.
Reck, Erich H. and Awodey, Steven. 2003. Frege’s Lectures on Logic: Carnap’s Jena Notes, 1910-1914. LaSalle, Illinois: Open Court Publishing Co.

Further References

Hellman, Geoffrey. 2003. “Does Category Theory Provide a Framework for Mathematical Structuralism?” Philosophia Mathematica 11(2): 129–157.
Landry, Elaine M., ed. 2017. Categories for the Working Philosopher. Oxford: Oxford University Press, doi:10.1093/oso/9780198748991.001.0001.