• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Публикации

Книги участников НУГ по формальной философии и философской логике: 



Публикации по проектам «Динамический поворот в логической семантике» (2015–2016, 15-05-0005) и «Динамические модели в аналитической метафизике и философии языка» (2017, 17-05-0040):

  • Валиев Г.В. Теория формы Рене Тома // Философия. Язык. Культура / Отв. ред.: В. В. Горбатов, А. В. Марей. Вып. 6. СПб. : Алетейя, 2015. С. 170-184.
  • Васюков В.Л. Логика Галена: наследие Аристотеля или научная инновация? // История медицины. 2015. Т. 2. № 1. С. 10-16. DOI: 10.17720/2409-5583.t2.1.2015.01v
  • Васюков В.Л. «Витгенштейнианский» интенциональный искусственный интеллект // Философия искусственного интеллекта. Сборник трудов Всероссийской междисциплинарной конференции, 17-18 марта 2016 г., философский факультет МГУ имени М.В.Ломоносова, г.Москва / Под общ. ред.: А. Ю. Алексеев, Д. И. Дубровский, В. А. Лекторский. М. : ИИнтеЛЛ, 2016. С. 156-168.
  • Гайбарян П.М. Об эффекте фрейминга в русскоязычной среде // В кн.: Философия. Язык. Культура / Отв. ред.: В. В. Горбатов, А. В. Марей. Вып. 6. СПб. : Алетейя, 2015. С. 203-212. 
  • Гладышев М.А. Ложь с точки зрения динамической эпистемической логики // Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. / отв.ред. В.И.Маркин. М.: Современные тетради, 2017. С.67–68.
  • Долгоруков В.В. Эпистемические пресуппозиции и классификация ассертивов // Эпистемология и философия науки. 2017. Т. 51. № 1. С. 95-106. DOI: 10.5840/eps201751112
  • Долгоруков В.В. Модель социального влияния для эпистемических агентов // Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. / отв.ред. В. И. Маркин. М.: Современные тетради, 2017. С.74–76.
  • Драгалина-Черная Е.Г. Игра в исчисление: ментальные модели vs. стратегические рассуждения // Логико-философские штудии. 2016. Т. 13. № 2. С. 118.
  • Драгалина-Черная Е.Г. Образы логики и стили рассуждения: неформально о логической форме // Преподаватель XXI век. 2015. № 3. С. 232–242.
  • Драгалина-Черная Е.Г. Логическая норма как артефакт // Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. / отв.ред. В. И. Маркин. М.: Современные тетради, 2017. С.76–77.
  • Драгалина-Черная Е.Г. Выправление имен: от грамматики к логике социального софтвера // Философский журнал. 2016. Т. 9. № 4. С. 147-157. DOI: 10.21146/2072-0726-2016-9-4-147-157
  • Копылова А.О.  Условия истинности предложений о будущем и прошлом в логике У. Оккама и онтологические обязательства номинализма // Девятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 17–19 июня 2015 г. М.: Современные тетради, 2015. С. 116–117.
  • Копылова А.О. Суппозиция и предикация: случай Оккама // История философии. 2017 (на рецензии)
  • Копылова А.О. Суппозиция в пропозициях с пустыми терминах в номиналистических онтологиях высокой схоластики: к чему отсылают химеры? // Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. / отв.ред. В. И. Маркин. М.: Современные тетради, 2017. С.140–142.
  • Мишура А.С. Аргумент последствий в дискуссии о свободе воли // Мысль: Журнал Петербургского философского общества. 2016. № 21. С. 87-101.
  • Мишура А.С. Обезвреживаем манипуляторов: против экстерналистской защиты компатибилизма // Вестник Московского университета. Серия 7: Философия. 2015. С. 73-82.
  • Мишура А.С. Crossing the Line: New Intuitions Behind Frankfurt-Type Cases // Axiomathes. 2016. DOI:10.1007/s10516-016-9318-y
  • Смирнов М.А. Проблема онтологических обязательств в семантике событий // Эпистемология и философия науки. 2016. Т. 50. № 4. С. 136–152. DOI: 10.5840/eps201650475
  • Смирнов М.А. О некоторых затруднениях в семантике событий // Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. / отв.ред. В. И. Маркин. М.: Современные тетради, 2017. С.116–118.

Аннотации и ссылки на полные тексты:

Драгалина-Черная Е.Г. Неформальные заметки о логической форме. СПб.: Алетейя, 2015. Полный текст.

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

Рецензии: [Павлов-Пинус2016] | [Лисанюк2016] | [Вострикова2016] | [Микиртумов2017

Васюков В.Л., Драгалина-Черная Е.Г., Долгоруков В.В. Logica Ludicra: аспекты теоретико-игровой семантики и прагматики. СПб.: Алетейя, 2014. Полный текст.

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

Драгалина-Черная Е.Г. Онтологии для ∀беляря и ∃лоизы. М.: НИУ ВШЭ, 2012. Полный текст.

Монография посвящена онтологии стандартной и девиантной квантификации. В работе сопоставляются эвристические возможности и онтологические обязательства двух парадигм интерпретации кванторов: как второпорядковых предикатов и как функций выбора от их истоков (Г. Фреге и Ч.С. Пирс) до современного состояния (абстрактные логики и IF-логика). Новизна исследования связана с философской оценкой технических результатов последних лет о выразительных и дедуктивных возможностях логик с нестандартной квантификацией. Монография включает апробацию разработанных методов в логическом анализе языка, а также в логико-онтологической экспликации классических философских затруднений, обусловленных предикативной трактовкой существования. Книга предназначена для специалистов в области логики, философии, когнитивной лингвистики и психологии, онтологической инженерии, а также для всех тех, кто интересуется историей и современным состоянием логики, аналитической философии и феноменологии, философскими основаниями математики и компьютерных наук.

Рецензии: [Марков2012] | [Неретина2012] | [Куслий2012] | [Куслий2013

Васюков В.Л. Формальная онтология. М.: ИФРАН, 2006Полный текст.

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

Васюков В.Л. Квантовая логика. М.: Per Se, 2005. Полный текст.

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

Васюков В.Л. Категорная логика. М.: АНО Институт логики, 2005. Полный текст

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

Васюков В.Л. Формальная феноменология. М.: Наука, 1999. Полный текст.

Книга посвящена построению феноменологически ориентированных формальных языков, которые позволяют интерпретировать рациональные моменты философских учений таких выдающихся философов XX века, как Ф.Брентано, Э.Гуссерль, А.Мейнонг, К.Твардовский, Р. Инграден, Ж.-П.Сартр. Приводится обширный материал, иллюстрирующий основные положения формальной феноменологии, которую можно квалифицировать как новое самостоятельное направление логико-философской мысли. Это новая область научного знания, возникающая на стыке сразу нескольких философских дисциплин – онтологии, логики, феноменологии.


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!