In the Manner of Saccheri




I will apply a technique employed by Giovanni Girolamo Saccheri in Logica demonstrative  (1701) to concisely prove the invalidity of moods of the First Figure of the Theory of the Assertoric Syllogism without appealing to facts outside logic.

Author Biography

Frank Thomas Sautter, Universidade Federal de Santa Maria, BRASIL

Professor do Departamento de Filosofia da Universidade Federal de Santa Maria, UFSM


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: 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.