Esercitazioni di Logica

16) Si costruisca un sillogismo di IV figura in Fesapo e il rispettivo diagramma di Venn.FESAPONessun A è MTutti gli M sono B_______________Qualche B non è ACome si può vedere dal diagramma, la verità della conclusione NON discende necessariamentedalla verità delle premesse. Concludiamo che il sillogismo presentato non è valido.Questo accade perché sulle zone non oscurate non abbiamo informazioni: potrebbe esserciqualche individuo, ma potrebbe anche non esserci alcun individuo. Ciò si verifica poiché nellalogica moderna non si presuppone che ogni termine di classe designi un insieme non vuoto.La forma sillogistica presentata risulta, invece, valida nella logica aristotelica, in cui sipresuppone che ogni termine di classe designi un insieme non vuoto. Qualora infatti la partecomune a M e B fosse non vuota (si parla della zona non oscurata), essa conterrebbe almeno unelemento, e questo sarebbe per forza di cose esterno ad A. 11 Si veda al riguardo l’esercizio risolto 5.24 in A. Varzi, J. Nolt, D. Rohatyn, p. 148.