What is an inference rule?
Journal of Symbolic Logic 57 (3):1018-1045 (1992)
| Abstract | 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 τ, the validity of τ [σ] entails the validity of τ[φ]), and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution τ, the truth of τ[σ] entails the truth of τ[φ]). 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 | |||||||||
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesElliott Sober (1988). Likelihood and Convergence. Philosophy of Science 55 (2):228-237.
Huajie Liu (2006). Instability, Modus Ponens and Uncertainty of Deduction. Frontiers of Philosophy in China 1 (4):658-674.
Mrinalkanti Gangopadhyaya (1984). Indian Logic in its Sources on Validity of Inference. Munshiram Manoharlal.
Herman Jurjus & Harrie de Swart (2001). Implication with Possible Exceptions. Journal of Symbolic Logic 66 (2):517-535.
Igor Douven (2005). Empirical Equivalence, Explanatory Force, and the Inference to the Best Theory. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):281-309.
Valentin Goranko (1998). Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61 (2):179-197.
Christopher Gauker (1999). Deflationism and Logic. Facta Philosophica (1):167-199.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,013 of 549,067 )Recent downloads (6 months)1 ( #63,185 of 549,067 )How can I increase my downloads? |
My notes
Discussion
