80 found
Order:
Disambiguations
David Pearce [76]David A. Pearce [4]David W. Pearce [1]
See also
  1. Truthlikeness.Ilkka Niiniluoto & David Pearce - 1990 - British Journal for the Philosophy of Science 41 (2):281-290.
     
    Export citation  
     
    Bookmark   124 citations  
  2.  34
    Truthlikeness.David Pearce - 1989 - Journal of Symbolic Logic 54 (1):297-300.
  3.  67
    Is there any theoretical justification for a nonstatement view of theories?David Pearce - 1981 - Synthese 46 (1):1 - 39.
  4.  36
    Logical properties of the structuralist concept of reduction.David Pearce - 1982 - Erkenntnis 18 (3):307 - 333.
  5.  4
    Forgetting auxiliary atoms in forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2019 - Artificial Intelligence 275 (C):575-601.
  6.  94
    Stegmüller on Kuhn and incommensurability.David Pearce - 1982 - British Journal for the Philosophy of Science 33 (4):389-396.
  7.  4
    Infinitary equilibrium logic and strongly equivalent logic programs.Amelia Harrison, Vladimir Lifschitz, David Pearce & Agustín Valverde - 2017 - Artificial Intelligence 246 (C):22-33.
  8.  49
    New foundations for metascience.David Pearce & Veikko Rantala - 1983 - Synthese 56 (1):1 - 26.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  9. The Economic Value of Biodiversity.David Pearce & Dominic Moran - 1996 - Environmental Values 5 (1):89-90.
     
    Export citation  
     
    Bookmark   13 citations  
  10.  2
    On a new approach to metascience.David Pearce - 1981 - Helsinki: Helsingin yliopisto Filosofian laitos. Edited by Veikko Rantala.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  72
    A logical study of the correspondence relation.David Pearce & Veikko Rantala - 1984 - Journal of Philosophical Logic 13 (1):47 - 84.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  54
    Approximative explanation is deductive-nomological.David Pearce & Veikko Rantala - 1985 - Philosophy of Science 52 (1):126-140.
    We revive the idea that a deductive-nomological explanation of a scientific theory by its successor may be defensible, even in those common and troublesome cases where the theories concerned are mutually incompatible; and limiting, approximating and counterfactual assumptions may be required in order to define a logical relation between them. Our solution is based on a general characterization of limiting relations between physical theories using the method of nonstandard analysis.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  73
    Constructing general models of theory dynamics.David Pearce & Veikko Rantala - 1983 - Studia Logica 42 (2-3):347 - 362.
    This essay is an attempt to consider dynamic aspects of scientific theorising from a formal perspective. Our emphasis will be on the aims and methods for constructing formal models of theory dynamics which will be conceived from a general or 'theoretical' rather than 'applied' standpoint.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14.  40
    Comments on a criterion of theoreticity.David Pearce - 1981 - Synthese 48 (1):77 - 86.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15. Roads to Commensurability.David Pearce - 1990 - Studia Logica 49 (1):155-157.
     
    Export citation  
     
    Bookmark   9 citations  
  16.  48
    Correspondence as an intertheory relation.David Pearce & Veikko Rantala - 1983 - Studia Logica 42 (2-3):363 - 371.
    In this paper we give the gist of our reconstructed notion of (limiting case) correspondence. Our notion is very general, so that it should be applicable to all the cases in which a correspondence has been said to exist in actual science.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. The abolitionist project.David Pearce - manuscript
     
    Export citation  
     
    Bookmark   5 citations  
  18.  42
    On the logical structure of some value systems of classical economics: Marx and Sraffa.David Pearce & Michele Tucci - 1982 - Theory and Decision 14 (2):155-175.
  19. Truthlikeness and translation: A comment on Oddie.David Pearce - 1983 - British Journal for the Philosophy of Science 34 (4):380-385.
  20. Blueprint 2: Greening the World Economy.David Pearce, Edward Barbier, Anil Markandya, Scott Barrett, R. Kerry Turner & Timothy Swanson - 1992 - Environmental Values 1 (2):173-174.
     
    Export citation  
     
    Bookmark   5 citations  
  21.  56
    Realism and formal semantics.David Pearce & Veikko Rantala - 1982 - Synthese 52 (1):39--53.
    The doctrines of scientific realism have enjoyed a close and enduring, if not always harmonious, association with Tarski's semantic conception of truth and theories of formal semantics generally. From its inception Tarski's theory received unqualified support from some realists, like Karl Popper, who saw it as legitimizing the use of semantic notions in epistemology and the philosophy of science.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22. Some Relations between Empirical Systems.David Pearce - 1981 - Epistemologia 4 (2):363.
     
    Export citation  
     
    Bookmark   5 citations  
  23.  6
    Green Economics.David Pearce - 1992 - Environmental Values 1 (1):3-13.
    Economists assume that people are fundamentally greedy, though not exclusively so. If environmental improvement is to be achieved, it will require policies that use selfishness rather than opposing it. Such policies are to be found in the basics of green economics in which market signals are modified by environmental taxes and tradeable pollution certificates to ‘decouple’ the economic growth process from its environmental impact. Green economic policies avoid the infringements of human liberties implied in ever stronger ‘command and control’ measures.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  25
    Incommensurability and reduction reconsidered.David Pearce - 1986 - Erkenntnis 24 (3):293 - 308.
  25.  57
    Realism and reference.David Pearce & Veikko Rantala - 1982 - Synthese 52 (3):439 - 448.
  26. Translation, Reduction and Equivalence Some Topics in Intertheory Relations.David Pearce - 1985
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  27.  7
    Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Scientific Change, Continuity, and Problem Solving.David Pearce & Veikko Rantala - 1984 - Philosophia Naturalis 21 (2/4):389-399.
  29.  52
    Translation, reduction and commensurability: A note on Schroeder-heister and Schaefer.David Pearce - 1989 - Philosophy of Science 56 (1):158-164.
  30.  36
    A First Order Nonmonotonic Extension of Constructive Logic.David Pearce & Agustín Valverde - 2005 - Studia Logica 80 (2):321-346.
    Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Naturalistic panpsychism.David Pearce - manuscript
     
    Export citation  
     
    Bookmark  
  32.  18
    Constructing a general model of theory dynamics.David Pearce & Veikko Rantala - 1982 - Bulletin of the Section of Logic 11 (1/2):56-60.
    Though formal metascience has made rapid advances over the past few decades, it has seldom been seen to contribute much to the rational reconstruction of scientic development; for the most part, logical concepts have found application in the synchronic analysis of scientic theories. It should be important, therefore, to consider to what extent diachronic or dynamic aspects of scientic theorizing may also be captured within the connes of a formal metascientic framework, and what tools are best suited for constructing a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  8
    Propositional logic based on the dynamics of disbelief.David Pearce & Wolfgang Rautenberg - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 241--258.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Quantum Ethics? Suffering in the Multiverse.David Pearce - unknown
    The Abolitionist Project outlines how (post)humans will use biotechnology to abolish suffering in all sentient life. Sadly, this utopian sounding outcome may not be nearly as wonderful as it sounds. Assume..
     
    Export citation  
     
    Bookmark  
  35.  78
    Research traditions, incommensurability and scientific progress.David Pearce - 1984 - Zeitschrift Für Allgemeine Wissenschaftstheorie 15 (2):261-271.
    Summary In hisProgress and its Problems, Laudan dismisses the problem of incommensurability in science by endorsing two general assertions. The first claims there are actually no incommensurable pairs of theories or research traditions; the second maintains that his problem-solving model of scientific progress would be able rationally to appraise even incommensurable pairs of theories or traditions (are compare them for their progressiveness). I argue here that Laudan fails to provide a plausible defence of either thesis, and that this creates some (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    A polynomial reduction of forks into logic programs.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2022 - Artificial Intelligence 308 (C):103712.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Valuing the Environment: Six Case Studies.Jean-Philippe Barde & David W. Pearce - 1992 - Environmental Values 1 (2):182-183.
     
    Export citation  
     
    Bookmark  
  38.  27
    A short biography of Luis Fariñas del Cerro.Pedro Cabalar, Martín Diéguez, Andreas Herzig & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (3):153-160.
    Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  16
    Stable reasoning.Pedro Cabalar, David Pearce & Agustín Valverde - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):238-254.
    We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model different domains and solve practical reasoning problems. We discuss some of the main differences with respect to reasoning in classical logic and we examine an ongoing research programme for the rational reconstruction of human knowledge that may be considered a successor to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  35
    On the methodology of possible worlds semantics. I. Correspondence theory.David Pearce & Heinrich Wansing - 1988 - Notre Dame Journal of Formal Logic 29 (4):482-496.
  41. Reprogramming Predators — Blueprint for a Cruelty-Free World.David Pearce - unknown
    "The total amount of suffering per year in the natural world is beyond all decent contemplation. During the minute that it takes me to compose this sentence, thousands of animals are being eaten alive, others are running for their lives, whimpering with fear, others are being slowly devoured from within by rasping parasites, thousands of all k inds are dying of starvation, thirst and disease. It must be so." -/- —Richard Dawkins, River Out of Eden (1995).
     
    Export citation  
     
    Bookmark  
  42.  17
    Preface.Andreas Herzig, Emiliano Lorini & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):90-90.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  43.  31
    Social Intelligence.Andreas Herzig, Emiliano Lorini & David Pearce - 2019 - AI and Society 34 (4):689-689.
  44.  15
    Social Intelligence.Andreas Herzig, Emiliano Lorini & David Pearce - 2019 - AI and Society 34 (4):689-689.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  1
    Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994 : Proceedings.Craig MacNish & David A. Pearce - 1994 - Springer.
    "This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  24
    Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.
    The paper provides a preliminary study of algebraic semantics for modal and superintuitionistic non-monotonic logics. The main question answered is: how can non-monotonic inference be understood algebraically?
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Chapter twelve: Environment 463.David Pearce - forthcoming - Contemporary Issues in Business Ethics.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  55
    Damages for Breach of Contract: Compensation, Restitution and Vindication.David Pearce & Roger Halson - 2008 - Oxford Journal of Legal Studies 28 (1):73-98.
    In this article we examine the role which vindication plays in contract damages. Vindication describes the making good of a right by the award of an adequate remedy. We argue that, while the primary purpose of compensation is to provide an indemnity for loss, an award of compensatory damages will nevertheless generally vindicate the right to performance of the contract. We go on to consider a distinct measure of damages, vindicatory damages. These, we argue, are neither compensatory nor restitutionary, neither (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  27
    Economics and technological change: Some conceptual and methodological issues.Maria Rosaria Nucci Pearce & David Pearce - 1989 - Erkenntnis 30 (1-2):101 - 127.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  13
    Green Economics.David Pearce - 1992 - Environmental Values 1 (1):3 - 13.
    Economists assume that people are fundamentally greedy, though not exclusively so. If environmental improvement is to be achieved, it will require policies that use selfishness rather than opposing it. Such policies are to be found in the basics of green economics in which market signals are modified by environmental taxes and tradeable pollution certificates to 'decouple' the economic growth process from its environmental impact. Green economic policies avoid the infringements of human liberties implied in ever stronger 'command and control' measures.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 80