Skip to main content
Log in

The adequacy problem for classical logic

  • Article
  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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.

Institutional subscriptions

Bibliography

  1. W. Craig, ‘Satisfaction for n-th Order Languages Defined in n-th Order Languages’, J. Symbolic Logic 30 (1965), 13–25.

    Google Scholar 

  2. S. Feferman, ‘Applications of Many-sorted Interpolation Theorems’, in L. Henkin et al. (eds.), Proceedings of the Tarski Symposium. Proc. Symp. Pure Math. 25, Am. Math. Soc., Providence, RI, 1974, pp. 205–223.

    Google Scholar 

  3. G. Frege, Begriffsschrift, 1879, translated in J.van Heijenoort (ed.), From Frege to Gödel, Harvard Univ. Press, Cambridge, Mass., 1976, pp. 1–82.

    Google Scholar 

  4. G. Gentzen, Investigations into Logical Deduction, 1935, translated in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 68–131.

    Google Scholar 

  5. H. J. Keisler, ‘Logic with the Quantifier “There exist uncountably many”’, Ann. Math. Logic 1 (1970), 1–93.

    Google Scholar 

  6. G. Kreisel, ‘Informal Rigour and Completeness Proofs’, in I. Lakatos (eds.), Problems in the Philosophy of Mathematics, Proc. Int. Colloq. Phil. Science, London, 1965, North-Holland, Amsterdam, 1967, pp. 138–171.

    Google Scholar 

  7. G. Kreisel and J. L. Krivine, Elements of Mathematical Logic, North-Holland, Amsterdam, 1971.

    Google Scholar 

  8. P. Linström, ‘On Characterizing Elementary Logic’, in S. Stenlund (ed.), Logical Theory and Semantical Analysis, D. Reidel, Dordrecht, 1974, pp. 129–146.

    Google Scholar 

  9. J. A. Makowsky, S. Shelah, and J. Stavi, ‘Δ-logics and Generalized Quantifiers’, Ann. Math. Logic 10 (1967), 155–192.

    Google Scholar 

  10. G. Takeuti, Proof Theory, North-Holland, Amsterdam, 1975.

    Google Scholar 

  11. L. H. Tharp, ‘Continuity and Elementary Logic’, J. Symbolic Logic 39 (1974), 700–716.

    Google Scholar 

  12. L. H. Tharp, ‘Which Logic is the Right Logic?’ Synthese 31 (1975), 1–21.

    Google Scholar 

  13. J. I. Zucker and R. S. Tragesser, The Adequacy Problem for Inferential Logic’, J. Philosophical Logic 7 (1978).

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zucker, J.I. The adequacy problem for classical logic. J Philos Logic 7, 517–535 (1978). https://doi.org/10.1007/BF00245942

Download citation

  • Issue Date:

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

Keywords

Navigation