INTRODUZIONE Filosofia: scienza della semplificazione.

I ragionamenti validi sono codificati dalla logica, utilizzando sia logiche classiche che non classiche. Principio di non contraddizione: non posso dire p p ma posso scrivere p p Logiche paraconsistenti: le contraddizioni sono vere. Logiche modali: si occupano del possibile. Logiche transizionali: legate alle eccezioni dell'ipoteticit. Logiche paracomplete: ammettono violazioni del principio del terzo escluso. Logiche fuzzy/probabilistiche: ammettono altri modi oltre a vero/falso.

Paradosso contraddizione irriducibile

rapporti tra enunciati (log. enunciati) Logica classica: rapporti tra i predicati (log. Predicati)
Logiche non classiche: se... allora... (controfattuale). Esempio di paradosso nella logica classica: Se Jones non vince le elezioni, si d al business; ma se Jones muore, non vince le elezioni. Dunque se Jones muore, si d al business.