Skip to main content
SpringerLink
Log in

Natural deduction and Hilbert's ɛ-operator

  • 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

Bibliography

  1. BradyR., ‘The simple consistency of a set theory based on the logic CSQ’, Notre Dame Journal of Formal Logic 24 (1983), pp. 431–449.

    Google Scholar 

  2. Brady, R., Universal Logic, in preparation.

  3. CopiI., Symbolic Logic, New York (Macmillan), 1954; second ed. 1961.

    Google Scholar 

  4. FineK., ‘Natural deduction and arbitrary objects’, Journal of Philosophical Logic 14 (1985), pp. 57–107.

    Google Scholar 

  5. FineK., Reasoning with Arbitrary Objects, Oxford (Blackwell), 1985.

    Google Scholar 

  6. FitchF., Symbolic Logic: An Introduction, New York (Ronald), 1952.

    Google Scholar 

  7. GentzenG., ‘Untersuchungen über das logische Schliessen’, Math. Zeit. 39 (1934), pp. 176–210, 405–437; Eng. tr. ‘Investigations into logical deduction’, American Philosophical Quarterly 1 (1964), pp. 288–306, and 2 (1965), pp. 204–218; repr. M. Szabo, ed., The Collected Papers of Gerhard Gentzen, Amsterdam (North Holland), 1969, pp. 20–131.

    Google Scholar 

  8. HatcherW., The Foundations of Mathematics, Philadelphia (Saunders), 1968; second edition The Logical Foundations of Mathematics, Oxford (Pergamon), 1982.

    Google Scholar 

  9. HilbertD. and P.Bernays, Grundlagen der Mathematik, vols. I and II, Berlin (Springer), 1934 and 1939.

    Google Scholar 

  10. JeffreyR., Formal Logic: Its Scope and Limits, New York (McGraw-Hill), 1967.

    Google Scholar 

  11. Kalish, D., review of [3], Journal of Symbolic Logic 32 (1967) p. 254.

    Google Scholar 

  12. LambertK. and B.VanFraassen, Derivation and Counterexample, Encino CA (Dickenson), 1972.

    Google Scholar 

  13. LeisenringA., Mathematical Logic and Hilbert's ɛ-Symbol, London (MacDonald), 1969.

    Google Scholar 

  14. MintsG. E., ‘Heyting predicate calculus with epsilon symbol’, (in Russian), Zapiski of the Steklov Institute 40 (1974), pp. 101–109; Eng. tr. Journal of Soviet Mathematics 8 (1977), pp. 315–323.

    Google Scholar 

  15. PriestG., ‘The logical paradoxes and the law of excluded middle’, Philosophical Quarterly 33 (1983), pp. 160–165.

    Google Scholar 

  16. QuineW., Methods of Logic, New York (Henry Holt), 1950.

    Google Scholar 

  17. SmullyanR., First-Order Logic, Berlin (Springer-Verlag), 1968.

    Google Scholar 

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

    Google Scholar 

  19. ThomasonR., Symbolic Logic: An Introduction, New York (Macmillan), 1970.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philosophy Department, University of Melbourne, 3052, Parkville, VIC, Australia

    Allen Hazen

Authors
  1. Allen Hazen
    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

Hazen, A. Natural deduction and Hilbert's ɛ-operator. J Philos Logic 16, 411–421 (1987). https://doi.org/10.1007/BF00431186

Download citation

  • Issue Date:

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

Keywords

Search

Navigation