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

Монографии сотрудников ЛогЛинФФа


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

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

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

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

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

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

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

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

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


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

 

Rodin A. Axiomatic Method and Category Theory. Dordrecht: Springer, 2014.

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. 
 
Рукопись на ResearchGate

 

Макеева Л. Б. Язык, онтология и реализм. М. : Издательский дом НИУ ВШЭ, 2011.

Книга посвящена выявлению специфики реализма, представленного в аналитической философии XX в. Проблема реализма исследуется в контексте онтологического подхода, основывающегося на анализе структуры языка, с помощью которого мы говорим о реальности. Прослеживается эволюция представлений ведущих аналитических философов (Б. Рассела, Л. Витгенштейна, Р. Карнапа, У.В.О. Куайна, П. Стросона, Д. Дэвидсона и др.) о связи между языком и реальностью, анализируются и сопоставляются концепции М. Даммита и Х. Патнэма о природе аналитического реализма. 

Содержание, предисловие, глава 1

 

 Geurts Bart. Quantity Implicatures. Cambridge: Cambridge University Press, 2010.

In recent years, quantity implicatures - a type of pragmatic inference — have been widely debated in linguistics, philosophy, and psychology, and have been subject to an enormous variety of analyses, ranging from lexical, syntactic, semantic, and pragmatic, to various hybrid accounts. In this first book-length discussion of the topic, Bart Geurts presents a theory of quantity implicatures that is resolutely pragmatic, arguing that the orthodox Gricean approach to conversational implicature is capable of accounting for all the standard cases of quantity implicature, and more. He shows how the theory deals with free-choice inferences as merely a garden variety of quantity implicatures, and gives an in-depth treatment of so-called 'embedded implicatures'. Moreover, as well as offering a comprehensive theory of quantity implicatures, he also takes into account experimental data and processing issues. Original and pioneering, and avoiding technical terminology, this insightful study will be invaluable to linguists, philosophers, and experimental psychologists alike.

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

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

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

 Pietarinen Ahti-Veikko. Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication. Dordrecht: Springer, 2006.

Charles Sanders Peirce (1839-1914), the principal subject of this book, was one of the most profound and prolific thinkers and scientists to have come out of the United States. His pragmatic logic and scientific methodology largely represent the application of interactive and intercommunicative triadic processes, best viewed as strategic and dialogic conceptualisations of logical aspects of thought, reasoning and action. These viewpoints also involve pragmatic issues in communicating linguistic signs, and are unified in his diagrammatic logic of existential graphs. The various game-theoretic approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a contemporary toolkit, the relevance of which Peirce envisioned to a wondrous extent.

This work sheds considerable new light on these and other aspects of Peirce’s philosophy and his pragmatic theory of meaning. Many of his most significant writings in this context reflect his later thinking, covering roughly the last 15-20 years of his life, and they are still unpublished. Drawing comprehensively from his unpublished manuscripts, the book offers a fresh and rich picture of this remarkable man’s original involvement with logical aspects of thought in action.

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

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

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

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

 

Родин А.В. Математика Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003.

В данной книге предпринята попытка нового прочтения «Начал» Евклида на основе того понимания математики, которое реконструируется по античным классическим философским текстам Платона и Аристотеля. Это что позволяет по-новому интерпретировать классический труд Евклида, лучше понимать цели великого математика древности и прояснить трудные места его текста. 

 

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

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


 


 

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