Tre principi della logica classica
Si deve ad Aristotele la piena comprensione dell’importanza di tre principi del nostro ragionare: il principio di identità, di non-contraddizione e del terzo escluso.
1. Il principio di identità afferma che dato A, A=A. Tale principio non è formalmente presente negli scritti aristotelici, ma da Parmenide (VI-V sec. a.C) agli stoici (III sec. a.C.) a Duns Scoto (XIII sec.) rappresenta la versione logica del fatto che, nel ragionare corretto, il significato dei termini deve mantenersi costante.
2. Il principio di non-contraddizione sostiene che, in un enunciato, non si può affermare e negare un predicato del soggetto, nello stesso tempo e nello stesso senso. Aristotele lo esprime che così: «E’ impossibile che il medesimo attributo, nel medesimo tempo, appartenga e non appartenga al medesimo oggetto e nella medesima relazione» (Metafisica IV, 1005b, 19-20).
3. Il principio del terzo escluso afferma che in un sistema a due valori, Vero e Falso un enunciato è vero o è falso: una terza possibilità è esclusa. Si tratta di un principio utile per dedurre una conclusione, diciamo A, dimostrando che il suo opposto (non-A) è contraddittorio. Sono di questo tipo tutte le dimostrazioni per assurdo.