Pons Asinorum para a Lógica Proposicional Clássica

Frank Thomas Sautter

doi:10.5007/1808-1711.2023.e83312

Authors

Frank Thomas Sautter Universidade Federal de Santa Maria (UFSM) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

DOI:

https://doi.org/10.5007/1808-1711.2023.e83312

Keywords:

Classical Propositional Logic, Lógica inventiva, Inventio medii, Semantic information

Abstract

Contemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum). In this paper I propose a procedure for the construction of arguments for a given conclusion, in the context of Classical Propositional Logic, abstracted from Aristotle's procedure. I use the notion of semantic information as Ariadne's thread to obtain the procedure.

Author Biography

Frank Thomas Sautter, Universidade Federal de Santa Maria (UFSM) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Professor Associado do Departamento de Filosofia da UFSM

Bolsista de Produtividade em Pesquisa do CNPq

References

Angelelli, I. 1970. The Techniques of Disputation in the History of Logic. The Journal of Philosophy, 67(20): 800-815.

Aristóteles. 1986. Organon III. Analíticos Anteriores. Tradução e notas de P. Gomes. Lisboa: Guimarães Editores.

Bochenski, I.M. 1961. A History of Formal Logic. Indiana: University of Notre Dame Press.

Carroll, L. 1977. Symbolic Logic. Editado, com anotações e uma introdução por W. W. Bartley, III. New York: Clarkson N. Potter.

Castro-Manzano, J. M. & Medina-Delgadillo, J. 2019. Pons asinorum: una versión terminística. In: J. M. Ángeles De León et al. (eds.) La edad media desde América Latina: aportes a la tradición: XVII Congresso Latinoamericano de Filosofía Medieval: actas. p.163-179. Ciudad Autónoma de Buenos Aires: Celina Ana Lertora.

Castro-Manzano, J. M. & Medina-Delgadillo, J. 2020-2021. El pons scholasticorum. Revista de Filosofía Diánoia, 65(85): 55-72. https://doi.org/10.22201/iifs.18704913e.2020.85.1655. Acesso: 10.03.2023.

Craig, W. 1957. Three uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. Journal of Symbolic Logic, 22: 269-285.

Garrido, M. 1983. Lógica simbólica. 6ª. reimpresión revisada. Madrid: Editorial Tecnos.

Gómez Álvarez, J. E. 2019. Puente de los asnos: una propuesta de aplicación para la enseñanza. Andamios, 16(41): 87-101.

Hamblin, C. L. 1976. An Improved Pons Asinorum. Journal of the History of Philosophy, 14(2): 131-136. https://doi.org/10.1353/hph.2008.0365. Acesso: 10.03.2023.

Hintikka, J. & Bachman, J. 1991. What If…? Toward Excellence in Reasoning. Mountain View: Mayfield.

Hintikka, J. & Halonen, I. 1999. Interpolation as Explanation. Philosophy of Science, 66: S414-S423.

Kneale, W. & Kneale, M. 1991. O Desenvolvimento da Lógica. Tradução de M. S. Lourenço. 3a. edição. Lisboa: Fundação Calouste Gulbenkian.

Matthews, G. B. 2007. Santo Agostinho: a vida e as idéias de um filósofo adiante de seu tempo.Rio de Janeiro: Jorge Zahar Editor.

Peirce, C. S. 1890. The ‘Pons Asinorum’ Again: Mr. Peirce sets forth the History of the Phrase from the Times of Duns Scotus’s Followers. New York Daily Tribune. Tuesday, 6 January 1890, p. 14, c. 5.

Thomas, I. 1965. The Later History of the Pons Asinorum. In: A.-T. & C. Parsons (eds.) Contributions to Logic and Methodology in Honor of J.M. Bochenski. p.142-150. Amsterdam: North-Holland.