Ao modo de Saccheri

Autores

DOI:

https://doi.org/10.5007/1808-1711.2019v23n2p145

Resumo

Aplicarei uma técnica utilizada por Giovanni Girolamo Saccheri em Logica demonstrativa (1701) para concisamente provar a invalidade de modos da Primeira Figura da Teoria do Silogismo Assertórico sem recurso a fatos extralógicos.

Biografia do Autor

Frank Thomas Sautter, Universidade Federal de Santa Maria (UFSM)

Professor Titular do Departamento de Filosofia da UFSM

Referências

CHELLAS, B. F. Modal logic: an introduction. Cambridge: Cambridge University Press, 1980.

GARRIDO, M. Lógica Simbólica. 6ª. Reimpresión revisada. Madrid: Tecnos, 1983.

HALSTED, G. B. Girolamo Saccheri’s Euclides Vindicatus. Second edition. New York: Chelsea, 1986.

MOSTOWSKI, A. “On the rules of proof in the pure functional calculus of the first order”. The Journal of Symbolic Logic 16 (1951): 107-111.

PRIOR, A. N. Independence-proofs without models. Editado por Adriane Rini, Max Cresswell e Peter Ohrstrom. Disponível em: https://research.prior.aau.dk/nachlass/. Acesso em: 21/02/2019.

SMITH, R. Aristotle Prior Analytics. Indianapolis/Cambridge: Hackett, 1989.

STRIKER, G. Aristotle Prior Analytics Book 1. Oxford: Oxford University Press, 2009.

WEIDEMANN, H. “Aristotle on the reducibility of all valid syllogistic moods to the two universal moods of the first figure (APr A7, 29b1-25)”. History and Philosophy of Logic 25, 1 (2004):73-78.

Downloads

Publicado

2019-08-16

Edição

v. 23 n. 2 (2019)

Seção

Artigos

Licença

Licença Creative Commons

A obra Principia de http://www.periodicos.ufsc.br/index.php/principia/index foi licenciada com uma Licença Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional.

Com base na obra disponível em www.periodicos.ufsc.br.