Natural deduction and arbitrary objects

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