23 found
Order:
Disambiguations
Eric Martin [16]Eric C. Martin [5]Eric Collin Martin [1]Eric A. Martin [1]
See also
  1.  1
    Elements of Scientific Inquiry.Eric Martin & Daniel N. Osherson - 1998 - MIT Press.
    The authors present a theory of inductive logic that is built fromthe tools of logic and model theory.
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  2.  24
    “The Battle is on”: Lakatos, Feyerabend, and the student protests.Eric C. Martin - 2019 - European Journal for Philosophy of Science 9 (2):1-33.
    This paper shows how late 1960’s student protests influenced the thought of Imre Lakatos and Paul Feyerabend. I argue that student movements shaped their work from this period, specifically Lakatos’s “Falsification and the Methodology of Scientific Research Programmes” and Feyerabend’s Against Method. Archival evidence shows that their political environments at London and Berkeley inflected their writing on scientific method, entrenching Lakatos’s search for a rationalist account of scientific development, and encouraging Feyerabend’s ‘anarchistic’ theory of knowledge. I document this influence and (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  3.  36
    Late Feyerabend on Materialism, Mysticism, and Religion.Eric C. Martin - 2016 - Studies in History and Philosophy of Science Part A 57:129-136.
  4. Science and Ideology.Eric C. Martin - 2018 - Internet Encyclopedia of Philosophy.
    Science and Ideology This article illustrates some of the relationships between science and ideologies. It discusses how science has been enlisted to support particular ideologies and how ideologies have influenced the processes and interpretations of scientific inquiry. An example from the biological sciences illustrates this. In the early 20th century, evolutionary theory was used to … Continue reading Science and Ideology →.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  5.  2
    “The Battle is on”: Lakatos, Feyerabend, and the student protests.Eric C. Martin - 2019 - European Journal for Philosophy of Science 9 (2):1-33.
    This paper shows how late 1960’s student protests influenced the thought of Imre Lakatos and Paul Feyerabend. I argue that student movements shaped their work from this period, specifically Lakatos’s “Falsification and the Methodology of Scientific Research Programmes” and Feyerabend’s Against Method. Archival evidence shows that their political environments at London and Berkeley inflected their writing on scientific method, entrenching Lakatos’s search for a rationalist account of scientific development, and encouraging Feyerabend’s ‘anarchistic’ theory of knowledge. I document this influence and (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  65
    Scientific Discovery Based on Belief Revision.Eric Martin & Daniel Osherson - 1997 - Journal of Symbolic Logic 62 (4):1352-1370.
    Scientific inquiry is represented as a process of rational hypothesis revision in the face of data. For the concept of rationality, we rely on the theory of belief dynamics as developed in [5, 9]. Among other things, it is shown that if belief states are left unclosed under deductive logic then scientific theories can be expanded in a uniform, consistent fashion that allows inquiry to proceed by any method of hypothesis revision based on "kernel" contraction. In contrast, if belief states (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  2
    Logic Programming as Classical Inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  40
    Scientific Discovery on Positive Data Via Belief Revision.Eric Martin & Daniel Osherson - 2000 - Journal of Philosophical Logic 29 (5):483-506.
    A model of inductive inquiry is defined within a first-order context. Intuitively, the model pictures inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players along with a partition of a class of structures for that vocabulary. Next, Nature secretly chooses one structure ("the real world") from some cell of the partition. She then presents the scientist with a sequence of atomic facts about the chosen structure. With (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  3
    Scientific Discovery Based on Belief Revision.Eric Martin & Daniel Osherson - 1997 - Journal of Symbolic Logic 62 (4):1352-1370.
    Scientific inquiry is represented as a process of rational hypothesis revision in the face of data. For the concept of rationality, we rely on the theory of belief dynamics as developed in [5, 9]. Among other things, it is shown that if belief states are left unclosed under deductive logic then scientific theories can be expanded in a uniform, consistent fashion that allows inquiry to proceed by any method of hypothesis revision based on "kernel" contraction. In contrast, if belief states (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  18
    Correction to: “The Battle is on”: Lakatos, Feyerabend, and the student protests.Eric C. Martin - 2020 - European Journal for Philosophy of Science 10 (2):1-2.
    The following correction will help establish more clearly and fully the ways in which I drew on Matteo Collodel’s work in the composition of this paper. Given that we were researching similar topics and that I was acquainted with his achievements.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  2
    Disjunctive logic programs, answer sets, and the cut rule.Éric Martin - forthcoming - Archive for Mathematical Logic:1-35.
    In Minker and Rajasekar :45–74, 1990), Minker proposed a semantics for negation-free disjunctive logic programs that offers a natural generalisation of the fixed point semantics for definite logic programs. We show that this semantics can be further generalised for disjunctive logic programs with classical negation, in a constructive modal-theoretic framework where rules are built from claims and hypotheses, namely, formulas of the form \ and \ where \ is a literal, respectively, yielding a “base semantics” for general disjunctive logic programs. (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Generalized Logical Consequence: Making Room for Induction in the Logic of Science. [REVIEW]Samir Chopra & Eric Martin - 2002 - Journal of Philosophical Logic 31 (3):245-280.
    We present a framework that provides a logic for science by generalizing the notion of logical (Tarskian) consequence. This framework will introduce hierarchies of logical consequences, the first level of each of which is identified with deduction. We argue for identification of the second level of the hierarchies with inductive inference. The notion of induction presented here has some resonance with Popper's notion of scientific discovery by refutation. Our framework rests on the assumption of a restricted class of structures in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  12
    Nonmonotonicity in the Framework of Parametric Logic.Éric Martin - 2019 - Studia Logica 107 (5):1025-1077.
    Parametric logic is a framework that generalises classical first-order logic. A generalised notion of logical consequence—a form of preferential entailment based on a closed world assumption—is defined as a function of some parameters. A concept of possible knowledge base—the counterpart to the consistent theories of first-order logic—is introduced. The notion of compactness is weakened. The degree of weakening is quantified by a nonnull ordinal—the larger the ordinal, the more significant the weakening. For every possible knowledge base T, a hierarchy of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  30
    Scientific Discovery From the Point of View of Acceptance.Eric Martin & Daniel Osherson - unknown
    In the four papers available on our web site (of which this is the first), we propose to develop an inductive logic. By “inductive logic” we mean a set of principles that distinguish between successful and unsuccessful strategies for scientific inquiry. Our logic will have a technical character, since it is built from the concepts and terminology of (elementary) model theory. The reader may therefore wish to know something about the kind of results on offer before investing time in definitions (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  27
    Advanced Topics in Inductive Logic.Eric Martin & Daniel Osherson - unknown
    The inductive logic developed in the second and third essays is limited in important ways. For example: (a) the logic makes no provision for missing or misleading data; (b) it gives the scientist no control over the evidence reaching him; (c) revision-based scientist must work with theories written in the cramped idiom of firstorder logic; (d) the idea of efficient induction is only weakly expressed (in terms of “dominance”).
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  18
    First-Order Belief Revision.Samir Chopra & Eric Martin - unknown
    We present a model for first-order belief revision that is characterized by an underlying relevance-like relation and a background proof system. The model is extremely general in order to allow for a wide variety in these characterizing parameters. It allows some weakenings of beliefs which were initially implicit to become explicit and survive the revision process. The effects of revision are localized to the part of the theory that is influenced by the the new information. Iterated revision in this model (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  58
    Scientific Discovery From the Perspective of Hypothesis Acceptance.Eric Martin & Daniel Osherson - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S331-S341.
    A model of inductive inquiry is defined within the context of first‐order logic. The model conceives of inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players, along with a partition of a class of countable structures for that vocabulary. Next, Nature secretly chooses one structure from some cell of the partition. She then presents the scientist with a sequence of facts about the chosen structure. With each (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  16
    Meeting Report: Second ISHPSSB Off-Year Workshop.Eric Collin Martin - 2007 - Biology and Philosophy 22 (3):473-474.
  19.  4
    Polkinghorne and Cartwright on Pluralism and Metaphysics.Eric Martin - 2012 - Theology and Science 10 (3):281-290.
    This paper reviews the natural philosophies of John Polkinghorne and Nancy Cartwright, with particular emphasis on the role of pluralism in their respective writings. While often motivated by distinct projects, their philosophies display some interesting and perhaps unexpected similarities. It is suggested that Polkinghorne's views are not far away from some of Cartwright's proposals, and further that certain debates about God's providential action could be helpfully reoriented if the insistence on natural laws as a centerpiece of scientific explanation were relinquished.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  48
    Scientific Discovery From the Perspective of Hypothesis Acceptance.Eric Martin & Daniel Osherson - 2002 - Philosophy of Science 69 (S3):S331-S341.
    A model of inductive inquiry is defined within the context of first‐order logic. The model conceives of inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players, along with a partition of a class of countable structures for that vocabulary. Next, Nature secretly chooses one structure from some cell of the partition. She then presents the scientist with a sequence of facts about the chosen structure. With each (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  3
    Quantification Over Names and Moalities.Eric Martin - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 353-372.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  1
    Le Progrès et la santé de l'homme.Eric Martin - 1968 - In Helen Hogg (ed.), Man and His World/Terres des Hommes: The Noranda Lectures, Expo 67/les Conferences Noranda/L'expo 67. University of Toronto Press.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  1
    Quantification Over Names and Moalities.Eric Martin - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 353-372.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark