Results for 'Jules Richard'

975 found
Order:
  1. Les Principes des mathématiques et le problème des ensembles.Jules Richard - 1905 - Revue Générale des Sciences Pures Et Appliquées 12 (16):541-543.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  2. Does Intraindividual Variability of Personality States Improve Perspective Taking? An Ecological Approach Integrating Personality and Social Cognition. [REVIEW]Richard Wundrack, Julia Prager, Eva Asselmann, Garret O'Connell & Jule Specht - 2018 - Journal of Intelligence 6:18.
    Research integrating cognitive abilities and personality has focused on the role of personality traits. We propose a theory on the role of intraindividual variability of personality states (hereafter state variability) on perspective taking, in particular, the ability to infer other peoples’ mental states. First, we review the relevant research on personality psychology and social cognition. Second, we propose two complementary routes by which state variability relates to anchoring and adjustment in perspective taking. The first route, termed ego-dispersion, suggests that an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Identification of antinomies by complementary analysis.Andrzej Burkiet - manuscript
    It has been noticed that self-referential, ambiguous definitional formulas are accompanied by complementary self-referential antinomy formulas, which gives rise to contradictions. This made it possible to re-examine ancient antinomies and Cantor’s Diagonal Argument (CDA), as well as the method of nested intervals, which is the basis for evaluating the existence of uncountable sets. Using Georg Cantor’s remark that every real number can be represented as an infinite digital expansion (usually decimal or binary), a simplified system for verifying the definitions of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Fisiologia do Ciclo Estral dos Animais Domésticos.Emanuel Isaque Cordeiro da Silva -
    FISIOLOGIA DO CICLO ESTRAL DOS ANIMAIS -/- Departamento de Zootecnia – UFRPE Embrapa Semiárido e IPA -/- • _____OBJETIVO -/- O cio ou estro é a fase reprodutiva dos animais, onde as fêmeas apresentam receptividade sexual seguida de ovulação. Para tanto, é necessário entender a fisiologia do estro para a realização do manejo reprodutivo dos animais. Em geral, as fêmeas manifestam comportamentos fora do comum quando estão ciclando, tais comportamentos devem ser observados para que não percam o pico de ovulação (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Comportamento Sexual dos Animais Domésticos.Emanuel Isaque Cordeiro Da Silva -
    COMPORTAMENTO SEXUAL DOS ANIMAIS OBJETIVO O estudante explicará a conduta sexual de fêmeas e machos de diferentes espécies domésticas para detectar a fase de receptividade sexual, com a finalidade de programar de maneira adequada a monta ou a inseminação artificial. A observação da conduta sexual dos animais é indispensável para o sucesso da estação reprodutiva em uma determinada propriedade. Logo, o estudante obterá o alicerce necessário sobre os pontos teóricos e práticos a serem observados para a seleção dos animais aptos (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. (1 other version)Responsibility for Implicit Bias.Jules Holroyd - 2012 - Journal of Social Philosophy 43 (3):274-306.
    Philosophers who have written about implicit bias have claimed or implied that individuals are not responsible, and therefore not blameworthy, for their implicit biases, and that this is a function of the nature of implicit bias as implicit: below the radar of conscious reflection, out of the control of the deliberating agent, and not rationally revisable in the way many of our reflective beliefs are. I argue that close attention to the findings of empirical psychology, and to the conditions for (...)
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  7. Ambivalences of Trans Recognition.Jules Wong - forthcoming - Hypatia.
    The need for gender recognition is widespread, even when hypervisibility and other effects of trans antagonism make that need dangerous for trans people. This reason partially accounts for why, in trans critique, recognition is a dirty word. As a political aim, and to some extent as a moral norm, trans critiques encourage dropping recognition. On the other hand, social philosophers often view recognition as a solution to misrecognition and take recognition to be a remedy for injustice. In my view, recognition (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Shared Agency and Mutual Obligations: A Pluralist Account.Jules Salomone - 2023 - Philosophical Quarterly 73 (4):1120-1140.
    Do participants in shared activity have mutual obligations to do their bit? This article shows this question has no one-size-fits-all answer and offers a pluralist account of the normativity of shared agency. The first part argues obligations to do one's bit have three degrees of involvement in shared activity. Such obligations might, obviously, bolster co-participants’ resolve to act as planned (degree 1). Less obviously, there also are higher and lower degrees of involvement. Obligations to do one's bit might provide our (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Oppressive Praise.Jules Holroyd - 2021 - Feminist Philosophy Quarterly 7 (4).
    Philosophers have had a lot to say about blame, much less about praise. In this paper, I follow some recent authors in arguing that this is a mistake. However, unlike these recent authors, the reasons I identify for scrutinising praise are to do with the ways in which praise is, systematically, unjustly apportioned. Specifically, drawing on testimony and findings from social psychology, I argue that praise is often apportioned in ways that reflect and entrench existing structures of oppression. Articulating what (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  10. The Heterogeneity of Implicit Bias.Jules Holroyd & Joseph Sweetman - 2016 - In Michael Brownstein & Jennifer Mather Saul (eds.), Implicit Bias and Philosophy, Volume 1: Metaphysics and Epistemology. Oxford, United Kingdom: Oxford University Press.
    The term 'implicit bias' has very swiftly been incorporated into philosophical discourse. Our aim in this paper is to scrutinise the phenomena that fall under the rubric of implicit bias. The term is often used in a rather broad sense, to capture a range of implicit social cognitions, and this is useful for some purposes. However, we here articulate some of the important differences between phenomena identified as instances of implicit bias. We caution against ignoring these differences: it is likely (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  11. 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  
  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. Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
    A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  14. (1 other version)Implicit Bias, Character and Control.Jules Holroyd & Daniel Kelly - 2016 - In Alberto Masala & Jonathan Mark Webber (eds.), From Personality to Virtue: Essays on the Philosophy of Character. Oxford: Oxford University Press UK. pp. 106-133.
    Our focus here is on whether, when influenced by implicit biases, those behavioural dispositions should be understood as being a part of that person’s character: whether they are part of the agent that can be morally evaluated.[4] We frame this issue in terms of control. If a state, process, or behaviour is not something that the agent can, in the relevant sense, control, then it is not something that counts as part of her character. A number of theorists have argued (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  15. 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  
  16. Implicit Bias and Prejudice.Jules Holroyd & Kathy Puddifoot - 2019 - In Miranda Fricker, Peter Graham, David Henderson & Nikolaj Jang Pedersen (eds.), The Routledge Handbook of Social Epistemology. New York, USA: Routledge.
    Recent empirical research has substantiated the finding that very many of us harbour implicit biases: fast, automatic, and difficult to control processes that encode stereotypes and evaluative content, and influence how we think and behave. Since it is difficult to be aware of these processes - they have sometimes been referred to as operating 'unconsciously' - we may not know that we harbour them, nor be alert to their influence on our cognition and action. And since they are difficult to (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Punishment and Justice.Jules Holroyd - 2010 - Social Theory and Practice 36 (1):78-111.
    Should the state punish its disadvantaged citizens who have committed crimes? Duff has recently argued that where disadvantage persists the state loses its authority to hold individuals to account and to punish for criminal wrongdoings. I here scrutinize Duff’s argument for the claim that social justice is a precondition for the legitimacy of state punishment. I sharpen an objection to Duff’s argument: with his framework, we seem unable to block the implausible conclusion that where disadvantage persists the state lacks the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  18. Two Ways of Socialising Responsibility: Circumstantialist and Scaffolded-Responsiveness.Jules Holroyd - 2018 - In Marina Oshana, Katrina Hutchison & Catriona Mackenzie (eds.), Social Dimensions of Moral Responsibility. New York: Oup Usa. pp. 137-162.
    This chapter evaluates two competing views of morally responsible agency. The first view at issue is Vargas’s circumstantialism—on which responsible agency is a function of the agent and her circumstances, and so is highly context sensitive. The second view is McGeer’s scaffolded-responsiveness view, on which responsible agency is constituted by the capacity for responsiveness to reasons directly, and indirectly via sensitivity to the expectations of one’s audience (whose sensitivity may be more developed than one’s own). This chapter defends a version (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Gatherings Symposium: Beyond Presence?Jussi M. Backman, Taylor Carman, Daniel Dahlstrom, Graham Harman, Michael Marder & Richard Polt - 2019 - Gatherings: The Heidegger Circle Annual 9:145-174.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. The Heterogeneity of Implicit Bias.Jules Holroyd & Joseph Sweetman - 2016 - In Michael Brownstein & Jennifer Mather Saul (eds.), Implicit Bias and Philosophy, Volume 1: Metaphysics and Epistemology. Oxford, United Kingdom: Oxford University Press.
    The term 'implicit bias' has very swiftly been incorporated into philosophical discourse. Our aim in this paper is to scrutinise the phenomena that fall under the rubric of implicit bias. The term is often used in a rather broad sense, to capture a range of implicit social cognitions, and this is useful for some purposes. However, we here articulate some of the important differences between phenomena identified as instances of implicit bias. We caution against ignoring these differences: it is likely (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  21. 'Law'.Jules L. Coleman & Ori Simchen - 2003 - Legal Theory 9 (1):1-41.
    We explore the relationship between jurisprudential theories pertaining to the nature of law and semantic and metasemantic theories pertaining to the meaning of ‘law’ in the wake of Dworkin’s notorious Semantic Sting argument in Law’s Empire (HUP 1986). Along the way we delineate various aspects of the semantic and metasemantic underpinnings of ‘law’ as an artifact term and advance the general methodological point that jurisprudential inquiry is only negligibly constrained by the findings of semantic and metasemantic inquiry.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  22. Implicit Bias, Character and Control.Jules Holroyd & Daniel Kelly - 2016 - In Alberto Masala & Jonathan Mark Webber (eds.), From Personality to Virtue: Essays on the Philosophy of Character. Oxford: Oxford University Press UK.
    Our focus here is on whether, when influenced by implicit biases, those behavioural dispositions should be understood as being a part of that person’s character: whether they are part of the agent that can be morally evaluated.[4] We frame this issue in terms of control. If a state, process, or behaviour is not something that the agent can, in the relevant sense, control, then it is not something that counts as part of her character. A number of theorists have argued (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Voronkov Andrei & Parigot Michel (eds.), 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  
  24. Implicit Bias and Reform Efforts in Philosophy.Jules Holroyd & Jennifer Saul - 2018 - Philosophical Topics 46 (2):71-102.
    This paper takes as its focus efforts to address particular aspects of sexist oppression and its intersections, in a particular field: it discusses reform efforts in philosophy. In recent years, there has been a growing international movement to change the way that our profession functions and is structured, in order to make it more welcoming for members of marginalized groups. One especially prominent and successful form of justification for these reform efforts has drawn on empirical data regarding implicit biases and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. The Retributive Emotions: Passions and Pains of Punishment.Jules Holroyd - 2010 - Philosophical Papers 39 (3):343-371.
    It is not usually morally permissible to desire the suffering of another person, or to act so as to satisfy this desire; that is, to act with the aim of bringing about suffering. If the retributive emotions, and the retributive responses of which they are a part, are morally permitted or even required, we will need to see what is distinctive about them. One line of argument in this paper is for the conclusion that a retributive desire for the suffering (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. 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  
  27. Clarifying Capacity: Reasons and Value.Jules Holroyd - 2012 - In Lubomira Radoilska (ed.), Autonomy and Mental Disorder. Oxford University Press.
    It is usually appropriate for adults to make significant decisions, such as about what kinds of medical treatment to undergo, for themselves. But sometimes impairments are suffered - either temporary or permanent - which render an individual unable to make such decisions. The Mental Capacity Act 2005 sets out the conditions under which it is appropriate to regard an individual as lacking the capacity to make a particular decision (and when provisions should be made for a decision on their behalf). (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. 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 (eds.), 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  
  29. 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 (ed.), 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  
  30. Cooperation: With or without Shared Intentions.Jules Salomone-Sehr - 2022 - Ethics 132 (2):414-444.
    This article articulates our everyday notion of cooperation. First, I topple an orthodoxy of shared agency theory by arguing that shared intentions to J are neither necessary nor sufficient for J to be cooperative. I refute the necessity claim by providing examples of shared intention-free cooperation (in institutional contexts and beyond). I refute the sufficiency claim by observing that coercion and exploitation need not preclude shared intentions but do preclude cooperation. These arguments, in turn, lead to my positive proposal. People (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  31. The Social Psychology of Discrimination.Jules Holroyd - 2017 - In Kasper Lippert-Rasmussen (ed.), The Routledge Handbook of the Ethics of Discrimination. New York: Routledge. pp. 381-384.
    How, if at all, do the findings of social psychology impact upon philosophical analyses of discrimination? In this chapter, I outline key findings from three research programs from psychology – concerning in-group/out-group favoritism; implicit bias; and stereotype threat. I argue that each set of findings presents challenges to how philosophical analyses of group discrimination are formulated, and propose possible revisions to be explored in future work.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. The Wrong Way to Protect Small Business.Jules Coleman - manuscript
    US Senate is considering legislation designed to immunize small businesses from lawsuits brought by customers alleging to have been infected with COVID-19 while on the premises. The legislation seeks to subsidize reopening small businesses by reducing their vulnerability to liability. I argue that the legislation produces worse public health outcomes than existing liability regimes, obliterates claims to redress supported by corrective justice, and unfairly burdens victims by forcing them to become de facto insurers of their injurers. In the US, where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Implicit Bias, Self-Defence, and the Reasonable Person.Jules Holroyd & Federico Picinali - 2022 - In Matt Matravers & Claes Lernestedt (eds.), The Criminal Law's Person. Hart Publishing.
    The reasonable person standard is used in adjudicating claims of self-defence. In US law, an individual may use defensive force if her beliefs that a threat is imminent and that force is required are beliefs that a reasonable person would have. In English law, it is sufficient that beliefs in imminence and necessity are genuinely held; but the reasonableness of so believing is given an evidential role in establishing the genuineness of the beliefs. There is, of course, much contention over (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Excluding Evidence for Integrity's Sake.Jules Holroyd & Federico Picinali - 2021 - In Christian Dahlman, Alex Stein & Giovanni Tuzet (eds.), Philosophical Foundations of Evidence Law. New York, NY: Oxford University Press.
    In recent years, the concept of “integrity” has been frequently discussed by scholars, and deployed by courts, in the domain of criminal procedure. In this paper, we are particularly concerned with how the concept has been employed in relation to the problem of the admissibility of evidence obtained improperly. In conceptualising and addressing this problem, the advocates of integrity rely on it as a standard of conduct for the criminal justice authorities and as a necessary condition for the state authority (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. How to be minimalist about shared agency.Jules Salomone-Sehr - 2024 - Philosophy and Phenomenological Research 109 (1):155-178.
    What is involved in acting together with others? Most shared agency theorists endorse the Shared Intention Thesis, i.e., the claim that shared agency necessarily involves shared intentions. This article dissents from this orthodoxy and offers a minimalist account of shared agency—one where parties to shared activities need not form rich webs of interrelated psychological states. My account has two main components: a conceptual analysis of shared agency in terms of the notion of plan, and an explanation of undertheorized agency‐sharing mechanisms. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. 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   36 citations  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  42. 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  
  43. 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  
  44. 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  
  45. 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   18 citations  
  46. Nonconceptual content and the "space of reasons".Richard G. Heck - 2000 - Philosophical Review 109 (4):483-523.
    In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.
    Download  
     
    Export citation  
     
    Bookmark   258 citations  
  47. 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  
  48. The De-Aestheticization of Art: on Adorno's Aesthetische Theorie.Richard Wolin - 1979 - Telos: Critical Theory of the Contemporary 1979 (41):105-127.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  49. 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   56 citations  
  50. 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   3 citations  
1 — 50 / 975