Logica 4 dummies
Vedete, io non pretendo di dire che la logica può salvare l'umanità.
Non dico che tutti i problemi si possano risolvere comportandosi logicamente. Dico solo che la maggior parte dei problemi viene dal comportarsi illogicamente. E da Berlusconi, certo. Ma di più dal comportarsi illogicamente.
Sillogismi aristotelici
Nel fare deduzioni da premesse, è necessario che i termini siano contenuti debitamente a vicenda, altrimenti la sequenza non è valida.
Esempio: "Gli attentatori erano musulmani. Mohammed è musulmano. Mohammed è un attentatore". Errore chiaro a tutti.
Attenzione!! Anche "Gli attentatori erano musulmani. Mohammed è musulmano. Mohammed
potrebbe essere un attentatore" è una sequenza
non valida.
Tautologie
Una dimostrazione è una sequenza di affermazioni che, partendo da alcuni assunti, arriva a delle conclusioni. Se la conclusione è uguale all'affermazione di partenza, si sta dicendo che A --> A, che noi logici chiamiamo tautologia, e voi normali chiamate banalità.
Esempio: Partendo da "La mia automobile ha smesso di andare", "se l'automobile non va chiamo il carro attrezzi", e "qui c'è il carro attrezzi" deduco "si vede che la mia automobile ha smesso di andare". Banalità chiara a tutti.
Attenzione, anche dedurre una cosa diversa da quella di partenza, ma solo perchè avete cambiato le parole, si considera banalità.
Esempio: "Ce l'ho con gli omosessuali perchè sono contro natura".
Relazioni
Si dice che aRb, e si legge "a è in relazione R con b", quando tra a e b c'è una qualunque relazione.
Esempio: "Gianni è figlio di Paolo".
E' evidente che non è vero il contrario, cioè, se aRb, non è necessario che bRa ("Paolo è figlio di Gianni"), e a volte questo è perfino impossibile, come nel suddetto esempio.
Esempio: Se "i politici di sinistra sono ladri peggio di quelli di destra" non è possibile dire anche che "i politici di destra sono ladri peggio di quelli di sinistra".
Non contraddizione
Concetto intuitivo.
Esempio: Bossi non può essere ministro della Repubblica.
Relativismo etico
Infine, bisogna ricordare che, nell'ambito di una qualunque teoria formale, le deduzioni prendono origine da assiomi arbitrari. Si può facilmente dimostrare che, se uno degli assiomi di una teoria F è falso, in F si può facilmente dimostrare
qualunque (qualunque) affermazione.
Esempio: se date per buono che "2+2=5", allora sottraendo 4 ad ambo i membri si ha 0=1, e moltiplicando ambo i membri per quello che volete potete dire 0=1=2=3 eccecc. Al che uno dice e vabbè, e questa la chiami teoria formale, allora giacchè mettici che allo stadio è normale portarsi le spranghe. Non è che gli potete dare torto.