Generalized logical consequence: Making room for induction in the logic of science
Journal of Philosophical Logic 31 (3):245-280 (2002)
| Abstract | 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 contrast to the permissibility of classical first-order logic. We make a distinction between deductive and inductive inference via the notions of compactness and weak compactness. Connections with the arithmetical hierarchy and formal learning theory are explored. For the latter, we argue against the identification of inductive inference with the notion of learnable in the limit. Several results highlighting desirable properties of these hierarchies of generalized logical consequence are also presented. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMario Gómez-Torrente (2003). Logical Consequence and Logical Expressions. Theoria 18 (2):131-144.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
John D. Norton (2003). A Material Theory of Induction. Philosophy of Science 70 (4):647-670.
Jc Beall & Greg Restall (2006). Logical Pluralism. Oxford University Press.
Jc Beall & Greg Restall (2000). Logical Pluralism. Australasian Journal of Philosophy 78 (4):475 – 493.
Matthew McKeon, Logical Consequence, Deductive-Theoretic Conceptions. Internet Encyclopedia of Philosophy.
Massimiliano Badino (2004). An Application of Information Theory to the Problem of the Scientific Experiment. Synthese 140 (3):355 - 389.
Jacek Malinowski (2006). On the Formalization of Strawson's Presupposition. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):111-118.
Pablo Cobreros (2008). Supervaluationism and Logical Consequence: A Third Way. Studia Logica 90 (3):291 - 312.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,063 of 549,084 )Recent downloads (6 months)1 ( #63,317 of 549,084 )How can I increase my downloads? |
My notes
Discussion
