Skip to main content
SpringerLink
Log in

Remarks on some approaches to the concept of logical consequence

  • Published:
Synthese Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Dummett, Michael: 1975, ‘The philosophical basis of intuitionistic logic’, in H. E. Rose et al. (eds.), Logic Colloquim '73, North-Holland, Amsterdam, pp. 5–40.

    Google Scholar 

  2. Dummett, Michael: 1974, ‘What is a theory of meaning?’ (II), in G. E. Evans and J. McDowell (eds.), Truth & Meaning, Oxford Univ. Press, Oxford, pp. 67–137.

    Google Scholar 

  3. Gentzen, Gerhard: 1935, ‘Untersuchungen über das logische Schliessen’, Mathematische Zeitschrift 39, 176–210, 405–431.

    Google Scholar 

  4. Heyting, Arend: 1956, Intuitionism, North-Holland, Amsterdam.

    Google Scholar 

  5. Kreisel, Georg: 1962, ‘Foundations of intuitionistic logic’, in E. Nagel et al. (eds.), Logic, Methodology, and Philosophy of Science, Stanford, pp. 192–210.

  6. Martin-Löf, Per: 1982, ‘Constructive mathematics and computer programming, in L. J. Cohen et al. (eds.), Logic, Methodology and Philosophy of Science VI, North-Holland, Amsterdam, pp. 153–175.

    Google Scholar 

  7. Prawitz, Dag: 1965, Natural Deduction. A Proof-Theoretical Study. Almqvist & Wiksell, Stockholm.

    Google Scholar 

  8. Prawitz, Dag: 1975, ‘Ideas and results in proof theory’, in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, pp. 235–250.

    Google Scholar 

  9. Prawitz, Dag: 1973, ‘Towards a foundation of a general proof theory’, in P. Suppes et al. (eds.), Logic, Methodology, and Philosophy of Science IV, North-Holland, Amsterdam, pp. 225–250.

    Google Scholar 

  10. Prawitz, Dag: 1974, ‘On the idea of a general proof theory’, Synthese 27, 63–77.

    Google Scholar 

  11. Prawitz, Dag: 1977, ‘Meaning and proofs: on the conflict between classical and intuitionistic logic’, Theoria 43, 1–40.

    Google Scholar 

  12. Prawitz, Dag: 1978, ‘Proofs and the meaning and completeness of the logical constants’, in J. Hintikka et al. (eds.), Essays on Mathematical and Philosophical Logic, D. Reidel, Dordrecht, pp. 25–40.

    Google Scholar 

  13. Schroeder-Heister, Peter: 1981, Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Inaugural-Dissertation), Bonn.

    Google Scholar 

  14. Tarski, Alfred: 1936, ‘Über den Begriff der logischen Folgerungen’, in Acte du Congrès International de Philosophie Scientifique VII, Paris, pp. 1–11.

Download references

Author information

Authors and Affiliations

  1. Filosofiska Inst., Stockholm Univ., 106 91, Stockholm, Sweden

    Dag Prawitz

Authors
  1. Dag Prawitz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Prawitz, D. Remarks on some approaches to the concept of logical consequence. Synthese 62, 153–171 (1985). https://doi.org/10.1007/BF00486044

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00486044

Keywords

Search

Navigation