Search results for 'Induction (Logic' (try it on Scholar)

785 found
Order:
  1. Gerhard Brewka, K. P. Jantke, P. H. Schmitt & International Workshop on Nonmonotonic and Inductive Logic (1993). Nonmonotonic and Inductive Logic Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : Proceedings. [REVIEW]
     
    Export citation  
     
    My bibliography  
  2.  38
    Avi Sion (1990). Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities. Lulu.Com.
    Future Logic is an original and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  5
    Diderik Batens (1975). Studies in the Logic of Induction and in the Logic of Explanation: Containing a New Theory of Meaning Relations. De Tempel.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Halina Mortimer (1988). The Logic of Induction. Halsted Press.
     
    Export citation  
     
    My bibliography   7 citations  
  5. Pranab Kumar Sen (1980). Logic, Induction, and Ontology: Essays in Philosophical Analysis. Macmillan.
  6.  22
    Shunsuke Yatabe (2009). Comprehension Contradicts to the Induction Within Łukasiewicz Predicate Logic. Archive for Mathematical Logic 48 (3-4):265-268.
    We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł ${\forall}$ (Hajek Arch Math Logic 44(6):763–782, 2005) by extending the proof in (Yatabe Arch Math Logic, accepted) so as to be effective in any linearly ordered MV-algebra.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  38
    Samir Chopra & Eric Martin (2002). Generalized Logical Consequence: Making Room for Induction in the Logic of Science. [REVIEW] 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 (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    Andrea Cantini (2002). Polytime, Combinatory Logic and Positive Safe Induction. Archive for Mathematical Logic 41 (2):169-189.
    We characterize the polynomial time operations as those which are provably total in a first order system, which comprises (untyped) combinatory logic with extensionality, together with positive “safe induction” on the set of binary strings. The formalization of safe induction is inspired by Leivants idea of ramification. We also show how to replace ramification by means of modal logic.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  9. Colin Howson (1997). A Logic of Induction. Philosophy of Science 64 (2):268-290.
    In this paper, I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  10.  21
    Robert McLaughlin (1982). Invention and Induction Laudan, Simon and the Logic of Discovery. Philosophy of Science 49 (2):198-211.
    Although on opposite sides of the logic of discovery debate, Laudan and Simon share a thesis of divorce between discovery (invention) and justification (appraisal); but unlike some other authors, they do not base their respective versions of the divorce-thesis on the empirical/logical distinction. Laudan argues that, in contemporary science, invention is irrelevant to appraisal, and that this irrelevance renders epistemically pointless the inventionist program. Simon uses his divorce-thesis to defend his account of invention, which he claims to be non-inductive--so evading (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  14
    Diderik Batens (2005). On a Logic of Induction. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):221-247.
    In this paper I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  8
    Ricardo Sousa Silvestre (2011). Induction and Confirmation Theory: An Approach Based on a Paraconsistent Nonmonotonic Logic. Princípios 17 (28):71-98.
    This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of (...), having as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper "Studies in the Logic of Confirmation" of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  13.  5
    Regimantas Pliuskevicius (1998). Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. Journal of Applied Non-Classical Logics 8 (1-2):141-169.
    ABSTRACT A new type of calculi is proposed for a first order linear temporal logic. Instead of induction-type postulates the introduced calculi contain a similarity saturation principle, indicating some form of regularity in the derivations of the logic. In a finitary case we obtained the finite set of saturated sequents, showing that ?nothing new? can be obtained continuing the derivation process. Instead of the ?-type rule of inference, an infinitary saturated calculus has an infinite set of saturated sequents, showing (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14. Augusto Ponzio (2005). Dialogic Gradation in the Logic of Interpretation: Deduction, Induction, Abduction. Semiotica 2005 (153 - 1/4):155-173.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15. I. Grattan-Guinness (2004). Karl Popper and the 'the Problem of Induction': A Fresh Look at the Logic of Testing Scientific Theories. [REVIEW] Erkenntnis 60 (1):107-120.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  9
    Jan Woleński (2005). Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 Pp., £50, ISBN 0 521 82621 7 (Hardback), £18.99, 0 521 53361 9 (Paperback). [REVIEW] Studia Logica 81 (1):145-150.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  4
    R. J. Hirst & S. F. Barker (1960). Induction and Hypothesis: A Study of the Logic of Confirmation. Philosophical Quarterly 10 (41):375.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18. S. E. Parker (1838). Logic, or the Art of Reasoning Simplified. In This Work Remarks Are Made on Intuitive and Deductive Evidence; Distinctions Between Reasoning by Induction, Analogy, and Syllogism ... Closing with Exercises on a Variety of Interesting Topics, to Guide and Develope the Reasoning Powers of the Youthful Inquirer After Truth. [REVIEW] Bagster & Marshall.
     
    Export citation  
     
    My bibliography  
  19.  14
    Newton C. A. Da Costa & Steven French (1989). Pragmatic Truth and the Logic of Induction. British Journal for the Philosophy of Science 40 (3):333-356.
    We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  20.  24
    Newton C. A. Costa & Steven French (1989). Pragmatic Truth and the Logic of Induction. British Journal for the Philosophy of Science 40 (3):333-356.
    We apply the recently elaborated notions of ‘pragmatic truth’ and ‘pragmatic probability’ to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  21.  15
    Stuart S. Glennan (1994). Why There Can't Be a Logic of Induction. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:78 - 86.
    In this paper I offer a criticism of Carnap's inductive logic which also applies to other formal methods of inductive inference. Criticisms of Carnap's views have typically centered upon the justification of his particular choice of inductive method. I argue that the real problem is not that there is an agreed upon method for which no justification can be found, but that different methods are justified in different circumstances.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  8
    John V. Strong (1976). The Infinite Ballot Box of Nature: De Morgan, Boole, and Jevons on Probability and the Logic of Induction. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1976:197 - 211.
    The project of constructing a logic of scientific inference on the basis of mathematical probability theory was first undertaken in a systematic way by the mid-nineteenth-century British logicians Augustus De Morgan, George Boole and William Stanley Jevons. This paper sketches the origins and motivation of that effort, the emergence of the inverse probability (IP) model of theory assessment, and the vicissitudes which that model suffered at the hands of its critics. Particular emphasis is given to the influence which competing interpretations (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  12
    Barkley Rosser (1939). Definition by Induction in Quine's New Foundations for Mathematical Logic. Journal of Symbolic Logic 4 (2):80-81.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  24.  3
    Henry E. Kyburg (1977). Review: Diderik Batens, Studies in the Logic of Induction and in the Logic of Explanation, Containing a New Theory of Meaning Relations. [REVIEW] Journal of Symbolic Logic 42 (2):309-310.
  25.  1
    C. West Churchman (1946). Review: Gustav Bergmann, Some Comments on Carnap's Logic of Induction. [REVIEW] Journal of Symbolic Logic 11 (3):81-81.
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Carl G. Hempel (1944). Review: C. D. Broad, Hr. Von Wright on the Logic of Induction. [REVIEW] Journal of Symbolic Logic 9 (4):95-96.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27. Cantini Andrea (2002). Polytime, Combinatory Logic and Positive Safe Induction. Archive for Mathematical Logic 41 (2).
     
    Export citation  
     
    My bibliography  
  28. C. West Churchman (1946). Bergmann Gustav. Some Comments on Carnap's Logic of Induction. Philosophy of Science, Vol. 13 Pp. 71–78. Journal of Symbolic Logic 11 (3):81.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Zbigniew Czerwinski (1958). Review: Henryk Greniewski, Elements of the Logic of Induction. [REVIEW] Journal of Symbolic Logic 23 (1):77-78.
     
    Export citation  
     
    My bibliography  
  30. Volker Halbach (2002). Beklemishev Lev D.. Induction Rules, Reflection Principles, and Provably Recursive Functions. Annals of Pure and Applied Logic, Vol. 85 , Pp. 193–242. [REVIEW] Bulletin of Symbolic Logic 8 (2):302-303.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Carl G. Hempel (1944). Broad C. D.. Hr. Von Wright on the Logic of Induction. Mind, N.S. Vol. 53 , Pp. 1–24, 97–119, 193–214. Journal of Symbolic Logic 9 (4):95-96.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Richard C. Jeffrey (1972). Popper Karl R.. The Demarcation Between Science and Metaphysics. A Reprint of XXXVI 533. The Philosophy of Rudolf Carnap, Edited by Schilpp Paul Arthur, The Library of Living Philosophers, Vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, Pp. 183–226.Kemeny John G.. Carnap's Theory of Probability and Induction. The Philosophy of Rudolf Carnap, Edited by Schilpp Paul Arthur, The Library of Living Philosophers, Vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, Pp. 711–738.Burks Arthur W.. On the Significance of Carnap's System of Inductive Logic for the Philosophy of Induction. The Philosophy of Rudolf Carnap, Edited by Schilpp Paul Arthur, The Library of Living Philosophers, Vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, Pp. 739–759.Putnam Hilary. “Degree of Confirmation” and Inductive Logic. The Philosophy of Rudolf Carnap, Edited by Schilpp Paul Arthur, The Library of Living Philosoph. [REVIEW] Journal of Symbolic Logic 37 (3):631-633.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Peter Krauss (1969). Schock Rolf. On Induction. Notre Dame Journal of Formal Logic, Vol. 6 No. 3 , Pp. 235–240. Journal of Symbolic Logic 34 (1):139.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Henry E. Kyburg (1977). Batens Diderik. Studies in the Logic of Induction and in the Logic of Explanation, Containing a New Theory of Meaning Relations. Rijksuniversiteit Te Gent, Werken Uitgegeven Door de Faculteit van de Letteren En Wijsbegeerte, No. 161. “De Tempel,” Bruges 1975, 310 Pp. [REVIEW] Journal of Symbolic Logic 42 (2):309-310.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Henry E. Kyburg (1975). Hintikka Jaakko. Induction by Enumeration and Induction by Elimination. The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2, Edited by Lakatos Imre, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1968, Pp. 191–216. [REVIEW] Journal of Symbolic Logic 40 (3):448-449.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. David Miller (1970). Foster Marguerite H. And Martin Michael L.. General Introduction. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Michael L.. The Odyssey Press Inc., New York 1966, Pp. 1–13.Foster Marguerite H. And Martin Michael L.. The Meaning of Probability. Introduction. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Michael L.. The Odyssey Press Inc., New York 1966, Pp. 17–26.Carnap Rudolf. On Inductive Logic. A Reprint of XI19. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Michael L.. The Odyssey Press Inc., New York 1966, Pp. 35–61.Barker Stephen F.. Enumerative Induction. A Reprint of Pp. 82–90 of XXVII 122. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Micha. [REVIEW] Journal of Symbolic Logic 35 (3):451-454.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Michael Rathjen (1996). Sommer Richard. Transfinite Induction Within Peano Arithmetic. Annals of Pure and Applied Logic, Vol. 76 , Pp. 231–289. Journal of Symbolic Logic 61 (4):1388.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Wayne Richter (1979). Moschovakis Yiannis N.. Elementary Induction on Abstract Structures. Studies in Logic and the Foundations of Mathematics, Vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, X + 218 Pp. [REVIEW] Journal of Symbolic Logic 44 (1):124-125.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Helmut Schwichtenberg (1974). Parsons Charles. On a Number Theoretic Choice Schema and its Relation to Induction. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by Kino A., Myhill J., and Vesley R. E., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 459–473.Parsons Charles. Review of the Foregoing. Zentralblatt Für Mathematik and Ihre Grenzgebiete, Vol. 202 , Pp. 12–13.Parsons Charles. On N-Quantifier Induction. [REVIEW] Journal of Symbolic Logic 39 (2):342.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Harry Stopes-Roe (1964). Russell Bertrand. On Induction. Essays in Logic From Aristotle to Russell, Selected and Edited by Jager Ronald, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, Pp. 112–120. [REVIEW] Journal of Symbolic Logic 29 (1):64.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Lars Svenonius (1962). Barker S. F.. Induction and Hypothesis, A Study of the Logic of Confirmation. Cornell University Press, Ithaca 1957, and Oxford University Press, London 1958, Xvi + 203 Pp. [REVIEW] Journal of Symbolic Logic 27 (1):122-123.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Lars Svenonius (1962). Review: S. F. Barker, Induction and Hypothesis, A Study of the Logic of Confirmation. [REVIEW] Journal of Symbolic Logic 27 (1):122-123.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Alwen Tiu & Alberto Momigliano (2012). Cut Elimination for a Logic with Induction and Co-Induction. Journal of Applied Logic 10 (4):330-367.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Henry Towsner (2014). Montalbán Antonio,Indecomposable Linear Orderings and Hyperarithmetic Analysis.Journal of Mathematical Logic, Vol.6 , No.1, Pp.89–120.Neeman Itay,The Strength of Jullien’s Indecomposability Theorem.Journal of Mathematical Logic, Vol.8 , No.1, Pp.93–119.Neeman Itay,Necessary Use of$\Sigma _1^1 $Induction in a Reversal.Journal of Symbolic Logic, Vol.76 , No.2, Pp.561–574. [REVIEW] Bulletin of Symbolic Logic 20 (3):366-368.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Atwell R. Turquette (1957). Black Max. How Difficult Might Induction Be? Problems of Analysis, Philosophical Essays, by Max Black, Cornell University Press, Ithaca 1954, Pp. 209–225, 297.Black Max. Carnap on Semantics and Logic. Problems of Analysis, Philosophical Essays, by Max Black, Cornell University Press, Ithaca 1954, Pp. 255–290, 298–299. [REVIEW] Journal of Symbolic Logic 22 (3):316-317.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Atwell R. Turquette (1957). Review: Max Black, How Difficult Might Induction Be; Max Black, Carnap on Semantics and Logic. [REVIEW] Journal of Symbolic Logic 22 (3):316-317.
     
    Export citation  
     
    My bibliography  
  47. Andreas Weiermann (2002). Archive for Mathematical Logic. Toshiyasu Arai. Consistency Proof Via Pointwise Induction. Archive for Mathematical Logic, Vol. 37 No. 3 , Pp. 149–165. [REVIEW] Bulletin of Symbolic Logic 8 (4):536-537.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  80
    Ian Hacking (2001). An Introduction to Probability and Inductive Logic. Cambridge University Press.
    This is an introductory textbook on probability and induction written by one of the world's foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of this book (...)
    Direct download  
     
    Export citation  
     
    My bibliography   27 citations  
  49. Gustav Bergmann (1946). Some Comments on Carnap's Logic of Induction. Philosophy of Science 13 (1):71-78.
  50. John R. Wallace (1966). Goodman, Logic, Induction. Journal of Philosophy 63 (11):310-328.
1 — 50 / 785