A lógica de classes de Boole e a Lei Index

Autores/as

DOI:

https://doi.org/10.51359/2357-9986.2020.248895

Palabras clave:

Boole, Lei Index, lógica de classes, axiomas, método de solução de equações

Resumen

No presente artigo, discutirei a afirmação de Boole segundo a qual lógica não deve ser associada à metafísica. A visão de Boole depende de uma interpre-tação particular da Lei Index como uma lei algébrica, da qual o princípio de contradição é derivado. Mostrarei que a visão de Boole é equivocada, uma vez que temos que rejeitar a interpretação algébrica da Lei Index. Além dis-so, apresentarei o sistema da lógica de classes de Boole, mostrando as vanta-gens e desvantagens de seu sistema. Apresentarei como derivar Barbara e Celarent a partir dos axiomas e discuto que o método de solução de equações não pode ser considerado um método de dedução.

Biografía del autor/a

Alessandro Bandeira Duarte, Universidade Federal Rural do Rio de Janeiro

Professor do departamento de filosofia da UFRRJ

Citas

ARISTÓTELES. The Works of Aristotle vol. I. Publicado por William Ben-ton. Chicago: Encyclopaedia Britannica, 1952.

BOOLE, G. George Boole: Selected Manuscript on Logic and its Philosophy.Editado por Ivor Grattan-Guinness e Gérad Bornet. Berlin: Birhäuser Verlag,1997.

BOOLE, G. The Mathematical Analysis of Logic. England: Thoemmes Press,1998.

BOOLE, G. The Laws of Thought. New York: Prometheus Books, 2003.

CHATEAUBRIAND, O. Boole on Reference and Universe of Discourse: Re-ply to John Corcoran. IN: SILVA, J. J. da (Ed.). Logic, Truth and Description:Essays on Chateaubriand’s Logical Forms. Campinas, São Paulo: Manuscrito,2004. p. 173–182.

CORCORAN, J. Boole’s Criteria for Validity and Invalidity. Notre DameJournal of Formal Logic, v. 21, n. 4, p. 609–638, 1980.

CORCORAN, J. Aristotle’s Prior Analytics and Boole’s Laws of Thought.History and Philosophy of Logic, v. 24, p. 261–288, 2003.

CORCORAN, J. The Principle of Wholistic Reference. IN: SILVA, J. J. da(Ed.). Logic, Truth and Description: Essays on Chateaubriand’s LogicalForms. Campinas, São Paulo: Manuscrito, 2004. p. 159–172.

DUMMETT, M. George Boole. IN: DUMMETT, M. (Ed.). Truth and OtherEnigmas. London: Duckworth, 1978. p. 66–73.

HEIJENOORT, J. van (Ed.). From Frege to Gödel. Cambridge: Harvard Uni-versity Press, 1981.

LEWIS, C. I.; LANGFORD, C. H. Symbolic Logic. New York: Dover Publi-cations, 1959.

PEIRCE, C. S. On the algebra of logic. IN: KLOESEL, C. J. W. et. all (eds.)Writings of Charles S. Peirce: a chronological edition, v. 4. Bloomington e In-dianapolis: Indiana University Press, 1989, p. 163-209.

QUINE, W. van O. Mathematical Logic. New York: Harper and How, 1940.

Publicado

2020-11-27

Número

Sección

Número Especial sobre Filosofia da Lógica