11 found
Order:
  1.  39
    Incompleteness in Intuitionistic Metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.
  2. The Philosophy of Logical Wholism.David Charles Mccarty - 1991 - Synthese 87 (1):51 - 123.
    The present paper is one installment in a lengthy task, the replacement of atomistic interpretations of Wittgenstein's Tractatus by a wholistic interpretation on which the world-in-logical-space is not constructed out of objects but objects are abstracted from out of that space. Here, general arguments against atomism are directed toward a specific target, the four aspects of the atomistic reading of Tractatus given in the Hintikkas' Investigating Wittgenstein (Hintikka & Hintikka 1986). The aspects in question are called the semantical, metaphysical, epistemological (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  16
    Wittgenstein on the Unreasonableness of Education: Connecting Teaching and Meaning. [REVIEW]Luise Prior McCarty & David Charles McCarty - 1995 - Studies in Philosophy and Education 14 (2-3):187-200.
  4.  69
    On the Failure of Mathematics' Philosophy: Review of P. Maddy, Realism in Mathematics; and C. Chihara, Constructibility and Mathematical Existence.David Charles McCarty - 1993 - Synthese 96 (2):255-291.
  5.  20
    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. Edited by Wilfred Sieg, Richard Sommer, and Carolyn Talcott, Lecture Notes in Logic, Vol. 15. A. K. Peters, Ltd., Natick, MA, 2002, Viii + 440 Pp.David Charles McCarty - 2005 - Bulletin of Symbolic Logic 11 (2):239-241.
  6.  24
    Logic From a to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms.John B. Bacon, Michael Detlefsen & David Charles McCarty - 1999 - Routledge.
    First published in the most ambitious international philosophy project for a generation; the _Routledge Encyclopedia of Philosophy_. _Logic from A to Z_ is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  29
    Polymorphism and Apartness.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (4):513-532.
  8.  21
    All the Mathematics in the World: Logical Validity and Classical Set Theory.David Charles McCarty - 2017 - Philosophical Problems in Science 63:5-29.
    A recognizable topological model construction shows that any consistent principles of classical set theory, including the validity of the law of the excluded third, together with a standard class theory, do not suffice to demonstrate the general validity of the law of the excluded third. This result calls into question the classical mathematician's ability to offer solid justifications for the logical principles he or she favors.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Hilbert and Paul Du Bois Reymond.David Charles McCarty - 2004 - In ¸ Itelink2004. Walter de Gruyter. pp. 517-532.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  10. ¸ Itelink2004.David Charles McCarty - 2004 - Walter de Gruyter.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  38
    What Are the Limits of Mathematical Explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.
    An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
    Direct download  
     
    Export citation  
     
    Bookmark