Материальное следование и формальное обоснование
DOI:
https://doi.org/10.5840/eps202057223Ключевые слова:
логическое следование, материальное следование, формальное обоснование, руководящий принцип рассужденияАннотация
Согласно классическому определению Альфреда Тарского, логическое следование необходимо и формально. В статье обсуждаются те смыслы, в которых материальное следование может быть признано логическим отношением. Различение формального и материального следования, проведенное Тарским, сопоставляется с пониманием следования в современной теорией моделей, а также с дихотомиями формальных и материальных консеквенций в логике Жана Буридана, формального и материального обоснования в наукоучении Бернарда Больцано, логического и материального руководящих принципов рассуждения в классификации аргументов Чарльза Сандерса Пирса. Демонстрируются преимущества переключения внимания с условий истинности на процедуры обоснования для разработки динамических таксономий следования и других логических отношений.