Logica: differenze tra le versioni
Casalps (rosica | curriculum) Nessun oggetto della modifica |
Casalps (rosica | curriculum) |
||
Riga 76: | Riga 76: | ||
* [[Kurt Gödel]], latinizzato in ''Curtius Dominidei'': autore del mai compreso teorema di incompletezza, versione più raffinata dell'illogicità della logica (vedi sopra) e applicabile anche ai [[computer]]. |
* [[Kurt Gödel]], latinizzato in ''Curtius Dominidei'': autore del mai compreso teorema di incompletezza, versione più raffinata dell'illogicità della logica (vedi sopra) e applicabile anche ai [[computer]]. |
||
*[[Alonzo Church|Alonzo Chiesa]]: da non confondere con la Chiesa (vedi sopra). Tuttavia, molti recensori continuarono a confondersi e a elogiare sperticatamente i suoi lavori, come la ''computabilità incompuntabile'' e il ''problema dell'arresto''. |
*[[Alonzo Church|Alonzo Chiesa]]: da non confondere con la Chiesa (vedi sopra). Tuttavia, molti recensori continuarono a confondersi e a elogiare sperticatamente i suoi lavori, come la ''computabilità incompuntabile'' e il ''problema dell'arresto''. |
||
*[[1984|Il Grande Fratello]]: Nonpace è pace, nonservo è servo, nonsapere è forza. |
|||
== Note == |
== Note == |
Versione delle 12:05, 3 apr 2010
La logica è la nonscienza che studia il pensiero e anche il modo in cui esso si corrompe col passare del tempo. Colui che studia la logica è il logico se e solo se questa stessa affermazione è vera. In parole povere, la logica serve a dare l'illusione che le seghe mentali servano a qualcosa di positivo.
Logica degli insiemi
La logica, se ben usata, permette di far passare per vera una qualsiasi boiata immane.
Ecco ad esempio:
- Mia nonna fuma
- I treni fumano
QUINDI Mia nonna è un treno
Tuttavia questo ragionamento verrebbe messo in dubbio da quei pignoli saccenti che applicano la teoria degli insiemi, che con la loro stridula vocina rispondono "Ma così dici che i treni fumano, ma non che tutto ciò che fuma sia un treno, gnègnè". Ma proprio grazie alla logica possiamo controbattere, in attesa che una slavina colpisca gli adoratori di Eulero Venn (Venn è il cognome da nubile), dio degli insiemi:
Se metto nell'insieme A tutti gli insiemi di parole che contengono anche il proprio nome e in B quelli che non lo contengono, dove lo metto l'insieme B?
Se infatti mettessi l'insieme B dentro sé stesso verrebbe fuori un casino che non finisce più, ma se non lo metto allora non funziona più niente. Perciò Eulero Venn si sbagliava.
Etimologia
Come insegnano i Teologi la logica si manifesta specialmente nell'etimologia delle parole. Infatti le parole hanno sempre lo stesso significato e contesto che avevano quando sono state formate. Ad esempio, si può dimostrare che l'aborto è sbagliato, con questa dimostrazione logica: Aborto deriva da ortus, che significa corretto (infatti ortografia= grafia corretta), ma con l'a privativa: ab-ortus quindi significa "non corretto"[1] e quindi è non corretto. Arrendetevi all'evidenza.
Dimostrazioni
La logica spesso si avvale di vari tipi di dimostrazione per far credere a chiunque anche le cose più assurde. Eccone alcune:
Dimostrazione per autorità
Se qualcosa è detto da un laureato o da un tizio in camice bianco (tipo pubblicità Mentadent) allora è vero. Perché? Perché lo dicono loro.
Dimostrazione della forza dei monchi
I monchi si possono sollevare fra di loro con molta facilità. Questo perché una persona con entrambe le mani può sollevare una persona con una mano sola, e quindi figuratevi se la persona a essere sollevata non ha una mano: è più leggera! Quindi:
Dimostrazione del male doppio
Un proverbio popolare dice che le disgrazie arrivano sempre in coppia. Poiché un proverbio si dice popolare quando è approvato dal popolo, ossia dalla maggior parte delle persone, deve essere per forza giusto. Milioni di persone non possono sbagliarsi, è il principio base della democrazia!
Dimostrazione dell'immobilità topica
Se il gatto dorme i topi ballano. Ma il gatto non dorme, quindi i topi non ballano.
Dimostrazione dell'autorità della chiesa
Nella Bibbia c'è scritto "tu sei Pietro, e su questa pietra fonderò la mia chiesa". La chiesa quindi ha un elemento infallibile su cui basa la sua autorità. L'interpretazione della bibbia è corretta perché l'ha fatta la chiesa. Tutto quadra!
Dimostrazione dell'illogicità della logica
Purtroppo la logica dimostra di essere falsa: Poniamo la frase A che dice:
Allora essendo un'affermazione VERA oppure FALSA, analizziamo le due ipotesi:
Ipotesi 1: La frase A è VERA
- Nessun problema, se è vera la logica è illogica.
Ipotesi 2: La frase A è FALSA
- Se la frase è falsa, allora è vero il suo contrario, ossia:
- poiché la frase A è, in questa ipotesi, falsa, la logica è illogica. q.e.d.
Dimostrazione dell'assurdo
La dimostrazione all'assurdo (Reductio ad absurdum) è ricorrere all'uso del bipensiero per provare le cose più assurde. Ad esempio, dimostriamo che la storia è modificabile:
- La storià esiste (Vero)
- La storia se esiste, è scritta sui libri (Vero)
- Se qualcuno modifica i libri, quindi anche la storia (Implicazione logica: Vero implica vero=Vero)
- Quindi la storia è modificabile
Accettate l'evidenza.
Logici famosi (in ordine cronologico)
- Aristotele: sì, lui c'è sempre. Noto per la logica classica, ovvero il sillogismo.
- Diodoro Crono, in antipatia ad Aristotele, inventò la logica modale. Quella che ammette altre risposte oltre al vero/falso. Molto comodo.
Più recenti:
- George Boole, inventore del Calcolo Proposizionale, ovvero 1+1=1.
- Kurt Gödel, latinizzato in Curtius Dominidei: autore del mai compreso teorema di incompletezza, versione più raffinata dell'illogicità della logica (vedi sopra) e applicabile anche ai computer.
- Alonzo Chiesa: da non confondere con la Chiesa (vedi sopra). Tuttavia, molti recensori continuarono a confondersi e a elogiare sperticatamente i suoi lavori, come la computabilità incompuntabile e il problema dell'arresto.
- Il Grande Fratello: Nonpace è pace, nonservo è servo, nonsapere è forza.
Note
- ^ Argomentazione REALMENTE generata da un professore di religione