Department Affiliates
Department Activity
Also at University of Calgary
-
Megan Delehanty, Perceiving causation via videomicroscopyPhilosophy of Science 74 (5): 996-1006. 2007.
-
-
Georg Moser and Richard Zach, The Epsilon Calculus and Herbrand ComplexityStudia Logica 82 (1): 133-155. 2006.
-
Matthias Baaz, Norbert Preining, and Richard Zach, Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with DeltaIn Baaz Matthias, Preining Norbert & Zach Richard (eds.), 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings, Ieee Press. 2006.
-
Richard Zach, Kurt Gödel and Computability TheoryIn Beckmann Arnold, Berger Ulrich, Löwe Benedikt & V. Tucker John (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings, Springer. pp. 575--583. 2006.
-
Stephen H. Kellert, Helen Longino, and C. Kenneth Waters, Introduction: The Pluralist StanceIn Stephen H. Kellert, Helen E. Longino & C. Kenneth Waters (eds.), Scientific Pluralism, Univ of Minnesota Press. 2006.
-
Gillman Payette and Blaine D'Entremont, Level CompactnessNotre Dame Journal of Formal Logic 47 (4): 545-555. 2006.
-
Richard Zach, Critical study of Michael Potter’s Reason’s Nearest Kin (review)Notre Dame Journal of Formal Logic 46 (4): 503-513. 2005.
-
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 ppBulletin of Symbolic Logic 9 (4): 520-521. 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.
-
-
-
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: Exploratory Essays in Philosophical Computer Modeling (review)Philosophy and Phenomenological Research 63 (2): 489-491. 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 G. Clote Peter & 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.
-
Richard Zach, Completeness before Post: Bernays, Hilbert, and the development of propositional logicBulletin of Symbolic Logic 5 (3): 331-366. 1999.