Results for 'Richard Cornes'

971 found
Order:
  1. Teaching Peirce to Undergraduates.James Campbell, Cornelis de Waal & Richard Hart - 2008 - Transactions of the Charles S. Peirce Society 44 (2):189-235.
    Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Searching for Some Real Doubt.Cornelis De Waal - 2008 - Transactions of the Charles S. Peirce Society 44 (2):201-204.
    This project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers.
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Cognitive Role of Fictionality.J. Robert G. Williams & Richard Woodward - 2019 - Philosophy and Phenomenological Research.
    The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. Supporting human autonomy in AI systems.Rafael Calvo, Dorian Peters, Karina Vold & Richard M. Ryan - 2020 - In Christopher Burr & Luciano Floridi, Ethics of digital well-being: a multidisciplinary approach. Springer.
    Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  5. 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   3 citations  
  6. Peirce's Nominalist-Realist Distinction, an Untenable Dualism.Cornelis de Waal - 1998 - Transactions of the Charles S. Peirce Society 34 (1):183-202.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Delusions and madmen: against rationality constraints on belief.Declan Smithies, Preston Lennon & Richard Samuels - 2022 - Synthese 200 (3):1-30.
    According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. 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   13 citations  
  9. Editors' introduction to tasks, tools, and techniques.Wayne D. Gray, François Osiurak & Richard Heersmink - 2021 - Topics in Cognitive Science 13 (4):1-8.
    Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Making Fair Choices on the Path to Universal Health Coverage.Ole Frithjof Norheim, Trygve Ottersen, Bona Chitah, Richard Cookson, Norman Daniels, Nir Eyal, Walter Flores, Axel Gosseries, Daniel Hausman, Samia Hurst, Lydia Kapiriri, Toby Ord, Shlomi Segall, Frehiwot Defaye, Alex Voorhoeve & Alicia Yamin - 2014 - World Health Organisation.
    This report by the WHO Consultative Group on Equity and Universal Health Coverage addresses how countries can make fair progress towards the goal of universal coverage. It explains the relevant tradeoffs between different desirable ends and offers guidance on how to make these tradeoffs.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  11. 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  
  12. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  13. 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  
  14. Ethical Leadership as a Balance Between Opposing Neural Networks.Kylie C. Rochford, Anthony I. Jack, Richard E. Boyatzis & Shannon E. French - 2017 - Journal of Business Ethics 144 (4):755-770.
    In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown, Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.
    A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  16. Computability, Notation, and de re Knowledge of Numbers.Stewart Shapiro, Eric Snyder & Richard Samuels - 2022 - Philosophies 1 (7):20.
    Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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  
  18. Para Todxs: Natal - uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior - 2022 - Natal-RN: PPGFIL-UFRN.
    Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Experiencing the Real Presence of Christ in the Eucharist.Joshua Cockayne, David Efird, Gordon Haynes, Daniel Molto, Richard Tamburro, Jack Warman & August Ludwigs - 2017 - Journal of Analytic Theology 5:175-196.
    We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. The History of Philosophy Conceived as a Struggle Between Nominalism and Realism.Cornelis De Waal - 2010 - Semiotica 2010 (179):295-313.
    In this article I trace some of the main tenets of the struggle between nominalism and realism as identified by John Deely in his Four ages of understanding. The aim is to assess Deely’s claim that the Age of Modernity was nominalist and that the coming age, the Age of Postmodernism — which he portrays as a renaissance of the late middle ages and as starting with Peirce — is realist. After a general overview of how Peirce interpreted the nominalist-realist (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  21. forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Nomophobia (no-mobile-phone phobia) among the undergraduate medical students.Suleman Lazarus, Abdul Rahim Ghafari, Richard Kapend, Khalid Jan Rezayee, Hasibullah Aminpoor, Mohammad Yasir Essar & Arash Nemat - 2024 - Heliyon 10 (16):1-13.
    Nomophobia (no-mobile-phone phobia) is the fear and anxiety of being without a mobile phone. This study pioneers the investigation of nomophobia in Afghanistan using the Nomophobia Questionnaire (NMP-Q), addressing a crucial gap in the field. We collected statistical data from 754 undergraduate medical students, comprising men (56.50 %) and women (43.50 %), and analyzed the dimensions of nomophobia. While results revealed that all but two participants were nomophobic, they identified three significant dimensions affecting the level of nomophobia among participants: (a) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. An evolutionary study of production of electricity in Ghana (1900–1960s).Samuel Adu-Gyamfi, Kwasi Amakye-Boateng, Dennis Baffour Awuah, Richard Oware & Stephen Quansah - 2020 - History of Science and Technology 16 (1):10-33.
    The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Coordinating virus research: The Virus Infectious Disease Ontology.John Beverley, Shane Babcock, Gustavo Carvalho, Lindsay G. Cowell, Sebastian Duesing, Yongqun He, Regina Hurley, Eric Merrell, Richard H. Scheuermann & Barry Smith - 2024 - PLoS ONE 1.
    The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Women and Medicine: A Historical and Contemporary Study on Ghana.Samuel Adu-Gyamfi, Kwasi Amakye-Boateng, Ali Yakubu Nyaaba, Adwoa Birago Acheampong, Dennis Baffour Awuah & Richard Oware - 2020 - Ethnologia Actualis 19 (2):34-55.
    Women have always been central concerning the provision of healthcare. The transitions into the modern world have been very slow for women because of how societies classify women. Starting from lay care, women provided healthcare for their family and sometimes to the members of the community in which they lived. With no formal education, women served as midwives and served in other specialised fields in medicine. They usually treated their fellow women because they saw ‘women’s medicine’ as women’s business. They (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. An improved ontological representation of dendritic cells as a paradigm for all cell types.Anna Maria Masci, Cecilia N. Arighi, Alexander D. Diehl, Anne E. Liebermann, Chris Mungall, Richard H. Scheuermann, Barry Smith & Lindsay Cowell - 2009 - BMC Bioinformatics 10 (1):70.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. 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  
  30. To Be or Not To Be a Behaviorist? Facial Recognition Systems and Critical Knowledge.Mathieu Cornelis, Nathalie Grandjean & Claire Lobet - 2008 - Tenth IEEE International Symposium on Multimedia, 2008. ISM 2008:597-601.
    In this paper, we assess the possibility of a critical knowledge of technology. In the case of facial recognition systems, 'FRS', we argue that behaviorism underlies this technology, and analyze the debate about behaviorism to show the lack of consensus about its theoretical foundations. In particular we analyze the structure of knowledge generated by FRS as affected by a technological behaviorism. Our last point is a suggestion to use the concept of dasiacritical knowledgepsila, which we borrow from Ladriere, to question (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Gatherings Symposium: Beyond Presence?Jussi Backman, Taylor Carman, Daniel O. Dahlstrom, Graham Harman, Michael Marder & Richard Polt - 2019 - Gatherings: The Heidegger Circle Annual 9:145-174.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Science Beyond the Self: Remarks on Charles S. Peirce's Social Epistemology.Cornelis De Waal - 2006 - Cognitio 7 (1):149-163.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Voronkov Andrei & Parigot Michel, Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Springer. pp. 240-256.
    It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. An improved ontological representation of dendritic cells as a paradigm for all cell types.Masci Anna Maria, N. Arighi Cecilia, D. Diehl Alexander, E. Lieberman Anne, Mungall Chris, H. Scheuermann Richard, Barry Smith & G. Cowell Lindsay - 2009 - BMC Bioinformatics 10 (1):70.
    The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. 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, 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  
  36. Completeness of a first-order temporal logic with time-gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Bayesian updating when what you learn might be false.Richard Pettigrew - 2023 - Erkenntnis 88 (1):309-324.
    Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In Baaz Matthias, Preining Norbert & Zach Richard, 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. IEEE Press.
    All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans, Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Community, Virtue and the White British Poor.Michael Merry, David Manley & Richard Harris - 2016 - Dialogues in Human Geography 6 (1):50-68.
    Whilst media and political rhetoric in Britain is sceptical and often outright damning of the (presumed) morals and behaviours of the White marginalized poor, our aim is to explore the conditions under which successful communities are nevertheless built. Specifically, we examine the features of community and stress its importance both for belonging and bonding around shared norms and practices and for fostering the necessary bridging essential for interacting and cooperating with others. In considering what it means to foster a community (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. The Real Issue between Nominalism and Realism, Peirce and Berkeley Reconsidered.Cornelis de Waal - 1996 - Transactions of the Charles S. Peirce Society 32 (3):425-442.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  42. 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  
  43. Distributed selves: Personal identity and extended memory systems.Richard Heersmink - 2017 - Synthese 194 (8):3135–3151.
    This paper explores the implications of extended and distributed cognition theory for our notions of personal identity. On an extended and distributed approach to cognition, external information is under certain conditions constitutive of memory. On a narrative approach to personal identity, autobiographical memory is constitutive of our diachronic self. In this paper, I bring these two approaches together and argue that external information can be constitutive of one’s autobiographical memory and thus also of one’s diachronic self. To develop this claim, (...)
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  44. How should your beliefs change when your awareness grows?Richard Pettigrew - 2024 - Episteme 21 (3):733-757.
    Epistemologists who study credences have a well-developed account of how you should change them when you learn new evidence; that is, when your body of evidence grows. What's more, they boast a diverse range of epistemic and pragmatic arguments that support that account. But they do not have a satisfactory account of when and how you should change your credences when you become aware of possibilities and propositions you have not entertained before; that is, when your awareness grows. In this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Should longtermists recommend hastening extinction rather than delaying it?Richard Pettigrew - 2024 - The Monist 107 (2):130-145.
    Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Varieties of artifacts: Embodied, perceptual, cognitive, and affective.Richard Heersmink - 2021 - Topics in Cognitive Science (4):1-24.
    The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  47. (4 other versions)Mind and Attention in Indian Philosophy: Workshop Report.Kevin Connolly, Jennifer Corns, Nilanjan Das, Zachary Irving & Lu Teng - manuscript
    This report highlights and explores five questions that arose from the workshop on mind and attention in Indian philosophy at Harvard University, September 21st to 22nd, 2013: 1. How does the understanding of attention in Indian philosophy bear on contemporary western debates? 2. How can we train our attention, and what are the benefits of doing so? 3. Can meditation give us moral knowledge? 4. What can Indian philosophy tell us about how we perceive the world? 5. Are there cross-cultural (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Varieties of the extended self.Richard Heersmink - 2020 - Consciousness and Cognition 85:103001.
    This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  49. Having an Idea of Matter: A Peircean Refutation of Berkeleyan Immaterialism.Cornelis De Waal - 2006 - Journal of the History of Ideas 67 (2):291-313.
    This paper explores Berkeley's denial of matter in the light of criticisms voiced by Charles S. Peirce, who wrote two extensive review essays, one in 1871 and one in 1901, on the Fraser editions of Berkeley's Works. Elaborating upon Peirce's criticisms and utilizing Peirce's semiotics and pragmatism (two doctrines for which Peirce gives partial credit to Berkeley), it is shown that Berkeley's argument against matter is inconclusive, that the hypothesis of matter can be made to fit within Berkeley's thought, and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. The Philosophy of Pain - Introduction.David Bain, Jennifer Corns & Michael Brady - 2018 - In David Bain & Michael Brady, Philosophy of Pain: Unpleasantness, Emotion, and Deviance. New York: Routledge.
    Over recent decades, pain has received increasing attention as – with ever greater sophistication and rigour – theorists have tried to answer the deep and difficult questions it poses. What is pain’s nature? What is its point? In what sense is it bad? The papers collected in this volume are a contribution to that effort ...
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 971