Skip to main content
Log in

The epistemic significance of valid inference

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

The traditional picture of logic takes it for granted that “valid arguments have a fundamental epistemic significance”, but neither model theory nor traditional proof theory dealing with formal system has been able to give an account of this significance. Since valid arguments as usually understood do not in general have any epistemic significance, the problem is to explain how and why we can nevertheless use them sometimes to acquire knowledge. It is suggested that we should distinguish between arguments and acts of inferences and that we have to reconsider the latter notion to arrive at the desired explanation. More precisely, the notions should be developed so that the following relationship holds: one gets in possession of a ground for a conclusion by inferring it from premisses for which one already has grounds, provided that the inference in question is valid. The paper proposes explications of the concepts of ground and deductively valid inference so that this relationship holds as a conceptual truth. Logical validity of inference is seen as a special case of deductive validity, but does not add anything as far as epistemic significance is concerned—it resides already in the deductively valid inferences.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Cozzo C. (1994) Meaning and argument, a theory of meaning centred on immediate argumental role. Almqvist and Wiksell International, Stockholm

    Google Scholar 

  • Cozzo C. (2008) On the Copernican turn in semantics. Theoria 74: 295–317

    Article  Google Scholar 

  • Heyting A. (1934) Mathematisch Grundlagenforschung, Intuitionismus, Beweistheorie. Springer, Berlin

    Google Scholar 

  • Howard W. (1980) The formula-as-types notion of construction. In: Seldin J. (eds) To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, London, pp 479–490

    Google Scholar 

  • Martin-Löf P. (1984) Intuitionistic type theory. Bibliopolis, Napoli

    Google Scholar 

  • Martin-Löf, P. (1985). On the meanings of the logical constants and the justifications of the logical laws. In Atti degli Incontri di Logica Matematica: Scuola di Specializzazione in Logica Matematica (Vol. 2, pp. 203–281). Italy: Dipartimento di Matematica, Università di Siena. Republished in Nordic Journal of Philosophical Logic, 1, 11–60 (1996).

  • Martin-Löf P. (1994) Analytical and synthetic judgements in type theory. In: Parrini P. (eds) Kant and contemporary epistemology. Kluwer Academic Publishers, Dordrecht, pp 87–99

    Chapter  Google Scholar 

  • Prawitz, D. (1965). Natural deduction, a proof-theoretical study. Stockholm: Almqvist and Wiksell. Reprinted by Dover Publications, New York, 2005.

  • Prawitz, D. (1970). Constructive semantics. In Proceedings of the 1st Scandinavian logic symposium Åbo 1968 (pp. 96–114). Uppsala: Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet.

  • Prawitz D. (2009) Inference and knowledge. In: Pelis M. (eds) The logica yearbook 2008. College Publications, King’s College London, London, pp 175–192

    Google Scholar 

  • Prawitz, D. (2012). Validity of Inference. In Proceedings from the 2nd launer symposium on the occasion of the presentation of the launer prize at Bern 2006 (to appear).

  • Sundholm G. (1997) Implicit epistemic aspects of constructive logic. Journal of Logic, Language, and Information 6: 191–212

    Article  Google Scholar 

  • Sundholm G. (1998) Inference versus consequence. In: Childers T. (eds) The logica yearbook 1997. Filosofia, Academy of Sciences of the Czech Republic. Reprinted with an afterword in this volume, Prague, pp 26–35

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dag Prawitz.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Prawitz, D. The epistemic significance of valid inference. Synthese 187, 887–898 (2012). https://doi.org/10.1007/s11229-011-9907-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-011-9907-7

Keywords

Navigation