Department Members
Department Activity
Also at University of Calgary
-
Richard Zach, Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse (review)History and Philosophy of Logic 26 (4): 369-371. 2005.
-
Megan Delehanty, Emergent properties and the context objection to reductionBiology and Philosophy 20 (4): 715-734. 2005.
-
Richard Zach, Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofsHistory and Philosophy of Logic 25 (2): 79-94. 2004.
-
Richard Zach, Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ωJournal of Philosophical Logic 33 (2): 155-164. 2004.
-
Richard Zach, Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier (review)Philosophiques 31 (1): 221-224. 2004.
-
Richard Zach, Kurt Gödel, paper on the incompleteness theorems (1931)In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics, North-holland. pp. 917-925. 2004.
-
Nicole Wyatt, What are Beall and Restall pluralists about?Australasian Journal of Philosophy 82 (3). 2004.
-
Richard Zach, The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's programSynthese 137 (1-2). 2003.
-
Richard Zach, George S. Boolos, John P. Burgess, and Richard C. Jeffrey. Computability and logic, Fourth edition. Cambridge University Press, Cambridge, 2002. xi + 356 pp (review)Bulletin of Symbolic Logic 9 (4): 520-521. 2003.
-
Jeremy Fantl and Robert Howell, Sensations, swatches, and speckled hensPacific Philosophical Quarterly 84 (4): 371-383. 2003.
-
Megan Delehanty, Evelyn Fox Keller, Making Sense of Life: Explaining Biological Development with Models, Metaphors, and Machines. Cambridge, Mass.: Harvard University Press, 2002 (review)Metascience 12 (3): 393-396. 2003.
-
Richard Zach, Hilbert's program then and nowIn Dale Jacquette (ed.), Philosophy of Logic, North Holland. 2002.
-
Richard Zach, Computability. Computable functions, logic, and the foundations of mathematics (review)History and Philosophy of Logic 23 (1): 67-69. 2002.
-
Jeremy Fantl and Matthew McGrath, Evidence, pragmatics, and justificationPhilosophical Review 111 (1): 67-94. 2002.
-
Richard Zach, Hilbert’s Finitism: Historical, Philosophical, and Metamathematical PerspectivesDissertation, University of California, Berkeley. 2001.
-
Nicole Wyatt, Ralph H. Johnson, Manifest Rationality: A Pragmatic Theory of Argument (review)Philosophy in Review 21 (3): 185-187. 2001.
-
Nicole Wyatt, The Philosophical Computer (review)Philosophy and Phenomenological Research 63 (2): 489-492. 2001.
-
Matthias Baaz, Agata Ciabattoni, and Richard Zach, Quantified Propositional Gödel LogicsIn Voronkov Andrei & Parigot Michel (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000, Springer. pp. 240-256. 2000.
-
Matthias Baaz and Richard Zach, Hypersequents and the proof theory of intuitionistic fuzzy logicIn Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000, Springer. 2000.
-
Nicole Wyatt, Did duns scotus invent possible worlds semantics?Australasian Journal of Philosophy 78 (2). 2000.
-
Jeremy Fantl, How We Should Teach Plantinga’s Possible PersonsTeaching Philosophy 23 (4): 329-342. 2000.
-
Richard Zach, Completeness before Post: Bernays, Hilbert, and the development of propositional logicBulletin of Symbolic Logic 5 (3): 331-366. 1999.
-
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, and Richard Zach, Labeled calculi and finite-valued logicsStudia Logica 61 (1): 7-33. 1998.
-
Matthias Baaz and Richard Zach, Note on generalizing theorems in algebraically closed fieldsArchive for Mathematical Logic 37 (5-6): 297-307. 1998.
-
Matthias Baaz and Richard Zach, Compact propositional Gödel logicsIn Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings, Ieee Press. pp. 108-113. 1998.