Nominalismi

Nominalismi eli olio-olemassaolokäsitys on ontologinen kanta, josta on olemassa kaksi versiota. Ensimmäinen kieltää universaalien eli yleiskäsitteiden olemassaolon mielen ulkopuolella. Toinen kieltää kaikkien abstraktien olioiden eli sellaisten olioiden, jotka eivät sijaitse aika-avaruudessa, olemassaolon.
Ensin mainittu kanta on peräisin keskiajan filosofiasta ja liittyy universaalien ongelmaan. Jälkimmäinen kanta on syntyjään myöhäisempi. Mikäli kaikkien yleiskäsitteiden katsotaan olevan abstrakteja olioita, nämä kaksi nominalismin merkitystä kuitenkin sulautuvat yhteen.
Nominalismi on käsiterealismin eli ominaisuus-olemassaolokäsityksen vastakohta. Käsiterealismi katsoo, että kun käytämme sellaisia kuvaavia käsitteitä kuin 'kissa' tai 'vihreä', näiden käsitteiden muodot ovat todella olemassa itsenäisenä maailmasta, jonkinlaisessa abstraktissa todellisuudessa. Nominalismi puolestaan katsoo, että yleiskäsitteiden kuvaamilla ideoilla ei ole erillistä olemassaoloa mielikuvituksemme ulkopuolella.
Suurin osa nominalisteista katsoo, että ainoastaan aika-avaruudelliset fysikaaliset partikulaarit eli yksilöoliot ovat todellisia, ja yleiskäsitteet ovat olemassa vain niistä johdettuina (universalia post res, ”universaalit asioiden jälkeen”). Jotkut nominalistit kuitenkin katsovat, että on olemassa yksilöolioita, jotka ovat abstrakteja entiteettejä, kuten luvut.
Nominalismista on olemassa useita muunnelmia, jotka vaihtelevat äärimmäisestä nominalismista lähes realismiin.

Historia

Termi ”nominalismi” tulee latinan sanasta nomen (”nimi”). Tämä johtuu siitä, että alkuperäisessä käyttöyhteydessä, keskiajan universaalikiistan aikana, nominalismi viittasi kantaan, jonka mukaan yleiskäsitteiden sijasta on olemassa vain asioiden nimiä, ”nimilappuja”, joita käytämme kuvaamaan joitakin olioita. Nominalismin perustajana pidetään usein Roscellinusta. Klassisen nominalismin pioneereja oli Vilhelm Occamilainen. Myöhemmistä filosofeista muun muassa John Locke ja George Berkeley olivat nominalismin tiukkoja kannattajia.

Äärimmäinen nominalismi

Äärimmäinen nominalismi ei tunnusta universaalien ongelman olemassaoloa eikä erottelua yleiskäsitteiden ja yksilöolioiden välillä. Äärimmäisen nominalismin mukaan yleiskäsitteistä puhuminen on väärinkäsitystä. Todellisuudessa ne eivät ole olemassa edes näennäisesti. Muun muassa W. V. O. Quine ja Michael Devitt ovat kannattaneet äärinominalismia.

Predikaattinominalismi

Predikaattinominalismin mukaan yleiskäsitteet ovat pelkästään kielellisiä predikaatteja. Yleiskäsitteet syntyvät, kun samaa predikaattia sovelletaan useaan yksilöolioon. Predikaattinominalismia on kannattanut esimerkiksi John Searle. Lisäksi se muistuttaa Gottlob Fregen teoriaa ominaisuuksista predikaattifunktioina.
Predikaattinominalismin mukaan esimerkiksi Kissi ja Mirri ovat kummatkin kissoja sillä perusteella, että predikaattia 'kissa' sovelletaan kumpaankin niistä. Sama pätee kaikkeen olioiden ominaisuuksien samankaltaisuuteen.
Tärkein vastaväite predikaattinominalismia vastaan on se, ettei se tarjoa riittävää ratkaisua universaalien ongelmaan. Se ei esimerkiksi selitä, millä perusteella joukko olioita on samanlaisia jonkun ominaisuuden suhteen. Toisekseen predikaattinominalismi sallii sekä liian harvoja että liian monia ominaisuuksia. Ensiksi mainitussa on kyse siitä, että predikaattinominalismi ei salli sellaisten ominaisuuksien olemassaoloa, joille ei ole vielä kehitetty predikaattia. Esimerkkinä voisi olla joku fysikaalinen ominaisuus, jota ei ole vielä havaittu. Viimeksi mainitussa on kyse siitä, että predikaattinominalismi sallii sellaisten luonnottomienkin ominaisuuksien olemassaolon, jolle joku kehittää predikaatin. Tästä ovat esimerkkinä Nelson Goodmanin esittelemät predikaatit ”grue” ja ”bleen”.

Luokka- ja samankaltaisuusnominalismi

Luokkanominalismin mukaan yleiskäsitteet ovat jäsenyyksiä yksilöolioiden muodostamissa luokissa, jotka käyttäytyvät joukko-opin joukkojen tapaan. Luokat muodostavat näin uuden olevaisen kategorian. Luokat eivät kuitenkaan ole toistettavia eivätkä siksi yleiskäsitteitä; ne ovat ainutkertaisia yksilöitä.
Eräs luokkanominalismin ongelma liittyy juuri ajatukseen luokista yksilöolioina. Tällöin sellainen luokka, jossa on ainoastaan yksi yksilöolio, on erillinen yksilöolio, mikä vaikuttaa ontologian tarpeettomalta laajennokselta. Toinen ongelma liittyy siihen, että luokkanominalismissa jokaista ominaisuutta vastaa olioiden joukko ja jokaisen oliojoukon voidaan ajatella vastaavan jotain ominaisuutta. Tämä ei kuitenkaan salli ominaisuuksia, joita ei ole millään oliolla; toisaalta sen mukaan kaikilla satunnaisestikin muodostetun oliojoukon olioita yhdistäisi joku ominaisuus.
Ongelma voidaan pyrkiä ratkaisemaan vaatimalla, että luokat ovat joko luonnollisia primitiivisiä luokkia tai perustuvat johonkin aitoon samankaltaisuuteen.
Jälkimmäiseen lähestymistapaan perustuva samankaltaisuusnominalismi on yksi luokkanominalismin alalaji. Siinä kuhunkin luokkaan kuuluvien olioiden on muistutettava kaikkia muita luokan jäseniä enemmän kuin ne muistuttavat luokan ulkopuolisia olioita. Samankaltaisuusnominalistit katsovat esimerkiksi, että 'kissa' sopii kumpaankin kissaan joko siksi, että sekä Kissi että Mirri muistuttavat keskimääräistä kissaa tarpeeksi, että ne voidaan luokitella yhdessä sen kanssa samaan luonnolliseen luokkaan, tai siksi, että ne eroavat toisistaan (ja muista kissoista) vain suhteellisen vähän, verrattuna siihen kuinka paljon ne eroavat muista olioista.
Jotkut nominalistit katsovat, että tämä samankaltaisuussuhde on itsessään universaali, mutta että se on ainoa tarpeellinen universaali. Tämä on kuitenkin nominalismin hengen vastaista, koska nomalismi yleisesti kieltää juuri universaalit. Jotkut nominalistit puolestaan katsovat, että jokainen samankaltaisuussuhde on itsessään partikulaari, ja samankaltaisuussuhde yksinomaan sillä perusteella, että sillä on samankaltaisuussuhde muiden samankaltaisuussuhteiden kanssa.

Nominalismi matematiikan filosofiassa

Matematiikan filosofiassa nominalismilla tarkoitetaan matematiikkaa, jossa ei oleteta joukkojen olemassaoloa matemaattisessa mielessä. Käytännössä tämä tarkoittaa sitä, että kvantifiointeja voidaan suorittaa lukuavaruuksien, pisteiden, primitiivisten järjestettyjen parien ja muiden abstraktien ontologisten primitiivien yli, mutta ei sellaisten joukkojen, joiden jäseniä mainitut yksilöt ovat, yli.

Sosiaalinen konstruktionismi nominalismina

Ian Hacking on esittänyt, että suuri osa siitä mitä kutsutaan sosiaaliseksi konstruktionismiksi on tosiasiassa ääneenlausumattoman nominalistisen metafyysisen maailmankuvan tulosta. Hänen mielestään tämä on syynä sille, että luonnontieteilijät ja konstruktionistit usein puhuvat toistensa ohi.