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

716 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.  37
    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.  4
    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.  36
    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.  79
    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  
  20.  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  
  21.  22
    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  
  22.  13
    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  
  23.  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  
  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.  11
    Barkley Rosser (1939). Definition by Induction in Quine's New Foundations for Mathematical Logic. Journal of Symbolic Logic 4 (2):80-81.
    Direct download (5 more)  
     
    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.  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  
  28. Cantini Andrea (2002). Polytime, Combinatory Logic and Positive Safe Induction. Archive for Mathematical Logic 41 (2).
     
    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. 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  
  31. 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  
  32. Gustav Bergmann (1946). Some Comments on Carnap's Logic of Induction. Philosophy of Science 13 (1):71-78.
  33. John R. Wallace (1966). Goodman, Logic, Induction. Journal of Philosophy 63 (11):310-328.
  34.  14
    C. D. Broad (1944). Hr. Von Wright on the Logic of Induction (I.). Mind 53 (209):1-24.
  35.  11
    C. D. Broad (1944). Hr. Von Wright on the Logic of Induction (III.). Mind 53 (211):193-214.
  36.  12
    C. D. Broad (1944). Hr. Von Wright on the Logic of Induction (II.). Mind 53 (210):97-119.
  37.  14
    Jan Woleński (2005). Thomas Foster, Logic, Induction and Sets. Studia Logica 81 (1).
  38.  2
    Anna Jedynak (2001). Halina Mortimer-The Logic of Induction. Poznan Studies in the Philosophy of the Sciences and the Humanities 74:163-168.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  2
    Jack Kaminsky (1988). Logic, Induction, and Ontology. International Studies in Philosophy 20 (1):111-111.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40. Thomas Foster (2005). Logic, Induction and Sets. Studia Logica 81 (1):145-147.
     
    Export citation  
     
    My bibliography  
  41. R. Harré (1962). BARKER, S. F. - "Induction and Hypothesis: A Study of the Logic of Confirmation". [REVIEW] Mind 71:412.
     
    Export citation  
     
    My bibliography  
  42. A. Jedynak (2001). Janina Hosiasson-Lindenbaumowa-The Logic of Induction. Poznan Studies in the Philosophy of the Sciences and the Humanities 74:97-102.
     
    Export citation  
     
    My bibliography  
  43. Linguistically Invariant Inductive Logic (1970). Ian I-Iacking. In Paul Weingartner & Gerhard Zecha (eds.), Induction, Physics, and Ethics. Dordrecht,Reidel
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  44. John Stuart Mill & James Robert Ballantyne (1852). The Method of Induction [Compiled Principally From J.S. Mill's System of Logic, by J.R. Ballantyne].
    No categories
     
    Export citation  
     
    My bibliography  
  45. Ricardo Sousa Silvestre (2010). Logic of Induction: A Dead Horse? Some Thoughts on the Logical Foundations of Probability. Princípios 14 (22):43-78.
    Sáo dois os propósitos deste artigo. Primeiro desejamos examinar porque o projeto de Carnap de construir uma lógica indutiva náo foi bem sucedido. De forma a realizar isso, nos apoiaremos na distinçáo entre o problema da justificaçáo da induçáo e o problema da descriçáo da induçáo. Tentaremos mostrar que a principal razáo pela qual o projeto de Carnap falhou foi sua relaçáo com o problema da justificaçáo da induçáo. Nosso segundo objetivo é propor algumas idéias de como seria um lógica (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46. William Whewell & John Stuart Mill (1849). Of Induction, with Especial Reference to J.S. Mill's System of Logic.
     
    Export citation  
     
    My bibliography  
  47.  77
    D. C. Stove (1986). The Rationality of Induction. Oxford University Press.
    Writing on the justification of certain inductive inferences, the author proposes that sometimes <span class='Hi'>induction</span> is justified and that arguments to prove otherwise are not cogent. In the first part he examines the problem of justifying <span class='Hi'>induction</span>, looks at some attempts to prove that it is justified, and responds to criticisms of these proofs. In the second part he deals with such topics as formal logic, deductive logic, the theory of logical probability, and probability and truth.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  48.  78
    F. Thomas Burke (2002). Qualities, Universals, Kinds, and the New Riddle of Induction. In F. Thomas Burke, D. Micah Hester & Robert B. Talisse (eds.), Dewey's Logical Theory: New Studies and Interpretations. Vanderbilt University Press
    The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the whole discussion (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  5
    David Godden (2014). Mill's System of Logic. In W. J. Mander (ed.), Oxford handbook of British philosophy in the nineteenth century. Oxford University Press 44-70.
    This chapter situates Mill’s System of Logic (1843/1872) in the context of some of the meta-logical themes and disputes characteristic of the 19th century as well as Mill’s empiricism. Particularly, by placing the Logic in relation to Whately’s (1827) Elements of Logic and Mill’s response to the “great paradox” of the informativeness of syllogistic reasoning, the chapter explores the development of Mill’s views on the foundation, function, and the relation between ratiocination and induction. It provides a survey of the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  50. Brian Skyrms (2012). From Zeno to Arbitrage: Essays on Quantity, Coherence, and Induction. Oxford University Press.
    Pt. I. Zeno and the metaphysics of quantity. Zeno's paradox of measure -- Tractarian nominalism -- Logical atoms and combinatorial possibility -- Strict coherence, sigma coherence, and the metaphysics of quantity -- pt. II. Coherent degrees of belief. Higher-order degrees of belief -- A mistake in dynamic coherence arguments? -- Dynamic coherence and probability kinematics -- Updating, supposing, and MAXENT -- The structure of radical probabilism -- Diachronic coherence and radical probabilism -- pt. III. Induction. Carnapian inductive logic for (...)
     
    Export citation  
     
    My bibliography  
1 — 50 / 716