Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Формальная диалектика Чарльза Хэмблина и средневековый логический диспут
In this paper we reconstruct a famous Severin Boethius’s reasoning according to the idea of the medieval obligationes disputation. We create two different formalizations of the disputation: fi rst with the help of Ch. Hamblin’s approach specially designed to formalize such logical debates; second, on the basis of his formal dialectics. The two formalizations are used to analyze the logical properties of the rules of the medieval logical disputation and that of their formal dialectic’s counterparts. By means of comparing these reconstructions we are able to justify our two main conclusions: that the formalization of the medieval disputation suggested by Hamblin, though does provide a general account of it thus giving a broad view of its basic logical properties, but it fails to reconstruct the full picture of the disputation because it lacks in some the details of it. Another conclusion states that Hamblin’s formal dialectic and the medieval logical disputation are based on different logical theories.В статье на примере рассуждения Боэция реконструируется средневековый логический диспут с предписаниями (обязательствами): сначала при помощи подхода Ч. Хэмблина, предложенного им для формализации таких диспутов, затем — на основе его же формальной диалектики. Две формализации служат для анализа правил средневекового логического диспута и правил формальной диалектики и сравнения их логических свойств. Посредством сопоставления этих двух формализаций обосновываются основные выводы статьи. Первый вывод заключается в том, что формализация Хэмблином средневекового диспута не вполне адекватна, потому что хотя и она отражает его наиболее существенные логические характеристики, но некоторые особенности правил такого диспута оставляет за его рамками. Второй вывод говорит о том, что формальная диалектика Хэмблина и средневековый логический диспут опираются на разные логические теории