Article PDF
Avoid common mistakes on your manuscript.
References
Anderson, A. R., Belnap, N. D. and Dunn, J. M. (1992)Entailment: The Logic of Relevance and Necessity, Vol. 2, Princeton, Princeton University Press.
Bochenski, J. (1956)Formale Logik, Freiburg, K. Albert. Translated and edited by I. Thomas,A History of Formal Logic, second edition, New York, Chelsea Publishing Company, 1970.
Bressan, A. (1972)A General Interpreted Modal Calculus, New Haven and London, Yale University Press.
Carnap, P. (1937)The Logical Syntax of Language, International library of psychology, philosophy and scientific method, New York, Harcourt, Brace. Translation ofLogische Syntax der Sprache by A. S. Smeaton (Countess von Zeppelin).
Church, A. (1956)Introduction to Mathematical Logic, Princeton, NJ, Princeton University Press.
Couturat, L. (1905) “Les définitions mathématiques,”L'Enseignement mathématique 7, 27–40.
Curry, H. (1963)Foundation of Mathematical Logic, New York, McGraw-Hill, Inc.
Frege, G. (1964)The Basic Laws of Arithmetic; Exposition of the System, Berkeley, University of California Press. Translated and edited, with an introduction, by M. Furth. The translation is of “the introductory portions of the first volume and an epilogue appended to the second.”
Gupta, A. (1980)The Logic of Common Nouns: An Investigation in Quantified Modal Logic, New Haven, Yale University Press.
Gupta, A. (1988/1989) “Remarks on Definitions and the Concept of Truth,”Proceedings of the Aristotelian Society 89, 227–246.
Gupta, A. and Belnap, N. (1992)The Revision Theory of Truth, Cambridge, MA, The MIT Press. In press.
Horty, J. (1993) “Frege on the Psychological Significance of Definitions,”Philosophical Studies 72, 223–263 (this issue).
Kneale, W. and Kneale, M. (1962)The Development of Logic, Oxford, The Clarendon Press. Reprinted from corrected sheets of the first edition, 1966.
Kneebone, G. T. (1963)Mathematical Logic and the Foundations of Mathematics, Princeton, NJ, New York, Toronto, London, D. van Nostrand Publishing Company.
Kripke, S. (1972) “Naming and Necessity.” In: D. Davidson and G. Harman (eds.),Semantics of Natural Language, pp. 253–355. Dordrecht, D. Reidel Publishing Company.
Leśniewski, S. (1931), “Über Definitionen in der sogenannten Theorie der Deduktion,”Comptes rendus des séances de la Société des Science et des Lettres de Varsovie, Classee III, 24, 289–309.
Leśniewski, S. (1981)Collected Works. S. J. Surma, J. T. J. Srzednicki, and D. I. Barnett (eds.), Synthese library, vol. 118, Boston, D. Reidel Publishing Company.
Luschei, E. C. (1962)The Logical Systems of Leśniewski, Amsterdam, North-Holland Publishing Company.
Marciszewski, W. (1981) “Definition.” In: Marciszewski, W. (ed.),Dictionary of Logic, pp. 89–96. The Hague, Martinus Nijhoff.
Marcus, R. B. (1961) “Modalities and Intensional Languages,”Synthese 13, 303–322.
Robinson, R. (1950)Definition, Oxford, The Clarendon Press.
Runes, D. D. (1962)Dictionary of Philosophy, Totowa, NJ, Littlefield, Adams.
Suppes, P. (1957)Introduction to Logic, Princeton NJ, New York, Toronto, London, D. van Nostrand Publishing Company.
Tarski, A. (1935) “Der Wahrheitsbegriff in den formalisierten Sprachen,”Studia Philosophica 1, 261–405. German translation of a book in Polish, 1933. English translation by J. H. Woodger, “The Concept of Truth in Formalized Language,” inLogic, Semantics, Metamathetics, papers from 1923 to 1938 by A. Tarski, Oxford, Oxford University Press, 1956, pp. 152–278.
Tarski, A. (1941)Introduction to Logic and to the Methodology of Deductive Sciences. Englarged and revised edition, New York, Oxford University Press. Translated by Olaf Helmer from a work that appeared in Polish in 1936 and the in German translation in 1937.
Tarski, A. (1944) “The Semantic Conception of Truth,”Philosophy and Phenomenological Research 4, 341–375.
Tarski, A. (1956)Logic, Semantics, Metamathematics, London and Oxford, The Clarendon Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Belnap, N. On rigorous definitions. Philos Stud 72, 115–146 (1993). https://doi.org/10.1007/BF00989671
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00989671