Dynamic turn in epistemic logic

Abstract

Популяризація спеціалізованих наукових знань необхідна і для цього можна вказати мінімум 2 причини. Перша: популярний і доступний виклад наукових здобутків виконує агітаційну та профорієнтаційну роль, заохочуючи молодь займатися дослідженнями в певних областях знань. Друга: науково-популярний спосіб представлення знайомить з загальними способами наукового дослідженнями, принципами побудови наукового знання, методами його отримання, обґрунтування, систематизації та використання. За словами Й. Ван Бентема, логіку варто було б розуміти не як останню інстанцію, якій належить заключне слово в будь-якій дослідницькій справі, а як засіб підвищення якості наших уявлень про інформацію, обчислення і мислення, і як певний вимір в процесі аналізу і конструювання. Треба зважати на здатність логіки породжувати нові раціональні практики з новими правилами і навіть, можливо, новими типами суб'єктів. Логічне програмування, процедури аргументації, логічні ігри і багато інших нових феноменів явно показують, що діяльнісний вимір логіки є життєздатним і продуктивним модусом буття самої логіки. Таким чином, завдання цієї лекції — представити сучасний напрямок епістемічної логіки як механізм аналізу, який зокрема може бути використаний неспеціалістами (не логіками) у своїй професійній дільності та більш того у повсякденному спілкуванні.