Другие журналы на сайте ИНТЕЛРОС

Журнальный клуб Интелрос » Эпистемология & философия науки » №2, 2020

Елена Драгалина-Черная
Материальное следование и формальное обоснование

Драгалина-Черная Елена Григорьевна 
доктор философских наук, профессор.
Национальный исследовательский университет
«Высшая школа экономики».
Российская Федерация, 105066, г. Москва,
ул. Ст. Басманная, д. 21/4;
е-mail: edragalina@hse.ru

 

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

 

 

MATERIAL CONSEQUENCE AND FORMAL GROUNDING

Elena G. Dragalina-Chernaya 
DSc in Philosophy, Professor.
National Research University Higher School of Economics
21/4 Staraya Basmannaya St.,
105066, Moscow, Russian Federation;
e-mail: edragalina@hse.ru

According to Alfred Tarski’s classical definition, logical consequence is necessary and formal. This paper focuses on the question: In what sense (if any) is material consequence a logical relation? For Tarski, material consequence has no modal force. Treating all terms (of a language with a fixed domain) as logical, he reduces logical consequence to material consequence. Thus, Tarskian material consequence seems to be a logical oxymoron designed to emphasize the importance of the distinction between logical and extra-logical terms for the definition of logical consequence. Historically, however, there have been different approaches to material consequences. This paper attempts to provide an investigation into the parallels between Tarski’s dichotomy of formal and material consequence and the modern model-theoretical approach to consequence, as well as the dichotomies of consequentia formalis and consequentia materialis in John Buridan’s logic, formal and material grounding in Bernard Bolzano’s theory of science, material and logical leading principles of reasoning in Charles S. Peirce’s classification of arguments. Firstly, I’ll focus on Buridan’s idea that a consequence is formal if it is invariant under all substitutions for its categorematic terms. I am going to suggest that not only formal consequences, but also scholastic material consequences have a modal import, e.g., the consequence is materially valid ut nunc if the antecedent cannot be true without the consequent (under the present conditions). Secondly, I’ll address Bolzano’s theory of science. According to an enduring interpretation, he inherits the substitutional concept of logical consequence while his use of various types of consequences anticipates Tarski’s model-theoretical definition of formal consequence. I’ll argue for the advantages of Bolzano’s dichotomy between formal and material grounding as an attempt of proof-theoretical approach to consequence. I’ll compare Bolzano’s formal grounding with Abelard’s perfect consequence and Peirce’s logical leading principles of reasoning. My thesis is that shifting focus from truth conditions toward grounding offers some important insights into the dynamic taxonomies of consequences and other logical relations.



Другие статьи автора: Драгалина-Черная Елена

Архив журнала
эп№3, 2020я№4, 2020№2, 2020№1, 2020№4, 2019№3, 2019№2, 2019№4, 2018№1, 2019№3, 2018№1, 2018№2, 2018№4, 2017№3, 2017№2, 2017№1, 2017№4, 2016№3, 2016№2, 2016№4, 2015№2, 2012№1, 2012№4, 2011№3, 2011№2, 2011№1, 2011№4, 2010№3, 2010№2, 2010№1, 2010№4, 2009№3, 2009№1, 2009
Поддержите нас
Журналы клуба