LUW October 18 / A Study of the Metatheory of Assertoric Syllogistic

[jean-yves beziau]

Speaker: Maristela Rocha

Title: A Study of the Metatheory of Assertoric Syllogistic

Abstract: We show how a semantics based on Aristotle’s texts and ecthetic proofs can be reconstructed. All truth conditions are given by means of set inclusion. Perfect syllogisms reveal to be valid arguments that deserve a validity proof. It turns out of these proofs that transitivity of set inclusion is the necessary and sufficient condition for the validity and perfection of a syllogism. The proofs of validity for imperfect syllogisms are direct proofs without conversion in a calculus of natural deduction. Transitivity of set inclusion turns out to be a necessary condition for the validity of imperfect syllogisms. As a consequence, it can be established what the main metalogical difference between a perfect and an imperfect syllogism is. The validity of the laws of conversion is also obtained by direct proofs. Finally, it is shown that and explained why some imperfect syllogisms satisfy the definition of a perfect syllogism.

https://link.springer.com/article/10.1007/s11787-023-00331-1

Associate Organization:

Salzburg Logic Group

presented by Paul Weingartner

Everybody is welcome, register here:

https://cassyni.com/events/J7zLqCj8jjDFFXD8TEe1WM

Jean-Yves Beziau

Editor-in-Chief LU and organizer of LUW