Home » Articole » RO » Societate » Filozofie » Filozofia științei » Imre Lakatos: Proofs and Refutations

Imre Lakatos: Proofs and Refutations

Proofs and Refutations: The Logic of Mathematical Discovery este o carte din 1976 a filozofului Imre Lakatos care expune viziunea sa asupra evoluției matematicii. Cartea este scrisă ca o serie de dialoguri socratice care implică un grup de elevi care dezbat demonstrația caracteristicilor Euler definite pentru poliedre. O temă centrală este că definițiile nu sunt sculptate în piatră, dar de multe ori trebuie să fie peticiri în lumina unor cunoștințe ulterioare, în special demonstrații eșuate. Acest lucru oferă matematicii o aromă oarecum experimentală. La sfârșitul introducerii, Lakatos explică faptul că scopul său este de a contesta formalismul în matematică și de a arăta că matematica informală crește printr-o logică a „dovezilor și refutărilor”.

În carte sunt explicate multe idei logice importante. De exemplu, este discutată diferența dintre un contraexemplu la o lemă (așa-numitul „counterexemplu local”) și un contraexemplu la conjectura specifică atacată (un „contraexemplu global” la caracteristica Euler, în acest caz).

Cartea include două anexe. În primul, Lakatos dă exemple ale procesului euristic în descoperirea matematică. În al doilea rând, el contrastează abordările deductiviste și euristice și oferă analize euristice ale unor concepte de „dovezi generate” în matematică.

Elevii din carte sunt numiți după literele alfabetului grecesc.

Metoda

Deși cartea este scrisă ca o narațiune, se dezvoltă o metodă reală de investigare, cea a „dovezilor și refutărilor”. În Anexa I, Lakatos rezumă această metodă prin următoarea listă de etape:â

  1. Conjectura primitivă.
  2. Dovada (un experiment sau argument brut, descompunând conjectura primitivă în subconjecturi).
  3. Apar contraexemple „globale” (contraexemple la conjectura primitivă).
  4. Re-examinarea dovezii:  este reperată „lema vinovată” la care contraexemplul global este un contraexemplu local. Această lemă vinovată a rămas până atunci „ascunsă” sau poate a fost identificată greșit. Acum este explicită și încorporată în conjectura primitivă ca o condiție. Teorema – conjectura îmbunătățită – înlocuiește conjectura primitivă cu noul concept generat de dovezi ca o caracteristică a sa de primă importanță.
  5. Dovezile altor teoreme sunt examinate pentru a vedea dacă lema nou descoperită sau noul concept generat de dovezi au loc în ele: acest concept poate fi găsit la intersecțiile diferitelor dovezi și, astfel, se dovedește a fi de importanță fundamentală.
  6. Consecințele acceptate până în prezent ale conjecturii originale și refutate sunt verificate.
  7. Contraexemplele sunt transformate în noi exemple – se deschid noi domenii de cercetare.

Traducere și adaptare din Wikipedia

Epistemologia gravitației experimentale – Raționalitatea științifică
Epistemologia gravitației experimentale – Raționalitatea științifică

Evoluția testelor gravitaționale dintr-o perspectivă epistemologică încadrată în conceputul de reconstrucție rațională al lui Imre Lakatos, pe baza metodologiei acestuia a programelor de cercetare. Perioada evaluată este foarte vastă, începând cu filosofia naturală a lui Newton și până la teoriile … Citeşte mai mult

Nu a fost votat $0,00$6,99 Selectează opțiunile
Filmul Solaris, regia Andrei Tarkovsky – Aspecte psihologice și filosofice
Filmul Solaris, regia Andrei Tarkovsky – Aspecte psihologice și filosofice

Principalele aspecte psihologice și filosofice desprinse din filmul Solaris regizat de Andrei Tarkovski, precum și tehnicile cinematografice utilizate de regizor pentru a-și transmite mesajele spectatorului. În ”Introducere” prezint pe scurt elementele relevante din biografia lui Tarkovski și o prezentare generală … Citeşte mai mult

Nu a fost votat $0,00$2,19 Selectează opțiunile
De la Big Bang la singularități și găuri negre
De la Big Bang la singularități și găuri negre

Singularitățile la care se ajunge în relativitatea generală prin rezolvarea ecuațiilor lui Einstein au fost și încă mai sunt subiectul a numeroase dezbateri științifice: Există sau nu, singularități? Big Bang a fost o singularitate inițială? Dacă singularitățile există, care este … Citeşte mai mult

Nu a fost votat $2,99 Selectează opțiunile

Faci un comentariu sau dai un răspuns?

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *