• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Материальное следование и формальное обоснование

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