Professional Documents
Culture Documents
Dragi frai cretini, care eretic mai vrea s spun adevrul ? - Dagi tovai, care huligan (golan) mai vrea s spun adevrul ?
De unde a aprut greal: Evident din evul mediu. Acei oameni au preluat ideea aceasta dogmatic din antichitate, deci fr gndire personal. Desigur c respectivii nu aveau nici o vin. Sunt trei argumenta care i disculp: 1) n acel ev al obscurantismului nivelul cunoaterii era minim. Probabil nu se cunotea echivalena logic a unei propoziii cu contrara reciprocei. Ba chiar nu se cunotea nici existena multiplicitii reciprocilor unei propoziii date. Dar i astzi ci vor fi cei ce le tiu? 2) Dac cineva avea ndrzneala s spun un adevr ce contrazicea obscurantitii, atunci risca s fie ars de viu ca Giordano Bruno sau mcar nchis i torturat ca Galileo Galilei. Ba i astzi. Mai tim oare ci oameni au ucis comuniti n gulac, canal, temnie pentru vina de a fi spus adevrul? Erau toi hoi, mecheri sau arlatani? Mai ba! 3) Mai mult; cunosctorii de carte n acel ev mediu erau extrem de puini, deoarece iluminismul revoluiei franceze nu introdusese nc nvtmntul public, cartea la sate, nvtori care se sacrificau pentru iluminarea oamenilor i celelalte idei ale iluminismului de care ne bucurm cu toii astzi fr mcar s tim cui ar trebui s le mulumim. i astzi mai sunt state unde marea majoritate a oamenilor sunt analfabei. i ni se spune c sunt subdezvoltai din cauza lipsurilor materiale i nu a prostiei lor endemice. Unii nomenclaturiti devenii stpnii notri m ntrebau retoric pentru a justifica lipsa lor de nvtur: Dac toi ar nva, atunci cine ar mai munci? n mintea lor neghioab a ti carte era echivalent cu a nu munci. i la noi era la fel pn la alfabetizarea n mas fcut cu sila de comuniti. Tare m tem ns c aceti nomenclaturiti care au furat revoluia, au pus mna pe putere i au jefuit ara pn i n viitor ne vor regresa din nou la analfabetism. Bine (vei zice), dar acum cnd (vorba aceia, suntem toi scufundai n inteligen pn la genunchiul broatei) de ce mai persit aceast confuzie? Rspunsul este i mai periculos pentru mine. Stpnii fur orice nu numai bunuri materiale, ci i diplome, titluri universitate, academice etc. Aceast specie este numit acum "baronii (seniorii) culturii" conform cu modelul
ncurajator al baronilor locali. Cum adic, un "rob comunist", un "neica nimeni" etc. ne d n vileag impostura? Pe noi care am ajuns "cineva", poliieni, securiti, activiti? Las-c-l aranjm noi ca n epoca noastr de aur! Observaie malefic: Dac vei ncerca s gsii demonstraia echivalenei teoremei directe cu contrara reciprocei n cri de logic, o vei gsi, dar la nimic nu v va folosi. Este aceia ce spun elevii notri: "O abureal". Este (cum ar zice poetul) un izvor de "horum harum" care vine din un turn de filde rupt de realitate. Sau poate este o mecherie, c de isteimea mecherilor suntem convini cu toii pn la Domnezeu. Vom arta acum care este algoritmul aa numitei demonstraii prin reducere la absurd: [Pasul 1] Negarea (sau construcia) contrarei concluziei teoremei directe. Presupunem deci c teorema direct nu ar fi adevrat, ci c ar fi fals. [Pasul 2] Cutarea a diverse propoziii care se deduc corect logic din contrara concluziei teoremei directei. [Pasul 3] Continum cutarea pn la gsirea unei propoziii absurde. Aceasta poate fi contrara unei axiome, contrara unei teoreme anterior demonstrat, contrara uneia din premisele ipotezei teoremei directe date etc. Presupunem c am reuit s deducem logic o astfel de propoziie absurd. [Pasul 4] Se caut acum de unde a aprut acea absurditate. Ducem c (evident) absurditatea a aprut din cauza contrarei (sau negaiei) concluziei teoremei directe. Reiese atunci c teorema direct este adevrat i nu fals. Aceasta era de demonstrat. Care este ns demonstraia normal? [Pasul 1] Scriem (spunem) perfect clar care este ipoteza (premisele) i concluzia propoziiei de demonstrat. [Pasul 2] Construim o reciproc a propoziiei date. Aceast reciproc nu este necesar ca s fie i adevrat. [Pasul 3] Din acea reciproc construim n continuare contrara reciprocei. [Pasul 4] Demonstrm c aceast contrar a reciprocei este adevrat. ]Pasul 5] n baza echivalenei dintre o propoziia dat i contrara reciprocei, tragem concluzia c i propoziia dat este adevrat. Aceasta era de demonstrat.
(premisa adevrat sau nu i concluzia adevrat sau fals). n total sunt: 4 4 = 16 cazuri de analizat. Remarcm urmtoarele:
Figura <inferenta> = Propoziia direct este echivalent logic cu contrara unei reciproce
[1] Admitem c noi tim s judecm logic. Deci dac informaia este adevrat, atunci concluzia inferat de creier va fi corect (notm 1 la caliatea gndirii). [2] n cazul cnd informaiile primite (premisele) sunt false deducia (inferena) va fi totdeauna corect. Iat de ce: Noi gndim totdeauna bine, dar dac informaiile sunt false putem deduce sau concluzii false sau adevrate. Aceasta depinde de despre ce fel de fals este vorba. Dac este un fals alarmist care exgereaz intensitatea interaciunilor, atunci noi deducem concluzia corect c efectul va fi existent, dar efectul nu va fi att de intens i ne va pune la mari cheltuieli sau spaime. Dac premisa subestimeaz intensitatea interaciunilor, atunci ajungem la concluzia fals c efectul nu va deveni existent, ns nu este rspunderea gndirii noastre, deoarece noi am raionat corect logic. Atunci notm cu unu la coloana calitii raionamentului n ambele situaii. Se spune "Falsul implic orice!". Adic din informaii false putem deduce logic i concluzia corect i greit. [3] n aceste condiii este exclus ca din informaii corecte s deducem (s inferm) concluzii greite (deci verificarea s dea zero). Ar fi posibil numai dac nu tim s gndim logic sau suntem bolnavi. Din acest motiv la calitatea gndirii nu apare zero dect dac suntem proti de-a-binelea. Deci avem toate informaiile care ne trebuiesc, dar prostul o nimerete tot cu "oitea n gard". Sper c v-am convis c inferenele sunt procese ale prelucrrii n cortex ale informaiilor. Cum st treaba cu teoremele matematice? Aici dificultatea este c nu ne explic profesorii ce legtur este ntre matematic i lumea material. Unde este devenirea obiectului cauz ce se reflect n premise (numite acum ipotez)? Este, dar nu se vede uor, deoarece matematica reflect acele deveniri cauz-efect care sunt cele mai generale, sunt la toate obiectele din Univers. Ex. Un triunghi care are dou unghiuri congruente infer c are i dou laturi congruente. Unde sunt devenirile? Aceste deveniri reflectate n ipotez sunt peste tot n lumea material, dar pentru a le vedea trebuie s lum obiecte concrete. Procedm atunci aa: S construim o bar care are la capete nituite alte dou vergele ce se pot roti. Putem deci construi diverse triunghiuri. La un moment dat unghiurile formate de vergele cu bara devin congruente. Aceste unghiuri congruente sunt oare cauza care determin ca i lungimile vergelelor s devin congruente? Da! Observai c aceast teorem se aplic tuturor obiectelor: Raze de lumin, cilor ferate, prghiilor din maini, navigaiei maritime etc. Aa sunt inferenele din matematic, cu o generalitate absolut. Matematica este o parte a fizicii (este deci tot o tiin a naturii) care studiaz cele mai generale proprieti existente n lume. Bine, fie, aceptm definiia inferenelor, dar mai trebuie demonstrat i c teorema direct este identic (dar identic pn la Domnezeu) cu contrara unei reciproce oarecare.
A se urmri demonstraia pe schema algoritmului reducerii la absurd dat la reperul 1. Dup citeirea propoziiei de demonstrat se face presupunerea c acea concluzie este fals. A presupune c ceva este fals nseamn a nega propoziia respectiv, deci noi nu face altceva dect negm concluzia propoziiei date. Dar negarea concluziei propoziiei date ne d exact o propoziie a ipotezei contrarei reciprocei. Se trece apoi la deducerea a diferite prpoziii adevrate folosind aceast negat. Aceasta nu este ns dect metoda sintetic de cutare a soluiei unei probleme, deci este o demonstraie. Este exact demonstraia contrarei reciproce. Se ajunge la o propoziie absurd. Aceasta nu este ns dect concluzie contrarei reciprocei care fusese iniial o premis. Deci acum acea premis pe care o negasem cnd am construit contrara reciprocei ne apare ca absurditatea cutat. n final n loc s decidem cum este firesc c am demonstrat contrara reciprocei, deci propoziia dat, noi facem acea judacat specific reducerii la absurd care am vzut c este aceiai Mrie cu alt plrie.
Figura <absurd> = Demonstraia teoremei: "Dac dou drepte distincte au un punct de inciden, atunci acel punct este unic"
S urmrim acum i demonstraia prin reducere la absurd a exemplului luat pe figur. S facem deci abstracie de reciproca i contrara ei de pe figur. Deci parcurgem cei patru pai ai reducerii la absurd: [Pasul 1] Negarea (sau construcia) contrarei concluziei teoremei directe. Presupunem deci c teorema direct nu ar fi adevrat, ci c ar fi fals. Presupunem deci c adevrat este contrara concluziei directei: "Dreptele d i r au un al doilea punct de inciden, F". [Pasul 2] Cutarea a diverse propoziii care se deduc corect logic din contrara concluziei directei. Facem urmtoarul raionament logic folosind contrara concluziei directei. Din ipoteza 1 a directei tim c dreptele n i r au deja punctul de inciden E, iar din cotrara concluziei teoremei directe a mai aprut unul, punctul F. Avem deci dou puncte de inciden distincte: E i F. Folosim axioma c "Dac dou drepte au dou puncte de inciden, atunci dreptele se confund". Deducem c dreptele n i r nu sunt distincte. [Pasul 3] Obinerea unei absurditi. Am obinut propoziia: Dreptele n i r nu sunt distincte. Aceast propoziie este contar ipotezei teoremei directe (a se vedea premisa 2), ceea ce este absurd. Premisele ipotezele teoremelor sunt considerate totdeauna adevrate. [Pasul 4] Se caut acum de unde a aprut aceast absurditate. Deci aceast absurditate se datorete faptului c presupunerea fcut a fost fals. Deci dreptele nu au un al doilea punct de inciden. Aceasta trebuia demonstrat. Are aceast demonstraie prin reducere la absurd vre-un avantaj? Este mai scurt? Este ea mai clar etc. ? Nu! Are ns dezavantajul c pare a fi ceva deosebit de celelalte metode, c ne-ar putea scoate din impas uneori. Sperane dearte (ca s nu le zic absurde). Nu este dect contrara reciprocei mascat i mbrcat n haine strine de matematic i logic. Ar putea crede unii c matematica nu are suficient putere n ea nsi, ceea ce nu este de bun augur. Avocatul diavolului ar putea pretinde c teorema aleas este simplist i c n cazuri complexe nu vom putea demonstra contrara reciprocei i va trebui apelat reducerea la absurd. Este adevrat c n cazuri complexe ajungem s contrazicem nu o axiom, ci o teorem anterioar care nu este indicat n ipotez. Dar aceasta arat c trebuie s mai adugm la greeala reducerii la absurd i greeala de a nu spune premisele complete ale problemelor. Trebuie deci spus nc de la nceput c originea acestei confuzii ntre reducerea la absurd i contrara reciprocei este c aceia ce se scrie la ipotez (sau la premise) nu este chiar adevrata ipotez (sau nu sunt toate premisele). Aceia ce ni se spune (sau ni se scrie) c ar fi ipoteza sau premisele (dac ni se spun, c de multe ori se merge pe tcute) sunt o mic parte a premiselor. Este drept c partea cea mai semnificativ, dac aceasta v nclzete cu ceva.
Pemtru a se nelege clar care sunt complet toate premizele i ce ni se spune i ce se trece sub tcere vom descompune demonstraia n trei: A se vedea figura <absurd> reperele A, B i C. La reperul A sunt redate directa, reciproca i contrara cam aa cum le vedeam noi pe tabl sau n manuale cnd eram elevi. Totui nu ni se scria i nici nu ni se spunea acel "AND", nici n romnete i nici n englezete. La reperul B sunt redate directa, reciproca i contrara reciprocei cu ipotezele complet scrise: "Toate axiomele i teoremele anterior demonstrate". Aa ar fi trebuit s ni se explice. De fapt exprimarea este redundant, deoarece acele teoreme anterior demonstrate au pornit n un final tot de la axiome. Atunci cnd folosim aa zisa reducere la absurd (de fapt demonstrm contrara reciprocei) i ajungem la o contrazicerea unei teoreme anterior demonstrat ne oprim i spunem c am ajuns la absurd. Dac ns am continua demonstraia am ajunge la contrazicerea unei axiome, deci a ipotezei complete a directei, dar nu i a contrarei ei la care am admis ca ipotez negata afirmaiei din concluzie. La reperul C se arat c de fapt ar trebui scrise la ipotez amnunit toate axiomele (ba chiar i teoreme anterior demonstrate i de care ne vom folosi). Nu este o exagerare, deoarece cred c aproape toi nu le tiu i pot fi deci pclii. Mai mult chiar: Nici nu sunt axiomatizate toate capitolele matematicii. De restul tiinelor nici nu mai vorbim. n acest fel mecherii ne pot pcli prin parlament sau prin filozofii fcnd demonstraii aparent adevrate. Aceasta se numete speculaie tiinific sau neltorie bazat pe credibilitatea tiinei. A se vedea reclamele mincinoase bazate pe speculaii tiinifice.
Absurditatea reducerii la absurd de Arghirescu P. Alexandru este liceniat printr-o Licen Creative Commons Atribuire 3.0 Ne-adaptat. Licena poate fi verificat pe saitul http://arghirescu2011.ro/absurd. Poate fi folosit de oricine oricum dorete, dar cu condiia ca s recunoasc paternitatea ideilor autorului.