Logica classica: differenze tra le versioni

*L'[[Organon]] di [[Aristotele]] presenta la teoria dei [[sillogismo|sillogismi]], che è una logica con una ristretta schiera di proposizioni: le asserzioni prendono una delle quattro forme, ''Tutte le P sono Q'', ''Qualche P è una Q'', ''Nessuna P è Q'', e ''Qualche P non è Q''. Queste proposizioni sono composte da coppie di operatori duali, e ogni operatore è la negazione di un altro, relazioni che Aristotele ha classificato con la sua ''tabula''. Per giustificare il suo sistema Aristotele ha enunciato esplicitamente il principio del terzo escluso e la legge di non contraddizione, nonostante queste leggi non possano essere espresse all'interno del formalismo sillogistico.
Secondo il principio del terzo escluso seper Aogni è uguale a B e B è uguale adcosa A quest'ultima è uguale ad A e B, ma non può essere ugualeo aB C. Per il principio dio non contraddizione l'uguaglianza tra A e B, senessun dataaltro perstato ipotesidi nonverità puòè essere contraddetta con la disuguaglianza tra A e Bpossibile.

*La formulazione algebrica della logica di [[George Boole]] ed il suo sistema di [[logica booleana]]; Nella quale si assegna ad ogni proposizione un valore numerico, 1 per codificare la verità, 0 per codificare la falsità.