Мы открываем новую рубрику «Дискуссии». Предполагается, что в ней будут публиковаться работы, посвященные спорным взглядам на проблемы логики. В настоящем номере Ю. Ивлев излагает свою точку зрения на предмет и перспективы развития логики, а Н. Непейвода – свою точку зрения на формализацию как неотъемлемую составляющую логического подхода к решению задач.

Подробный обзор работ о взаимосвязи логического следования, операции добавления следствий и решеток теорий дан в статье И. Горбунова. Истории античной и средневековой логики посвящены статьи В. Воробьева и А. Копыловой. Различные свойства многозначных логик рассматриваются в работах А. Беликова и Н. Томовой. Эквивалентные формулировки известной проблемы Гольдбаха в терминах матриц многозначной логики предлагает Н. Преловский. Проблеме противопоставления анализа и дедукции посвящена работа В. Шалака.

Опубликован: 21.08.2018