The principle of wholistic reference
Palavras-chave:Chateaubriand, Sentença, Proposição, Rótulo, Indicador, Linguagem logicamente perfeita, Universo de discurso
In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself.
Anderson, C. Alonzo Church’s Contribution to Philosophy and Intensional Logic. Bulletin of Symbolic Logic, 4, pp. 129-171, 1998.
Audi, R. (ed.). Cambridge Dictionary of Philosophy. Cambridge: Cambridge University Press, 1999.
Blackburn, S. Oxford Dictionary of Philosophy. Oxford: Oxford University Press, 1996.
Boole, G. The Mathematical Analysis of Logic. Cambridge: Macmillan, 1847.
Boole, G. The Calculus of Logic. Cambridge and Dublin Mathematical Journal, 3, pp. 183- 198, 1848. Repr. in Rhees 1952, pp. 125-140.
Boole, G. Laws of Thought. Cambridge: Macmillan, 1854. Repr. With introduction by J. Corcoran. Buffalo: Prometheus Books, 2003.
Boolos, G., Burgess, J., Jeffrey, R. Computability and Logic. Cambridge: Cambridge University Press, 2002.
Chateaubriand, O. Logical Forms. Part I. Truth and Description. Campinas: Centro de Lógica, Epistemologia e História da Ciência/UNICAMP, 2001. (Coleção CLE, v. 34)
Cohen, M., Nagel, E. Introduction to Logic. Indianapolis: Hackett, 1993.
Copi, I.M., Gould, J.A. Contemporary Readings in Logical Theory. New York: Macmillan, 1967.
Corcoran, J. Introduction. In: Boole, 1854/2003; 2003a.
Corcoran, J. Aristotle’s Prior Analytics and Boole’s Laws of Thought. History and Philosophy of Logic, 24, pp. 261-288, 2003b.
Corcoran, J., Wood, S. Boole’s Criteria of Validity and Invalidity. Notre Dame Journal of Formal Logic, 21, pp. 609-639, 1980. Repr. in J. Gasser, 2000.
De Morgan, A. Formal Logic. London: Open Court, 1847/1926.
Gasser, J. A Boole Anthology: Recent and Classical Studies in the Logic of George Boole. Dordrecht: Kluwer, 2000.
Kanamori, A. The Empty Set, the Singleton, and the Ordered Pair. Bulletin of Symbolic Logic, 9, pp. 273-298, 2003.
Lewis, C.I., Langford, C.H. Symbolic Logic. New York: Century, 1932. Reprinted New York: Dover, 1959.
Quine, W. Philosophy of Logic. Cambridge, Mass.: Harvard University Press, 1970/1986.
Russell, B. The Principles of Mathematics. Cambridge: Cambridge University Press, 1903.
Sagüillo, J. Domains of Sciences, Universe of Discourse, and Omega Arguments. History and Philosophy of Logic, 20, pp. 267-280, 1999.
Wood, S. George Boole’s Theory of Propositional Forms. Ph.D. Dissertation, University of Buffalo, 1976.
Copyright (c) 2007 Manuscrito: Revista Internacional de Filosofia
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.