Excursus 3: Problemi di logica Formale nel De Quantitate Animae - Balido, Giuseppe ("De moribus ecclesiae catholicae et de moribus Manichaeorum", "De quantitate animae" di Agostino d'Ippona, 1990)