Department Affiliates
Department Activity
Details
-
MA program offered
-
PhD program offered
Administrators
Also at University of Connecticut
-
Michael Lynch, Extending Wittgenstein: The pivotal move from epistemology to the sociology of scienceIn Andrew Pickering (ed.), Science as practice and culture, University of Chicago Press. pp. 215--265. 1992.
-
Arthur Ripstein and Lynne Tirrell, Douglas Joel Butler 1957-1991Proceedings and Addresses of the American Philosophical Association 65 (5). 1992.
-
-
Dorit Bar-On, Semantic verificationism, linguistic behaviorism, and translationPhilosophical Studies 66 (3): 235-259. 1992.
-
Dorit Bar-On and Mark Risjord, Is there such a thing as a language?Canadian Journal of Philosophy 22 (2): 163-190. 1992.
-
Lynne Tirrell, Reductive and nonreductive simile theories of metaphorJournal of Philosophy 88 (7): 337-358. 1991.
-
Stewart Shapiro, Foundations without foundationalism: a case for second-order logicOxford University Press. 1991.
-
Lynne Tirrell, Storytelling and moral agencyJournal of Aesthetics and Art Criticism 48 (2): 115-126. 1990.
-
Dorit Bar-On, Discrimination, individual justice and preferential treatmentPublic Affairs Quarterly 4 (2): 111-137. 1990.
-
Dorit Bar-On, Scepticism: The external world and meaningPhilosophical Studies 60 (3): 207-231. 1990.
-
-
George F. Schumm and Stewart Shapiro, Expressive completeness and decidabilityNotre Dame Journal of Formal Logic 31 (4): 576-579. 1990.
-
Stewart Shapiro, Review: Stephen C. Kleene, Origins of Recursive Function Theory; Martin Davis, Why Godel Didn't have Church's Thesis; Stephen C. Kleene, Reflections on Church's Thesis (review)Journal of Symbolic Logic 55 (1): 348-350. 1990.
-
Stewart Shapiro, Second-Order Logic, Foundations, and RulesJournal of Philosophy 87 (5): 234. 1990.
-
Stewart Shapiro, Review of Kleene 1981, Davis 1982, and Kleene 1987 (review)Journal of Symbolic Logic 55 348-350. 1990.
-
Stewart Shapiro, Stephen C. Kleene. Origins of recursive function theory. Annals of the history of computing, vol. 3 , pp. 52– 67. - Martin Davis. Why Gödel didn't have Church's thesis. Information and control, vol. 54 , pp. 3– 24. - Stephen C. Kleene. Reflections on Church's thesis. Notre Dame journal of formal logic, vol. 28 , pp. 490– 498 (review)Journal of Symbolic Logic 55 (1): 348-350. 1990.
-
-
-
-
-
Stewart Shapiro, Second-Order Languages and Mathematical PracticeJournal of Symbolic Logic 54 (1): 291-293. 1989.
-
Stewart Shapiro, K. GÖDEL "Collected works" (review)History and Philosophy of Logic 9 (1): 124. 1988.
-
Stewart Shapiro, The Lindenbaum construction and decidabilityNotre Dame Journal of Formal Logic 29 (2): 208-213. 1988.
-
Desmond Paul Henry, A. Broadie, de Jong R. Willem, James Gasser, J. W. van Evra, Lewis C. Albert, J. Jay Zeman, Gabriel Nuchelmans, G. H. Bird, Jan Hertrich-Woleński, Stewart Shapiro, Barry C. Smith, and C. Cellucci, Book Reviews (review)History and Philosophy of Logic 9 (1): 107-129. 1988.
-
Stewart Shapiro, Principles of reflection and second-order logicJournal of Philosophical Logic 16 (3). 1987.
-
Timothy McCarthy and Stewart Shapiro, Turing projectabilityNotre Dame Journal of Formal Logic 28 (4): 520-535. 1987.
-
Dorit Bar-On, Semantic Indeterminacy and Scientific UnderdeterminationPacific Philosophical Quarterly 67 (4): 245-263. 1986.
-
Stewart Shapiro, Webb Judson Chambers. Mechanism, mentalism, and metamathematics. An essay on finitism. Synthese library, vol. 137. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xiii + 277 ppJournal of Symbolic Logic 51 (2): 472-476. 1986.
-
William G. Lycan and Stewart Shapiro, Actuality and EssenceMidwest Studies in Philosophy 11 (1): 343-377. 1986.
-
Stewart Shapiro, D. GABBAY and F. GUENTHNER "Handbook of philosophical logic. Volume 1: Elements of classical logic"History and Philosophy of Logic 6 (2): 215. 1985.