Esercitazioni di Logica

Questo accade perché sulle zone non oscurate non abbiamo informazioni: potrebbe esserciqualche individuo, ma potrebbe anche non esserci alcun individuo. Ciò si verifica perché 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 parte non oscurata), essa conterrebbe almeno unelemento, e questo elemento sarebbe per forza di cose comune anche ad A.3) Si costruisca un sillogismo di IV figura in Camenes e il rispettivo diagramma di Venn.CAMENESTutti gli A sono MNessun M è B_______________Nessun B è ACome si può vedere dal diagramma, la verità della conclusione discende necessariamente dallaverità delle premesse.