Department Affiliates
Department Activity
Also at University of Calgary
-
-
-
Gillman Payette, 7. Preserving Logical StructureIn Raymond Jennings, Bryson Brown & Peter Schotch (eds.), On Preserving: Essays on Preservationism and Paraconsistent Logic, University of Toronto Press. pp. 105-144. 2009.
-
Peter Schotch and Gillman Payette, 6. Preserving What?In Raymond Jennings, Bryson Brown & Peter Schotch (eds.), On Preserving: Essays on Preservationism and Paraconsistent Logic, University of Toronto Press. pp. 85-104. 2009.
-
G. Aldo Antonelli, Alasdair Urquhart, and Richard Zach, Mathematical methods in philosophy: Editors' introductionReview of Symbolic Logic 1 (2): 143-145. 2008.
-
Matthias Baaz and Richard Zach, Effective finite-valued approximations of general propositional logicsIn Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer Verlag. 2008.
-
Allen Habib and Keith Lehrer, Sosa on Circularity and CoherenceIn John Greco (ed.), Ernest Sosa: And His Critics, Wiley-blackwell. 2008.
-
-
Richard Zach, Matthias Baaz, and Norbert Preining, First-order Gödel logicsAnnals of Pure and Applied Logic 147 (1): 23-47. 2007.
-
-
-
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.