Fundamental Categories, Category Systems, and Ontological Form

Abstract

Tarkastelen tässä työssä yleisestä, ”metaontologisesta” näkökulmasta fundamentaaleja ontologisia kategorioita ja kategoriasysteemejä. Lähtökohtana toimii ennen kaikkea ”ontologisen muodon” idea (josta ovat puhuneet mm. E. J. Lowe ja Barry Smith) ja ajatus ontologiasta ”formaalina ontologiana”.

Pyrin aluksi selventämään ”ontologisen muodon” ideaa ja formaalin ontologian yhteydessä esiintyvää muoto/aine –erottelua. Päädyn toteamaan että ”aiheneutraalius” (topic-neutrality), johon usein viitataan tehtäessä erottelua ”muodollisen” ja ”aineellisen” välillä niin logiikassa kuin ontologiassakin, on riittämätön erottelemaan ontologista muotoa ”aineesta”. Perustelu tälle on se että kategoriaerotteluita ei tulisi sulkea pois ontologisesta muodosta. Tämän jälkeen siirryn tarkastelemaan ”formaali-ontologisen relaation” ideaa. Ajatus on että ontologisen muodon voitaisiin nähdä koostuvan tietynlaisista relaatioista olioiden välillä. Tarkastelen lähemmin kolmea piirrettä jotka on liitetty ”formaali-ontologisiin” tai ”formaaleihin relaatioihin”: taipumusta synnyttää regressioita, ”internaalisuutta” (ns. internal relations) ja ”ontologisen statuksen” puutetta (ts. että nämä relaatiot eivät ole omia erillisiä olioitaan). Totean näiden tarkastelujen lopuksi että sekä ”ontologiselle muodolle” että ”formaali-ontologiselle relaatiolle” kirjallisuudesta löytyvät karakterisoinnit ovat puutteellisia.

Seuraavaksi tarkastelen formaali-ontologisten relaatioiden mahdollista roolia kategoriasysteemeissä ja merkitystä kategoriaerotteluille. Käyttäen esimerkkinä eri tapoja tulkita Aristoteleen ns. ontologista neliötä erottelen kaksi erilaista tapaa joilla kategorioiden voisi nähdä määräytyvän olioiden välisistä relaatioista. Ensimmäisen tavan mukaisesti kategoriat muodostavat hierarkian jossa vain osa kategorioista määräytyy relationaalisesti. Toisen tavan mukaisesti kaikki kategoriat taas määräytyvät yhtälailla relaatioiden perusteella. Tämä jälkimmäinen tapa, jonka katson sopivan paremmin yhteen sen fundamentaalisuuskäsityksen kanssa jota olen päätynyt kannattamaan työn johdannossa, tuottaa eräässä mielessä strukturalistisen kuvan ontologisista kategorioista. Kategorioiden relationaalisen määräytymisen kohdalla hyödynnän myös ”reaalimääritelmän” ideaa josta on viime aikoina puhunut mm. Kit Fine. Käsiteltyäni lyhyesti E. J. Lowen versiota ontologisesta neliöstä tarkastelen vielä lähemmin ajatusta kategorioiden puhtaasti relationaalisesta määräytymisestä. Yritän vastata eräisiin kirjallisuudesta löytyviin vasta-argumentteihin ja puolustaa yleisesti ”kategoriastrukturalismin” mahdollisuutta, mutta viittaan myös lyhyesti joihinkin metafyysisiin seurauksiin joita tällaisella kategoriakäsityksellä mahdollisesti voisi olla.