Sillogismo: differenze tra le versioni

{{C|Manca una definizione di sillogismo ''categorico'' (di cui, di fatto, tratta gran parte della voce), servirebbe un controesempio di altro sillogismo, e va chiarito quali parti e informazioni della voce sono relative al sillogismo categorico e quali al sillogismo in generale|filosofia|marzo 2014}}

[[File:Schema Sillogismo.png|thumb|Schema tipico di un sillogismo: se M è A e B è M, allora B sarà anche A. Facendo un esempio concreto si ponga che M è l'insieme dei dolci, B quello delle torte e A quello degli alimenti: tutti i dolci sono alimenti e tutte le torte sono dolci per cui ne consegue che tutte le torte sono alimenti.]]

 

La filosofia scolastica ha formalizzato che se almeno una delle due premesse è falsa, la proposizione conseguente è falsa. Se le premesse sono entrambe vere, invece, la conclusione non può essere falsa. Come mostrano i paradossi logici, che restano il principale limite di una [[logica formale]], ovvero di una logica che prescinde dal contenuto dei singoli soggetti e predicati inseriti al posto delle lettere, se almeno una delle premesse è falsa, la conclusione può essere vera, perché da una falsità può seguire qualsiasi cosa - e dunque anche la verità. Pertanto, il sillogismo è uno strumento necessario, ma di per sé non sufficiente per arrivare alla verità.