Platonism (matemaatika)

Platonism ehk matemaatiline platonism on filosoofias seisukoht, mille järgi on sõltumatult inimestest, keelest, mõtlemisest ja inimtegevusest olemas abstraktsed matemaatilised objektid.
Tähtsaim argument platonismi kasuks pärineb Gottlob Frege raamatust "Aritmeetika alused". Matemaatika sisaldab tõeseid väiteid ja matemaatikas on mõeldud osutada abstraktsetele matemaatilistele objektidele ja üle nende kvantifitseerida. Aga lause ei saa olla tõene, kui selles sisalduvatel väljenditel ei õnnestu osutada või kvantifitseerida. Järelikult on osutatavad või kvantifitseeritavad abstraktsed matemaatilised objektid olemas.
Platonismile on vastu väidetud eriti seda, et abstraktsed matemaatilised objektid on epistemoloogiliselt ligipääsmatud ja metafüüsiliselt problemaatilised.

Definitsioon

Platonism on seisukoht, mille järgi on sõltumatult inimestest, keelest, mõtlemisest ja inimtegevusest olemas abstraktsed matemaatilised objektid. Platonist ei püüa neid taandada füüsilistele entiteetidele ja subjektiivsetele vaimsetele entiteetidele. Michael Dummett, Penelope Maddy ja Charles Parsons lisavad sellele määratlusele, et väited matemaatiliste objektide kohta on määratult tõesed või väärad sõltumatult meie teadmisest. Michael Dummetti  järgi võrdleb platonism  matemaatiliste tõdede haaramist füüsiliste esemete tajuga, matemaatilist reaalsust füüsikalise universumiga. Kurt Gödel lisab, et matemaatiliste objektide "taju" võib olla väga ebatäielik.
Matemaatiliste objektide sõltumatuse all peetakse silmas ligikaudu seda, et kui arukaid toimijaid ei oleks või nende keel, mõtlemine ja tegevus oleks teistsugused, siis matemaatilised objektid oleksid ikka olemas.
Matemaatiline platonism erineb platonismist kui Platoni õpetusest, kuigi seda nimetatakse niimoodi sarnasuse tõttu Platoni ideedeõpetusele.
Platonismi sisse arvatakse mõnikord, eriti varasemas kirjanduses, ka tees, et me haarame abstraktseid objekte vahetult. Kuid paljud filosoofid, näiteks Williard Van Orman Quine, kellele avaldab muljet hädavajalikkusargument, pooldavad ainult metafüüsilist platonismi. Enamik platoniste on väitnud ka, et matemaatilised tõed on paratamatud, kuid näiteks Quine, keda üldiselt peetakse platonistiks, seda teesi ei pooldanud.

Filosoofiline tähtsus

Kui platonism on tõene, tekitab see suurt raskust füsikalismile, mille järgi kõik reaalne on füüsiline. (Kui füsikalismi võtta teesina, et kõik kaasub füüsilisega, ning kui matemaatilised tõed on paratamatud, siis vastuolu ei ole, sest süsteemi S5 järgi on kõigis võimalikes maailmades samad paratamatud tõed. Kui aga füsikalismi mõista nii, et kõik entiteedid koosnevad fundamentaalsetest füüsilistest entiteetidest, siis on platonism ja füsikalism omavahel vastuolus.)
Kui platonism on tõene, tekitab see suurt raskust ka paljudele naturalistliku epistemoloogia versioonidele: pole selge, kuidas meil on teadmine põhjusliku mõjuta objektidest.
Matemaatika on oma suure edu tõttu nii oma sisemises arengus kui ka rakendustes nii autoriteetne, et vähesed filosoofid tahavad selle põhiväidetega vaielda Kui filosoofiline analüüs näitab, et matemaatikal on kummalised ja üllatavad järeldused, siis matemaatika väidete eitamine ei tundu hea lahendusena; pigem satuvad kahtluse alla filosoofilised kaalutlused, mis nende järeldusteni viisid. Kui kummalised ja üllatavad järeldused tuleneksid näiteks teoloogia väidetest, lükkaksid paljud filosoofid need väited kõhklematult tagasi.

Antinominalism

Tänapäeva filosoofias mõistetakse nominalismi all tavaliselt seisukohta, et abstraktseid objekte ei ole. Selle eitus (antinominalism) on platonismist nõrgem positsioon, sest see ei nõua matemaatiliste objektide sõltumatust. Paljud füsikalistid aktsepteeriksid selliseid mittefüüsilisi objekte, mis on füüsilistest objektidest sõltuvad või neile taandatavad, võib-olla näiteks ettevõtteid, seadusi ja luuletusi. Ja kui me mittefüüsilisi objekte ise teeme või moodustame, siis teadmine  nende kohta pole mõistatuslik, sest eeldatavasti me tunnetame neid tegemise või moodustamise käigus. Mõned matemaatikafilosoofid, näiteks intuitsionistid, on küll antinominalistid, kuid mitte platonistid.