Philosophy of Mathematics： Naturalism vs. Category Theory.pdfVIP

PhilosophyStudy，ISSN 2159·5313 October2013，Vo1．3，No．10，929-944 … … N 塌 PhilosophyofMathematicsNaturalism V．CategoryTheory M ilanTasid UniversityofN i~ AlthoughPMaddy(1997)saysonnaturalism：“Thisisnot,initself,aphilosophyofmathematics．『．．】”(161)， alreadybyitsname，orbythosewhoseinteresthascalledonit(Quine，Putnameta1．)…itanyhowrevealsdesireto beit．Insofarasotherwise，thesemanticpotentialofthewordleavesfarbehindit(afterallscarce)resultsit achievedfromtherelationofna exact(mathematica1)expressionnad(overlyrich)intuitiverealityofBeing．We pleadherealreadyfrom theperspectiveoftheslogan “OneandAll”ofthefirstphilosopher：Tales，whenbythe number(whichoneforebodes)onecouldgotosuchnaextentintoraeasofrealiyt(Pythagoras)，orwhen(especially inthehumansphere)isbeingoveragainactualfinalcauseofAristotle，．．．thephilosophyandthemathematicsto accomplishf morefruitfulencounterwiththeBeing．AlainBadiou(1988)hasalreadypointedhtat：“Mathematics isontology,”andthecategorytheoryinmathematics，havingcoveredbyitselfotherfieldsofthisscience，continues tofindapplicationsinaseriesof“non-traditional”domainsofreality．Inthatcorrelationthephilosophycna express its(primary)needsfortruth，justice，beauty,…aswellasofrtheoveralldevelopmentinthesenseofpurpose--also becauseofanundreamedpowerofthetechnologicaldevelopment(ofhardwaresnadsofwares)today．Namely,the naturalism inmathematics，whichdevelopedna abundantreflectionontheplace(importnaceo0themathematical idiom in sciences-- inthebalna ceofcriticism-- hascomerathertomeagerprovisions，such as：“preestablished harmonyofthinking，… o‘nticcommitment，”(Quine1960) “thehygieneofmind，”(Maddy 1996) “success argument，”