12 found
Order:
Disambiguations
Eric Martin [9]Eric Collin Martin [1]Eric A. Martin [1]Eric C. Martin [1]
See also
Profile: Eric Collin Martin (London School of Economics)
  1. Elements of Scientific Inquiry.Eric Martin & Daniel N. Osherson - 1998
     
    Export citation  
     
    My bibliography   11 citations  
  2.  29
    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 (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  13
    Late Feyerabend on Materialism, Mysticism, and Religion.Eric C. Martin - forthcoming - Studies in History and Philosophy of Science Part A.
  4.  29
    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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  29
    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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  39
    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 (10 more)  
     
    Export citation  
     
    My bibliography  
  7.  25
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  8.  21
    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”).
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  9.  17
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  10.  11
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  11.  10
    Meeting Report: Second ISHPSSB Off-Year Workshop.Eric Collin Martin - 2007 - Biology and Philosophy 22 (3):473-474.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  12. Logic Programming as Classical Inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography