Дейл Жаккетт (1953–2016) - аналитический философ, преподавал в Пенсильванском (США) и Бернском (Швейцария) университетах. Область интересов - философия интенсиональности, логика, метафизика, философия сознания, эпистемология и история философии. Специалист по философии А. Майнонга....

Книга «Алгоритмический ум» посвящена рассмотрению соотношения человеческого ума и компьютера на основе достижений математической логики и теории алгоритмов....

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

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

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

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

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

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

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

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

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

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

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

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

Предлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой существования в работе понимается ряд исследований по применению математической логики к анализу и экспликации понятия существования. Целью настоящего......