Сектор логики

Научный отчет за 2014 год

Сектор логики

Зав. сектором – доктор филос. наук А.С. Карпенко

Проведен подробный анализ возникновения, развития и современного состояния многозначной логики в Польше, и ее основополагающее влияние на развитие самой многозначной логики во всем мире (Карпенко А.С. (Karpenko A.S.). Many-valued logic in Poland: The golden age).

Выявлены эпистемологические аспекты проблематики LifeScience (Герасимова И.А. Биомедицинские технологии как проблема истории и философии науки).

Предложен класс логических матриц, в котором отношение логического следования в трехзначных матрицах является классическим (Девяткин Л.Ю. (Devyatkin L.Yu.). Three-valued matrices with classical consequence relation for an arbitrary propositional language).

Проанализированы подходы к истолкованию «пустых» терминов в предложениях с интенсиональными глаголами («искать», «полагать» и т. п. (Мигла А.В. Подходы к истолкованию пустых терминов в предложениях с интенсиональными глаголами).

Построены бивалентные матрицы К и К’, изоморфные стандартной характеристической матрице для бесконечнозначной логики Лукасевича (Преловский Н.Н. Бесконечнозначная логика Лукасевича и критерии наличия фактор-семантики у многозначных логик).

Подготовлено учебное пособие по введению в логику для студентов-философов, особенность которого в том, что логика последовательно строится на основании принимаемых философских допущений об устройстве окружающего мира (Томова Н.Е., Шалак В.И. Введение в логику для философов).