Scarica Sillogismi: schemi riassuntivi e più Schemi e mappe concettuali in PDF di Elementi di Informatica solo su Docsity! 1 SILLOGISMO Inferenza costituita da 2 premesse 1 conclusione Greco: insieme e calcolo: ragionamento concatenato teorizzato x la 1^ volta Aristotele 3 proposizioni unite dal 1 termine in comune (medio), che non compare nella conclusione, ma la consente. A seconda della sua posizione nelle 2 premesse... 4 diverse figure schèmata di sil • premessa maggiore che collega il termine maggiore a quello medio ◦ Tutti gli uomini U (medio) sono mortali M (maggiore = predicato nella conclusione) • premessa minore che collega il termine minore a quello medio ◦ Tutti gli ateniesi (A minore = soggetto delle conclusione) sono uomini U (medio) • conclusione che unisce i due termini, il minore e il maggiore ◦ Dunque tutti gli ateniesi A sono mortali M Sillogismo Ipotetico ragionamento Deduttivo si basa su un'ipotesi se allora • 1^ premessa -maggiore- è una proposizione ipotetica • 2^ premessa -minore- è una proposizione categorica ◦ se è affermativa dell'antecedente Modus PONENS ◦ se è negativa del conseguente Modus TOLLENS • la conclusione è una proposizione categorica 2 Riassunto se A allora B è A quindi B M. PONENDO PONENS se piove allora la strada è bagnata piove quindi strada è bagnata se A allora B non B quindi non A M. TOLLENDO TOLLENS se Bari è in Cina allora Bari è in Asia Bari non è in Asia quindi Bari non è in Cina o A o B è A quindi non B M. PONENDO TOLLENS o vado al mare o in monti al mare quindi non in montagna o A o B non B quindi A M. TOLLENDO PONENS o vado al mare o ai monti non ai monti quindi al mare A → B A → B A v B A ┐B A (o B) M. PONENDO TOLLENS quindi: B quindi ┐A quindi B (o A) ┐B (o ┐A) M. TOLLENDO PONENS quindi A (o B) M. PONENS M. TOLLENS Sill. DISGIUNTIVO A → B A → B B ┐A quindi: A quindi ┐B Fallacia dell'Affer Fallacia della Negaz CONSEGUENTE ANTECEDENTE 5 Se ci sono le stelle, è notte, non ci sono le stelle, quindi non è notte. Se Dario è genovese, allora è ligure; Dario è ligure, quindi è genovese (...e se spezzino?) Negando l'ANTECEDENTE si nega il CONSEGUENTE 6 Sillogismo DISGIUNTIVO o-o (disgiuntiva escl o incl) • 1^ premessa maggiore è una proposizione disgiuntiva di 2 enunciati categorici • la 2^ premessa minore contiene enunciato categorico che rompe la disgiunzione della premessa maggiore, se è ▪ e l'affermazione di 1 dei 2 disgiunti M. PONENDO TOLLENS ▪ e la negazione di 1 dei 2 disgiunti M. TOLLENDO PONENS o A o B è A quindi non B M. PONENDO TOLLENS o vado al mare o in monti al mare quindi non in montagna è B quindi non A in montag quindi non al mare o A o B non B quindi A M. TOLLENDO PONENS o vado al mare o ai monti non monti quindi al mare non A quindi B non monti quindi al mare
