| = Deci ce e dom'le adevaru asta ... | casalotul [09.Jan.06 04:39] |
| mda. interesanta zona. ca orice lucru prea putin cunoscut. De cand lumea paradoxurile exprima (exemplifica si exploateaza) greseli 'fine' de rationament. Insa ele nu functioneaza niciodata ca exemple sau contraexemple pentru ceva. De asemenea se stie ca orice paradox este decidabil prin acceptarea de restrictii, ipoteze, etc (E o teorema celebra in programare care, pe scurt, zice cam asa: Chiar daca ceea ce vrei sa faci e gresit, vei putea sa gresesti da' mergand pe un arbore binar'. Sau altfel spus: orice eroare - chiar daca este intamplatoare - poate fi simulata ca rezultat al unui lant de decizii binare) Deci ca sa conchidem paradoxurile (adevarate) exista doar ca apanaj al stiintelor de frontiera unde chiar sunt productive (se reaseaza modelul pana la 'stingerea' paradoxului). In rest este vorba de exemple pur didactice care, in principal, evidentiaza consecinte ale unor erori tipice de rationament. La inceput spui: "Modalitatile matematice de rationament se bazeaza pe principiul ca orice enunt este Adevarat (1) sau Fals (0)" Am o veste pentru tine: Exista enunturi, in matematica chiar, care nu respecta 'principiul' de mai sus. Ca sa fiu mai precis: 'definitia'. Ce este ea? Asa, este un enunt care stabilesta pentru un obiect un gen proxim si diferente specifice. Este definitia definitiei o definitie? Este! Este ea falsa sau adevarata? Nici! E 'definitia', ca si concept matematic, productiva? Este beton! Si iata ca nu simte nevoia de adevar sau fals. Si treaba asta cu definitia a fost sesizata prin '60 de niste baieti destepti (americani bineinteles) care in loc sa mearga (cum faceau francezii) pe studii de avangarda privind realizarea unui computer bazat pe logica trivalenta, ghici ce au facut! Au zis asa: hopaaaa... ori astea-s enunturi cu o alta valoare de adevaaaar.. ori toata treaba asta cu adevarul si falsul e o constructie inerenta mintii umane. S-au uitat ei in natura si-au bagat de seama ca nici un lucru, insufletit sau nu, nu isi canta prin univers adevarul. In momentul asta 'adevarul' ca si concept filozofic este absolut desfiintat. Asa se face ca niste informaticieni au redescoperit adevarul ca functionalitate (sociala si) calculatorie. Ei au (re)inventat adevarul util. Si au zis asa .Orice enunt care se autoapeleaza in mod necontradictoriu instituie o valoare de adevar. (fundamente de recursivitate... hehehe). Si uite asa americanii astia au facut o treaba dom'le iar francezii mai putin. Americanii au folosit categoria asta a adevarului util (manevrat binar) la fundamentarea mecanismelor economice si politice (si le-a cam iesit), si la fundamentarea in stiintele computationale (si le-a iesit si in zona asta). Europenii insa au ramas prizonieri ai logicii adevarurilor contradictorii. Si chestia asta se cam vede, si odata cu trecerea anilor se va vedea si mai rau. | |