Abstract
The concept ofsemantic interpretation is a source of chronic confusion: the introduction of a notion ofinterpretation can be the result of several quite different kinds of considerations.Interpretation can be understood in at least three ways: as a process of “dis-abstraction” of formulas, as technical tool for the sake of characterizing truth, or as a reconstruction of meaning-assignment. However essentially different these motifs are and however properly they must be kept apart, these can all be brought to one and the same notion of interpretation: to the notion of a compositional evaluation of expressions inducing a “possible” distribution of truth values among statements.
Similar content being viewed by others
References
Barwise, J. and Perry, J.: 1983,Situations and Attitudes, MIT Press, Cambridge (Mass.).
Cresswell, M. J.: 1973,Logic and Languages, Methuen, London.
Cresswell, M. J.: 1982, ‘The Autonomy of Semantics’, in S. Peters and E. Saarinen (eds.),Processes, Beliefs and Questions, Reidel, Dordrecht.
Davidson, D.: 1984,Inquiries into Truth and Interpretation, Clarendon Press, Oxford.
Etchemendy, J.: 1988, ‘Tarski on Truth and Logical Consequence’,Journal of Symbolic Logic 53, 51–79.
Etchemendy, J.: 1990,The Concept of Logical Consequence, Harvard University Press, Cambridge (Mass.).
Frege, G.: 1879,Begriffsschrift, Nebert, Halle.
Goodman, N.: 1960, ‘The Way the World is’,The Review of Metaphysics 14, 48–56.
Grice, P.: 1989,Studies in the Ways of Words, Harvard University Press, Cambridge (Mass.).
Janssen, T. M. V.: 1983,Foundations and Applications of Montague Grammar, dissertation, Mathematisch Centrum, Amsterdam.
Lewis, D.: 1972, ‘General Semantics’, in D. Davidson and G. Harman (eds.),Semantics of Natural Language, Reidel, Dordrecht.
Lukasiewicz, J. and Tarski, A.: 1930, ‘Untersuchungen über den Aussagenkalkül’,Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie 23, 30–50.
Quine, W. V. O.: 1960, ‘Variables Explained Away’,Proceedings of the American Philosophical Society 104, 343–347; reprinted in Quine:Selected Logic Papers, Random House, New York, 1966.
Quine, W. V. O.: 1963,From the Logical Point of View, Harper and Row, New York.
Quine, W. V. O.: 1969,Ontological Relativity and Other Essays, Columbia University Press, New York.
Peregrin, J.: 1992a, ‘The Role of Variables in Logical Formalization of Natural Language’,Proceedings of the Eight Amsterdam Colloquium, University of Amsterdam, pp. 463–481.
Peregrin, J.: 1992b, ‘Meaning, Truth and Models’,From the Logical Point of View 2/92, 67–75.
Robinson, A.: 1965,Introduction to Model Theory and to the Metamathematics of Algebra, North-Holland, Amsterdam.
Tarski, A.: 1936, ‘Über den Begriff der logischen Folgerung’,Actes du Congrés International de Philosophie Scientifique 7, 1–11.
Wittgenstein, L.: 1984,Bemerkungen über die Grundlagen der Mathematik (Werkausgabge Band 6), G. E. M. Anscombe, R. Rhees and G. H. von Wright (eds.), Suhrkamp, Frankfurt am Main.
Author information
Authors and Affiliations
Additional information
Work on this paper has been supported by the Alexander von Humboldt-Foundation and by the Research Support Scheme of the Central European University. The author thanks P. Sgall for stimulating discussions and P. Stekeler-Weithofer for valuable critical comments to earlier versions of the manuscript.
Rights and permissions
About this article
Cite this article
Peregrin, J. Interpreting formal logic. Erkenntnis 40, 5–20 (1994). https://doi.org/10.1007/BF01128713
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01128713