A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic

Abstract : In this paper we first show that Robin Smith's ecthetic system SE for Aristotle's assertoric syllogistic is not complete, despite what is claimed by Smith. SE is then not adequate to establish that ecthesis allows one to dispense with indirect or per impossibile deductions in Aristotle's assertoric logic. As an alternative to SE, we then present a stronger system EC which is adequate for this purpose. EC is a nonexplosive ecthetic system which is shown to be sound and complete with respect to all valid syllogistic arguments with a consistent set of premises.
Type de document :
Article dans une revue
Notre Dame Journal of Formal Logic, University of Notre Dame, 2017, 58 (3), pp.329--342. 〈10.1215/00294527-3882234〉
Liste complète des métadonnées

https://hal-univ-rennes1.archives-ouvertes.fr/hal-01586049
Contributeur : Laurent Jonchère <>
Soumis le : mardi 12 septembre 2017 - 13:57:57
Dernière modification le : mercredi 13 juin 2018 - 14:31:48

Identifiants

Collections

Citation

Pierre Joray. A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic. Notre Dame Journal of Formal Logic, University of Notre Dame, 2017, 58 (3), pp.329--342. 〈10.1215/00294527-3882234〉. 〈hal-01586049〉

Partager

Métriques

Consultations de la notice

75