Пошук академічних текстів

Інформація × Реєстраційний номер 0214U006099, 0114U003146 , Науково-дослідна робота Назва роботи Логіко-методологічний аналіз мови науки і проблема представлення знання - перший рік виконання проекту Назва етапу роботи Керівник роботи Попович Мирослав Володимирович, Дата реєстрації 11-02-2014 Організація виконавець Інститут філософії імені Г.С.Сковороди НАН України Опис етапу Автори дослідили мову науки як специфічну область філософії та методології науки, що піддається радикальним змінам у зв’язку з прогресом інформаційних технологій. Відповідна формалізація мови науки покликана більш адекватно відобразити ускладнення когнітивних процесів. Засобом досягнення необхідної адекватності слугує комп’ютеризація наукових досліджень, яка реалізується через концепцію представлення знання. Доведено, що застосування інтенсіональних систем логіки і семантики, на відміну від екстенсіонального підходу, які використовується в наявних на сьогодні системах представлення знання, дозволяє вирішувати проблеми передачі смислу та значення термінів і тверджень мови науки. Теорія ментальних процесів, яка розвивається при цьому підході, дозволяє дати обґрунтування процесам експлікації онтологічних припущень наукової теорії. Розкрито зростаючу роль теоретичних схем в науковому мисленні, що пов’язано, в першу чергу, з математизацією знання, складовою частиною якої є формалізація теорій. Цей процес лежить також в основі створення комп’ютерних програм для симуляції процесів у всесвіті. Мова, що використовується для формалізації знання, значною мірою визначає горизонти отримуваного при цьому знання. Ця класична постановка проблеми, що йде від Канта, в даний час трансформувалася в проблему ролі виразних можливостей формальних мов в отриманні знання. Актуальна на сьогодні дилема між використанням відносно багатих мов (з отриманням при цьому «теоретично навантажених фрагментів» знання) і відносно бідних мов (із втратою об'єктивних даних) призводить до проблеми адекватного представлення знання, і, відповідно, пошуку критеріїв адекватності мов з погляду їх виразових можливостей. Опис продукції Аналітична записка «Логіко-методологічний аналіз мови науки і проблема представлення знання» (1,2 др.а.). Автори роботи Васильченко Андрій Анатолійович Вяткіна Наталія Борисівна Кохан Ярослав Олексійович Кузнєцов Володимир Іванович Навроцький Володимир В'ячеславович Додано в НРАТ 2020-04-02 Закрити