Abstract
We construct an extensionℒ P of the standard languageℒ of classical propositional logic by adjoining to the alphabet ofℒ a new category of logical-pragmatic signs. The well formed formulas ofℒ are calledradical formulas (rfs) ofℒ P;rfs preceded by theassertion sign ⊢ constituteelementary assertive formulas ofℒ P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf ofℒ P is endowed with atruth value defined classically, and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity inℒ P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part ofℒ P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic.
Similar content being viewed by others
References
Appiah, A.: 1986,For Truth in Semantics, Blackwell, Oxford.
Bradley, R. and Swartz, N.: 1979,Possible Worlds. An Introduction to Logic and its Philosophy, Blackwell, Oxford.
Carnap, R.: 1932, ‘Überwindung der Metaphysik durch logische Analyse der Sprache”,Erkenntnis II, 219–241.
Carnap, R.: 1949, ‘Truth and Confirmation’, collected in H. Feigl and W. Sellars (eds),Readings in Philosophical Analysis, Appleton-Century-Crofts, Inc., New York (1949), pp. 119–127.
Carnap, R.: 1963, ‘Charles Morris on Pragmatism and Logical Empiricism’, collected in P. A. Schilpp (ed.),The Philosophy of Rudolf Carnap II, The Library of Living Philosophers Inc., Evanston, Illinois.
Carnap, R.: 1966,Philosophical Foundations of Physics, Basic Books Inc., New York.
Chellas, B.: 1980,Modal Logic: An Introduction, Cambridge University Press, Cambridge.
Dalla Chiara, M. L.: 1974,Logica, ISEDI, Milano.
Dalla Pozza, C.: 1991, ‘Un' Interpretazione Pragmatica della Logica Proposizionale Intuizionistica’, collected in G. Usberti (ed.),Problemi Fondazionali nella Teoria del Significato, Olschki, Florence (1991), pp. 49–75.
Dummett, M.: 1975, ‘What is a Theory of Meaning? 1’, collected in S. D. Guttenplan (ed.),Mind and Language, Oxford University Press, Oxford, pp. 97–138.
Dummett, M.: 1976, ‘What is a Theory of Meaning? 2’, collected in G. Evans and J. McDowell (eds.),Truth and Meaning, Clarendon Press, Oxford, pp. 67–137.
Dummett, M.: 1977,Elements of Intuitionism, Clarendon Press, Oxford.
Dummett, M.: 1978,Truth and Other Enigmas, Duckworth, London.
Dummett, M.: 1979, ‘What Does the Appeal to Use Do for the Theory of Meaning?’, collected in A. Margalit (ed.),Meaning and Use, Reidel, Dordrecht (1979), pp. 123–135.
Dummett, M.: 1980, ‘Comments on Professor Prawitz's Paper’, collected in G. H. Von Wright (ed.),Logic and Philosophy/Logique et Philosophie, Martinus Nijhoff Publishers, Dordrecht, pp. 11–18.
Dummett, M.: 1982, ‘Realism’,Synthese 52, 55–112.
Fitting, M. C.: 1969,Intuitionistic Logic, Model Theory and Forcing, North Holland, Amsterdam.
Frege, G.: 1879,Begriffschrift, eine der arithmetischen nachgebieldete Formelsprache des reinen Denkens, Nebert, Halle.
Frege, G.: 1891, ‘Funktion und Begriff’, collected in I. Angelelli (ed.),Frege, G.: Kleine Schriften, Georg Olms, Hildesheim, (1967), pp. 124–142.
Frege, G.: 1893,Grundgesetze der Arithmetik 1, Pohle, Jena (Olms, Hildesheim, 1962).
Frege, G.: 1918, ‘Der Gedanke. Eine logische Untersuchung’,Beiträge zur Philosophie des Deutschen Idealismus I (1918–19), pp. 36–51; collected in I. Angelelli (ed.),Frege, G.: Kleine Schriften, Georg Olms, Hildesheim, (1967), pp. 342–362.
Garola, C.: 1991, ‘Classical Foundations of Quantum Logic’,International Journal of Theoretical Physics 30, 1–52.
Garola, C.: 1992a, ‘Semantic Incompleteness of Quantum Physics’,International Journal of Theoretical Physics 31, 809–824.
Garola, C.: 1992b, ‘Quantum Logics Seen as Quantum Testability Theories’,International Journal of Theoretical Physics 31, 1639–1652.
Garola, C.: 1992c, ‘Truth versus Testability in Quantum Logic’,Erkenntnis 37, 197–222.
Garola, C.: 1993, ‘Questioning Locality: an Operational Critique to Bell's Theorem’, collected in C. Garola and A. Rossi (eds.),The Foundations of Quantum Mechanics, Historical Analysis and Open Questions, Kluwer, Dordrecht (to appear).
Garola, C.: 1994, ‘Pragmatical versus Semantical Contextuality in Quantum Physics’,International Journal of Theoretical Physics (to appear).
Gödel, K.: 1933, ‘Eine Interpretation des Intuitionistischen Aussagenkalküls’,Ergebnisse eines Mathematischen Kolloquiums IV, 39–40.
Haack, S.: 1974,Deviant Logic, Cambridge University Press, Cambridge.
Haack, S.: 1978,Philosophy of Logics, Cambridge University Press, Cambridge.
Heyting, A.: 1934, ‘Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie’,Ergebnisse der Mathematik und ihrer Grenzgebiete 3, Berlin.
Heyting, A.: 1956,Intuitionism. An Introduction, North Holland, Amsterdam.
Hughes, G. E. and Cresswell, M. J.: 1968,An Introduction to Modal Logic, Methuen and Co. Ltd, London.
Kneale, W. C. and Kneale, M.: 1962,The Development of Logic, Clarendon Press, Oxford.
Kreisel, G.: 1965, ‘Mathematical Logic’, collected in T. L. Saaty (ed.),Lectures on Modern Mathematics III, Wiley and Sons, New York, pp. 95–195.
Loar, B.: 1987, ‘Truth Beyond All Verification’, collected in B. M. Taylor (ed.),Michael Dummett, Martinus Nijhoff Publishers, Dordrecht, pp. 81–115.
Martin-Löf, P.: 1984,Intuitionistic Type Theory, Bibliopolis, Naples.
McDowell, J.: 1981, ‘Anti-realism and the Epistemology of Understanding’, collected in H. Perrett and J. Bouveresse (eds.),Meaning and Understanding, De Gruyter, Berlin (1981), pp. 225–248.
McKinsey, J. C. C. and Tarski, A.: 1948, ‘Some Theorems about the Sentential Calculi of Lewis and Heyting’,Journal of Symbolic Logic 13, 1–15.
Mendelson, E.: 1964,Introduction to Mathematical Logic, D. Van Nostrand Company, Princeton.
Moriconi, E. and Napoli, E.: 1987, ‘Dimostrazione e Significato’,Lingua e Stile XXII 2, 153–178.
Morris, C.: 1963, ‘Pragmatism and Logical Empiricism’, collected in P. A. Schilpp (ed.),The Philosophy of Rudolph Carnap I, The Library of Living Philosophers Inc., Evanston, Illinois.
Peacocke, C.: 1981, ‘The Theory of Meaning in Analytical Philosophy’, collected in G. Floistad (ed.),Contemporary Philosophy I, Martinus Nijhoff Publishers, Dordrecht, pp. 35–56.
Popper, K.: 1969,Conjectures and Refutations, Routledge and Kegan Paul, London.
Prawitz, D.: 1977, ‘Meaning and Proof: on the Conflict between Classical and Intuitionistic Logic’,Theoria 43, 1–40.
Prawitz, D.: 1980, ‘Intuitionistic Logic: A Philosophical Challenge’, collected in G. H. Von Wright (ed.),Logic and Philosophy/Logique et Philosophie, Martinus Nijhoff Publishers, Dordrecht (1980), pp. 1–10.
Prawitz, D.: 1987, ‘Dummett on a Theory of Meaning and Its Impact on Logic’, collected in B. M. Taylor (ed.),Michael Dummett, Martinus Nijhoff Publishers, Dordrecht, pp. 117–165.
Putnam, H.: 1978,Meaning and the Moral Sciences, Routledge and Kegan Paul, London.
Putnam, H.: 1979, ‘Reference and Understanding’, collected in A. Margalit (ed.),Meaning and Use, Reidel, Dordrecht (1979), pp. 199–217.
Putnam, H.: 1980, ‘Referenza/Verita”,Enciclopedia Einaudi 11, 724–740.
Quine, W. V. O.: 1970,Philosophy of Logic, Prentice-Hall Inc., Englewood Cliffs, New Jersey.
Reichenbach, H.: 1947,Elements of Symbolic Logic, The Free Press, New York.
Rogers, R.: 1971,Mathematical Logic and Formalized Theories, North Holland, Amsterdam.
Russell, B.: 1940,An Inquiry into Meaning and Truth, Allen & Unwin, London.
Russell, B.: 1950, ‘Logical Positivism’,Revue lnternationale de Philosophie 4, 3–19; collected in Russell, B.,Logic and Knowledge, Allen & Unwin, London (1956), pp. 365–382.
Searle, J. R. and Vanderveken, D.: 1985,Foundation of Illocutionary Logic, Cambridge University Press, Cambridge.
Stenius, E.: 1969, ‘Mood and Language-Games’, collected in J. W. Davis, D. Hockney and W. K. Wilson (eds.),Philosophical Logic, Reidel, Dordrecht, pp. 251–271.
Strawson, P.: 1976–1977, ‘Scruton and Wright on Anti-Realism Etc.’,Proceedings of the Aristotelian Society 51, 15–21.
Taylor, B. M.: 1987, ‘Preface’, in B. M. Taylor (ed.),Michael Dummett, Martinus Nijhoff Publishers, Dordrecht, pp. IX-XII.
Tarski, A.: 1933, ‘Pojecie prawdy w jezykash nauk dedukcyjnych’,Acta Towarzystwei Naukowego i Literakiego Warszawskiego 34, V-116; English Translation, ‘The Concept of Truth in Formalized Languages’, collected in Tarski, A.,Logic, Semantics, Metamathematics, Blackwell, Oxford (1956), pp. 152–268.
Tarski, A.: 1944, ‘The Semantic Conception of Truth and the Foundations of Semantics’,Philosophy and Phenomenological Research,IV; collected in L. Linsky (ed.),Semantics and the Philosophy of Language, University of Illinois Press, Urbana (1952).
Van Dalen, D.: 1986,Intuitionistic Logic, collected in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic III, Reidel, Dordrecht, pp. 225–339.
Author information
Authors and Affiliations
Additional information
This paper is an enlarged and entirely revised version of the paper by Dalla Pozza (1991) worked out in the framework of C.N.R. project n. 89.02281.08, and published in Italian. The basic ideas in it have been propounded since 1986 by Dalla Pozza in a series of seminars given at the University of Lecce and in other Italian Universities. C. Garola collected the scattered parts of the work, helped in solving some conceptual difficulties and refining the formalism, yielded the proofs of some propositions (in particular, in Section 3) and provided physical examples (see in particular Remark 2.3.1).
Rights and permissions
About this article
Cite this article
Pozza, C.D., Garola, C. A pragmatic interpretation of intuitionistic propositional logic. Erkenntnis 43, 81–109 (1995). https://doi.org/10.1007/BF01131841
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01131841