Публикации

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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