Виталий Целищев - все книги по циклам и сериям | Книги по порядку

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

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

Настоящая монография посвящена обоснованию модальной логики и философским проблемам ее категориального аппарата. Одна из целей книги заключается в указании направления развития философской проблематики модальной логики. В монографии обсуждаются трудности построения кванторной модальной логики и способы их преодоления. Понятия "de dicto" и "de re" модальностей, твердых десигнаторов, а также доктрины общего и индивидного эссенциализма рассматриваются в связи с построением семантики для модальной логики.

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

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

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

Предлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой существования в работе понимается ряд исследований по применению математической логики к анализу и экспликации понятия существования. Целью настоящего исследования является логический анализ структуры утверждений существования. В книге рассмотрены теория дескрипций Б.Рассела, модальные концепции понятия существования, теория существования С.Лесневского. Представлена также общая теория логического существования - так называемая свободная от экзистенциальных предположений логика.

Книга предназначена для студентов, аспирантов и всех интересующихся философией логики.

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

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

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

Монография посвящена философским вопросам модальной логики и теории дистрибутивных нормальных форм. Указанный логический аппарат, развитый Я. Хинтиккой в последние 10-15 лет, имеет существенное значение для решения проблемы квантификации модальных контекстов, проблемы соотношения теории значения и указания и способов описания логикой структуры реальности. В книге обсуждаются понятия индивндуирующей функции, вопросы концептуализации на основе противоречивости конституент дистрибутивной нормальной формы; критически оценивается семантика Я.Хинтикки для модальной логики и пропозициональных установок.

Книга представляет интерес для специалистов в области логики.

Монография посвящена анализу философских проблем, связанных с экспликацией средствами логики понятия существования. На основании исследований, проведенных в последние 10-12 лет, описываются полученные в математической логике результаты, имеющие большое значение для критики философии неопозитивизма. Значительный интерес представляют главы, излагающие теорию онтологических допущений н понятие сингулярного существования. Работа содержит обширный фактический материал и сочетает использование логического аппарата с четким изложением философских проблем.

Она будет полезна научным сотрудникам, аспирантам и всем интересующимся философскими проблемами логики.

Настоящая монография посвящена обоснованию модальной логики и философским проблемам ее категориального аппарата. Одна из целей книги заключается в указании направления развития философской проблематики модальной логики. В монографии обсуждаются трудности построения кванторной модальной логики и способы их преодоления. Понятия "de dicto" и "de re" модальностей, твердых десигнаторов, а также доктрины общего и индивидного эссенциализма рассматриваются в связи с построением семантики для модальной логики.

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

Логико-методологические проблемы естественных и общественных наук

Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта – финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.

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

Книга «Алгоритмический ум» посвящена рассмотрению соотношения человеческого ума и компьютера на основе достижений математической логики и теории алгоритмов. Использование для этой цели знаменитых теорем Гёделя о неполноте арифметики, и их философского следствия в виде «дизъюнкции» Гёделя, приводит к формулировке двух полярных позиций, Ментализму и Механизму, в концептуальных рамках которых обсуждается роль понятий вычислимости, математического доказательства, интуиции и априоризма, субъективной и объективной математики, «знания» компьютера и принципов рефлексии в понимании природы машинного и человеческого интеллекта. Книга предназначена всем интересующимся проблемами сопоставления искусственного интеллекта и человеческого мышления с точки математической логики и философии математики.