(позитив)

ФЕНОМЕНОЛОГІЯ - термін, здебільшого використовуваний нині для позначення започаткованого Гуссерлем філософського руху, головною метою якого було проведення безпосереднього споглядально-рефлексивного дослідження феноменів свідомості на рівні точної науки та розробка відповідного йому методу аналізу предметно-смислових структур людського світоусвідомлення. Сам термін "Ф." з'являється у XVIII ст., коли швейц.-нім. математик і філософ Ламберт (1728 - 1777) у кн. "Новий органон" (1764) використав його як "теорію ілюзій" для іменування тієї частини своєї гносеології, котра відмежовувала істину від хиби. Кант використав слово "Ф." лише двічі, але надав поняттю "феномен" ширшого значення, що мало своїм наслідком інакше розуміння Ф. У XIX ст. цей термін в основному пов'язується з працею Гегеля "Феноменологія духа" (1807), у якій простежується розвиток свідомості від "чуттєвої вірогідності" до "абсолютного знання". Надалі значення поняття "феномен" розширюється, воно стає синонімом "факту" чи будь-чого спостережуваного суб'єктом явища, а термін "Ф." завдяки працям Гамільтона, Гартмана, Мейнонга, Штумпфа та інших набуває смислового навантаження, близького до сучасного. Поняття "Ф." виникає у Гуссерля як противага "психологізмові" в логіці й теорії пізнання, як альтернатива "натуралізмові" (позитивізмові усіляких ґатунків) та як протилежність "історизмові" Дильтея. Ф. розглядається Гуссерлем як метод з'ясування смислових структур та зв'язків свідомості, як споглядання тих інваріантних її характеристик, які уможливлюють сприйняття об'єкта та інші різновиди пізнання. З цього погляду основні її характеристики наступні: 1) феноменологічна редукція (або "епохе"), під якою мається на увазі опис актів свідомості у спосіб, котрий є вільним від прийняття теорій та засновків про самі ці акти чи про існування корелятивних їм предметів у світі; 2) ейдетична редукція, через яку завдяки рефлексії про окремішний акт свідомості і з допомогою уявного варіювання певних його рис може бути піддана спогляданню сутність, або ейдос, не просто цього окремішного акту, а будь-якого порівнюваного з ним (напр., бачення як такого); 3) нарешті, феноменологічний підхід бере до уваги процес, завдяки якому предмети конституюються або розбудовуються свідомістю у їхньому пізнанні. Чільними проблемами роздумів Гуссерля у річищі Ф. від початку 30-х рр. стають проблеми подолання соліпсизму та інтерсуб'єктивності основоположень феноменологічної концепції філософії. Мірою розгортання цих досліджень він доходить висновку, що світ існує не для одиничного "Ego", а конституюється у своєму смислобутті спільнотою монад, внаслідок чого завданням Ф. стають роздуми про цей інтерсуб'єктивно значущий світ та спільний у своїх сутнісних структурах для багатьох людей досвід такого світу. На підставі цих роздумів народжується поняття "життєвого світу", світу безпосереднього життєвого досвіду, похідним якого є світ науки. Позаяк феномен життєвого світу виявився наскрізно історичним утворенням, звернення Гуссерля до його осмислення історизує трансцендентально-філософську рефлексію пізньої Ф., методологічні імперативи якої перетворюються на історичну редукцію. Вплив Ф. на сучасну західну філософію був широким і різнобічним. Її екзистенціалістські послідовники, особливо Гайдеггер, Сартр і Мерло-Понті, називали себе феноменологами, водночас відкидаючи такі гуссерліанські риси Ф., як бачення філософії як "точної науки", орієнтація на розробку теорії пізнання, методологічна вимога "епохе" та визнання трансцендентального "Ego". На основі філософської спадщини Гайдеггера розробляються також концепції герменевтичної Ф. Її основними постатями стають Гадамер, який в онтологічній площині розробляє герменевтичні проблеми в царинах естетичної, історичної та мовної свідомості, та Рикер, котрий досліджує питання "прищеплення" герменевтичної проблеми до феноменологічного методу на трьох стратегічних рівнях: семантики багатозначних (символічних) виразів (теорія пізнання), рефлексії (методологія) та на рівні людського існування (онтологія).

ФОРМАЛІЗАЦІЯ (від лат. formalis - складений за формою) у математичній логіці - метод подання змістової теорії як числення. Ф. полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами; у виявленні і перебудові структури теорії, внаслідок чого теорія набуває вигляду ланцюга формул, де кожна наступна логічно випливає з однієї або кількох попередніх (див. аксіоматичний метод, логістичний метод). Ф. використовують у математиці, логіці і в тих науках, рівень розвитку яких дає змогу застосовувати математичний апарат. Ф. як засіб пізнання має велике значення, зокрема, прокладає шлях "кібернетизації" знання та мислення - передачі машинам певної сторони інтелектуальної діяльності людини (див. штучний інтелект). Успіхи формалізації привели до перебільшення її пізнавальної ролі, особливо логічним позитивізмом. Проте, як виявилося, повністю можна формалізувати лише певні фрагменти змістових теорій, а не теорію в цілому.

Хінтікка, Яаакко (1929, Вантамаа, Фінляндія) - фінськ. логік і філософ Ф. ілософську освіту отримав у Гельсінському ун-ті. В 1953 р. захистив докт. дис В. 1954 - 1964 рр. працював у Гарвардському та Гельсінському ун-тах, од 1964 р. - у Стенфордському ун-ті та Академії наук Фінляндії. Од 1968 р. - проф. ун-ту Флориди у м. Таллахассі. Наукова діяльність X. розпочалася з розробки концепції модельних множин, яка виявилася дуже ефективною для побудови доведень повноти логічних систем. У наш час модельні множини X. застосовуються з цією метою не тільки в царині класичної, а й некласичної логік. На базі цього поняття X. побудував спочатку семантику для логіки висловлювань і логіки предикатів, а потім семантику для модальної логіки. Окрім цього, вчений запропонував цікаве застосування модельних множин для дослідження вітгенштайнівської "образної теорії мови" і кантівської філософії. Другою значною роботою X. стала його теорія дистрибутивних нормальних форм, які він розглядав як узагальнення поняття довершеної нормальної форми. Ця теорія отримала важливе логічне та філософське застосування. На її основі X. розробив концепцію глибинної та поверхневої інформації, на базі якої запропонував оригінальне вирішення проблеми співвідношення аналітичного та синтетичного у людському пізнанні Р. езультати своїх досліджень з цієї проблематики X. застосував як для аргументованої критики логічного позитивізму, так і для аналізу філософських поглядів багатьох мислителів минулого. Важливим внеском X. у розвиток сучасної логіки стала побудована ним теоретикоігрова семантика, в основу якої покладена ідея активного характеру людського пізнання. За X., процес пізнання ґрунтується на взаємодії суб'єкта і реальності і являє собою своєрідну гру суб'єкта з природою; на базі теоретико-ігрової семантики було запропоноване нове трактування логічних кванторів. X., поряд з Кангером і Крипке, був одним із перших, хто заклав основи семантики можливих світів. Втім, концепція можливих світів X. в ряді пунктів відрізняється від стандартної, запропонованої Крипке. Якщо останній виходить з ляйбніцівського трактування співвідношення можливого і реального, то X. бере за основу точку зору Канта. На його думку, поняття реального є більш фундаментальним, ніж поняття можливого, що являє собою лише перекомбінацію існуючого у мисленні. В роботах X. можливі світи незрідка розглядаються як "можливі напрями розвитку подій". Це насамперед пов'язано з його інтересом до епістемічної інтерпретації модальностей, з особливим трактуванням кванторів в модальних та інтенсіональних контекстах, з подоланням труднощів, пов'язаних з побудовою алетичної логіки. X. був одним із перших, хто систематично почав розробляти епістемічну логіку. Класичним доробком у цій галузі є його праця "Знання і віра".

[br]

Осн. тв.: "Дистрибутивні нормальні форми у численні предикатів" (1953); "Дві статті із символічної логіки" (1955); "Знання і віра" (1962); "Моделі для модальностей" (1969); "Логіка, мовні ігри та інформація" (1973); "Час і необхідність" (1973); "Метод аналізу" (1974).