Results for 'Richard Flower'

921 found
Order:
  1. Explainable Artificial Intelligence (XAI) 2.0: A Manifesto of Open Challenges and Interdisciplinary Research Directions.Luca Longo, Mario Brcic, Federico Cabitza, Jaesik Choi, Roberto Confalonieri, Javier Del Ser, Riccardo Guidotti, Yoichi Hayashi, Francisco Herrera, Andreas Holzinger, Richard Jiang, Hassan Khosravi, Freddy Lecue, Gianclaudio Malgieri, Andrés Páez, Wojciech Samek, Johannes Schneider, Timo Speith & Simone Stumpf - 2024 - Information Fusion 106 (June 2024).
    As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Minds Online: The Interface between Web Science, Cognitive Science, and the Philosophy of Mind.Paul Smart, Robert William Clowes & Richard Heersmink - 2017 - Foundations and Trends in Web Science 6 (1-2):1-234.
    Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  3. Modelling competing legal arguments using Bayesian model comparison and averaging.Martin Neil, Norman Fenton, David Lagnado & Richard David Gill - 2019 - Artificial Intelligence and Law 27 (4):403-430.
    Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. The Ethics of Deliberate Exposure to SARS-CoV-2 to Induce Immunity.Robert Streiffer, David Killoren & Richard Y. Chappell - 2021 - Journal of Applied Philosophy 38 (3):479-496.
    We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Democratic equilibria: Albert Hirschman and workplace democracy.Stanislas Richard - 2020 - Review of Social Economy 78 (3):286-306.
    This paper clarifies the usage of Albert Hirschman’s categories of market behaviour as of exit and voice in debates about workplace democracy by taking seriously his critique of the neoclassical analysis of competition. Pro-market liberals are generally hostile to the idea of workplace democracy and tend to favour top-down hierarchies as a way of organising labour. This hostility is generally inspired by the neoclassical analysis of exploitation and efficiency, which leads them to defend distributions achieved through exit-based competitive equilibria. Following (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Evolution of Individuality: A Case Study in the Volvocine Green Algae.Erik R. Hanschen, Dinah R. Davison, Zachariah I. Grochau-Wright & Richard E. Michod - 2017 - Philosophy, Theory, and Practice in Biology 9 (3).
    All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Exploring Regulatory Flexibility to Create Novel Incentives to Optimize Drug Discovery.Jacqueline A. Sullivan & E. Richard Gold - 2024 - Frontiers in Medicine 11 (Section on Regulatory Science).
    Efforts by governments, firms, and patients to deliver pioneering drugs for critical health needs face a challenge of diminishing efficiency in developing those medicines. While multi-sectoral collaborations involving firms, researchers, patients, and policymakers are widely recognized as crucial for countering this decline, existing incentives to engage in drug development predominantly target drug manufacturers and thereby do little to stimulate collaborative innovation. In this mini review, we consider the unexplored potential within pharmaceutical regulations to create novel incentives to encourage a diverse (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  9. Inherent emotional quality of human speech sounds.Blake Myers-Schulz, Maia Pujara, Richard C. Wolf & Michael Koenigs - 2013 - Cognition and Emotion 27 (6):1105-1113.
    During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
    Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  11. Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  12. Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.
    Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Following the Science: Pandemic Policy Making and Reasonable Worst-Case Scenarios.Richard Bradley & Joe Roussos - 2021 - LSE Public Policy Review 1 (4):6.
    The UK has been ‘following the science’ in response to the COVID-19 pandemic in line with the national framework for the use of scientific advice in assessment of risk. We argue that the way in which it does so is unsatisfactory in two important respects. Firstly, pandemic policy making is not based on a comprehensive assessment of policy impacts. And secondly, the focus on reasonable worst-case scenarios as a way of managing uncertainty results in a loss of decision-relevant information and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Mind and artifact: A multidimensional matrix for exploring cognition-artifact relations.Richard Heersmink - 2012 - In R. Heersmink (ed.), Proceedings of AISB/IACAP World Congres 2012.
    What are the possible varieties of cognition-artifact relations, and which dimensions are relevant for exploring these varieties? This question is answered in two steps. First, three levels of functional and informational integration between human agent and cognitive artifact are distinguished. These levels are based on the degree of interactivity and direction of information flow, and range from monocausal and bicausal relations to continuous reciprocal causation. In these levels there is a hierarchy of integrative processes in which there is an increasing (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  15. Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
    Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Toward an Ontological Treatment of Disease and Diagnosis.Richard H. Scheuermann, Werner Ceusters & Barry Smith - 2009 - In Richard H. Scheuermann, Werner Ceusters & Barry Smith (eds.), Toward an Ontological Treatment of Disease and Diagnosis. American Medical Informatics Association.
    Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  17. Hilbert's program then and now.Richard Zach - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 411–447.
    Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  18. VO: Vaccine Ontology.Yongqun He, Lindsay Cowell, Alexander D. Diehl, H. L. Mobley, Bjoern Peters, Alan Ruttenberg, Richard H. Scheuermann, Ryan R. Brinkman, Melanie Courtot, Chris Mungall, Barry Smith & Others - 2009 - In Barry Smith (ed.), ICBO 2009: Proceedings of the First International Conference on Biomedical Ontology. Buffalo: NCOR.
    Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Rumfitt on truth-grounds, negation, and vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Choosing for Changing Selves.Richard Pettigrew - 2019 - Oxford, UK: Oxford University Press.
    What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  21. Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.
    David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Cómo tomar decisiones justas en el camino hacia la cobertura universal de salud.Ole Frithjof Norheim, Trygve Ottersen, Bona Chitah, Richard Cookson, Norman Daniels, Frehiwot Defaye, Nir Eyal, Walter Flores, Axel Gosseries, Daniel Hausman, Samia Hurst, Lydia Kapiriri, Toby Ord, Shlomi Segall, Gita Sen, Alex Voorhoeve, Tessa T. T. Edejer, Andreas Reis, Ritu Sadana, Carla Saenz, Alicia Yamin & Daniel Wikler - 2015 - Pan-American Health Organization (PAHO).
    La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Derrida degree: A question of honour.Barry Smith, Hans Albert, David M. Armstrong, Ruth Barcan Marcus, Keith Campbell, Richard Glauser, Rudolf Haller, Massimo Mugnai, Kevin Mulligan, Lorenzo Peña, Willard Van Orman Quine, Wolfgang Röd, Karl Schuhmann, Daniel Schulthess, Peter M. Simons, René Thom, Dallas Willard & Jan Wolenski - 1992 - The Times 9 (May 9).
    A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. On Eternal Punishment: A Brief Dialogue.Richard Oxenberg - manuscript
    In this brief dialogue I consider the humanity and morality of the doctrine of eternal punishment.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Theology Without Walls: A New Mode of Spiritual Engagement.Richard Oxenberg - manuscript
    Theology Without Walls - or 'trans-religious theology' - is a theological approach dedicated to reflecting upon the nature of divine reality as it may be revealed in any of the world’s religious traditions, without confining itself to any one in particular. In this paper I discuss some of the basic assumptions and implications of the Theology Without Walls project and suggest that this approach to theology, and to religion in general, promises to help resolve antagonisms and divisions that have long (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. What, if anything, renders all humans morally equal?Richard J. Arneson - 1999 - In . Blackwell. pp. 103-28.
    All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  27. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Production and comprehension of gestures between orang-utans (Pongo pygmaeus) in a referential communication game.Richard Moore, Josep Call & Michael Tomasello - 2015 - PLoS ONE:pone.0129726.
    Orang-utans played a communication game in two studies testing their ability to produce and comprehend requestive pointing. While the ‘communicator’ could see but not obtain hidden food, the ‘donor’ could release the food to the communicator, but could not see its location for herself. They could coordinate successfully if the communicator pointed to the food, and if the donor comprehended his communicative goal and responded pro-socially. In Study 1, one orang-utan pointed regularly and accurately for peers. However, they responded only (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Review of Daniel J. Singer, Right Belief and True Belief, OUP, 2023. [REVIEW]Richard Pettigrew - manuscript
    Download  
     
    Export citation  
     
    Bookmark  
  30. Faire Des Choix Justes Pour Une Couverture Sanitaire Universelle.Ole Frithjof Norheim, Trygve Ottersen, Bona Chitah, Richard Cookson, Norman Daniels, Frehiwot Defaye, Nir Eyal, Walter Flores, Axel Gosseries, Daniel Hausman, Samia Hurst, Lydia Kapiriri, Toby Ord, Shlomi Segall, Gita Sen, Alex Voorhoeve, Daniel Wikler, Alicia Yamin, Tessa T. T. Edejer, Andreas Reis, Ritu Sadana & Carla Saenz - 2015 - World Health Organization.
    This report from the WHO Consultative Group on Equity and Universal Health Coverage offers advice on how to make progress fairly towards universal health coverage.
    Download  
     
    Export citation  
     
    Bookmark  
  31. Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeley
    In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. Exchange on "Truth as convenient friction".Richard Rorty & Huw Price - 2010 - In Mario De Caro & David Macarthur (eds.), Naturalism and Normativity. Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Základ všeho vědosloví J. G. Fichta: Založení vědy jako sebezaložení člověka.Richard Zika - 2010 - Teorie Vědy / Theory of Science 32 (1):97-105.
    The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Understanding the Higher-Order Approach to Consciousness.Richard Brown, Hakwan Lau & Joseph E. LeDoux - 2019 - Trends in Cognitive Sciences 23 (9):754-768.
    Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  36. (1 other version)Reasonable religious disagreements.Richard Feldman - 2010 - In Louise M. Antony (ed.), Philosophers Without Gods: Meditations on Atheism and the Secular Life. Oup Usa. pp. 194-214.
    Download  
     
    Export citation  
     
    Bookmark   300 citations  
  37. A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
    It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  62
    The function is unsaturated.Richard G. Heck, Jr & Robert May - 2013 - In Michael Beaney (ed.), The Oxford Handbook of The History of Analytic Philosophy. Oxford, England: Oxford University Press. pp. 825-50.
    An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Counterfactual Desirability.Richard Bradley & H. Orii Stefansson - 2017 - British Journal for the Philosophy of Science 68 (2):485-533.
    The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  40. Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. A virtue epistemology of the Internet: Search engines, intellectual virtues and education.Richard Heersmink - 2018 - Social Epistemology 32 (1):1-12.
    This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  42. Fittingness: The sole normative primitive.Richard Yetter Chappell - 2012 - Philosophical Quarterly 62 (249):684 - 704.
    This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...)
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  43. Arguments in a Sartorial Mode, or the Asymmetries of History and Philosophy of Science.Robert J. Richards - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:482 - 489.
    History of science and philosophy of science are not perfectly complementary disciplines. Several important asymmetries govern their relationship. These asymmetries, concerning levels of analysis, evidence, theories, writing, and training show that to be a decent philosopher of science is more difficult than being a decent historian. But to be a good historian-well, the degree of difficulty is reversed.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  44. Mathematical Cognition: A Case of Enculturation.Richard Menary - 2015 - Open Mind.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  45. Kurt Gödel, paper on the incompleteness theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. North-Holland. pp. 917-925.
    This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. What Is This Thing Called Well-Being.Richard Kim - manuscript
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Logical ignorance and logical learning.Richard Pettigrew - 2020 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  48. Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.
    Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. What is justified credence?Richard Pettigrew - 2021 - Episteme 18 (1):16-30.
    In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  50. Light and Clock Behavior in the Space Generation Model of Gravitation.Richard Benish - 2008 - Apeiron: Studies in Infinite Nature 15 (3):222.
    General Relativity’s Schwarzschild solution describes a spherically symmetric gravitational field as an utterly static thing. The Space Generation Model describes it as an absolutely moving thing. The light propagation time-delay experiment of Shapiro-Reasenberg [1] and the falling atomic clock experiment of Vessot-Levine [2] provide the ideal context for illustrating how, though the respective world views implied by these models are radically di fferent, they make nearly the same prediction for the results of these experiments.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 921