Lakatos ja metamatematiikka : todistusten ja kumoajien metodi Imre Lakatosin Proofs and Refutations-teoksessa
Hyytinen, Markus Tapani (2022-09-05)
Hyytinen, Markus Tapani
M. Hyytinen
05.09.2022
© 2022 Markus Tapani Hyytinen. Ellei toisin mainita, uudelleenkäyttö on sallittu Creative Commons Attribution 4.0 International (CC-BY 4.0) -lisenssillä (https://creativecommons.org/licenses/by/4.0/). Uudelleenkäyttö on sallittua edellyttäen, että lähde mainitaan asianmukaisesti ja mahdolliset muutokset merkitään. Sellaisten osien käyttö tai jäljentäminen, jotka eivät ole tekijän tai tekijöiden omaisuutta, saattaa edellyttää lupaa suoraan asianomaisilta oikeudenhaltijoilta.
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:oulu-202209053382
https://urn.fi/URN:NBN:fi:oulu-202209053382
Tiivistelmä
Tässä Pro gradu -tutkielmassa käsitellään Imre Lakatosin matematiikanfilosofiaa teoksessa Proofs and Refutations. Tutkielmassa esitellään Lakatosin tulkinta euklidisesta koulukunnasta matemaattisessa tiedontuotannossa ja hänen puheenvuoronsa vastaesimerkkien merkityksestä matemaattisessa tutkimuksessa. Lakatos nojaa Karl Popperin falsifikationismiin metamatemaattisessa puheenvuorossaan vastaesimerkkien tärkeydestä, mutta poikkeaa Popperin tieteenfilosofiasta esittäessään, kuinka matemaatikon tulisi toimia vastaesimerkin kumottua hänen työstämänsä loogisen rakennelman. Tutkielmassa esitellään Lakatosin todistusten ja kumoajien metodi, jonka hän väittää toimivan rationaalisena, dialektisena toimintamallina matemaattisessa tutkimuksessa, jossa vastaesimerkkiä käytetään matemaattisen teorian uudelleenmuotoiluun ja parantamiseen sen kumoamisen ja hylkäämisen sijasta. Tutkielma nostaa esiin myös Lakatosin väitteiden ongelmakohtia, varsinkin niiden historiallisuuden osalta. Lakatosin esittelemä matemaattisen tutkimuksen malli ei kuvaile tai selitä matemaatikkojen tosiasiallisia työskentelykäytäntöjä. Teoksen Proofs and Refutations puheenvuoro matematiikanfilosofian piirissä on silti merkityksellinen. Tutkielma nostaa esiin Lakatosin ansion tiedostamattomien oletuksien roolin esiintuomisessa matemaattisessa tutkimustyössä ja skeptisen näkökulman puolustamisessa David Hilbertin formalismia vastaan, jota Lakatos syyttää liiallisesta dogmaattisuudesta.
Kokoelmat
- Avoin saatavuus [31941]