38 found
Sort by:
See also:
Profile: Kevin Kelly
  1. Kevin T. Kelly, Learning Theory and Descriptive Set Theory.
    then essentially characterized the hypotheses that mechanical scientists can successfully decide in the limit in terms of arithmetic complexity. These ideas were developed still further by Peter Kugel [4]. In this paper, I extend this approach to obtain characterizations of identification in the limit, identification with bounded mind-changes, and identification in the short run, both for computers and for ideal agents with unbounded computational abilities. The characterization of identification with n mind-changes entails, as a corollary, an exact arithmetic characterization of (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Kevin T. Kelly, The Automated Discovery of Universal Theories.
    This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is..
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Kevin T. Kelly, Uncomputability: The Problem of Induction Internalized.
    I show that a version of Ockham’s razor (a preference for simple answers) is advantageous in both domains when infallible inference is infeasible. A familiar response to the empirical problem..
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Kevin T. Kelly, Conor Mayo Wilson, Hanti Lin & Oliver Schulte, Participants:.
    Philosophy of science, statistics, and machine learning all recommend the selection of simple theories or models on the basis of empirical data, where simplicity has something to do with minimizing independent entities, principles, causes, or equational coefficients. This intuitive preference for simplicity is called Ockham's razor, after the fourteenth century theologian and logician William of Ockham. But in spite of its intuitive appeal, how could Ockham's razor help one find the true theory? For, in an updated version of Plato's Meno (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Kevin T. Kelly (2012). 50 Years Receiving Vatican Ii: A Personal Odyssey. Columba Press.
     
    My bibliography  
     
    Export citation  
  6. Hanti Lin & Kevin T. Kelly (2012). A Geo-Logical Solution to the Lottery Paradox, with Applications to Conditional Logic. Synthese 186 (2):531-575.
  7. Hanti Lin & Kevin T. Kelly (2012). Propositional Reasoning That Tracks Probabilistic Reasoning. Journal of Philosophical Logic 41 (6):957-981.
    This paper concerns the extent to which uncertain propositional reasoning can track probabilistic reasoning, and addresses kinematic problems that extend the familiar Lottery paradox. An acceptance rule assigns to each Bayesian credal state p a propositional belief revision method B p , which specifies an initial belief state B p (T) that is revised to the new propositional belief state B(E) upon receipt of information E. An acceptance rule tracks Bayesian conditioning when B p (E) = B p|E (T), for (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Kevin T. Kelly & Hanti Lin, A Geo-Logical Solution to the Lottery Paradox, with Applications to Nonmonotonic Logic.
    We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geologic, which fills the entire unit cube, and then we (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Kevin T. Kelly, Simplicity, Truth, and Probability.
    Simplicity has long been recognized as an apparent mark of truth in science, but it is difficult to explain why simplicity should be accorded such weight. This chapter examines some standard, statistical explanations of the role of simplicity in scientific method and argues that none of them explains, without circularity, how a reliance on simplicity could be conducive to finding true models or theories. The discussion then turns to a less familiar approach that does explain, in a sense, the elusive (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Kevin T. Kelly, Julie Clague, Bernard Hoose & Gerard Mannion (eds.) (2008). Moral Theology for the Twenty-First Century: Essays in Celebration of Kevin Kelly. T & T Clark.
     
    My bibliography  
     
    Export citation  
  11. Cristina Bicchieri, Jason McKenzie Alexander, Kevin T. Kelly, Kevin Js Zollman, Malcolm R. Forster, Predrag Šustar, Patrick Forber, Kenneth Reisman, Jay Odenbaugh & Yoichi Ishida (2007). 10. Philosophy of Chemistry. Philosophy of Science 74 (5).
     
    My bibliography  
     
    Export citation  
  12. Kevin T. Kelly, How Simplicity Helps You Find the Truth Without Pointing at It.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Kevin T. Kelly (2004). Justification as Truth-Finding Efficiency: How Ockham's Razor Works. Minds and Machines 14 (4):485-505.
    I propose that empirical procedures, like computational procedures, are justified in terms of truth-finding efficiency. I contrast the idea with more standard philosophies of science and illustrate it by deriving Ockham's razor from the aim of minimizing dramatic changes of opinion en route to the truth.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  14. Kevin T. Kelly & Clark Glymour, Why Bayesian Confirmation Does Not Capture the Logic of Scientific Justification.
    Kevin T. Kelly and Clark Glymour. Why Bayesian Confirmation Does Not Capture the Logic of Scientific Justification.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Kevin T. Kelly, Learning Theory and Epistemology.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Kevin T. Kelly (1999). Iterated Belief Revision, Reliability, and Inductive Amnesia. Erkenntnis 50 (1):11-58.
    Belief revision theory concerns methods for reformulating an agent's epistemic state when the agent's beliefs are refuted by new information. The usual guiding principle in the design of such methods is to preserve as much of the agent's epistemic state as possible when the state is revised. Learning theoretic research focuses, instead, on a learning method's reliability or ability to converge to true, informative beliefs over a wide range of possible environments. This paper bridges the two perspectives by assessing the (...)
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  17. Kevin T. Kelly (1998). New Directions in Sexual Ethics: Moral Theology and the Challenge of Aids. G. Champman.
  18. Kevin T. Kelly & Oliver Schulte, Church's Thesis and Hume's Problem.
    We argue that uncomputability and classical scepticism are both reflections of inductive underdetermination, so that Church's thesis and Hume's problem ought to receive equal emphasis in a balanced approach to the philosophy of induction. As an illustration of such an approach, we investigate how uncomputable the predictions of a hypothesis can be if the hypothesis is to be reliably investigated by a computable scientific method.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Kevin T. Kelly, Oliver Schulte & Vincent Hendricks, Reliable Belief Revision.
    Philosophical logicians proposing theories of rational belief revision have had little to say about whether their proposals assist or impede the agent's ability to reliably arrive at the truth as his beliefs change through time. On the other hand, reliability is the central concern of formal learning theory. In this paper we investigate the belief revision theory of Alchourron, Gardenfors and Makinson from a learning theoretic point of view.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Kevin T. Kelly, Oliver Schulte & Cory Juhl (1997). Learning Theory and the Philosophy of Science. Philosophy of Science 64 (2):245-267.
    This paper places formal learning theory in a broader philosophical context and provides a glimpse of what the philosophy of induction looks like from a learning-theoretic point of view. Formal learning theory is compared with other standard approaches to the philosophy of induction. Thereafter, we present some results and examples indicating its unique character and philosophical interest, with special attention to its unified perspective on inductive uncertainty and uncomputability.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  21. Kevin T. Kelly & Oliver Schulte (1995). The Computable Testability of Theories Making Uncomputable Predictions. Erkenntnis 43 (1):29 - 66.
    No categories
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  22. Cory Juhl & Kevin T. Kelly (1994). Realism, Convergence, and Additivity. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:181 - 189.
    In this paper, we argue for the centrality of countable additivity to realist claims about the convergence of science to the truth. In particular, we show how classical sceptical arguments can be revived when countable additivity is dropped.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Kevin T. Kelly & Clark Glymour (1992). Inductive Inference From Theory Laden Data. Journal of Philosophical Logic 21 (4):391 - 444.
    Kevin T. Kelly and Clark Glymour. Inductive Inference from Theory-Laden Data.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  24. Kevin T. Kelly, Cory Juhl & Clark Glymour, Reliability, Realism, and Relativism.
    Kevin T. Kelly, Cory Juhl and Clark Glymour. Reliability, Realism, and Relativism.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Kevin T. Kelly (1991). Reichenbach, Induction, and Discovery. 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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Kevin T. Kelly, General Characteristics of Inductive Inference Over Arbitrary Sets of Data Representations.
    Kevin T. Kelly. General Characteristics of Inductive Inference Over Arbitrary Sets of Data Representations.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Kevin T. Kelly & Clark Glymour (1990). Getting to the Truth Through Conceptual Revolutions. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:89 - 96.
    There is a popular view that the alleged meaning shifts resulting from scientific revolutions are somehow incompatible with the formulation of general norms for scientific inquiry. We construct methods that can be shown to be maximally reliable at getting to the truth when the truth changes in response to the state of the scientist or his society.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Kevin T. Kelly & Clark Glymour (1990). Theory Discovery From Data with Mixed Quantifiers. Journal of Philosophical Logic 19 (1):1 - 33.
    Convergent realists desire scientific methods that converge reliably to informative, true theories over a wide range of theoretical possibilities. Much attention has been paid to the problem of induction from quantifier-free data. In this paper, we employ the techniques of formal learning theory and model theory to explore the reliable inference of theories from data containing alternating quantifiers. We obtain a hierarchy of inductive problems depending on the quantifier prefix complexity of the formulas that constitute the data, and we provide (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  29. Kevin T. Kelly & Clark Glymour (1989). Convergence to the Truth and Nothing but the Truth. 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 (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Clark Glymour & Kevin T. Kelly, Thoroughly Modern Meno.
    Clark Glymour and Kevin T. Kelly. Thoroughly Modern Meno.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Kevin T. Kelly (1988). Formal Learning Theory and the Philosophy of Science. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:413 - 423.
    Formal learning theory is an approach to the study of inductive inference that has been developed by computer scientists. In this paper, I discuss the relevance of formal learning theory to such standard topics in the philosophy of science as underdetermination, realism, scientific progress, methodology, bounded rationality, the problem of induction, the logic of discovery, the theory of knowledge, the philosophy of artificial intelligence, and the philosophy of psychology.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. Kevin T. Kelly, Theory Discovery and Hypothesis Language.
    This paper develops a framework in which to compare the discovery problems determined by a wide range of distinct hypothesis languages. Twelve theorems are presented which provide a comprehensive picture of the solvability of these problems according to four intuitively motivated criteria of scientific success.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Kevin T. Kelly, Version Spaces, Structural Descriptions and NP-Completeness.
    Kevin T. Kelly. Version Spaces, Structural Descriptions and NP-Completeness.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Kevin T. Kelly (1987). The Logic of Discovery. Philosophy of Science 54 (3):435-452.
    There is renewed interest in the logic of discovery as well as in the position that there is no reason for philosophers to bother with it. This essay shows that the traditional, philosophical arguments for the latter position are bankrupt. Moreover, no interesting defense of the philosophical irrelevance or impossibility of the logic of discovery can be formulated or defended in isolation from computation-theoretic considerations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Clark Glymour, Richard Scheines, Peter Spirtes & Kevin T. Kelly, Discovering Causal Structure: Artifical Intelligence, Philosophy of Science and Statistical Modeling.
    Clark Glymour, Richard Scheines, Peter Spirtes and Kevin Kelly. Discovering Causal Structure: Artifical Intelligence, Philosophy of Science and Statistical Modeling.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Kevin T. Kelly (1986). Clarity, Generality, and Efficiency in Models of Learning: Wringing the MOP. Behavioral and Brain Sciences 9 (4):657.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Kevin T. Kelly (1979). A Further Tribute to Paul McGuire. The Chesterton Review 5 (2):323-323.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Kevin T. Kelly (1967). Conscience: A Study in Seventeenth Century English Protestant Moral Theology. G. Chapman.
    No categories
     
    My bibliography  
     
    Export citation