Results for 'Emily McCarty'

1000+ found
Order:
  1.  33
    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  
  2.  2
    McCarty’s Law and How to Break It.Mark Mccarty - 1995 - In Paul Hockings (ed.), Principles of Visual Anthropology. De Gruyter. pp. 69-76.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  36
    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 (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  29
    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  
  5.  9
    A Humanist Approach to Morality and Ethics.Douglas McCarty - 2014 - 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  
     
    Bookmark  
  6.  30
    Kant's Theory of Action.Richard McCarty - 2009 - Oxford University Press.
  7.  79
    A History of AI and Law in 50 Papers: 25 Years of the International Conference on AI and Law. [REVIEW]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 - 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  
     
    Bookmark   10 citations  
  8. Kantian Moral Motivation and the Feeling of Respect.Richard R. McCarty - 1993 - Journal of the History of Philosophy 31 (3):421-435.
  9. Maxims in Kant's Practical Philosophy.Richard R. McCarty - 2006 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  41
    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   6 citations  
  11.  17
    Problems and Riddles: Hilbert and the Du Bois-Reymonds.D. C. McCarty - 2005 - Synthese 147 (1):63 - 79.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  8
    Realizability and Recursive Set Theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32 (2):153-183.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  13.  67
    False Negatives of the Categorical Imperative.Richard McCarty - 2015 - 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  
     
    Bookmark   1 citation  
  14.  33
    Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  22
    The Limits of Kantian Duty, and Beyond.Richard McCarty - 1989 - American Philosophical Quarterly 26 (1):43 - 52.
  16.  61
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  49
    Motivation and Moral Choice in Kant’s Theory of Rational Agency.Richard McCarty - 1994 - Kant-Studien 85 (1):15-31.
  18.  53
    The Right to Lie: Kantian Ethics and the Inquiring Murderer.Richard McCarty - 2012 - 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  
     
    Bookmark   1 citation  
  19.  32
    Incompleteness in Intuitionistic Metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.
  20.  29
    Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  76
    Kant’s Derivation of the Formula of Universal Law.Richard Mccarty - 2010 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  10
    Variations on a Thesis: Intuitionism and Computability.Charles McCarty - 1987 - Notre Dame Journal of Formal Logic 28 (4):536-580.
  23.  20
    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.Eric C. Jones, Albert J. Faas, Arthur D. Murphy, Graham A. Tobin, Linda M. Whiteford & Christopher McCarty - 2013 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  99
    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  
  25. Carnap and Quine on Intuitionism.Charles McCarty - 2007 - Soochow Journal of Philosophical Studies 16:93 - 109.
  26.  69
    Reconsidering Ordered Pairs.Dana Scott & Dominic McCarty - 2008 - 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  
     
    Bookmark   1 citation  
  27.  27
    Artificial Intelligence and Law: How to Get There From Here.L. Thorne Mccarty - 1990 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  18
    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  
  29.  6
    Humean Courage.Richard McCarty - 2012 - In Ilya Kasavin (ed.), Hume and Contemporary Philosophy. Cambridge Scholars Press.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  30.  15
    On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - 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  
     
    Bookmark   3 citations  
  31.  14
    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.
  32.  33
    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  
  33.  16
    The Cultural Transfer In Legal Translation.Poon Wai Yee Emily - 2005 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 18 (3-4):307-323.
    This paper will first explore legal translation from the semiotics approach. The sign developing process demands that in legal translation linguistic units cannot be exchanged in isolation from the legal cultural concepts. Some scholars equate legal equivalence with the extent to which the same legal effect can be produced in the target text. This paper will show the difficulties of achieving the same legal effect in the target text in view of the indeterminacy of word meaning in the source text, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  35
    Intuitionism: An Introduction to a Seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.
  35.  18
    Are There "Contra-Moral Virtues"?Richard Mccarty - 1994 - Metaphilosophy 25 (4):362-375.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  20
    Constructive Validity is Nonarithmetic.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1036-1041.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  31
    Optics of Thought: Logic and Vision in Müller, Helmholtz, and Frege.D. C. McCarty - 2000 - Notre Dame Journal of Formal Logic 41 (4):365-378.
    The historical antecedents of Frege's treatment of binocular vision in "The thought" were the physiological writings of Johannes Mueller, Hermann von Helmholtz, and Emil du Bois-Reymond. In their research on human vision, logic was assigned an unexpected role: it was to be the means by which knowledge of a world extended in three dimensions arises from stimuli that are at best two-dimensional. An examination of this literature yields a richer understanding of Frege's insistence that a proper epistemology requires us to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  23
    Bodies of Knowledge.Luise Prior McCarty - 1995 - Studies in Philosophy and Education 14 (1):35-48.
  39.  74
    Business, Ethics and Law.Richard McCarty - 1988 - 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  32
    Should Competent Patients or Their Families Be Able to Refuse to Allow an HEC Case Review?Laura Weiss Roberts, Teresita McCarty & Gail B. Thaler - 1995 - HEC Forum 7 (1):48-50.
  41.  22
    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  
  42.  10
    Ownership: A Case Study in the Representation of Legal Concepts. [REVIEW]L. Thorne McCarty - 2002 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  39
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  43
    The Thick and Thin of David Prall’s Aesthetics.Richard McCarty - 1986 - Southern Journal of Philosophy 24 (1):133-139.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  29
    Wittgenstein on the Foundations of Mathematics.Charles McCarty - 1981 - Grazer Philosophische Studien 14:165-175.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  39
    Moral Conflicts in Kantian Ethics.Richard McCarty - 1991 - 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  
     
    Bookmark  
  47.  38
    Business and Benevolence.Richard McCarty - 1988 - Business and Professional Ethics Journal 7 (2):63-83.
  48.  4
    The Nck SH2/SH3 Adaptor Protein: A Regulator of Multiple Intracellular Signal Transduction Events.Joseph H. McCarty - 1998 - Bioessays 20 (11):913-921.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  24
    Stephen Toulmin, Return to Reason.David C. McCarty - 2002 - Philosophical Inquiry 24 (3-4):137-142.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  41
    The Maxims Problem.Richard McCarty - 2002 - Journal of Philosophy 99 (1):29-44.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000