Логика

,

Секция “Логика” разработва философско - методологически проблеми на съвременната логика - анализ на логическите системи за класическата и некласическата (модална, многозначна, интуиционистка, паранепротиворечива, деонтична) логика; техните частно-логически и гносеологически аспекти и приложения, връзката им с логическите и със семантическите парадокси; отношението онтология - логика.

Изследват се въпроси на логическата семантика и логическото следване; на семиотиката и философията на езика; на индуктивната логика; на връзката логика - експертни системи, психологизмът в логиката; на отношението логика - диалектика. В секцията има разработки и върху философията и методологията на науката, по специално философията на математиката и отношението “математика - логика”, методологията на математическото и компютърно моделиране. Изследват се и въпроси на традиционната логика; силогистиката; историята на логиката, както и преподаването на логиката.

Секцията по логика към ИФИ е организирала повече от десет международни и национални конференции и симпозиуми, последният през 1997 година. Издадени са 12 сборника с материали от такива конференции. Сред тях са: “Типы логических систем и проблема истины (логика и ее применение) С., 1988; “Проблемы отношения между диалектикой и логикой.” С., 1990.; “Рационална дейност, ефективни процедури и интелектуализация. С., 1988.; “Проблеми на съвременната логика” С., Наука и изкуство, 1985; “Логическая непротиворечивость и диалектическое противоречие.”С., 1989; а също така и поредиците: Logic and applications, Methodology of Mathematical modelling, Проблеми на логиката.