Драгалина-Черная Елена Григорьевна

Непостижимая эффективность логики, или Скандал истинной индукции Фрэнсиса Бэкона

2022 · ARTICLE · ru

Мы принимаем всерьез заявление Фрэнсиса Бэкона о том, что он создает не новую философию, а новую логику, в которой логика открытия станет фундаментом для созданных древними остальных трех ее частей — суждения как искусства оценки, памяти как искусства сохранения знаний и доказательства как искусства обсуждения с другими. Демаркация дисциплинарных границ экспериментального естествознания и новой логики, понимаемой как «искусство истолкования природы», оказывается ключевой задачей всей грандиозной реформы научного знания, инициированной его Новым Органоном. Нетривиальность этой задачи обусловлена тем, что она предполагает дизайн двойного перехода: от опытных данных к той или иной логической системе и обратно, от логической системы к экспериментальным данным. Мы рассматриваем истинную индукцию Бэкона как концептуальную технологию устранения произвольных абстракций в разговоре с природой об истине. На основе обобщения данных из примеров присутствия, отсутствия и степени истинная индукция через «преимущественные примеры» и иные конфигурации уточнения и проверки данных находит выражение в вероятностных и правдоподобных умозаключениях об умозаключениях. Залогом познания истины выступает не только экспериментальная подтверждаемость, но также ее степень и опровергаемость, обеспечивающие полноту охвата истинной индукции — Нового Органона. Технологические приемы бэконовского концептуального дизайна призваны снабдить неидеального когнитивного агента инструкциями по дизайну интерфейса последовательного восхождения по уровням абстракции от данных природы к подлинному знанию, предположительно гарантируя тем самым постижимую эффективность логики при помощи истинной индукции.

Логика дизайна и истинная индукция Фрэнсиса Бэкона

2021 · CHAPTER · ru

Спустя 400 лет после публикации в 1620 году «Нового Органона» Ф. Бэкона и 460 лет со дня его рождения мы предлагаем поверить его утверждению о том, что выдвигая истинную индукцию в качестве Нового Органона новой науки, он создает новую логику, которая, обращаясь к ограничениям в исследовании природы, свойственным неидеальным познающим субъектам, предстает как технология последовательных операций с абстракциями, предвосхищающая когнитивный поворот в современной логике.

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

2020 · ARTICLE · ru

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

Цвета в логическом пространстве Людвига Витгенштейна

2020 · ARTICLE · ru

Прослеживается эволюция логики цветовых понятий Людвига Витгенштейна. Показывается то влияние, которое вариативность его исследовательской навигации в логическом пространстве цветности оказывает на демаркацию границ этого пространства и дисциплинарных границ логики. Статья предваряет перевод на русский язык фрагментов "Заметок о цвете" Витгенштейна, выполненный под научной редакцией З.А. Сокулер и Е.Г. Драгалиной-Черной.

Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality

2019 · CHAPTER · en

Смирнова Елена Дмитриевна

2019 · ARTICLE · ru

В статье рассматривается творческая эволюция создателя отечественной школы логической семантики Елены Дмитриевны Смирновой. Выявляются наиболее значимые научные результаты Е.Д. Смирновой в разработке теоретико-модельных методов, теории семантических категорий, интенсиональной логики. Отмечается оригинальность предложенного ею обобщающего подхода к построению логической семантики, открывающего новые перспективы в обосновании аподиктического знания. Демонстрируется роль научно-педагогической деятельности Е.Д. Смирновой в развитии философской логики в России

Консеквенции и дизайн в общей и трансцендентальной логике / Consequences and Design in General and TranscendentaL Logic

2018 · ARTICLE · en

Кантовская дихотомия общей и трансцендентальной логик рассматривается в свете ретроспективной реконструкции двух подходов к демаркации формальных и материальных консеквенций, коренящихся в схоластике XIV в.

Логический гилеморфизм: от формальной онтологии к формальной деонтологии

2018 · CHAPTER · ru

На основе авторской дихотомии субстанциальной и динамической формальности осуществляется обзор и систематизация различных версий логического гилеморфизма.

Материальное следование и материальное обоснование в программе Больцано-Тарского

2018 · ARTICLE · ru

Выявляются историко-логические предпосылки понятия материального следования и коррелятивного ему понятия материального обоснования.

Уловка 6.54. О «логической петле» в Трактате Витгенштейна

2017 · ARTICLE · ru

Осуществляется теоретико-игровая реконструкция перформативного противоречия, заключенного в афоризме 6.54 "Логико-философского трактата" Людвига Витгенштейна.