Формальная философия-60: доклад Елены Драгалиной-Чёрной "Материальное следование"

5 февраля состоялось 60-е заседание научно-теоретического семинара  «Формальная философия».

5 февраля Елена Драгалина-Чёрная, главный научный сотрудник МЛ ЛогЛинФФ, представила доклад "Материальное следование"

Аннотация:
 Согласно классическому определению Альфреда Тарского, логическое следование необходимо и формально.  Материальное следование Тарского – логический оксюморон, призванный оттенить своей контринтуитивностью добротность формального следования.  Однако если понятие материального следования обладало теоретической ценностью в истории логики, не исключено, что оно сохраняет и сегодня экспликативный потенциал.   Доклад посвящен сопоставлению подхода Тарского к материальному следованию с его трактовкой в современной теории моделей, а также с дихотомиями формальных и материальных консеквенций в логике Жана Буридана, формального и материального обоснования в наукоучении Бернарда Больцано, логического и материального руководящих принципов рассуждения в классификации аргументов Чарльза Сандерса Пирса.  

См. также:

-Слайды доклада
 

Материальное следование (PPTM, 2.01 Мб)