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

Поризматические сюрпризы в логике

2014 · ARTICLE · ru

Согласно афоризму 6.1251 «Логико-философского трактата» Людвига Витгенштейна, «…в логике не может быть никаких сюрпризов». В статье ставится задача использования идеи поризма для критической оценки этого афоризма, а также для прояснения природы нормативности логики в отношении рассуждения. Подход основан на серии дихотомий: рассуждение как логический вывод vs. рассуждение как модификация знания (Джильберт Харман); рассуждение для интерпретации vs. рассуждение из интерпретации (Кейт Стеннинг и Мехил Ламбалген); конститутивная vs. регулятивная нормативность (Джон Сёрл); система вывода vs. система поиска вывода (Владимир Брюшинкин).

Logica Ludicra: аспекты теоретико-игровой семантики и прагматики

2014 · BOOK · ru

Монография посвящена рассмотрению различных аспектов теоретико-игровой семантики и прагматики – использованию теоретико-игрового инструментария для построения семантики неклассических логик, выявлению историко-философских предпосылок и обоснованию релевантности теоретико-игровых методов для анализа прагматической архитектуры естественного языка. Книга предназначена для специалистов в области философской логики, философии языка, лингвистической прагматики, а также для всех, кто интересуется современным состоянием формальной философии.

Парадокс индоктринации в логике социального софтвера

2013 · ARTICLE · ru

Предлагается нормативное разрешение парадокса индоктринации в логике социального софвера, связанное с переходом к интерактивным и динамическим моделям рациональности. Индоктринация предстает не как парадоксально-внерациональное условие рациональности, а как динамический компонент рационального протокола - дистрибутивных социальных алгоритмов, основанных на общем знании.

Учителя

2013 · CHAPTER · ru

Исчисление vs. игра: языковые игры в теоретико-игровой перспективе

2013 · CHAPTER · ru

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

L’interprétation performative du Cogito cartésien

2013 · ARTICLE · fr

В статье представлена авторская версия перформативной интерпретации картезианского когито, основанная на использовании аппарата семантики невозможных возможных миров для иллокутивной логики.

The logic of colors in model-theoretical and game-theoretical perspectives

2013 · ARTICLE · en

This paper sketches two approaches to the color exclusion problem provided by model-theoretical and game-theoretical semantics. The case study, modeling the experimentally confirmed perception of “forbidden” (e.g., reddish green and bluish yellow) colors, is presented as neuropsychological evidence for game-theoretical semantics.

Model-theoretic languages as formal ontologies

2013 · ARTICLE · en

My purpose in this paper is to interpret model-theoretic languages (abstract logics) as formal ontologies both in phenomenological and ontological engineering senses. The main idea of my approach is the interpretation of the classes of isomorphism as model-theoretic analogues of categorical objects of Husserl’s formal region. Some principles of demarcation of the bounds of logic as formal ontology are discussed. This discussion is focused on the question: “Is the permutation invariance criterion necessary and sufficient for the demarcation of the bounds of logic as formal ontology?”

В поисках теории поиска вывода

2013 · ARTICLE · ru

Рецензия на монографию В.Н. Брюшинкина и Н.А. Ходиковой «Теория поиска вывода. Происхождение и философские приложения», Калининград : Изд-во Балтийского федерального университета им. Иммануила Канта. Осуществленная авторами рациональная реконструкция истории развития теории поиска вывода представлена как новаторская попытка создания теоретической истории логики, опыт реконструкции истории научного направления с точки зрения элегантной методологической конструкции - концепции поризма, позволившей упорядочить многообразные историко-научные факты и представить историю логики как преемственность теорий.

Плодотворные тавтологии и прагматические противоречия: уловка–6.54

2013 · CHAPTER · ru

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