Когнітивізація логіки або чому саме сьогодні логіка потребує підтримки когнітивістики: історико-методологічний аналіз (Укр)

Анотація

Швидкий технологічний прогрес спричинив зрушення інтересів науковців з усього світу в бік когнітивної науки та інформатики, що, безперечно, вплинуло на формування нового типу мислення. Логіка, як наука про специфічний логічний тип людського мислення, не може залишитися осторонь. У статі проаналізовано методологічні засади когнітивістики та дуальність самої науки логіки, які відкривають перспективи їх співпраці. Для цього автор робить історико-методологічний розгляд обох дисциплін. Доводиться, що, з одного боку, формальна логіка багато вкладає в розвиток штучних формалізованих мов, які активно застосовуються для програмування Штучного Інтелекту, а з іншого – неформальна логіка, як і когнітивістика, займається вивченням природньої мови, що дає їй можливість наблизитися до реального людського мислення. Показано, в який спосіб логіка, застосувавши для вивчення реального процесу мислення людей методологічну базу когнітивістики, може розширити межі своїх досліджень з теоретичного поля до практично-експериментального.