Generalized logical consequence: Making room for induction in the logic of science [Book Review]

Journal of Philosophical Logic 31 (3):245-280 (2002)

Samir Chopra
Brooklyn College (CUNY)
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 deduction  induction  learning theory  logical consequence
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1015714624624
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,662
Through your library

References found in this work BETA

Fact, Fiction and Forecast.NELSON GOODMAN - 1955 - Harvard University Press.
The Logic of Scientific Discovery.Karl Popper - 1959 - Studia Logica 9:262-265.

View all 37 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

On the Formalization of Strawson's Presupposition.Jacek Malinowski - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):111-118.
Logical Consequence, Deductive-Theoretic Conceptions.Matthew McKeon - 2004 - Internet Encyclopedia of Philosophy.
Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford University Press.
A Material Theory of Induction.John D. Norton - 2003 - Philosophy of Science 70 (4):647-670.


Added to PP index

Total views
99 ( #86,237 of 2,280,728 )

Recent downloads (6 months)
18 ( #46,563 of 2,280,728 )

How can I increase my downloads?


My notes

Sign in to use this feature