РАЦИО.ru
Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств
... можно рационально реконструировать с точки зрения поризматической модели развития научных теорий, предложенной Б.С. Грязновым.
1. Бет Э. В. Метод семантических таблиц // Математическая теория логического вывода: Сб. науч. тр. / Под ред. А. В. Идельсона и Г. Е. Минца. М.: Наука, 1967.
2. Брюшинкин В. Н. Кант и силлогистика. Некоторые размышления по поводу «Ложного мудрствования в четырех фигурах ...
РАЦИО.ru
Системная модель аргументации для фрагмента философского текста
... фрагмента кантовского текста: строится логическое дерево аргументации, посредством построения когнитивной карты заполняются имеющиеся в дереве пробелы и реконструируется модель мира И. Канта.
1. Брюшинкин В. Н. Системная модель аргументации // Трансцендентальная антропология и логика: Труды ...
