Skip to main content
SpringerLink
Log in

Natural deduction and arbitrary objects

  • 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

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. BorkowskiL. and SłupeckiJ., ‘A logical system based on rules and its application in teaching mathematical logic’, Studia Logica 7 (1958) 71–106.

    Google Scholar 

  2. CopiI., Symbolic Logic, Macmillan, New York, 1st Ed. (1954), 2nd Ed. (1961).

    Google Scholar 

  3. FineK., ‘A defence of arbitrary objects’, Proceedings of the Aristotelian Society, supp. vol. LVII, 55–77. (1983); also to appear in Varieties of Formal Semantics (eds F. Landman and F. Veltman), GRASS III, Fovis Publications Dordrecht· Cinnaminson (1984).

    Google Scholar 

  4. Fine, K., Reasoning with Arbitrary Objects, to appear in the Aristotelian Society Monograph Series (1984).

  5. HailperinT., ‘A Theory of Restricted Quantification Part I’, J. Symbolic Logic 22 (1957) 17–35, ‘Part II’, J. Symbolic Logic 22 (1957) 113–129.

    Google Scholar 

  6. Hilbert, D. and Bernays, P., Grundlagen der Mathematik, vol. I, Berlin (1934).

  7. KalishD., ‘Review’, Journal of Symbolic Logic 32 (1967) 254.

    Google Scholar 

  8. Kalish, D. and Montague, R., Logic: Techniques of Formal Reasoning, New York (1964).

  9. Lemmon, E. J., Beginning Logic, London (1967).

  10. LemmonE. J., ‘Quantifier rules and natural deduction’, Mind 70 (1961) 235–238.

    Google Scholar 

  11. LemmonE. J., ‘A further note on natural deduction’, Mind 74 (1965), 594–597.

    Google Scholar 

  12. PrawitzD., Natural Deduction: A Proof-Theoretic Study, Almquist & Wiksell, Stockholm (1965).

    Google Scholar 

  13. QuineW. V. O., ‘On natural deduction’, J. Symbolic Logic 15 (1950) 93–102.

    Google Scholar 

  14. QuineW. V. O., Methods of Logic, Routledge & Kegan Paul, London (1952).

    Google Scholar 

  15. RoutleyR., ‘A simple natural deduction system’, Logique et Analyse 12 (1969) 129–152.

    Google Scholar 

  16. SchagrinM., ‘A Dilemma for Lemmon’ Mind, ns. vol. 72 (1963) 584–585.

    Google Scholar 

  17. SuppesP., Introduction to Logic, Van Nostrand, Princeton (1957).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philosophy Department, University of Michigan, 48109, Ann Arbor, MI, USA

    Kit Fine

Authors
  1. Kit Fine
    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

Fine, K. Natural deduction and arbitrary objects. J Philos Logic 14, 57–107 (1985). https://doi.org/10.1007/BF00542649

Download citation

  • Issue Date:

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

Keywords

Search

Navigation