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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCqBM2-3WesrN-fr0i-viJp91th0c7bwH7RQNkwzTP0Ug%40mail.gmail.com.
