Search results for 'Dominic McCarty' (try it on Scholar)

979 found
Order:
  1.  57
    Dana Scott & Dominic McCarty (2008). Reconsidering Ordered Pairs. Bulletin of Symbolic Logic 14 (3):379-397.
    The well known Wiener-Kuratowski explicit definition of the ordered pair, which sets ⟨x, y⟩ = {{x}, {x, y}}, works well in many set theories but fails for those with classes which cannot be members of singletons. With the aid of the Axiom of Foundation, we propose a recursive definition of ordered pair which addresses this shortcoming and also naturally generalizes to ordered tuples of greater lenght. There are many advantages to the new definition, for it allows for uniform definitions working (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  2
    David Charles McCarty & Piotr Urbańczyk (2016). What Are the Limits of Mathematical Explanation? Interview with Charles McCarty by Piotr Urbańczyk. Zagadnienia Filozoficzne W Nauce 60:119-137.
    An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3. Mark Mccarty (1995). McCarty’s Law and How to Break It. In Paul Hockings (ed.), Principles of Visual Anthropology. De Gruyter 69-76.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  25
    Charles McCarty (2008). Intuitionism and Logical Syntax. 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  9
    Charles Mccarty (2013). Brouwer's Weak Counterexamples and Testability: Further Remarks. Review of Symbolic Logic 6 (3):513-523.
    Straightforwardly and strictly intuitionistic inferences show that the BrouwerKolmogorov (BHK) interpretation, in the presence of a formulation of the recognition principle, entails the validity of the Law of Testability: that the form s original weak counterexample reasoning was fallacious. The results of the present article extend and refine those of McCarty, C. (2012). Antirealism and Constructivism: Brouwer’s Weak Counterexamples. The Review of Symbolic Logic. First View. Cambridge University Press.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Douglas McCarty (2014). A Humanist Approach to Morality and Ethics. Australian Humanist, The 115:9.
    McCarty, Douglas Morality and ethics would be recognised by virtually everyone as a necessity in human society. In fact morality and ethics are the very foundations on which human society is built. Humans are complex individuals, with personal needs, desires, inclinations, dispositions and preferences, but are also naturally predisposed to live in social groups large and small with similarly complex individuals.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  17
    Richard McCarty (2009). Kant's Theory of Action. Oxford University Press.
    The theory of action underlying Immanuel Kant's ethical theory is the subject of this book.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  38
    Richard McCarty (2008). Kant's Incorporation Requirement: Freedom and Character in the Empirical World. Canadian Journal of Philosophy 38 (3):pp. 425-451.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  67
    Richard R. McCarty (2006). Maxims in Kant's Practical Philosophy. Journal of the History of Philosophy 44 (1):65-83.
    : A standard interpretation of Kantian "maxims" sees them as expressing reasons for action, implying that we cannot act without a maxim. But recent challenges to this interpretation claim that Kant viewed acting on maxims as optional. Kant's understanding of maxims derives from Christian Wolff, who regarded maxims as major premises of the practical syllogism. This supports the standard interpretation. Yet Kant also viewed commitments to maxims as essential for virtue and character development, which supports challenges to the standard interpretation, (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  77
    Richard R. McCarty (1993). Kantian Moral Motivation and the Feeling of Respect. Journal of the History of Philosophy 31 (3):421-435.
  11.  6
    Charles McCarty (2016). Philosophy of Mathematics in the Twentieth Century: Selected Essays. [REVIEW] Philosophical Review 125 (2):298-302.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  7
    Eric C. Jones, Albert J. Faas, Arthur D. Murphy, Graham A. Tobin, Linda M. Whiteford & Christopher McCarty (2013). Cross-Cultural and Site-Based Influences on Demographic, Well-Being, and Social Network Predictors of Risk Perception in Hazard and Disaster Settings in Ecuador and Mexico. Human Nature 24 (1):5-32.
    Although virtually all comparative research about risk perception focuses on which hazards are of concern to people in different culture groups, much can be gained by focusing on predictors of levels of risk perception in various countries and places. In this case, we examine standard and novel predictors of risk perception in seven sites among communities affected by a flood in Mexico (one site) and volcanic eruptions in Mexico (one site) and Ecuador (five sites). We conducted more than 450 interviews (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  18
    Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald P. Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton & Adam Z. Wyner (2012). A History of AI and Law in 50 Papers: 25 Years of the International Conference on AI and Law. [REVIEW] Artificial Intelligence and Law 20 (3):215-319.
    We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  29
    Richard McCarty (2015). False Negatives of the Categorical Imperative. Mind 124 (493):177-200.
    The categorical imperative can be construed as a universalization test for moral permissibility. False negatives of the categorical imperative would be maxims failing this test, despite the permissibility of their actions; maxims like: ‘I’ll withdraw all my savings on April 15th’. Examples of purported false negatives familiar from the literature can be grouped into three general categories, and dispatched by applying category-specific methods for proper formulation of their maxims, or for proper testing. Methods for reformulating failing maxims, such as the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15.  50
    Richard Mccarty (2010). Kant's Derivation of the Formula of Universal Law. Dialogue 49 (1):113-133.
    ABSTRACT: Critics have charged that there are gaps in the logic of Kant’s derivation of the formula of universal law. Here I defend that derivation against these charges, partly by emphasizing a neglected teleological principle that Kant alluded to in his argument, and partly by clarifying what he meant by actions’ “conformity to universal law.” He meant that actions conform to universal law just when their maxims can belong to a unified system of principles. An analogy with objects’ conformity to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  17
    Charles McCarty (2008). Completeness and Incompleteness for Intuitionistic Logic. 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  
     
    My bibliography   2 citations  
  17.  4
    D. C. McCarty (2005). Problems and Riddles: Hilbert and the Du Bois-Reymonds. Synthese 147 (1):63 - 79.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  18.  10
    J. Bickle, G. Bonanno, B. Buldt, A. Chemero, F. Ferreira, R. Gray, V. Halbach, B. Hale, D. C. McCarty & J. M. Musacchio (2005). Hansson, SO, 323 Heyser, C., 403 Horst, S., 477. Synthese 147:551.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  19.  1
    Richard McCarty (2012). Humean Courage. In Ilya Kasavin (ed.), Hume and Contemporary Philosophy. Cambridge Scholars Publishing
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20. Charles McCarty (2007). Carnap and Quine on Intuitionism. Soochow Journal of Philosophical Studies 16:93 - 109.
     
    Export citation  
     
    My bibliography  
  21.  4
    Charles McCarty (1986). Realizability and Recursive Set Theory. Annals of Pure and Applied Logic 32 (2):153-183.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  22.  7
    Richard McCarty (1989). The Limits of Kantian Duty, and Beyond. American Philosophical Quarterly 26 (1):43 - 52.
  23.  13
    L. Thorne Mccarty (1990). Artificial Intelligence and Law: How to Get There From Here. Ratio Juris 3 (2):189-200.
    . This paper offers a survey of the current state of Artificial Intelligence and Law, and makes recommendations for future research. Two main areas of investigation are discussed: the practical work on intelligent legal information systems, and the theoretical work on computational models of legal reasoning. In both areas, the knowledge representation problem is identified as the most important issue facing this field.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  33
    Charles McCarty (1983). Intuitionism: An Introduction to a Seminar. [REVIEW] Journal of Philosophical Logic 12 (2):105 - 149.
  25.  3
    Lisa M. Lee & Frances A. McCarty (2016). Emergence of a Discipline? Growth in U.S. Postsecondary Bioethics Degrees. Hastings Center Report 46 (2):19-21.
    Teaching competency in bioethics has been a concern of the field since its start. In 1976, The Hastings Center published the first report on the teaching of contemporary bioethics. Graduate programs culminating in an MA or PhD were not needed at the time, concluded the report. “In the future, however,” the report speculated, “the development and/or changing social priorities may at some point allow, or even require, the creation of new academic structures for graduate education in bioethics.” Although that future (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26.  8
    D. C. McCarty (2002). Intuitionistic Completeness and Classical Logic. Notre Dame Journal of Formal Logic 43 (4):243-248.
    We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logic in the present sense.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  27.  43
    Charles McCarty (2013). Paradox and Potential Infinity. 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 (7 more)  
     
    Export citation  
     
    My bibliography  
  28.  23
    Charles McCarty (1981). Wittgenstein on the Foundations of Mathematics. Grazer Philosophische Studien 14:165-175.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  29.  17
    Richard McCarty (1994). Motivation and Moral Choice in Kant's Theory of Rational Agency. Kant-Studien 85 (1):15-31.
  30.  6
    Charles McCarty (1987). Variations on a Thesis: Intuitionism and Computability. Notre Dame Journal of Formal Logic 28 (4):536-580.
  31.  9
    David Charles McCarty (1991). Incompleteness in Intuitionistic Metamathematics. Notre Dame Journal of Formal Logic 32 (3):323-358.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  32.  19
    D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
    Let S be a deductive system such that S-derivability (⊦s) is arithmetic and sound with respect to structures of class K. From simple conditions on K and ⊦s, it follows constructively that the K-completeness of ⊦s implies MP(S), a form of Markov's Principle. If ⊦s is undecidable then MP(S) is independent of first-order Heyting arithmetic. Also, if ⊦s is undecidable and the S proof relation is decidable, then MP(S) is independent of second-order Heyting arithmetic, HAS. Lastly, when ⊦s is many-one (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  24
    Charles McCarty (2013). Structuralism and Isomorphism. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  34.  16
    Charles McCarty (2006). The Coherence of Antirealism. 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  
     
    My bibliography   1 citation  
  35.  22
    Richard McCarty (2012). The Right to Lie: Kantian Ethics and the Inquiring Murderer. American Philosophical Quarterly 49 (4):331-344.
    Few challenges facing Kantian ethics are more famous and formidable than the so-called "case of the inquiring murderer." It appears in some form today in most introductory ethics texts, but it is not a new objection. Even Kant himself was compelled to respond to it, though by most accounts his response was embarrassingly unpersuasive. A more satisfactory reply can be offered to this old objection, however. It will be shown here that Kantian ethics permits lying to inquirers asking wrong questions, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  8
    D. C. McCarty (1994). On Theorems of Gödel and Kreisel: Completeness and Markov's Principle. Notre Dame Journal of Formal Logic 35 (1):99-107.
    In 1957, Gödel proved that completeness for intuitionistic predicate logic HPL implies forms of Markov's Principle, MP. The result first appeared, with Kreisel's refinements and elaborations, in Kreisel. Featuring large in the Gödel-Kreisel proofs are applications of the axiom of dependent choice, DC. Also in play is a form of Herbrand's Theorem, one allowing a reduction of HPL derivations for negated prenex formulae to derivations of negations of conjunctions of suitable instances. First, we here show how to deduce Gödel's results (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  47
    David Charles Mccarty (1991). The Philosophy of Logical Wholism. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  38.  4
    L. Thorne McCarty (2002). Ownership: A Case Study in the Representation of Legal Concepts. [REVIEW] Artificial Intelligence and Law 10 (1-3):173-190.
    This article is an exercise in computational jurisprudence. It seems clear thatthe field of AI and Law should draw upon the insights of legal philosophers,whenever possible. But can the computational perspective offer anything inreturn? I will explore this question by focusing on the concept of OWNERSHIP,which has been debated in the jurisprudential literature for centuries. Althoughthe intellectual currents here flow mostly in one direction – from legal philosophy to AI – I will show that there are also some insights to (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  40
    Richard McCarty (1988). Business, Ethics and Law. Journal of Business Ethics 7 (11):881 - 889.
    The comparative seriousness of business law and business ethics gives some business people the impression that there is nothing important in business ethics. The costly penalties of illegal conduct compared to the uncertain consequences of unethical conduct support a common illusion that business ethics is much less important than law for business people. To dispel the illusion I distinguish two perspectives from which we can view the relation of business and normative systems: the internal and external perspectives. I show that (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  40.  20
    David Charles McCarty (1993). On the Failure of Mathematics' Philosophy: Review of P. Maddy, Realism in Mathematics; and C. Chihara, Constructibility and Mathematical Existence. [REVIEW] Synthese 96 (2):255-291.
  41.  16
    Laura Weiss Roberts, Teresita McCarty & Gail B. Thaler (1995). Should Competent Patients or Their Families Be Able to Refuse to Allow an HEC Case Review? HEC Forum 7 (1):48-50.
  42.  6
    Charles McCarty (1988). Markov's Principle, Isols and Dedekind Finite Sets. Journal of Symbolic Logic 53 (4):1042-1069.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  43. David Charles McCarty (2004). Hilbert and Paul Du Bois Reymond. In ¸ Itelink2004. Walter de Gruyter Incorporated 517-532.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  44.  20
    L. Thorne McCarty (1994). Ownership. Theoria 9 (2):173-190.
    This paper is an exercise in computational jurisprudence. It seems clear that the field of AI and Law should draw upon the insights of legal philosophers, whenever possible. But can the computational perspective offer anything in return? We explore this question by focusing on the concept of OWNERSHIP, which has been debated in the jurisprudential literature for centuries. Although the intellectual currents here flow mostly in one direction -from legal philosophy to AI- we show that there are also some insights (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  9
    K. Christine Pae & James W. McCarty (2012). The Hybridized Public Sphere: Asian American Christian Ethics, Social Justice, and Public Discourse. Journal of the Society of Christian Ethics 32 (1):93-114.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  18
    Richard McCarty (1988). Business and Benevolence. Business and Professional Ethics Journal 7 (2):63-83.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47.  27
    Richard McCarty (1986). "The Aesthetic Attitude" in India and the West. Philosophy East and West 36 (2):121-130.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Luise Prior McCarty & David Charles McCarty (1995). Wittgenstein on the Unreasonableness of Education: Connecting Teaching and Meaning. [REVIEW] Studies in Philosophy and Education 14 (2-3):187-200.
  49.  9
    David C. McCarty (2002). Stephen Toulmin, Return to Reason. Philosophical Inquiry 24 (3-4):137-142.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  50.  17
    Richard McCarty (1991). Moral Conflicts in Kantian Ethics. History of Philosophy Quarterly 8 (1):65 - 79.
    After distinguishing three criteria of adequacy for any acceptable moral theory's treatment of moral conflict, or conflicts of duties, I explain how Kant's ethics can satisfy all three. Although Kant denies the possibility of conflicting duties, he does allow conflicting "grounds of obligation." I develop a new interpretation of such conflicts, rejecting one proposed earlier by Onora O'Neill.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 979