Switch to: References

Add citations

You must login to add citations.
  1. Reichenbach, induction, and discovery.Kevin T. Kelly - 1991 - Erkenntnis 35 (1-3):123 - 149.
    I have applied a fairly general, learning theoretic perspective to some questions raised by Reichenbach's positions on induction and discovery. This is appropriate in an examination of the significance of Reichenbach's work, since the learning-theoretic perspective is to some degree part of Reichenbach's reliabilist legacy. I have argued that Reichenbach's positivism and his infatuation with probabilities are both irrelevant to his views on induction, which are principally grounded in the notion of limiting reliability. I have suggested that limiting reliability is (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Convergence to the truth and nothing but the truth.Kevin T. Kelly & Clark Glymour - 1989 - Philosophy of Science 56 (2):185-220.
    One construal of convergent realism is that for each clear question, scientific inquiry eventually answers it. In this paper we adapt the techniques of formal learning theory to determine in a precise manner the circumstances under which this ideal is achievable. In particular, we define two criteria of convergence to the truth on the basis of evidence. The first, which we call EA convergence, demands that the theorist converge to the complete truth "all at once". The second, which we call (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • On the danger of half-truths.Daniel Osherson & Scott Weinstein - 1995 - Journal of Philosophical Logic 24 (1):85 - 115.
    Criteria of approximate scientific success are defined within a formal paradigm of empirical inquiry. One consequence of aiming for less than perfect truth is examined.
    Download  
     
    Export citation  
     
    Bookmark  
  • Inductive inference in the limit of empirically adequate theories.Bernhard Lauth - 1995 - Journal of Philosophical Logic 24 (5):525 - 548.
    Most standard results on structure identification in first order theories depend upon the correctness and completeness (in the limit) of the data, which are provided to the learner. These assumption are essential for the reliability of inductive methods and for their limiting success (convergence to the truth). The paper investigates inductive inference from (possibly) incorrect and incomplete data. It is shown that such methods can be reliable not in the sense of truth approximation, but in the sense that the methods (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • New blades for occam's razor.Bernhard Lauth - 1997 - Erkenntnis 46 (2):241-267.
    Download  
     
    Export citation  
     
    Bookmark  
  • A reason for theoretical terms.Haim Gaifman, DanielN Osherson & Scott Weinstein - 1990 - Erkenntnis 32 (2):149 - 159.
    The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Paradigms of truth detection.Daniel N. Osherson & Scott Weinstein - 1989 - Journal of Philosophical Logic 18 (1):1 - 42.
    Alternative models of idealized scientific inquiry are investigated and compared. Particular attention is devoted to paradigms in which a scientist is required to determine the truth of a given sentence in the structure giving rise to his data.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Introducing new predicates to model scientific revolution.Charles X. Ling - 1995 - International Studies in the Philosophy of Science 9 (1):19 – 36.
    Abstract The notion of necessary new terms (predicates) is proposed. It is shown that necessary new predicates in first?order logic must be directly, recursively defined. I present a first?order inductive learning algorithm that introduces new necessary predicates to model scientific revolution in which a new language is adopted. I demonstrate that my learning system can learn a genetic theory with theoretical terms which, after being induced by my system, can be interpreted as either types of genetic properties (dominant or recessive) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On charitable translation.Daniel N. Osherson & Scott Weinstein - 1989 - Philosophical Studies 56 (2):127 - 134.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Identifiable collections of countable structures.Daniel N. Osherson & Scott Weinstein - 1989 - Philosophy of Science 56 (1):94-105.
    A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • An abstract model for inductive inference.Bernhard Lauth - 1994 - Erkenntnis 40 (1):87 - 120.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A model for science kinematics.Wolfgang Balzer, Bernhard Lauth & Gerhard Zoubek - 1993 - Studia Logica 52 (4):519 - 548.
    A comprehensive model for describing various forms of developments in science is defined in precise, set-theoretic terms, and in the spirit of the structuralist approach in the philosophy of science. The model emends previous accounts in centering on single systems in a homogenous way, eliminating notions which essentially refer to sets of systems. This is achieved by eliminating the distinction between theoretical and non-theoretical terms as a primitive, and by introducing the notion of intended links. The force of the model (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations