Department Affiliates
Department Activity
Details
-
MA program offered
-
PhD program offered
Administrators
Also at University of Connecticut
-
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.
-
Stewart Shapiro, Intentional mathematics (edited book)Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. 1985.
-
Stewart Shapiro, Second-order languages and mathematical practiceJournal of Symbolic Logic 50 (3): 714-742. 1985.
-
-
-
-
-
Stewart Shapiro, Remarks on the development of computabilityHistory and Philosophy of Logic 4 (1): 203-220. 1983.
-
-
Stewart Shapiro, Understanding church's thesisJournal of Philosophical Logic 10 (3): 353--65. 1981.