Results for 'Dan E. Willard'

1000+ found
Order:
  1.  42
    How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.
    Let us recall that Raphael Robinson's Arithmetic Q is an axiom system that differs from Peano Arithmetic essentially by containing no Induction axioms [13], [18]. We will generalize the semantic-tableaux version of the Second Incompleteness Theorem almost to the level of System Q. We will prove that there exists a single rather long Π 1 sentence, valid in the standard model of the Natural Numbers and denoted as V, such that if α is any finite consistent extension of Q + (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  23
    A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.
    This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  46
    On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.
    Gödel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We will show that axiomatizations for a computer’s floating point arithmetic can recognize their cut-free consistency in a stronger respect than is feasible under integer arithmetics. This paper will include both new generalizations of the Second Incompleteness Theorem and techniques for evading it.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  15
    Passive induction and a solution to a Paris–Wilkie open question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2-3):124-149.
    In 1981, Paris and Wilkie raised the open question about whether and to what extent the axiom system did satisfy the Second Incompleteness Theorem under Semantic Tableaux deduction. Our prior work showed that the semantic tableaux version of the Second Incompleteness Theorem did generalize for the most common definition of appearing in the standard textbooks.However, there was an alternate interesting definition of this axiom system in the Wilkie–Paris article in the Annals of Pure and Applied Logic 35 , pp. 261–302 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  50
    An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.Dan E. Willard - 2005 - Journal of Symbolic Logic 70 (4):1171-1209.
    This article will study a class of deduction systems that allow for a limited use of the modus ponens method of deduction. We will show that it is possible to devise axiom systems α that can recognize their consistency under a deduction system D provided that: (1) α treats multiplication as a 3-way relation (rather than as a total function), and that (2) D does not allow for the use of a modus ponens methodology above essentially the levels of Π1 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  3
    Patient Perceptions on the Advancement of Noninvasive Prenatal Testing for Sickle Cell Disease among Black Women in the United States.Shameka P. Thomas, Faith E. Fletcher, Rachele Willard, Tiara Monet Ranson & Vence L. Bonham - 2024 - AJOB Empirical Bioethics 15 (2):154-163.
    Background Noninvasive prenatal testing (NIPT) designed to screen for fetal genetic conditions, is increasingly being implemented as a part of routine prenatal care screening in the United States (US). However, these advances in reproductive genetic technology necessitate empirical research on the ethical and social implications of NIPT among populations underrepresented in genetic research, particularly Black women with sickle cell disease (SCD).Methods Forty (N = 40) semi-structured interviews were conducted virtually with Black women in the US (19 participants with SCD; 21 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  57
    Community: The Neglected Tradition of Public Health.Dan E. Beauchamp - 2012 - Hastings Center Report 15 (6):28-36.
    The dominant language of politics in the United States has been political individualism, with minimal restrictions on property and personal, voluntary conduct. But there are second languages of community that stress cooperation and group action. These second languages include the constitutional tradition for public health. Public health offers a community justification for paternalistic measures that, for example, discourage smoking or require seatbelts.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  8. Yāltafatāw wegzat.Danʼél Gabra Masqal Qano - 2018 - [Addis Ababa]: Dāwt yeh̲etmat śerāwoč.
    On the unorthodox ways in which people relate to each other.
     
    Export citation  
     
    Bookmark  
  9.  13
    Dynamics Versus Development in Numerosity Estimation: A Computational Model Accurately Predicts a Developmental Reversal.Dan Kim & John E. Opfer - 2021 - Cognitive Science 45 (10):e13049.
    Perceptual judgments result from a dynamic process, but little is known about the dynamics of number‐line estimation. A recent study proposed a computational model that combined a model of trial‐to‐trial changes with a model for the internal scaling of discrete numbers. Here, we tested a surprising prediction of the model—a situation in which children's estimates of numerosity would be better than those of adults. Consistent with the model simulations, task contexts led to a clear developmental reversal: children made more adult‐like, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  32
    Injury, Community and the Republic.Dan E. Beauchamp - 1989 - Journal of Law, Medicine and Ethics 17 (1):42-49.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Models of the Visual Cortex Edited by D. Rose and VG Dobson© 1985 John Wiley & Sons Ltd.Dan E. Nielsen - 1985 - In David Rose & Vernon Dobson (eds.), Models of the Visual Cortex. New York: Wiley. pp. 374.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Universal Health Care, American Style: A Single Fund Approach to Health Care Reform.Dan E. Beauchamp - 1992 - Kennedy Institute of Ethics Journal 2 (2):125-135.
    With increasing momentum for health care reform, attention is shifting to finance reform that will provide for direct methods for controlling health care spending. This article outlines the two principal paths to direct cost control and outlines a national plan that retains our multiple sources of payment, yet also contains a powerful direct cost control technique: a single fund to finance all health care.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    Morality and the Health of the Body Politic.Dan E. Beauchamp - 1986 - Hastings Center Report 16 (6):30-36.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  27
    HIV and Health Care Reform: Sharing the Burden. [REVIEW]Dan E. Beauchamp - 1996 - Hastings Center Report 26 (3):43.
    Book reviewed in this article: Seeking Fair Treatment: From the AIDS Epidemic to National Health Care Reform. By Norman Daniels.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Gardening - Philosophy for Everyone.Dan O'brien & David E. Cooper (eds.) - 2010 - Wiley.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  19
    Shear band formation and fracture behavior of nanocrystalline -based alloys.Maria Daniil, Paul R. Ohodnicki, Michael E. McHenry & Matthew A. Willard - 2010 - Philosophical Magazine 90 (12):1547-1565.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  20
    Stone Anchors in Antiquity: Coastal Settlements and Maritime Trade-Routes in the Eastern Mediterranean ca. 1600-1050 B. C. [REVIEW]A. Bernard Knapp & Dan E. McCaslin - 1982 - Journal of the American Oriental Society 102 (3):543.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
    We will study several weak axiom systems that use the Subtraction and Division primitives (rather than Addition and Multiplication) to formally encode the theorems of Arithmetic. Provided such axiom systems do not recognize Multiplication as a total function, we will show that it is feasible for them to verify their Semantic Tableaux, Herbrand, and Cut-Free consistencies. If our axiom systems additionally do not recognize Addition as a total function, they will be capable of recognizing the consistency of their Hilbert-style deductive (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  19.  37
    Welfare Reform, Insurance Coverage Pre-Pregnancy, and Timely Enrollment: An Eight-State Study.E. Kathleen Adams, Norma I. Gavin, Willard G. Manning & Arden Handler - 2005 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 42 (2):129-144.
  20.  17
    Commentary.Robert M. Anderson, Robert Perrucci, Dan E. Schendel & Leon E. Trachtman - 1983 - Business and Professional Ethics Journal 2 (3):61-67.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  29
    How best shall we serve.Paul B. Hofmann, Mitchell T. Rabkin, Corrine Bayley & Dan E. Beauchamp - 1993 - Hastings Center Report 23 (2):29-32.
  22.  34
    Case Study: How Best Shall We Serve?Paul B. Hofmann, Mitchell T. Rabkin, Corrine Bayley & Dan E. Beauchamp - 1993 - Hastings Center Report 23 (2):29.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  22
    The mathematical formulation of a unified field theory.Willard E. Caldwell - 1953 - Psychological Review 60 (1):64-72.
  24.  17
    Health Care Reform and the Battle for the Body Politic.Charles J. Dougherty, Norman Daniels, Donald W. Leight, Ronald L. Kaplan & Dan E. Beauchamp - 1997 - Hastings Center Report 27 (4):39.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  9
    Commentary.Robert M. Anderson, Robert Perrucci, Dan E. Schendel & Leon E. Trachtman - 1983 - Business and Professional Ethics Journal 2 (3):61-67.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  27
    Mathematical Logic. [REVIEW]E. N. & Willard Van Orman Quine - 1940 - Journal of Philosophy 37 (23):640.
  27.  32
    'Iraq: A Study in Political Development.E. A. Speiser & Philip Willard Ireland - 1939 - Journal of the American Oriental Society 59 (1):117.
  28.  5
    Frank A. Hayes 1919-1968.Willard E. Arnett - 1970 - Proceedings and Addresses of the American Philosophical Association 44:217 - 218.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  47
    Poetry and science.Willard E. Arnett - 1956 - Journal of Aesthetics and Art Criticism 14 (4):445-452.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  30. Ultimate Disillusion and Philosophic Truth.Willard E. Arnett - 1963 - Revue Internationale de Philosophie 17 (1=63):5.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  7
    Institutional Economics. John R. Commons.Willard E. Atkins - 1935 - International Journal of Ethics 45 (4):474-476.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  32
    Reflections on Justus Buchler's theory of meaning.Willard E. Arnett - 1959 - Journal of Philosophy 56 (5):220-233.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  31
    Santayana and the fine arts.Willard E. Arnett - 1957 - Journal of Aesthetics and Art Criticism 16 (1):84-95.
  34.  34
    Santayana and the poetic function of religion.Willard E. Arnett - 1956 - Journal of Philosophy 53 (24):773-787.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    On the trail of an auditory rabbit.Willard R. Thurlow & Robert E. Oneson - 1984 - Bulletin of the Psychonomic Society 22 (6):538-540.
  36.  18
    Mediation in young children’s paired-associate learning.Willard E. Millis & Kenneth L. Witte - 1974 - Bulletin of the Psychonomic Society 4 (3):203-205.
  37.  14
    Field theory: II. Some mathematical applications to comparative psychology.Willard E. Caldwell - 1954 - Psychological Review 61 (4):271-275.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Surprising Suspensions: The Epistemic Value of Being Ignorant.Christopher Willard-Kyle - 2021 - Dissertation, Rutgers University - New Brunswick
    Knowledge is good, ignorance is bad. So it seems, anyway. But in this dissertation, I argue that some ignorance is epistemically valuable. Sometimes, we should suspend judgment even though by believing we would achieve knowledge. In this apology for ignorance (ignorance, that is, of a certain kind), I defend the following four theses: 1) Sometimes, we should continue inquiry in ignorance, even though we are in a position to know the answer, in order to achieve more than mere knowledge (e.g. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. The cognitive neurosciences.E. Tulving & Dans Ms Gazzaniga - 1995 - In Michael S. Gazzaniga (ed.), The Cognitive Neurosciences. MIT Press.
     
    Export citation  
     
    Bookmark   24 citations  
  40.  18
    Analysis of contrast effects in loudness judgments.Lawrence E. Melamed & Willard R. Thurlow - 1971 - Journal of Experimental Psychology 90 (2):268.
  41. George Santayana, "The Sense of Beauty: Being the Outlines of Aesthetic Theory", Critical Edition. [REVIEW]Willard E. Arnett - 1989 - Transactions of the Charles S. Peirce Society 25 (4):538.
     
    Export citation  
     
    Bookmark  
  42. Review of B. J. Singer's "The Rational Society". [REVIEW]Willard E. Arnett - 1971 - Transactions of the Charles S. Peirce Society 7 (2):127.
     
    Export citation  
     
    Bookmark  
  43.  19
    Affective and cognitive impact of social overinclusion: a meta-analytic review of cyberball studies.Dan E. Hay, Sun Bleicher, Roy Azoulay, Yogev Kivity & Eva Gilboa-Schechtman - 2023 - Cognition and Emotion 37 (3):412-429.
    Belongingness is a central biopsychosocial system. Challenges to belongingness (i.e. exclusion/ostracism) engender robust negative effects on affect and cognitions. Whether overinclusion – getting more than one’s fair share of social attention – favourably impacts affect and cognitions remains an open question. This pre-registered meta-analysis includes twenty-two studies (N = 2757) examining overinclusion in the context of the Cyberball task. We found that the estimated overall effect size of overinclusion on positive affect was small but robust, and the effect on fundamental (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  49
    Does interaction matter? Testing whether a confidence heuristic can replace interaction in collective decision-making.Dan Bang, Riccardo Fusaroli, Kristian Tylén, Karsten Olsen, Peter E. Latham, Jennifer Y. F. Lau, Andreas Roepstorff, Geraint Rees, Chris D. Frith & Bahador Bahrami - 2014 - Consciousness and Cognition 26:13-23.
    In a range of contexts, individuals arrive at collective decisions by sharing confidence in their judgements. This tendency to evaluate the reliability of information by the confidence with which it is expressed has been termed the ‘confidence heuristic’. We tested two ways of implementing the confidence heuristic in the context of a collective perceptual decision-making task: either directly, by opting for the judgement made with higher confidence, or indirectly, by opting for the faster judgement, exploiting an inverse correlation between confidence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45.  20
    Elementary Logic. [REVIEW]E. N. & Willard van Orman Quine - 1941 - Journal of Philosophy 38 (22):614.
  46. Society today.Edwin E. Slosson, Walter Dill Scott, Frederick Shipp Deibler, Willard Eugene Hotchkiss & Stuart Chase (eds.) - 1929 - New York,: D. Van Nostrand company.
    --The energy of the new world, By E. E. Slosson.--The new energies and the new man, by W. D. Scott.--The future of our economic system, by F S. Deibler.--Business in the new era, by W. B. Hotchkiss.--Consumers in the modern world, by Stuart Chase.
     
    Export citation  
     
    Bookmark  
  47.  15
    Book Review:Institutional Economics. John R. Commons. [REVIEW]Willard E. Atkins - 1935 - International Journal of Ethics 45 (4):474-.
  48. Literary History of the United States.Robert E. Spiller, Willard Thorpe, Thomas H. Johnson & Henry Seidel Canby - 1949 - Science and Society 13 (4):377-380.
     
    Export citation  
     
    Bookmark  
  49. Deciding for Others: The Ethics of Surrogate Decision Making.Allen E. Buchanan & Dan W. Brock - 1989 - New York: Cambridge University Press. Edited by Dan W. Brock.
    This book is the most comprehensive treatment available of one of the most urgent - and yet in some respects most neglected - problems in bioethics: decision-making for incompetents. Part I develops a general theory for making treatment and care decisions for patients who are not competent to decide for themselves. It provides an in-depth analysis of competence, articulates and defends a coherent set of principles to specify suitable surrogate decisionmakers and to guide their choices, examines the value of advance (...)
     
    Export citation  
     
    Bookmark   259 citations  
  50.  29
    Problems and Perplexities.Dan Sullivan, Martin Wolfson, Warren E. Steinkraus, George J. Stack, Brennan Van Hook & J. Brenton Stearns - 1963 - Review of Metaphysics 16 (3):559 - 577.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000