WHOLISTIC REFERENCE, TRUTH-VALUES, UNIVERSES OF DISCOURSE, AND FORMAL ONTOLOGY: TRÉPLICA TO OSWALDO CHATEAUBRIAND
Palavras-chave:Boole. Chateaubriand. Church. Frege. Gödel. Tarski. Wholistic. Refers. Denotes. Sentence. Proposition. Truth-value. Universe of discourse. Ontology. Epistemology.
ResumoIn its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as “5 + 7 = 12”, refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, and its relevance to some of Oswaldo Chateaubriand’s work are discussed in my 2004 paper “The Principle of Wholistic Reference” in Essays on Chateaubriand’s “Logical Forms”. In Chateaubriand’s réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truthvalues, universes of discourse, and formal ontology. This paper is selfcontained: it is not necessary to have read the above-mentioned works.
AUDI, R. (Ed.). Cambridge Dictionary of Philosophy. Cambridge: Cambridge University Press, 1999.
BOCHENSKI, I., CHURCH, A., GOODMAN, N. The Problem of Universals. Notre Dame, IN: Notre Dame UP, 1956.
BOOLE, G. The Mathematical Analysis of Logic. Cambridge: Macmillan,
———. “The Calculus of Logic”. Cambridge and Dublin Mathematical Journal, 3, pp. 183-198, 1848.
———. Laws of Thought. Cambridge: Macmillan, 1854. With introduction
by J. Corcoran. Buffalo: Prometheus Books, 2003.
BUNGE, M. , Ed. Methodological Unity of Science. Dordrecht: Reidel
Publishing Co., 1973.
CHATEAUBRIAND, O. Logical Forms, Part I: Truth and Description. ampinas: CLE Unicamp, 2001. (Coleção CLE, v. 34.)
———. “Boole on Reference and Universes of Discourse: Reply to John Corcoran” Manuscrito, v. 27, n. 1, p. 173-182, jan.-jun. 2004.
CHURCH, A. Introduction to Mathematical Logic. Princeton: Princeton UP,
———. “Propositions and Sentences”. In: Bochenski et al. 1956, 1956b.
———. “A Theory of the Meaning of Names”. In: Sinisi and Wolenski 1995.
CORCORAN, J. “Gaps between logical theory and mathematical practice”. In: Bunge 1973.
———. “Introduction”. In: Boole 1854/2003.
———. “Aristotle’s Prior Analytics and Boole’s Laws of Thought”. History
and Philosophy of Logic, 24, pp. 261-288, 2003b.
———.“The Principle of Wholistic Reference”. Manuscrito, v. 27, n. 1, p.
-172, jan.-jun. 2004.
DA SILVA, J. (ed.). Logic, Truth and Description: Essays on Chateaubriand’s Logical Forms. Special issue of Manuscrito, v. 27, n. 1, jan.-jun. 2004.
———. “Husserl’s Conception of Logic”. Manuscrito, v. 22, n. 2, p. 367-
, oct. 1999.
DE MORGAN, A. Formal Logic. London: Open Court, 1847/1926.
———. On the Syllogism I. Transactions of the Cambridge Philosophical
Society v. 8, p.379-408, 1846. Reprinted De Morgan 1966.
———. On the Syllogism and Other Logical Writings. Ed. P. Heath. London: Routledge and Kegan Paul, 1966.
DUMMETT, M. Frege: Philosophy of Language. New York: Harper and
FREGE, G. “On concept and object.” Tr. P. Geach. In: Geach-Black
———. “On sense and reference.” Tr. M. Black. In: Geach-Black 1952,
GEACH, P., BLACK, M. Trs. and Eds. Translations from the Philosophical
Writings of Gottlob Frege. Oxford: Basil Blackwell, 1952/1966.
GÖDEL, K. “Russell’s Mathematical Logic”. In: Schilpp 1944. Reprinted
in Gödel 1990.
———. Collected Works, Vol. II: Publications 1938-1974. Eds. S. Feferman, J. Dawson, S. Kleene et al. Oxford: Oxford UP, 1990.
HUGHES, R., Ed. Philosophical Companion to First-order Logic. Indianapolis: Hackett, 1993.
KNEALE, W., KNEALE, M. Development of Logic. Oxford: Oxford UP, 1962/1988.
LEWIS, C. Collected Papers of Clarence Irving Lewis. Eds. J. Goheen and J. Mothershead, Jr. Stanford: Stanford UP, 1970.
MENDELSON, E. Introduction to Mathematical Logic. Third edition. Monterey, CA: Wadsworth, 1987.
MOORE, G. E. Philosophical Studies. Paterson, NJ: Littlefield, Adams, 1922/1948.
PEREIRA, L.C., WRIGLEY, M.B. (eds.). Logic, Language and Knowledge:
Essays in Honour of Oswaldo Chateaubriand. Special issue of Manuscrito, v. 22, n. 2, p. 1-573, oct. 1999.
QUINE, W. Methods of Logic. New York: Holt, Rinehart and Winston, 1950.
———. Philosophy of Logic. Cambridge, MA: Harvard UP, 1986.
RUSSELL, B. Principles of Mathematics. London: George Allen and Unwin, 1903.
SAGÜILLO, J. “Domains of Sciences, Universe of Discourse, and Omega Arguments”. History and Philosophy of Logic, 20, pp. 267-280, 1999.
SCANLAN, M. “Who are the American Postulate Theorists”, The Journal of Symbolic Logic, 56: 981-1002, 1991.
SCHILPP, P., Ed. The Philosophy of Bertrand Russell. Evanston and Chicago: Northwestern UP, 1944.
SHAPIRO, S. Ed. The Limits of Logic. Aldershot, UK: Dartmouth, 1996.
SINISI, V., WOLENSKI, J., Eds. The Heritage of Kazimier Ajdukiewicz.
Atlanta: Rodofi, 1995.
TARSKI, A. Introduction to Logic and to the Methodology of Deductive Sciences. Trans., ed. with preface and biographical sketch of the author by his son J. Tarski. New York: Oxford UP, 1941/1994.
———. Logic, Semantics, Metamathematics. Tr. J. H. Woodger. Ed. with
Introduction and Analytical Index by J. Corcoran. Indianapolis: Hackett, 1956/1983.
———. “What are Logical Notions?”. Ed. with an Introduction by J. Corcoran. History and Philosophy of Logic 7:143-154, 1986. Reprinted
in Shapiro 1996.
TARSKI, A., GIVANT, S. A Formalization of Set Theory Without Variables.
Providence: American Mathematical Society, 1987.
WHITEHEAD, A., RUSSELL, B. Principia Mathematica. Vol. I. Cambridge:
Cambridge University Press, 1910.