What is an inference rule?

Journal of Symbolic Logic 57 (3):1018-1045 (1992)
  Copy   BIBTEX


What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. In this paper we introduce a general semantic framework that allows us to investigate the notion of inference more carefully. Validity inference and truth inference are in some sense the extremal points in our framework. We investigate the relationship between various types of inference in our general framework, and consider the complexity of deciding if an inference rule is sound, in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Likelihood and convergence.Elliott Sober - 1988 - Philosophy of Science 55 (2):228-237.
Empirical equivalence, explanatory force, and the inference to the best theory.Igor Douven - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):281-309.
Implication with possible exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
Indian logic in its sources on validity of inference.Mrinalkanti Gangopadhyaya - 1984 - New Delhi: Munshiram Manoharlal Publishers.
Instability, modus ponens and uncertainty of deduction.Huajie Liu - 2006 - Frontiers of Philosophy in China 1 (4):658-674.
Deflationism and Logic.Christopher Gauker - 1999 - Facta Philosophica (1):167-199.


Added to PP

280 (#69,056)

6 months
28 (#104,675)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.

View all 15 references / Add more references