Confirmation Logic and Its Applications
In this article ‘confirmation logic’ is first defined as ‘the underlying logic of any adequate confirmation theory’ and a confirmation theory is adequate if it satisfies the four conditions: (i) it can solve the paradoxes of confirmation as well as (ii) the Goodman paradox, (iii) the Equivalence Condition holds in it, (iv) the standard axiom system of probability can be derived from it if a definition of ‘degree of confirmation’ as ‘probability’ is defined in it.
It follows that Hempel’s theory of confirmation is not an adequate confirmation theory and its underlying logic, i.e., the classical 2-valucd quantificational logic is not a ‘confirmation logic’. The main business of this article is thus to construct a non-classical logic, in fact, a 3-valued quantificational logic (with a complete semantics) which is a ‘confirmation logic’.
Finally, the newly constructed confirmation logic is applied to solve a number of logical and philosophical puzzles and problems, among them: the Aristotelian problem of future contingents, the paradoxes of implication, the paradox of the existence of non-beings, the Kripkc paradox, and some other well-known problems.
KeywordsQuantificational Logic Truth Table Intuitionistic Logic Underlying Logic Individual Constant
Unable to display preview. Download preview PDF.
- Aristotle: De Interpretatione.Google Scholar
- Frege, G.: 1966, ‘On sense and reference’, in Philosophical Writings of Gottlob Frege ,P. Geach and M. Black (eds.), Blackwell.Google Scholar
- Goodman, N.: 1973, Fact, Fiction, and Forecast ,3rd ed.Google Scholar
- Haack, S.: 1973, Deviant Logic ,London, Cambridge University Press.Google Scholar
- Hempel, Carl G.: 1965b, Aspects of Scientific Explanation ,N.Y., the Free Press.Google Scholar
- Heyting, A.: 1966, Intuitionism ,Amsterdam, North-Holland.Google Scholar
- Kripke, S.: 1971, ‘Identity and necessity’, in Philosophy as It Is ,T. Honderich and M. Burnyeat (eds.).Google Scholar
- Lewis, C. I. and Langford, C. H.: 1959, Symbolic Logic ,London, Dover.Google Scholar
- Lin, C. T.: 1990, Confirmation Theory, Confirmation Logic and Some Applications ,Taipei, the Buffalo Book Co.Google Scholar
- Mates, B.: 1972, Elementary Logic ,London, Oxford University Press, 2nd ed.Google Scholar
- Lukasiewicz, J.: 1920, ‘On three-valued logic’, in Jan Lukasiewicz: Selected Works ,L. Borkowski (ed.).Google Scholar
- Scheffler, I.: 1963, The Anatomy of Inquiry: Philosophical Studies of the Theory of Science.Google Scholar