Resumen
The expressions ‘form’, ‘structure’, ‘schema’, ‘shape’, ‘pattern’, ‘figure’, ‘mold’, and related locutions are used in logic both as technical terms and in metaphors. This paper juxtaposes, distinguishes, and analyses uses of these expressions by logicians. No such project has been attempted previously. After establishing general terminology, we present a variant of traditional usage of the expression ‘logical form’ followed by a discussion of the usage found in the twovolume Chateaubriand book Logical Forms (2001 and 2005)—the most comprehensive work on the subject ever written and in many ways the focus of this paper.
Resumo:
As expressões ‘forma’, ‘estrutura’, ‘esquema’, ‘formato’, ‘modelo’, ‘figura’, ‘molde’, e termos relacionados são usados em lógica tanto como termos técnicos quanto como em metáforas. O presente artigo justapõe, diferencia e analisa o uso destas expressões por lógicos. Nunca se tentou levar a cabo um tal projeto antes. Após estabelecer uma terminologia geral, apresentamos uma variante do uso tradicional da expressão ‘forma lógica’, seguida de uma discussão do uso encontrado nos dois volumes do livro Logical Forms (2001 e 2005) de Chateaubriand - o trabalho mais abrangente já escrito sobre o assunto e, em larga medida, o foco deste artigo.
Palavras chave: Morfologia. Caráter. Sentido. Sentença. Proposição. Forma. Estrutura. Esquema. Constituinte alternativo. Tipo. Token.
Citas
AUDI, R., Ed. The Cambridge Dictionary of Philosophy. Cambridge: Cambridge University Press, 1995. Second edition, 1999.
BOCHENSKI, I., CHURCH, A., GOODMAN, N. The Problem of Universals. Notre Dame, IN: Notre Dame University Press, 1956.
BOGER, G. “Aristotle’s Underlying Logic”. In: D. Gabbay and J. Woods (eds.). Handbook of the History of Logic. Amsterdam: Elsevier, 2004. Reviewed by Klaus Glashof. The Bulletin of Symbolic Logic, 10, pp. 579-583, 2004.
CARNAP, R. The Logical Syntax of Language. Transl. A. Smeaton. London: Routledge& Kegan Paul, 1937.
CARNAP, R. Introduction to Symbolic Logic and its Applications. Transl. W. Meyer and J. Wilkinson. New York: Dover, 1958.
CHATEAUBRIAND, O. Logical Forms. Part I: Truth and Descriptions. Campinas: Unicamp, Centro de Lógica, Epistemologia e História da Ciência, 2001. (Coleção CLE, v. 34) ________. “Reply to Frank Sautter”. Manuscrito, 27, pp. 105-114, 2004.
CHATEAUBRIAND, O. Logical Forms. Part II: Logic, Language, and Knowledge. Campinas: Unicamp, Centro de Lógica, Epistemologia e História da Ciência, 2005. (Coleção CLE, v. 42) CHURCH, A. Introduction to Mathematical Logic. Princeton: Princeton University Press, 1956.
CHATEAUBRIAND, O. “Propositions and Sentences”. Bochenski et al.1956. Notre Dame, IN: Notre Dame University Press, 1956(2).
COHEN, M., NAGEL, E. An Introduction to Logic, second edition, revised with an introduction by J. Corcoran. Indianapolis: Hackett Publishing Company, 1993. First edition published by Harcourt, Brace, & World, Inc., New York, 1962). Originally published as Book I of An Introduction to Logic and Scientific Method, Harcourt, Brace, and Company, New York (1934).
CORCORAN, J. “Review of W. Quine 1970, Philosophy of Logic”. Philosophy of Science, 39, pp. 97-99, 1972.
CORCORAN, J. “Aristotle’s Natural Deduction System”. In: J. Corcoran (ed.), (1974), pp. 85-132.
CORCORAN, J. (ed.). Ancient Logic and Its Modern Interpretations. Dordrecht: Reidel/Kluwer, 1974.
CORCORAN, J. “Categoricity”. History and Philosophy of Logic, 1, pp. 187- 207, 1980.
CORCORAN, J. “Argumentations and Logic”. Argumentation, 3, pp. 17- 43, 1989.
CORCORAN, J. “Argumentaciones y lógica”. Transl. by R. Fernandez and J. Sagüillo of revised and expanded version of Corcoran1989. Ágora, 13(1), pp. 27-55, 1994.
CORCORAN, J. “The Logical Form of Quantifier Phrases: quantifiersortal-variable”. Bulletin of Symbolic Logic, 5, pp. 418-419, 1999.
CORCORAN, J. “What Are Logical Relations?” Bulletin of Symbolic Logic, 7, pp. 105-106, 2001.
CORCORAN, J. “Schema”. Stanford Encyclopedia of Philosophy. 28 May 2004.
CORCORAN, J. “Schemata: the Concept of Schema in the History of Logic”. Bulletin of Symbolic Logic, 12, pp. 219-240, 2006.
CORCORAN, J. “Aristotle’s Many-sorted Logic”. Bulletin of Symbolic Logic, 14, pp. 155-6, 2008.
EATON, R. General Logic. New York: Charles Scribner’s Sons, 1931.
FEFERMAN, S. “Mathematics, Foundations of”. Encyclopedia Britannica. Chicago: University of Chicago Press, 1980.
FEFERMAN, S. (ed.). Kurt Gödel: Collected Works, Vol. 1. New York/ Oxford: Oxford University Press, 1986.
GÖDEL, K. “On Formally Undecidable Propositions of Principia Mathematicia and Related Systems I”, 1931. In: S. Feferman (ed.), (1986), pp. 144-195.
KALISH, D. “Logical Form”. Mind, New Series, 61, pp. 57-71, 1952.
KLEENE, S. Mathematical Logic. New York: Wiley, 1967.
KNEALE, W., KNEALE, M. Development of Logic. Oxford: Oxford University Press, 1962. Revised 1988.
LANDINI, G. “Review of Chateaubriand 2001 & 2005”. History and Philosophy of Logic, 29, pp. 88-94, 2008.
MENDELSON, E. Introduction to Mathematical Logic. 1st ed. 1964. 4th ed. New York: Chapman & Hall, 1997.
QUINE, W. Philosophy of Logic. Cambridge, Mass.: Harvard University Press, 1970. Revised 1986.
RUSSELL, B. Principles of Mathematics. London: George Allen and Unwin, 1903.
RUSSELL, B. “On Denoting”. Mind, n. s. 14, pp. 479-493, 1905. Reprinted in Copi and Gould (eds.) (1967), pp. 93-104.
RUSSELL, B. Introduction to Mathematical Philosophy. London: George Allen and Unwin, 1919.
RUSSELL, B. Our Knowledge of the External World. London: George Allen and Unwin, 1914. Reprinted 1926.
RUSSELL, B. Logic and Knowledge: Essays 1901-1950. Edited by R. Marsh. London: George Allen and Unwin, 1956.
RUSSELL, B. The Autobiography of Bertrand Russell 1872-1967. Boston: Little Brown, 1967.
TARSKI, A. Introduction to Logic and to the Methodology of Deductive Sciences. Transl. and edited with preface and biographical sketch of the author by J. Tarski. New York: Oxford University Press, 1994. Original transl. 1941.
TARSKI, A. Logic, Semantics, Metamathematics. Revised edition with new introduction by J. Corcoran. Indianapolis: Hackett Publishing Company, 1983. Originally published Oxford: Oxford University Press, 1956.
TARSKI, A. “What are Logical Notions?”. History and Philosophy of Logic, 7, pp. 143-154, 1986. (Edited and introduced by J. Corcoran) WHITEHEAD, A. N. Introduction to Mathematics. Oxford: Oxford University Press, 1911. Repritend 1948.
WHITEHEAD, A., RUSSELL, B. Principia Mathematica. Cambridge: Cambridge University Press, 1910.
WHITELEY, C. H. “The Idea of Logical Form”. Mind, New Series, 60, pp. 539-541, 1951.