23 found
Order:
  1.  53
    Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
    We call a logic regular for a semantics when the satisfaction predicate for at least one of its nontheorems is closed under double negation. Such intuitionistic theories as second-order Heyting arithmetic HAS and the intuitionistic set theory IZF prove completeness for no regular logics, no matter how simple or complicated. Any extensions of those theories proving completeness for regular logics are classical, i.e., they derive the tertium non datur. When an intuitionistic metatheory features anticlassical principles or recognizes that a logic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  9
    Realizability and Recursive Set Theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32:153-183.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  10
    Variations on a Thesis: Intuitionism and Computability.Charles McCarty - 1987 - Notre Dame Journal of Formal Logic 28 (4):536-580.
  4.  21
    Constructive Validity is Nonarithmetic.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1036-1041.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  21
    Skolem's Paradox and Constructivism.Charles McCarty & Neil Tennant - 1987 - Journal of Philosophical Logic 16 (2):165 - 202.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  37
    Antirealism and Constructivism: Brouwer’s Weak Counterexamples: Antirealism and Constructivism: Brouwer’s Weak Counterexamples.Charles Mccarty - 2013 - Review of Symbolic Logic 6 (1):147-159.
    Strictly intuitionistic inferences are employed to demonstrate that three conditions—the existence of Brouwerian weak counterexamples to _Test_, the recognition condition, and the _BHK_ interpretation of the logical signs—are together inconsistent. Therefore, if the logical signs in mathematical statements governed by the recognition condition are constructive in that they satisfy the clauses of the _BHK_, then every relevant instance of the classical principle _Test_ is true intuitionistically, and the antirealistic critique of conventional logic, once thought to yield such weak counterexamples, is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  64
    Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
    We describe a variety of sets internal to models of intuitionistic set theory that (1) manifest some of the crucial behaviors of potentially infinite sets as described in the foundational literature going back to Aristotle, and (2) provide models for systems of predicative arithmetic. We close with a brief discussion of Church’s Thesis for predicative arithmetic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  13
    Markov's Principle, Isols and Dedekind Finite Sets.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1042-1069.
  9.  35
    Intuitionism: An Introduction to a Seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.
  10.  47
    Intuitionism and Logical Syntax.Charles McCarty - 2008 - Philosophia Mathematica 16 (1):56-77.
    , Rudolf Carnap became a chief proponent of the doctrine that the statements of intuitionism carry nonstandard intuitionistic meanings. This doctrine is linked to Carnap's ‘Principle of Tolerance’ and claims he made on behalf of his notion of pure syntax. From premises independent of intuitionism, we argue that the doctrine, the Principle, and the attendant claims are mistaken, especially Carnap's repeated insistence that, in defining languages, logicians are free of commitment to mathematical statements intuitionists would reject. I am grateful to (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  41
    The Coherence of Antirealism.Charles McCarty - 2006 - Mind 115 (460):947-956.
    The project of antirealism is to construct an assertibility semantics on which (1) the truth of statements obeys a recognition condition so that (2) counterexamples are forthcoming to the law of the excluded third and (3) intuitionistic formal predicate logic is provably sound and complete with respect to the associated notion of validity. Using principles of intuitionistic mathematics and employing only intuitionistically correct inferences, we show that prima facie reasonable formulations of (1), (2), and (3) are inconsistent. Therefore, it should (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  6
    Subcountability Under Realizability.Charles McCarty - 1986 - Notre Dame Journal of Formal Logic 27 (2):210-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  6
    Arithmetic, Convention, Reality.Charles McCarty - 2014 - In Adriano Palma (ed.), Castañeda and His Guises: Essays on the Work of Hector-Neri Castañeda. De Gruyter. pp. 83-96.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  6
    At the Heart of Analysis: Intuitionism and Philosophy.Charles McCarty - 2006 - Philosophia Scientiae:81-94.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    At the Heart of Analysis: Intuitionism and Philosophy.Charles McCarty - 2006 - Philosophia Scientae:81-94.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  31
    Brouwer’s Weak Counterexamples and Testability: Further Remarks: Brouwer’s Weak Counterexamples and Testability: Further Remarks.Charles Mccarty - 2013 - Review of Symbolic Logic 6 (3):513-523.
    Straightforwardly and strictly intuitionistic inferences show that the Brouwer– Heyting–Kolmogorov interpretation, in the presence of a formulation of the recognition principle, entails the validity of the Law of Testability: that the form ¬ f V ¬¬ f is valid. Therefore, the BHK and recognition, as described here, are inconsistent with the axioms both of intuitionistic mathematics and of Markovian constructivism. This finding also implies that, if the BHK and recognition are suitably formulated, then Brouwer’s original weak counterexample reasoning was fallacious. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17. Carnap and Quine on Intuitionism.Charles McCarty - 2007 - Soochow Journal of Philosophical Studies 16:93 - 109.
  18.  14
    Logical Rules and the Determinacy of Meaning.Charles McCarty - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):89-98.
    The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of intuitionistic set plus class theory, a model in which the meanings of the connectives are decidedly intuitionistic and nonconventional. The reasoning for this conclusion is acceptable to both intuitionistic and classical mathematicians. En route, I take a detour to prove that, given (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  22
    Philosophy of Mathematics in the Twentieth Century: Selected Essays.Charles McCarty - 2016 - Philosophical Review Recent Issues 125 (2):298-302.
  20.  3
    Reconstructing a Logic From Tractatus: Wittgenstein’s Variables and Formulae.Charles McCarty & David Fisher - 2016 - In Sorin Costreie (ed.), Early Analytic Philosophy – New Perspectives on the Tradition. Springer Verlag.
    It is and has been widely assumed, e.g., in Hintikka and Hintikka, that the logical theory available from Wittgenstein’s Tractatus Logico-Philosophicus affords a foundation for the conventional logic represented in standard formulations of classical propositional, first-order predicate, and perhaps higher-order formal systems. The present article is a detailed attempt at a mathematical demonstration, or as much demonstration as the sources will allow, that this assumption is false by contemporary lights and according to a preferred account of argument validity. When Wittgenstein’s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  44
    Structuralism and Isomorphism.Charles McCarty - 2013 - Philosophia Mathematica (1):nkt024.
    If structuralism is a true view of mathematics on which the statements of mathematicians are taken ‘at face value’, then there are both structures on which classical second-order arithmetic is a correct report, and structures on which intuitionistic second-order arithmetic is correct. An argument due to Dedekind then proves that structures and structures are isomorphic. Consequently, first- and second-order statements true in structures must hold in , and conversely. Since instances of the general law of the excluded third fail in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Satisfiability is False Intuitionistically: A Question from Dana Scott.Charles McCarty - 2020 - Studia Logica 108 (4):803-813.
    Satisfiability or Sat\ is the metatheoretic statementEvery formally intuitionistically consistent set of first-order sentences has a model.The models in question are the Tarskian relational structures familiar from standard first-order model theory, but here treated within intuitionistic metamathematics. We prove that both IZF, intuitionistic Zermelo–Fraenkel set theory, and HAS, second-order Heyting arithmetic, prove Sat\ to be false outright. Following the lead of Carter :75–95, 2008), we then generalize this result to some provably intermediate first-order logics, including the Rose logic. These metatheorems (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  12
    Two Questions From Dana Scott: Intuitionistic Topologies and Continuous Functions.Charles McCarty - 2009 - Journal of Symbolic Logic 74 (2):689-692.