This is a preview of subscription content, log in via an institution to check access.
References
Beth, E. W., The Foundations of Mathematics, North-Holland, Amsterdam (1959).
Brouwer, L. E. J., Collected Works, vol. 1: Philosophy and Mathematics, ed. by A.Heyting, North-Holland, Amsterdam (1975).
Brouwer, L. E. J., Cambridge Lectures on Intuitionism, ed. by D.vanDalen, Cambridge Univ. Press, Cambridge (1981).
Dummett, M., Elements of Intuitionism, Oxford Univ. press, Oxford (1977).
Dummett, M., Truth and Other Enigmas, Duckworth, London (1978).
Fitch, F. B., ‘A logical analysis of some value concepts’, Journal of Symbolic Logic 28 (1963), 135–142.
Hart, W. D., ‘Access and inference’, Proceedings of the Aristotelian Society, Supplementary vol. 53, pp. 153–165 (1979).
Heyting, A., Intuitionism: An Introduction, North-Holland Publ. Co., Amsterdam (1956).
Kripke, S. A., ‘Semantical analysis of intuitionistic logic I’. in J. N.Crossley and M. A. E.Dummett (eds.), Formal Systems and Recursive Functions, North-Holland, Amsterdam, pp. 92–130 (1965).
Mackie, J.L., ‘Truth and knowability’, Analysis 40 (1980), 90–92.
Prawitz, D., ‘Meaning and proofs: on the conflict between classical and intuitionistic logic’, Theoria 43 (1977) 2–40.
Prawitz, D., ‘Intuitionistic logic: a philosophical challenge’, in G. H. v.Wright (ed.), Logic and Philosophy, Martinus Nijhoff, The Hague, pp. 1–10 (1980).
Williamson, T., ‘Intuitionism disproved?’, Analysis 42 (1982), 203–207.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rabinowicz, W. Intuitionistic truth. J Philos Logic 14, 191–228 (1985). https://doi.org/10.1007/BF00245993
Issue Date:
DOI: https://doi.org/10.1007/BF00245993