Inductiv Metoda f
Subiect 10. Problema justificării cunoașterii
1. Inducerea și rolul său în justificarea cunoștințelor științifice. Metoda inductiv de Bacon. Metodele de inducție științifică J. S. Mill.
2. Critica inductivism ca programe de justificare a cunoștințelor științifice.
3. "kontrinduktsii" (Paul Feyerabend). Exemple kontrinduktivnogo de dezvoltare a științei.
4. Matematica ca un model de cunoaștere irefutabile de încredere. Platon, Leibniz, Kant cu privire la natura obiectelor matematice.
5.Matematicheskaya rigoare ca un concept în evoluție istoric. Interpretarea failibilism de matematică I. Lakatos.
6.Konventsionalistskie explicație credibilă de cunoștințe și de necontestat. Poincaré privind natura convențională axiomele geometriei. Tratamentul propunerilor în matematică Wittgenstein.
1. Metoda științifică este un set de moduri de a dobândi noi cunoștințe și tehnici de rezolvare a problemelor în cadrul oricărei științe. Metoda poate fi considerată științifică numai atunci când reflectă legile obiective ale lumii.
O astfel de metodă este inducerea - ascensiunea de la fapte particulare într-o anumită afirmație logică generală.
Metoda de inducție a fost stabilit pentru prima dată în lucrările lui Francis Bacon. inducerea Ideea este că omul de știință a pus primul înainte pe baza observațiilor fenomenului de interes pentru el de mai multe ipoteze cu privire la cauzele sale. Apoi, în experimente în continuare, observația și raționamentul, el trebuie să nege toate ipotezele greșite despre cauza fenomenului său interesant. A rămas ipoteza necontestate și ar trebui să fie considerate ca fiind adevăratul [195].
Exprimându ideea de inducție, Bacon, cu toate acestea, a oferit nici o logică specifică a acestui tip de raționament. Această lucrare a fost realizată de J .. Art. Mill. El a dezvoltat diferite de inducție logică mai târziu au devenit cunoscute metode de stabilire a relațiilor de cauzalitate Mill:
- consimțământul metodei (în cazul în care două sau mai multe cazuri ale fenomenului în curs de investigare converg într-o singură împrejurare, că această împrejurare este cauza sau cauzele fenomenului care face obiectul anchetei;
- diferențe metoda (dacă este cazul, în care se găsește fenomenul în curs de investigare, iar cazul în care nu se produce, este similară în fiecare detaliu, cu excepția studiului, faptul care apar în primul caz, și nu în al doilea, și există un motiv sau o parte din motivul testului fenomen);
- Reziduuri Metodă (dacă circumstanțele porțiilor fenomen investigate pot fi explicate prin anumite motive, partea rămasă a fenomenului rămas explică faptele precedente);
- Metoda modificărilor corespunzătoare (dacă în urma unei modificări a unui fenomen văzut o altă schimbare, atunci putem deduce o relație cauzală între ele [194].
2. Conform metodei inductivă, cunoștințele științifice începe cu stabilirea unui fapt. Există o contradicție între teoria și faptul existente. Apoi, omul de știință începe să se generalizeze mai multe fapte repetate și de construcție teorie. Astfel obținut este considerat a fi teoria corectă. Importanța metodei inductive o lungă perioadă de timp nu a fost contestată în comunitatea științifică. Dar pe ce bază un om de știință de la faptele individuale se duce la concluzii generalizate? Poate că încă mai sunt de acord cu afirmația că toate cunoștințele umane este de natură ipotetică și nu poate fi adevărat? Aceste considerații au condus KR Popper metoda negare inductive [157-161].
El a pornit de la faptul că cunoașterea lumii, oamenii se bazează întotdeauna pe anumite convingeri, așteptări, fundamente teoretice; procesul de învățare nu începe cu observarea, și de la ipoteze, ghicește pentru a explica lumea.
Ghicirile Oamenii se corelează cu observațiile și le aruncă după ce a fost mulțumit de faptul că acestea sunt false (acest proces este numit proces și falsificare de eroare -. Aici este ceea ce constituie metoda științifică [157-161].
Încercare și eroare este caracteristic nu numai științifică, ci și pentru toate cunoștințele în general. Mai mult decât atât, această metodă nu este doar o metodă de cunoaștere, ci și de toate de dezvoltare. Natura, crearea și îmbunătățirea speciilor, funcționează prin încercare și eroare. Fiecare organism individual - este următorul eșantion; eșantion de succes supraviețuiește dă descendenți; roasă eliminat ca o eroare.
Falsificaționismul a fost generat de o credință filosofică profundă a lui Popper că la om nu există nici un criteriu de adevăr, și el este capabil să detecteze și să identifice o minciună. decurge în mod firesc din această credință:
- înțelegere a cunoștințelor științifice ca un set de presupuneri despre lume - speculații, adevărul care nu poate fi setat, dar este posibil pentru a detecta falsitatea lor;
- criteriu de demarcație (demarcatio Latină - distincție.) - numai cunoștințele științifice, care este falsificabilă;
- Metoda științifică - încercare și eroare [157-161].
Aceasta este o metodologie falsificationist schiță Popper.
4. Un exemplu de cunoștințe de necontestat valabil considerate în mod tradițional matematica (al-greacă μ θημα -.? Studii, știință) - știința structurilor, proceduri și atitudini, care a fost istoric pe baza operațiunilor de numărare, măsurare și descriind formele de obiecte reale [238]. obiecte matematice sunt create de idealizarea proprietății imobiliare sau a altor obiecte matematice și să înregistreze aceste proprietăți într-un limbaj formal. Matematica nu este o știință, dar este utilizat pe scară largă în ele ca la formularea exactă a conținutului, precum și pentru a obține rezultate noi. Matematica - stiinta de baza, oferind (comun) limbă înseamnă alte științe; Astfel, dezvăluie relația lor structurală și contribuie la găsirea legilor cele mai generale ale naturii.
Filozofii au arătat întotdeauna un interes în matematică ca un tip special de cunoaștere, care posedă rigoare, valabilitatea și stabilitatea. Acest interes este dictat, în primul rând, dorința de a construi toate cunoștințele, inclusiv pe motive filosofice solide. Matematica, așa cum părea multora, ar putea servi ca model aici.
Importanța matematicii la filozofia lui Platon fundamentată mai întâi. El a considerat numărul și geometrice forme cum ar fi Eidos și paradeygmy, adică principii și valori ale lucrurilor, datorită cărora acesta din urmă dobândi certitudinea sensului și sunt implicate. Eidos studiaza matematica este important pentru Platon în primul rând pentru că reorienta mintea prin luarea în considerare ființa trecătoare și devenind un adevărat existent, stabil și sigur în sine [155; 238]. Deci, matematică oferă obiectele ideale, care își găsesc expresia în lumea lucrurilor sensibile. Proprietățile ideale în contrast cu caracterizat reală nu infinit, dar numărul destul de bine definit de proprietăți. Astfel, obiectul ideală este construit astfel încât complet controlat inteligent, se calculează în parametrii cantitativi.
Problema construirii unui obiect ideal pentru a primit o atenție considerabilă în timpul secolelor XVII-XVIII. practicate de Galileo [46] Hobbes [47], Spinoza [238] Descartes [14-15], G. Leibniz. Deci, GW Leibniz descrie lumea ca un mecanism perfect, în care toate părțile, la rândul lor, sunt de asemenea mașini. De-a lungul vieții sale, Leibniz a dezvoltat calcul simbolic, pe care el a numit „caracteristică universală“, al cărui scop a fost să-și exprime toate gândurile umane sunt clare și raționamentul logic pentru a reduce operațiunile pur mecanice [141; 238].
Fondatorul idealismului german Kant neagă posibilitatea de a mecanicii cognitive. natura cunoașterii constă în construcția de obiecte naturale, în conformitate cu regulile rațiunii, precum și numărul și valoarea stabilit astfel de norme, în măsura în care orice subiect este matematica. Totul în natură este măsurabilă și numărabil - altfel oamenii pur și simplu nu se poate gândi la ea [79-81; 238].
Deci, matematica - un fel de mod de a descrierii teoretice a realității, un domeniu al cunoașterii, care are un statut special în domeniul științelor. Subiectul unei descrieri matematice poate fi orice proces, ca obiecte ale acestei zone de cunoaștere sunt forme spațiale și relații cantitative ale realității în general - structuri „matematice“ abstracte.
5. Matematica anciently înțeleasă ca știință absolut riguroase, în cazul în care toate dispozițiile s-au dovedit cu siguranță și pentru totdeauna. Gânditorii cele mai remarcabile din antichitate, Evul Mediu și timpurile moderne au încercat să explice doar imuabilitatea adevărurile matematice, dar niciodată nu le-a pus sub semnul întrebării. Cu toate acestea, în filosofia occidentală modernă de interpretarea tradițională a raționamentului matematic a fost pusă la îndoială. În prezent, există o interpretare fundamentalistă a probei matematice, a apărat ideea de finalitate a recunoscut dovezi matematice și interpretarea failibilism, potrivit căreia dovezi matematice semnificative sunt întotdeauna în pericol de fraudă.
Fondator failibilism I. Lakatos crede că această metodă de dovezi și respingeri constă în patru etape:
- extinderea ipotezelor inițiale;
- dovada;
- contraexemplu de detecție pentru ipotezele originale;
- revizuire a probelor și de a identifica noi ipoteze infirmat acest exemplu. Este acum clar formulată și inclusă în ipoteza inițială ca o condiție. Astfel, există o nouă teoremă, care conține nouă, formată în procesul de încercarea de a probei conceptului. Acum, exemple care resping modul victorios sunt convertite în confirmate. În acest nou domeniu de cercetare poate deschide. întregul program de cercetare se pot dezvolta în afara procesului de astfel de îmbunătățiri. (De exemplu, îmbunătățirea ipoteze succesive Euler Descartes-crescut poliedre clasificare în topologie.) Această filosofică convingerea larg răspândită a infirmat faptul că programele de cercetare se poate dezvolta numai de la reprezentări metafizice generale [111-114].
6. fallibizizma Spre deosebire. ceea ce dovedește cunoașterea de negări, convenționalismul (Conventio Latină -. Acordul) consideră că baza teoriilor științifice sunt convenții arbitrare (Convenție) și alegerea acestora este reglementată de considerente de comoditate, simplitate, utilitate și așa mai departe - criterii care nu au legătură cu conceptele teoriei în sine. Fondator al convenționalism - ZA Poincaré - el a descris sistemele axioma diferite teorii matematice ca acorduri care sunt în afara adevărului sau falsitatea. Preferința pentru una dintre axiomele sistemului datorită alt principiu de comoditate. geometria Poincare postulate privit ca un acord util, subliniind că, în plus față de astfel de acorduri, și există acorduri inutile [205].
L. Wittgenstein, de asemenea, a susținut că matematica nu este posibilă fără „credință“ în faptul că sunt obținute toate propunerile și formulele sale și a dovedit că în așa fel [37].
1. Ce este de inducție și care este rolul său în justificarea cunoștințelor științifice.
2. Care sunt principiile metodei inductive, dezvoltat de Francis Bacon și John. S. Mill.
3. Ce motive au condus KR Popper inductivism critici ca programe de justificare a cunoștințelor științifice?
4. Care este esența conceptului de „kontrinduktsiya“? Dă exemple de dezvoltare kontrinduktivnogo științei.
5. Ceea ce explică numeroasele referiri la filosofi de matematică?
6. Pe măsură ce înțelegerea tradițională de rigoare matematică a fost distrusă în interpretarea failibilism de matematică I. Lakatos?
7. După cum sa explicat în fiabilitatea convenționalismul și certitudinea cunoștințelor?