Formaliai filosofija yra teorinis mąstymas, kurio kontūrai jau gana ryškūs antikos filosofiją vainikuojančių klasikų Platono ir Aristotelio kūriniuose. Tačiau antika dar mąsto sinoptiškai, mąstymo formalusis aspektas čia dar nėra griežtai atsiskyręs nuo dalykinio, todėl formaliojo aspekto įžvalgose dar šmėkščioja ontologiniai ir aksiologiniai akcentai
. René Descartes’ui įteisinus archimediškąjį atskaitos tašką cogito, filosofavimas jau gali susitelkti vien mąstymo atribute, taigi ir griežtai izoliuotai įsisąmoninti formaliąją filosofinio mąstymo prigimtį. Dėl istoriškai susiklosčiusių aplinkybių Descartes’as pačiame pirmajame savo kūrinyje kaip tik ir siekia išsiaiškinti tą prigimtį, apie ką nedviprasmiškai skelbia jo kūrinio pavadinimas. „Proto vadovavimo taisyklėse“ išaiškėja, kad teorinis mąstymas kaip savo atspirties duomenis numano aiškiai ir ryškiai įsisąmonintas sąvokas bei griežtas logikos taisykles, kuriomis pasinaudojant konstruojamos įvairios teorinės struktūros. Dekartiškasis mąstymo izoliavimas ne tik išdidina formaliąją arba, kaip jau darosi aišku, analitinę filosofavimo specifiką, bet inertiškai, vadinasi, nekritiškai perimdamas ankstesniojo filosofavimo dalykinius siekius, provokuoja filosofiją išryškėjusio analitinio aspekto hipertrofavimui. Descartes’as reformuoja ligtolinę filosofijos tradiciją, taigi dar ir pats įsišaknijęs joje, todėl natūralu, kad neatsispiria analitiškumo absoliutinimo pagundai ir metodišku, t. y. taisyklių vairuojamu, mąstymu dar viliasi pelnyti tiesą. Tačiau atrodo, kad šis klasikas, įgyvendindamas savąjį projektą, spėjo suvokti jo nerealumą, apie ką galima spręsti iš to, kad savo „Proto vadovavimo taisyklių“ jis taip ir nebaigė, o ėmėsi kitų uždavinių. Todėl juo labiau turėtų stebinti tai, kad po trijų šimtmečių analitiškumo absoliutinimo nuokalne slystelėja ir dekartiškąjį projektą iki jo loginės baigties tarsi išplėtoti imasi Ludwigas Wittgensteinas. Kitaip nei jo pirmtakas, šis Vienos klasikas savo garsiajame „Loginiame filosofiniame traktate“ kimba jau ne į taisykles, bet užsimoja išskirti tiesos atomus, t. y. gilinasi į Descartes’ui tarsi ir neproblemišką mąstymo pamatinių sąvokų sritį. Wittgenstein’o projektas taip pat baigiasi nesėkme. Tiesa abiem klasikams išslydo iš rankų, ir tai radikaliai sukomplikavo analitinio mąstymo pažintines pretenzijas. „Proto vadovavimo taisyklėse“ Descartes’as savosios rezignacijos priežasčių neaptarė, o Wittgensteinas pademonstravo retą filosofams narsą ir garbingai pripažino savo projekto nesėkmę. Nevaisingas pastangas analitiškai išdistiliuoti loginius tiesos atomus jis prilygino lipimui kopėčiomis, kuriomis pasinaudojus galima jas, šiuo atveju jo garsųjį traktatą, nuspirti. Tai, ką pamatė Vienos klasikas pasilypėjęs ant traktato „kopėčių“, paaiškėjo paskesniuose „Filosofiniuose tyrinėjimuose“. Čia jis ne tik pabrėžia mąstymo ir kalbos tarpusavio priklausomybę, bet teigdamas prioritetą kalbai tarsi grįžta į pradinę filosofavimo situaciją. Juk filosofija prasidėjo savotiška rapsodystės imitacija, t. y. su veikla susipynusiu kalbėjimu. Regis, filosofavimas perėmė ir rapsodystės siekius, t. y. juo iš pradžių buvo siekiama integruoti žmogų į antikos pasaulį – kosmą. Dėl to filosofavimas pirmapradiškai dar puoselėjo ontologinius siekius, o įsisąmonindamas savo mąstomąją prigimtį – ir gnoseologines aspiracijas. Ilgainiui vis labiau susitelkiant į mąstymą ir reflektuojant jo būdą, filosofijoje išskiriamas ir išdidinamas analitiškumo aspektas. Antikos filosofija tai daro pasižvalgydama į greta jos funkcionuojantį analitinio mąstymo precedentą – matematiką. Tai ypač akivaizdu Platono dialoguose, kuriuose jis ne šiaip demonstruoja simpatijas matematiniam mąstymui, bet gana dažnai savuosius samprotavimus tiesiog grindžia matematiniais pavyzdžiais. Štai Faidone aksiologinis sielos nemirtingumo įrodymas konstruojamas samprotaujant apie trejeto prigimtį. Tačiau tą patį įrodymą Platonas užbaigia pateikdamas savo modifikuotą ir, jo paties žodžiais tariant, tik tikėtiną mitą apie sielų teismą Hade. Analitinis mąstymas ir mitologinės alegorijos susipina ir kituose Platono dialoguose. Vieni tai aiškina kaip Platono ir apskritai antikos filosofavimo (nesu)brendimo ženklus, kiti priešingai – čia įžvelgia antikos filosofų ir ypač Platono gebėjimą aptarti tai, kas vien analitiškai yra neapmąstoma. Po analitinio mąstymo pažintinių projektų akivaizdžių nesėkmių nusiviliant tokio mąstymo pažintinėmis galimybėmis, turtingesnę kalbos prigimtį išnaudojantis poetinis mąstymas dar gali išsaugoti inertiškai puoselėjamas viltis pelnyti tiesą. Poetiški Platono dialogai tarsi rodo, kad bent jau jam pavyko tai padaryti dialektiniu mąstymu, kuriame analitinio mąstymo galimybės papildytos poetų naudojamais įnagiais – analogijomis, metaforomis, alegorijomis ir mitais. Šiaip ar taip, filosofijoje dar nuo antikos pastebimas savotiškas „religinis“ ginčas tarp loginio ir poetinio mąstymo šalininkų, kuriame, matyt, statistiškai viršų ima logikos išpažintojai. Priešingiems šio ginčo poliams atstovaujančios pusės remiasi savo argumentais ir, žinoma, nesusikalba. Turint omenyje, kad mąstymo nuoseklumas arba logiškumas, matyt, yra ne tiek tiesos, kiek susikalbėjimo kontroliavimo priemonė, poetinio mąstymo protagonistų pastangos apginti savo pozicijas tarsi ir yra iš anksto pasmerktos. Tam, kad būtų išgirsti, jie turi taikytis prie logiškumą garbinančių analitikų nuostatų, taigi veikiai pateikti savąją poziciją kaip racionalumo atmainą. Tačiau poetinio filosofavimo šalininkai visada gali gelbėtis platoniškojo dialektinio mąstymo precedentu, kuris leidžia spėti, kad tai, kas analitiškai žvelgiant neįmanoma, praktiškai visgi galima. Ar gali būti Platonas poetizuojančios filosofijos ramstis? Užuot įsileidę į neperspektyvaus ginčo peripetijas, pamėginkime šio ginčo rakursu pažvelgti į, rodytųsi, akivaizdų poetinio samprotavimo pavyzdį – Platono olos alegoriją.