ASPECTOS DA LÓGICA DE LEONHARD EULER
DOI:
https://doi.org/10.26694/pensando.v6i12.3182Keywords:
História da Lógica, Leonhard Euler, Diagramas de Euler, Diagramas de VennAbstract
Investigamos a lógica de Leonhard Euler com ênfase no papel dos “diagramas de Euler”. Concluímos que os referidos diagramas constituem um instrumento intuitivo, embora não sistemático, para determinar validade na silogística tradicional, isto é, a silogística munida de implicações conversacionais (importância existencial). Nisto, contrastam-se com os diagramas de Venn que constituem um instrumento sistemático, porém menos intuitivo, para determinar validade numa silogística mais voltada para os fundamentos da matemática moderna.
References
BOCHENSKI, I. M. A History of Formal Logic. Tradução de Ivo Thomas. New York: Chelsea, 1970. [Originalmente Formale Logik. Freiburg: Verlag K. Alber, 1956.]
BOOLE, George. Uma Investigação das Leis do Pensamento. Tradução de Giselle Costa de Sousa e John A. Fossa. Natal: EDUFRN, 2011. [Originalmente An Investigation of Laws of Thought. London: Walton and Maberley, 1854.]
CARROLL, Lewis. Symbolic Logic. London: Macmillian, 1896.
EULER, Leonhard. Tradução de Sarah Mara Silva Leôncio, John A. Fossa e Fabricio Possebon. Sobre Números Amigáveis. Natal: EDUFRN, no prelo. [Originalmente De numeris amicabilius. Em Nova acta eruditorum (1747); Opuscula varii argumenti (1750); Commentationes arithmeticae (1849).]
______. Lettres à une Princesse d’Allemagne sur divers sujets de physique et de philosophie. Tome Second. Mietau et Leipsic: Steidel et Compagnie, 1770. [Originalmente São Petersburgo: Academia Imperial das Ciências, 1768.]
FELLMANN, Emil A. Leonhard Euler. Basel: Birkhäuser, 2007.
GARDNER, Martin. Logic Machines, Diagrams and Boolean Algebra. New York: Dover, 1968.
VENN, John. Symbolic Logic. London: Macmillian, 1881.
