David Charles McCarty (mccarty-dc)

Contributi a Philosophie.ch

Bibliography

Fisher, David and McCarty, David Charles. 2018. “The Possibility of Analysis: Convergence and Proofs of Convergence.” in The Philosophy of Logical Atomism, edited by Landon D. C. Elkind and Gregory Landini, pp. 263–289. History of Analytic Philosophy. London: Palgrave Macmillan.
McCarty, David Charles. 1983. “Intuitionism: An Introduction to a Seminar.” The Journal of Philosophical Logic 12(2): 105–149.
McCarty, David Charles. 1984. “Realizability and Recursive Mathematics.” cmu–cs–84–131. Pittsburgh, Pennsylvania: Department of Computer Science, Carnegie Mellon University.
McCarty, David Charles. 1987. “Variations on a Thesis: Intuitionism and Computability.” Notre Dame Journal of Formal Logic 28(4): 536–580.
McCarty, David Charles. 1993. “Review Essay: On the Failure of Mathematics’ Philosophy.” Synthese 96: 255–291.
McCarty, David Charles. 1995. “The Mysteries of Richard Dedekind.” in From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics, pp. 53–96. Synthese Library n. 251. Dordrecht: Kluwer Academic Publishers.
McCarty, David Charles. 1996. “Undecidability and Intuitionistic Incompleteness.” The Journal of Philosophical Logic 25(5): 559–565.
McCarty, David Charles. 2002. “Intuitionistic Completeness and Classical Logic.” Notre Dame Journal of Formal Logic 43(4): 243–248.
McCarty, David Charles. 2004. “David Hilbert and Paul du Bois-Reymond: Limits and Ideals.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 517–532. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
McCarty, David Charles. 2005. “Intuitionism in Mathematics.” in The Oxford Handbook of Philosophy of Mathematics and Logic, edited by Stewart Shapiro, pp. 356–386. Oxford Handbooks. Oxford: Oxford University Press, doi:10.1093/0195148770.001.0001.
McCarty, David Charles. 2006. “Thesis and Variations.” in Church’s Thesis After 70 Years, edited by Adam Olszewski, Jan Woleński, and Robert Janusz, pp. 281–303. Ontos Mathematical Logic n. 1. Heusenstamm b. Frankfurt: Ontos Verlag.
McCarty, David Charles. 2008. “Intuitionism and Logical Syntax.” Philosophia Mathematica 16(1): 56–77.
McCarty, David Charles. 2009. “Constructivism in mathematics.” in Philosophy of Mathematics, edited by Andrew David Irvine, pp. 311–344. Handbook of the Philosophy of Science n. 4. Amsterdam: Elsevier Science Publishers B.V.
McCarty, David Charles. 2013. “Paradox and Potential Infinity.” The Journal of Philosophical Logic 42(1): 195–219.
McCarty, David Charles. 2014. “Arithmetic, Convention, Reality.” in Castañeda and his Guises. Essays on the Work of Hector-Neri Castañeda, edited by Adriano P. Palma, pp. 83–96. Philosophische Analyse / Philosophical Analysis n. 58. Berlin: de Gruyter.
McCarty, David Charles. 2016. “Review of Parsons (2014).” The Philosophical Review 125(2): 298–302.
McCarty, David Charles and Tennant, Neil W. 1987. “Skolem’s Paradox and Constructivism.” The Journal of Philosophical Logic 16(2): 165–202. Reprinted in Shapiro (1996).

Further References

Parsons, Charles. 2014. Philosophy of Mathematics in the Twentieth Century. Selected Essays. Cambridge, Massachusetts: Harvard University Press.
Shapiro, Stewart. 1996. The Limits of Logic: Second-Order Logic and the Löwenheim-Skolem Theorem. Brookfield, Vermont: Aldershot.