Results for 'Daniel Kroening'

985 found
Order:
  1.  8
    Certified reinforcement learning with logic guidance.Hosein Hasanbeig, Daniel Kroening & Alessandro Abate - 2023 - Artificial Intelligence 322 (C):103949.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. From Bacteria to Bach and Back: The Evolution of Minds.Daniel C. Dennett - unknown
    No categories
     
    Export citation  
     
    Bookmark   179 citations  
  3. Demanding more of Strawsonian accountability theory.Daniel Telech - 2020 - European Journal of Philosophy 28 (4):926-941.
    A neglected and non-trivial problem exists for a central cluster of Strawsonian accountability theories of moral responsibility, namely those that, following Gary Watson, understand the reactive attitudes to be implicit forms of moral address, particularly moral demand. The problem consists in the joint acceptance of two claims: (a) Accountability is a matter of agents holding one another to moral demands, and (b) accountability is a view of blame and praise. I label joint acceptance of these claims the Strawsonian’s demand dogma. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  33
    Imaginative Constraints and Generative Models.Daniel Williams - 2021 - Australasian Journal of Philosophy 99 (1):68-82.
    ABSTRACT How can imagination generate knowledge when its contents are voluntarily determined? Several philosophers have recently answered this question by pointing to the constraints that underpin imagination when it plays knowledge-generating roles. Nevertheless, little has been said about the nature of these constraints. In this paper, I argue that the constraints that underpin sensory imagination come from the structure of causal probabilistic generative models, a construct that has been highly influential in recent cognitive science and machine learning. I highlight several (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5. Must I Accept Prosecution for Civil Disobedience?Daniel Weltman - 2020 - Philosophical Quarterly 70 (279):410-418.
    Piero Moraro argues that people who engage in civil disobedience do not have a pro tanto reason to accept punishment for breaking the law, although they do have a duty to undergo prosecution. This is because they have a duty to answer for their actions, and the state serves as an agent of the people by calling the lawbreaker to answer via prosecution. I argue that Moraro does not go far enough. Someone who engages in civil disobedience does not even (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  83
    Judaeo-Christian faith as trust and loyalty.Michael Pace & Daniel J. Mckaughan - 2022 - Religious Studies 58 (1):30-60.
    Disputes over the nature of faith, as understood in the Judaeo-Christian tradition, sometimes focus on whether it is to be identified exclusively with trust in God or with loyalty/fidelity to God. Drawing on recent work on the semantic range of the Hebrew ʾĕmûnâ and Greek pistis lexicons, we argue for a multidimensional account of what it is to be a person of faith that includes trust and loyalty in combination. The Trust-Loyalty account, we maintain, makes better sense of the faith (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  79
    Artificial virtue: the machine question and perceptions of moral character in artificial moral agents.Patrick Gamez, Daniel B. Shank, Carson Arnold & Mallory North - 2020 - AI and Society 35 (4):795-809.
    Virtue ethics seems to be a promising moral theory for understanding and interpreting the development and behavior of artificial moral agents. Virtuous artificial agents would blur traditional distinctions between different sorts of moral machines and could make a claim to membership in the moral community. Accordingly, we investigate the “machine question” by studying whether virtue or vice can be attributed to artificial intelligence; that is, are people willing to judge machines as possessing moral character? An experiment describes situations where either (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  8.  39
    The person of the category: the pricing of risk and the politics of classification in insurance and credit.Greta R. Krippner & Daniel Hirschman - 2022 - Theory and Society 51 (5):685-727.
    In recent years, scholars in the social sciences and humanities have turned their attention to how the rise of digital technologies is reshaping political life in contemporary society. Here, we analyze this issue by distinguishing between two classification technologies typical of pre-digital and digital eras that differently constitute the relationship between individuals and groups. In class-based systems, characteristic of the pre-digital era, one’s status as an individual is gained through membership in a group in which salient social identities are shared (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Is Mathematics Unreasonably Effective?Daniel Waxman - 2021 - Australasian Journal of Philosophy 99 (1):83-99.
    Many mathematicians, physicists, and philosophers have suggested that the fact that mathematics—an a priori discipline informed substantially by aesthetic considerations—can be applied to natural science is mysterious. This paper sharpens and responds to a challenge to this effect. I argue that the aesthetic considerations used to evaluate and motivate mathematics are much more closely connected with the physical world than one might presume, and (with reference to case-studies within Galois theory and probabilistic number theory) show that they are correlated with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  10
    Combining Observation and Physical Practice: Benefits of an Interleaved Schedule for Visuomotor Adaptation and Motor Memory Consolidation.Beverley C. Larssen, Daniel K. Ho, Sarah N. Kraeutner & Nicola J. Hodges - 2021 - Frontiers in Human Neuroscience 15.
    Visuomotor adaptation to novel environments can occur via non-physical means, such as observation. Observation does not appear to activate the same implicit learning processes as physical practice, rather it appears to be more strategic in nature. However, there is evidence that interspersing observational practice with physical practice can benefit performance and memory consolidation either through the combined benefits of separate processes or through a change in processes activated during observation trials. To test these ideas, we asked people to practice aiming (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  83
    Hiddenness of God.Daniel Howard-Snyder & Adam Green - 2016 - Stanford Encyclopedia of Philosophy.
    “Divine hiddenness”, as the phrase suggests, refers, most fundamentally, to the hiddenness of God, i.e., the alleged fact that God is hidden, absent, silent. In religious literature, there is a long history of expressions of annoyance, anxiety, and despair over divine hiddenness, so understood. For example, ancient Hebrew texts lament God’s failure to show up in experience or to show proper regard for God’s people or some particular person, and two Christian Gospels portray Jesus, in his cry of dereliction on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  18
    La controversia acerca de la identidad en su ingreso al ámbito de la mecánica cuántica.Olimpia Lombardi & Matías Daniel Pasqualini - 2022 - Ideas Y Valores 71:138-164.
    Los criterios de identidad propuestos por la metafísica tradicional debieron ser sometidos a una profunda revisión cuando entró en escena la mecánica cuántica con sus característicos sistemas indistinguibles. En este trabajo aplicamos el modelo de espacios controversiales de Oscar Nudler para analizar la controversia sobre la identidad en el ámbito de la mecánica cuántica y proponer la introducción en el debate de una ontología cuántica de propiedades sin objetos.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Varieties of epistemic instrumentalism.Daniel Buckley - 2020 - Synthese 198 (10):9293-9313.
    There exists a family of views concerning the foundations of epistemic normativity that all travel under the heading “epistemic instrumentalism”. These views are unified by their attempt to explain epistemic normativity in terms of instrumental normativity. Very roughly, they all say that we have reason to respond to truth-related considerations when forming and maintaining doxastic attitudes since regulating our doxastic attitudes in this way helps us satisfy our aims, interests, or goals. Thus, according to epistemic instrumentalists, truth-related considerations constitute reasons (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  20
    Reclaiming the Stroop Effect Back From Control to Input-Driven Attention and Perception.Daniel Algom & Eran Chajut - 2019 - Frontiers in Psychology 10.
  15. A new well‐being atomism.Gil Hersch & Daniel Weltman - 2022 - Philosophy and Phenomenological Research 107 (1):3-23.
    Many philosophers reject the view that well-being over a lifetime is simply an aggregation of well-being at every moment of one's life, and thus they reject theories of well-being like hedonism and concurrentist desire satisfactionism. They raise concerns that such a view misses the importance of the relationships between moments in a person's life or the role narratives play in a person's well-being. In this article, we develop an atomist meta-theory of well-being, according to which the prudential value of a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  83
    Mechanizing principia logico-metaphysica in functional type-theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2018 - Review of Symbolic Logic 13 (1):206-218.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  22
    Zooming in on Justice: The Case for Virtual Bioethics Conferencing.Bruce P. Blackshaw, Daniel Rodger & Daniel J. Hurst - 2024 - American Journal of Bioethics 24 (4):60-62.
    In their target article, “Proposed Principles for International Bioethics Conferencing: Anti-Discriminatory, Global, and Inclusive,” Jecker et al. (2024) highlight the growing international scope o...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  7
    Plato’s Theory of Man: An Introduction to the Realistic Philosophy of Culture.John Daniel Wild - 1946 - New York,: Harvard University Press.
  19.  53
    What a Dualist Should Say About the Exclusion Argument.Christian List & Daniel Stoljar - manuscript
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  9
    El derecho como tradición y lenguaje.Daniel Mugnier-Zuluaga - 2024 - Revista Disertaciones 13 (1):63-85.
    La obra de Nicolás Gómez Dávila ha sido leída presuponiendo su desconexión frente a la producción filosófica local del pasado. Esa presuposición ha pasado por alto la existencia de posibles vínculos entre las tesis de la filosofía del derecho en De iure y la reflexión sobre el lenguaje y la tradición presente en el ensayo de Miguel Antonio Caro titulado “Del uso en sus relaciones con el lenguaje”. Este artículo explora los posibles vínculos entre ambos ensayos, a partir de (i) (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  15
    Elementary equivalence theorem for Pac structures.Jan Dobrowolski, Daniel Max Hoffmann & Junguk Lee - 2020 - Journal of Symbolic Logic 85 (4):1467-1498.
    We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism type of their absolute Galois groups. Our results concern two cases: saturated PAC structures and nonsaturated PAC structures.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  14
    Mental disorders in focus.Daniel Montero-Espinoza - 2024 - Philosophical Psychology 37 (3):545-551.
    This issue contains a book symposium on Anneli Jefferson’s book, Are mental disorders brain disorders?. It is a delight that the symposium brings together a variety of perspectives from philosopher...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Southern Ontologies. Reorienting Agendas in Social Ontology.David Ludwig, Daniel Faabelangne Banuoku, Birgit Boogaard, Charbel N. Elhani, Bernard Yangmaadome Guri, Matthias Kramm, Vitor Renck, Adriana Ressiore C., Jairo Robles-Piñeros & Julia J. Turska - 2023 - Journal of Social Ontology (2):51-79.
    This article addresses ontological negotiations in the Global South through three case studies of community-based research in Brazil and Ghana. We argue that ontological perspectives of Indigenous and other subjugated communities require an ontological pluralism that recognizes the plurality of both representational tools and ways of being in the world. Locating these two readings of ontological pluralism in the politics of the Global South, the article highlights a wider dynamic from ontological paternalism to ontological diversity to ontological decolonization. We conclude (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  33
    From Radical Enactivism to Folk Philosophy.Daniel D. Hutto - 2020 - The Philosophers' Magazine 88:75-82.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  5
    Verification in incomplete argumentation frameworks.Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe & Hilmar Schadrack - 2018 - Artificial Intelligence 264 (C):1-26.
  26.  35
    Aristotle against (unqualified) self-motion.Daniel Coren - 2019 - Ancient Philosophy 39 (2):363-380.
    Every thing that moves is caused to move by something else. Yet there are things that move themselves. How does Aristotle square those two commitments? This paper helps to answer that question. One argument in Physics VII 1 seems to pose a problem for the bare possibility of self-motion; in it he seems to argue that everything that moves must be moved by something else. The text in which this argument appears is itself vexed on a number of fronts, because (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  6
    Rationality, transitivity, and contraposition.Michael Freund, Daniel Lehmann & Paul Morris - 1991 - Artificial Intelligence 52 (2):191-203.
  28.  6
    El Descartes de Spinoza.Daniel Moreno Moreno - 2018 - Laguna 42:29-46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Too clever by halving.Tim Button, Daniel Rothschild & Levi Spectre - manuscript
    We offer two arguments against the halving repose to Sleeping Beauty. First, we show that halving violates the Epistemological Sure-Thing Principle, which we argue is a necessary constraint on any reasonable probability assignment. The constraint is that if hypothetically on C you assign to A the same probability you assign to A hypothetical on not-C, you must assign that probability to A simpliciter. Epistemically, it's a sure thing for you that A has this probability. Second, we show that halving violates (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Between the state, society and global markets : three roles of higher education.Susan Wiksten & Daniel Schugurensky - 2007 - In Robert F. Arnove & Carlos Alberto Torres (eds.), Comparative education: the dialectic of the global and the local. Lanham, MD: Rowman & Littlefield.
     
    Export citation  
     
    Bookmark  
  31. Panorama de la sociedad.Agramonte Y. Pichardo & Roberto Daniel - 1942 - Habana,: Cultural.
     
    Export citation  
     
    Bookmark  
  32. Tzedakah and Aliyah: How American Jews Helped Build Israel.Rabbi Daniel R. Allen Z."L. - 2019 - In Mary L. Zamore & Elka Abrahamson (eds.), The sacred exchange: creating a Jewish money ethic. New York, NY: CCAR Press.
     
    Export citation  
     
    Bookmark  
  33. The ideas as thoughts of God.John Dillon & Daniel J. Tolan - 2020 - In Alexander J. B. Hampton & John Peter Kenney (eds.), Christian Platonism: A History. New York, NY: Cambridge University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  34.  37
    Embedded Ethics Could Help Implement the Pipeline Model Framework for Machine Learning Healthcare Applications.Amelia Fiske, Daniel Tigard, Ruth Müller, Sami Haddadin, Alena Buyx & Stuart McLennan - 2020 - American Journal of Bioethics 20 (11):32-35.
    The field of artificial intelligence (AI) ethics has exploded in recent years, with countless academics, organizations, and influencers rushing to consider how AI technology can be developed and im...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  20
    Science for Competition among Powers: Geographical Knowledge, Colonial‐Diplomatic Networks, and the Scramble for Africa.Daniel Gamito-Marques - 2020 - Berichte Zur Wissenschaftsgeschichte 43 (4):473-492.
    Historical studies on the relationship between science and diplomacy tend to focus on events since World War II and on initiatives for the maintenance of peace or to achieve cooperation over contentious matters. This article presents the case of José Vicente Barbosa du Bocage (1823–1907), a Portuguese zoologist who had formal diplomatic responsibilities in a context of competition for the colonization of Africa in the nineteenth century. He used his knowledge in African geography to implement colonial and diplomatic strategies that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  23
    Introduction to Polis Special Issue on Roman Political Thought.Grant Nelsestuen & Daniel Kapust - 2020 - Polis 37 (1):3-6.
  37. Orpheus turning : the reader to come in Camera Lucida.Daniel T. O'Hara - 2022 - In Jeffrey R. Di Leo & Zahi Anbra Zalloua (eds.), Understanding Barthes, understanding modernism. New York: Bloomsbury Academic.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  7
    Introduction.Daniel I. O’Neill, Mary Lyndon Shanley & Iris Marion Young - 2008 - In Daniel I. O'Neill, Mary Lyndon Shanley & Iris Marion Young (eds.), Illusion of Consent: Engaging with Carole Pateman. Pennsylvania State University Press. pp. 1-14.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. In defense of xenotransplantation research: Because of, not in spite of, animal welfare concerns.Christopher Bobier, Daniel Rodger, Daniel J. Hurst & Adam Omelianchuk - forthcoming - Xenotransplantation.
    It is envisioned that one day xenotransplantation will bring about a future where transplantable organs can be safely and efficiently grown in transgenic pigs to help meet the global organ shortage. While recent advances have brought this future closer, worries remain about whether it will be beneficial overall. The unique challenges and risks posed to humans that arise from transplanting across the species barrier, in addition to the costs borne by non-human animals, has led some to question the value of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Probabilistic semantics and pragmatics : uncertainty in language and thought.Noah D. Goodman & Daniel Lassiter - 1996 - In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Hoboken: Wiley-Blackwell.
     
    Export citation  
     
    Bookmark   7 citations  
  41. Response to McCain’s and Poston’s ‘Beliefs are Justified by Coherence’.Daniel Howard-Snyder - 2020 - In Steven B. Cowan (ed.), Problems in Epistemology and Metaphysics: An Introduction to Contemporary Debates. Bloomsbury Publishing.
    This brief reply to McCain and Poston's chapter problematizes both their objections to my chapter on experience justifying belief and their version of epistemological coherentism.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  41
    On the (In)Significance of Moral Disagreement for Moral Knowledge 1.Jason Decker & Daniel Groll - 2013 - Oxford Studies in Metaethics 8.
    This chapter considers an epistemological argument from disagreement which concludes that many of most people’s moral beliefs do not amount to knowledge. Various ways of understanding the argument are considered and it is argued that each relies on an epistemic principle that is under-motivated, overgeneralizes, and is indeed self-incriminating. These problems, it is suggested, infect many conciliationist theses in the epistemology of disagreement. Knowledge, it is argued, can withstand not only acknowledged peer disagreement, but also disagreement with the acknowledged experts. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  11
    La Burocracia Sindical En la Primera Revolución Rusa: De Los “Sindicatos Policiales” de Zubatov a la Asamblea de Gapon.Carlos Mignon & Daniel Gaido - 2018 - Astrolabio: Nueva Época 20:1-46.
    El surgimiento y consolidación en el seno de la clase obrera de un estrato social —la burocracia sindical— que, aunque tenga su origen en dicha clase, con el tiempo adquiere privilegios e intereses que lo llevan a defender posiciones contrarias a la independencia política de los trabajadores, desarticulándolos políticamente y subordinándolos al Estado burgués, es un fenómeno universal del capitalismo. En este artículo, describiremos los intentos realizados por el zarismo ruso de crear artificialmente una burocracia sindical bajo la égida de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    Medical students positions regarding resource allocation in times of crisis.Daniel Minkin Levy, Iftach Sagy, Margaret Johansson Lipinski Lubianiker & Alan Jotkowitz - 2022 - Clinical Ethics 17 (4):432-441.
    Objective To compare the perspectives of medical students in the preclinical and clinical phases of medical training on the issue of rationing scarce medical resources in times of crisis. Methods Questionnaire-based cross-sectional study. Results A total of 201 participants took part in the study, with 100 participants in the preclinical phase group, and 101 in the clinical phase group. A multivariable analysis found that just 14.9% (n = 34) of the clinical phase students were willing to give a short-supplied blood (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  2
    Emancipation and Authenticity: The Place of the Human Being in the Philosophies of Heidegger and the Young Karl Marx.Felipe Daniel Montero - 2024 - Eidos: Revista de Filosofía de la Universidad Del Norte 41:69-94.
    RESUMEN El propósito de este artículo es examinar en conjunto las filosofías del segundo Heidegger y del joven Marx para mostrar cómo, aunque difieren en algunos aspectos importantes, ambas filosofías están motivadas por preocupaciones similares y no son tan diferentes como para impedir un diálogo productivo entre ellas. En la medida en que puede decirse que ambos pensadores han pensado, tomando la palabra en el sentido heideggeriano, lo "mismo", el modo en que ambas filosofías divergen entre sí puede ser especialmente (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  44
    Harm Reduction: A Research Agenda.Shannon Dea & Daniel Weinstock - 2020 - Health Care Analysis 28 (4):299-301.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  14
    Who Enjoys Teaching, and When? Between- and Within-Person Evidence on Teachers’ Appraisal-Emotion Links.Anne C. Frenzel, Daniel Fiedler, Anton K. G. Marx, Corinna Reck & Reinhard Pekrun - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Might text-davinci-003 have inner speech?Stephen Francis Mann & Daniel Gregory - 2024 - Think 23 (67):31-38.
    In November 2022, OpenAI released ChatGPT, an incredibly sophisticated chatbot. Its capability is astonishing: as well as conversing with human interlocutors, it can answer questions about history, explain almost anything you might think to ask it, and write poetry. This level of achievement has provoked interest in questions about whether a chatbot might have something similar to human intelligence or even consciousness. Given that the function of a chatbot is to process linguistic input and produce linguistic output, we consider the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  7
    Teses sobre método.Bruce Lincoln, Daniel Rocha & Henrique Rodrigues Caldeira - 2023 - Horizonte 21 (64):216412-216412.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Knapsack and subset sum problems in nilpoint, polycyclic, and co-context-free groups.Daniel König, Markus Lohrey & George Zetzsche - 2016 - In Delaram Kahrobaei, Bren Cavallo & David Garber (eds.), Algebra and computer science. Providence, Rhode Island: American Mathematical Society.
     
    Export citation  
     
    Bookmark  
1 — 50 / 985