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

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

Книга посвящена построению и исследованию систем формальной феноменологии ситуаций, основывающейся на не-фрегевской логике, возникшей из анализа ситуационной онтологии «Логико-философского трактата» Л.Витгенштейна. В рамках систем ситуационной феноменологии анализируются как феноменологические теории Ф.Брентано, Э.Гуссерля, А.Мейнонга, так и формальная теория ценностей Т. Чежовского, не-фрегевская теория аргументации и интеррогативная интерпретация абдуктивного вывода.

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

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

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

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

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.

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

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.

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

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

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