Kolmannen ihmisen argumentti
Kolmannen ihmisen argumentti on Platonin ideaoppia vastaan suunnattu filosofinen argumentti, jonka Platon esitti itse dialogissaan "Parmenides", ja jota Aristoteles myöhemmin hyödynsi.
Platonin ideaoppi sitoutui seuraaviin periaatteisiin; tässä "F" on mikä tahansa idea (ominaisuus tms.):Kolmannen ihmisen argumentti osoittaa, että nämä periaatteet ovat keskenään ristiriitaisia, aina kun F:n idean toteuttaa useampi kuin yksi asia. Platon itse käytti argumentin esittämiseen suuruuden ideaa, Aristoteles puolestaan käytti esimerkkinä juuri ihmistä, mistä argumentti on saanut nimensä.
Seuraavassa käytetään esimerkkinä suuruuden ideaa; argumentti pätee kuitenkin mille tahansa idealle F:
Oletetaan aluksi, että on olemassa joukko suuria asioita, sanokaamme (A, B, C). Ykseys-moneudessa-periaatteen mukaisesti on olemassa suuruuden idea (sanokaamme, L1), johon osallistumalla A, B ja C ovat suuria. Itsestä-predikointi-periaatteen mukaisesti myös L1 on suuri.
Koska L1 on suuri, voimme lisätä sen joukkoon (A, B, C) ja muodostaa uuden joukon suuria asioita: (A, B, C, L1). Ykseys-moneudessa-periaatteen mukaisesti on olemassa suuruuden idea (sanokaamme, L2), johon osallistumalla A, B, C ja L1 ovat suuria. Tässä tapauksessa L1 on osallinen L2:sta, ja ei-osallinen-itsestään-periaatteen mukaisesti L1 ei ole identtinen L2:n kanssa. Näin on olemassa ainakin kaksi erillistä suuruuden ideaa, L1 ja L2. Tämä on ristiriidassa ainutkertaisuus-periaatteen kanssa, jonka mukaan on olemassa tasan yksi suuruuden idea.
Ongelma ei kuitenkaan lopu tähän. Itsestä-predikointi-periaatteen mukaisesti L2 on suuri, ja siksi L2 voidaan lisätä joukkoon (A, B, C, L1), jolloin syntyy uusi joukko suuria asioita: (A, B, C, L1, L2). Ykseys-moneudessa-periaatteen mukaisesti on olemassa suuruuden idea (sanokaamme, L3), johon osallistumalla A, B, C, L1 ja L2 ovat suuria. Tässä tapauksessa L1 ja L2 ovat kummatkin osallisia L3:sta, ja ei-osallinen-itsestä-periaatteen mukaisesti sen enempää L1 kuin L2:kaan ei ole identtinen L3:n kanssa. Näin on olemassa ainakin kolme suuruuden ideaa, L1, L2 ja L3.
On helppo nähdä, että tämän päättelyn toistaminen johtaa äärettömään regressioon; äärettömään hierarkiaan suuruuden ideoita, jossa jokainen idea on osallinen äärettömästä määrästä ideoita sen yläpuolella hierarkiassa. Platonin mukaan mikä tahansa mikä on osallinen moneudesta, on itse moneutta. Siksi jokainen idea ideoiden äärettömässä hierarkiassa on moneutta. Ristiriidattomuus- ja yksi/moni-periaatteiden mukaisesti seuraa, ettei mikään idea äärettömässä ideoiden hierarkiassa ole yksi. Tämä on ristiriidassa ykseys-periaatteen kanssa.
Jotkut tutkijat, kuten Gregory Vlastos, ovat nähneet kolmannen ihmisen argumentin osoituksena Platonin ”aidosta hämmennyksestä” ideaopin suhteen. Jotkut toiset tutkijat ovat katsoneet, että Platon on pyrkinyt siihen, että joku edellä esitetyistä periaatteista, joka saa aikaan äärettömän regression, hylättäisiin (joko ykseys-moneudessa-, itsestä-predikointi- tai ei-osallinen-itsestä-periaate). Ristiriidat voidaan kuitenkin välttää myös hylkäämällä ykseys tai ristiriidattomuus-periaatteet (ja samalla hyväksymällä ykseys-moneudessa-, itsestä-predikointi- ja ei-osallinen-itsestä-periaatteet). Joidenkin mielestä argumentti on mitätön, mikäli täydelliset ideat ovat olemassa ihmisen käsityskyvyn ulkopuolella, niin kuin Platon alun perin sanoi.