Iš pirmo žvilgsnio atrodytų, kad Platonas čia tarsi nieko naujo nepasako ir, regis, tik supažindina Zenoną su Faidone pateikta dalyvavimo samprata. Tačiau argi ši sąvoka gali turėti kokią nors prasmę esinių (daugio) tikrumą neigiančiam elėjiečiui? Akivaizdu, kad Platonas, detalizuodamas dalyvavimo sąvoką, vaikosi savų tikslų. Įdėmiau įsižiūrėjus darosi aišku, kad parmenidiškasis Sokratas čia mėgina rekonstruoti dalyvavimo sąvokos suponuojamas ontologines prielaidas, tad ir yra tiesiog priverstas polemizuoti su ontologinę problematiką antikos filosofijoje aktualizavusiais elėjiečiais. Faidone dar gana metaforiškai nubrėžta skirtis tarp regimų ir neregimų dalykų čia tikslinama analitiškai skaidriau nusakant abiejų sričių esybių santykį su mąstymo logine specifika. Kadangi Parmenidas, konstatavęs būti esant, po to darė išvadą, kad „būti ir mąstyti yra tas pat“
, tai nuosekliai kilo išvada, kad mąstymo logiškumo kriterijus turi ontinio tikrumo mato reikšmę. Zenonas, sekdamas tokia nuostata, savo aporijomis demonstravo, kad apmąstant regimosios srities pamatines prielaidas – daugį, judėjimą ir erdvę, – įsiveliama į prieštaravimus, todėl ne mažiau nuosekliai darė išvadą apie šios srities netikrumą. Kadangi dalyvavimo sąvoka vis dėlto numatė ontinį tikrumą ir esiniams, tai, perpratus elėjietiško mąstymo strategiją, buvo akivaizdu, kad esinių tikrumą galima išgelbėti tik atidalinant mąstymą ir egzistavimą. Tačiau toks atidalinimas būna įmanomas tik sutelkus mąstymą vien mąstyme, t. y. tik Descartes’ui įteisinus cogito, o jį, matyt, pirmasis gerokai vėliau realizuoja S. Kierkegaard’as, nusistebėdamas, kad egzistuojantis mąsto, o egzistencija yra nemąstoma. Platonas gelbsti esinių tikrumą darydamas tai, kas įmanoma sinoptiniame mąstyme, t. y. tik atribodamas esinių ir idėjų sritis visumiškame dalyke bei siūlydamas griežtus logikos matus taikyti vien idėjoms. Aptardamas esinių buvojimo specifiką, Platonas, regis, nėra originalus, bet, matyt, seka įžvalgiuoju Hėrakleitu. Šis savo aforizmais, viena vertus, pabrėžinėjo permainingą esinių realybės būdą, o, antra vertus, rekonstravo, anot jo, tą realybę steigiantį visai kitokios prigimties, būtent amžinai arba nuolatos esantį, Logą
. Retrospektyviai taikant Hėrakleito aforizmams Parmenido suformuluotą ontiškumo matą, tektų konstatuoti, kad nors esinių realybė dėl savo lakios prigimties gali būti mąstoma tik prieštaringai, tačiau jos ryšys su amžinai esančiu Logu vis dėlto neleidžia jos visiškai nureikšminti ontiškai. Tokią išvadą galima padaryti netgi ignoruojant Hėrakleito aforizmo apie Logą numanomą išvadą, nes pats Hėrakleitas, daugybe aforizmų pabrėždamas esinių realybės mąstymo prieštaringumą, nė viename aforizme jos visiškai nenureikšmina. Jei jis ir kvestionuoja tokios realybės tikrumą, tai tik menkindamas jos ontinę kokybę, pavyzdžiui, metaforiškai prilygindamas ją sapno realybei
. Tai nurodo gausūs jo filosofijos interpretatoriai, kurie, ignoruodami aforizmų apie amžinai esantį Logą numanomas išvadas, neretai ima drastiškai Hėrakleitą priešinti Parmenidui, teigdami, kad vienas iš jų neva pernelyg sureikšmino kitimą, o jau kitas, priešingai, susitelkė vien ties pastovumu. Nors ne kažkiek įžvalgumo reikia, kad suprastum, jog bet koks mąstymas, kad ir nuo ko pradėdamas, bet veikiai įsiklausydamas į savo loginę prigimtį, neišvengiamai provokuoja rekonstruoti pastovius arba sau tapačius dalykus ir, kad abu paminėti klasikai šiuo požiūriu buvo vienodai įžvalgūs, tad ir sutarė. Šiaip ar taip, Platonas, regis, perima iš Hėrakleito esinių realybės fenomenologinį aprašymą, tačiau juo nesitenkina, bet žengia toliau ir dalyvavimo sąvoka pamėgina paaiškinti, viena vertus, kaip konkrečiai į daugybę idėjų pažiręs Logas lemia esinių turinį, o antra vertus, kodėl esinių turiniai tokie permainingi. Jei šiais rakursais perfrazuotume Sokrato pamokymus Zenonui, tai išeitų, kad esiniai neturi nuosavos savasties arba tapatybės, tačiau turi gebėjimą persiimti suaižėjusio Logo turiniais. Nevaržomi nuosavos tapatybės esiniai gali persiimti iš principo bet kokiais svetimais turiniais, tačiau nė vienu konkrečiu turiniu negali persiimti visiškai, tad, mėginant juos apmąstyti, ir tenka konstatuoti parsidavėliškos esinių prigimties nulemtą painiavą
. Tačiau argi iš to, kad esinių neįmanoma apmąstyti korektiškai, reikia, sekant elėjiečiais, daryti išvadą, kad jie yra netikri
? Platonas, matyt, atsakytų, kad to paties matas yra mąstymo srities matas, tad ir galioja vien mąstymo srities esybėms, t. y. idėjoms, o esiniai priklauso visai kitai, t. y. regimų dalykų, sričiai. Ar tai reikštų, kad apie jų tikrumą reikėtų spręsti taikant jiems nuosavą matą? Sofistikos tėvas Protagoras į šį klausimą atsakytų teigiamai ir dar nurodytų, kad šios srities matas yra juslės
ir visi esiniai, taikant šį matą, yra visiškai tikri. Platonui toks požiūris būtų visiškai nepriimtinas, nes toks matas ir esinius ant aukščiausio pjedestalo kelia, ir neregimas idėjas grasina vėjais paleisti. Šiaip ar taip, Platonas seka ontologijos korifėjaus Parmenido nuoroda apie mąstymo ir esančiojo tapatumą, tad ir esybių tikrumą sieja su jų mąstomumo
galimybėmis. Nors esiniai priklauso regėjimo, t. y. jusliškumo sričiai, tačiau jie gali mėgdžioti idėjas ir, persiimdami mąstymo turiniais, vis dėlto būti ir tikri. Jei esiniai nėra ontiškai niekinės esybės, tai į kokį tikrumą jie gali taikyti? Parmenidiškas Sokratas čia teikia nedviprasmišką atsakymą: kiek ir kaip koks nors esinys dalyvauja kokioje nors idėjoje, tiek ir taip jis yra tikras.