Лучшие книги Виталия Валентиновича Целищева

Антология составлена из статей и фрагментов монографий отечественных авторов, посвященных исследованию и рецепции творчества выдающегося британского философа Бертрана Рассела (1872–1970). Составляющие антологию тексты касаются вопросов логики, философии математики, эпистемологии, философии языка, социальной философии, этики, истории философии, религиоведения, художественного творчества и других разделов наследия Рассела. Впервые в одном томе представлены выдающиеся представители расселоведения: А. С. Колесников, И. С. Нарский, А. Ф. Бегиашвили, В. Ф. Асмус, А. И. Корнеева, А. С. Богомолов, М. С. Козлова, А. Ф. Грязнов, В. В. Целищев, В. А. Суровцев, В. А. Ладов, М. С. Розанова и др. В целом ряде статей представлены материалы, освещающие связи Рассела с нашей страной, а также исследования, посвященные сопоставлению философских идей Рассела с идеями русских мыслителей.Книга адресована как специалистам-философам, так и всем интересующимся историей развития мысли.

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

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

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

В книге В.В. Целищева "Философский раскол" представлены материалы по мотивам раскола философии 20-го века на аналитическую и континентальную ветви, в частности, взгляды и некоторые биографические эпизоды отцов-основателей Г. Фреге, Б. Рассела, Дж. Мура и Ф. Рамсея.
В отдельную рубрику выделен Л. Витгенштейн обоих периодов. Необычное видение проблем аналитической философии представлено Я. Хинтиккой, Х. Патнэмом, Я. Хакингом. Проблема заимствования чужих идей рассмотрена на примере С. Крипке. Острая критика аналитическими философами континентальных философов - М. Хайдеггера, У. Эко, французских структуралистов и Ж. Деррида - вполне совмещается с самоиронией самих критиков. Суть раскола раскрывается в противостоянии Р. Карнапа и М. Хайдеггера.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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