This is a preview of subscription content, log in via an institution to check access.
REFERENCES
Brouwer, L. E. J.: 1908, ‘De onbetrouwbaarheid der logische principes’, Engl. transl. «The Unreliability of the Logical Principles», in E. Heyting (ed.), L. E. J. Brouwer, Collected Works. I. Philosophy and Foundations of Mathematics, North-Holland, Amsterdam (1980), pp. 107–111.
Church, A.: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton, 6th edn (1970).
Detlefsen, M.: 1992, ‘Brouwerian Intuitionism’, in M. Detlefsen (ed.), Proof and Know-ledge in Mathematics, Routledge, London and New York.
Dosen, K.: 1989, ‘Logical Constants as Punctuation Marks’, Notre Dame Journal of Formal Logic 30, 362–379.
Dummett, M. A. E.: 1993, The Seas of Language, Clarendon Press, Oxford.
Dummett, M. A. E.: 1978, Truth and Other Enigmas, Duckworth, London.
Gentzen, G.: 1936, ‘Die Widerspruchsfreiheit der reinen Zahlentheorie’, Engl. transl. « The Consistency of Elementary Number Theory», in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam (1969), pp. 132–213.
Girard, J. Y.: 1987, ‘Linear Logic’, Theoretical Computer Science bf 50, 1–102.
Hopcroft, J. E. and J. F. Ullman: 1979, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA.
Kolmogorov, A. N.: 1925, ‘On the Principle of Excludded Middle’, in J. van Heijenoort (ed.), From Frege to Gödel, Harvard University Press, Cambridge, 2nd edn (1971), pp. 414–437.
Konolige, K.: 1986, A Deduction Model of Belief, Morgan Kaufmann, Los Altos, CA.
McGinn, C.: 1980, ‘Truth and Use’, in M. Platts (ed.), Reference, Truth, and Reality, Routledge & Kegan Paul, London, pp. 19–40.
Prawitz, D.: 1965, Natural Deduction. A Proof-Theoretical Study, Acta Stockholmiensis. Studies in Philosophy 3, Almqvist & Wiksell, Stockholm.
Stockholm, Prawitz, D.: 1975, ‘Ideas and Results in Proof Theory’, in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam.
Sundholm, G.: 1983, ‘Constructions, Proofs, and the Meaning of Logical Constants’, Journal of Philosophical Logic 12, 151–172.
Tennant, N.: 1987, Anti-Realism and Logic, Clarendon Press, Oxford.
Wright, C.: 1980, Wittgenstein on the Foundations of Mathematics, Londres, Duckworth, London.
Wright, C.: 1986, ‘A Cogent Argument Against Private Language?’, in Ph. Pettit and J. McDowell (eds.), Subject, Thought, and Context, Clarendon Press, Oxford, pp. 209–266.
Wright, C.: 1987, Realism, Meaning, and Truth, Basil Blackwell, Oxford.
Zermelo, E.: 1932, ‘Ñber Stufen der Quantifikation und die Logik des Unendlichen’, Jahresbericht der Deutschen Mathematiker-Vereinigung 41, 85–88.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dubucs, J. Feasibility In Logic. Synthese 132, 213–237 (2002). https://doi.org/10.1023/A:1020332703930
Issue Date:
DOI: https://doi.org/10.1023/A:1020332703930