Полное описание
>
51/Х 477
Хинтикка, Яакко. Принципы математики. Новый взгляд / Я. Хинтикка. Революция в логике? / Я. Хинтикка, Г. Санду ; [пер. с англ. В. В. Целищев]. - Москва : Канон+ : Реабилитация, 2022. - 397 с. - (Независимый альянс) (Библиотека аналитической философии). - Библиогр.: с. 347-358, 387-389. - Предм. указ.: с. 390-397. - 1000 экз. - ISBN 978-5-88373-738-0 : 260 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03 | 510.2:1 | |
| 02.21 | 16 |
Рубрики:
Математика -- Философские вопросы
Логика
Кл.слова (ненормированные): основания логики -- основания математики -- базовая логика первого порядка -- аксиома выбора -- теоретико-модельный анализ
Аннотация: В этом томе представлены две работы, имеющие решающее значение для логической теории и философии математики, одна из которых принадлежит выдающемуся логику и философу Яакко Хинтикке. Ее оригинальное название "Принципы математики ревизированные" является аллюзией к знаменитой работе Бертрана Рассела "Принципы математики", и ревизия касается логики и оснований математики. Вторая работа, плод совместной работы Хинтикки и Габриэля Санду, является программной в представлении новой, т.н. IF-логики, призванной заменить привычную логику первого порядка. Новая логика обладает гораздо большими выразительными возможностями, позволяя радикально переосмыслить фундаментальные позиции в математическом теоретизировании. Среди важнейших нововведений следует отметить, что знаменитые результаты Гёделя и Тарского, которые доминировали в течение последних шестидесяти лет, оказываются гораздо менее значимыми, закон исключенного третьего оказывается неверным, а аксиома выбора приобретает статус логического принципа.
Доп. точки доступа:
Санду, Г.
Целищев, Виталий Валентинович\пер.\
>
Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
Обложка
Целищев, Виталий Валентинович. Философский раскол. Логика vs метафизика / В. В. Целищев, 2021. - 335 с. - Текст (визуальный) : непосредственный.Глок, Ганс-Иоганн. Аналитическая философия. Как она есть / Г.-И. Глок ; пер. В. В. Целищев, 2022. - 399 с. - Текст (визуальный) : непосредственный.Шапиро, Стюарт. Философия математики / С. Шапиро ; [перевод с англ. В. В. Целищева], 2022. - 511 с. - Текст (визуальный) : непосредственный.Хинтикка, Яакко. Принципы математики. Новый взгляд. Революция в логике? ; / Я. Хинтикка, Г. Санду ; [пер. с англ. В. В. Целищев], 2022. - 397 с. - Текст (визуальный) : непосредственный.Целищев, Виталий Валентинович. Алгоритмический ум : ментализм vs механизм в философии математики / В. В. Целищев, 2023. - 512 с. - Текст (визуальный) : непосредственный.Теннант, Ньюл. Укрощение истины : анти-реализм дедуктивного дискурса и познание / Н. Теннант, 2024. - 351 с. - Текст (визуальный) : непосредственный.Ландини, Грегори. Рассел / Грегори Ландини ; [перевод с английского В. В. Целищева], 2024. - 479 с. - Текст (визуальный) : непосредственный.Мэдди, Пенелопа. В защиту аксиом. О философских основаниях теории множеств / П. Мэдди, 2026. - 398 с. - Текст (визуальный) : непосредственный.
Фреге Г. Основоположения арифметики. Логико-математическое исследование о понятии числа : Пер. с нем. / Г.Фреге, 2000. - 127 с. - Текст : непосредственный.Конотопов, М. В. Развитие экономики России в XVI-XX веках : избранные труды : в 4 томах : к 65-летию М. В. Конотопова . Т. 3 : История отечественной текстильной промышленности, 2018. - 451 с.Конотопов, М. В. Развитие экономики России в XVI-XX веках : избранные труды : в 4 томах : к 65-летию М. В. Конотопова. Т. 4 : История черной металлургии России, 2018. - 182, [1] с.Конотопов, М. В. Развитие экономики России в XVI-XX веках : избранные труды : в 4 томах : к 65-летию М. В. Конотопова . Т. 1 : Из тупика: экономический опыт мира и путь России, 2018. - 373 с.Конотопов, М. В. Развитие экономики России в XVI-XX веках : избранные труды : в 4 томах : к 65-летию М. В. Конотопова . Т. 2 : Развитие промышленности в крепостной России, 2018. - 394 с. - Текст : непосредственный.Карапетянц И.В. Международные транспортные организации : учебное пособие / И. В. Карапетянц, Н. Ф. Кислицына, В. Г. Егоров, 2019. - 166 с. - Текст : непосредственный.Миграционная политика России и стран-доноров в условиях разноскоростной евразийской интеграции : [монография] / В. А. Безвербный, А. С. Гаева, А. В. Журова [и др.] ; под редакцией А. А. Мигранян, М. Ф. Ткаченко, 2019. - 256, [2] с. - Текст : непосредственный.Рязанов В.Т. Современная политическая экономия : перспективы неомарксистского синтеза / В. Т. Рязанов, 2018. - 433, [2] с. - Текст : непосредственный.Хакинг Я. Почему вообще существует философия математики? / Я. Хакинг ; пер. с англ. Целищева В. В., 2020. - 399 с. - Текст : непосредственный.Вербовой А.О. Военные речные флотилии в войнах XVIII - XX столетий в деле укрепления геополитического положения России : опыт боевого применения / А. О. Вербовой, А. Н. Конеев, 2019. - 209 с. - Текст : непосредственный.Философские беседы с академиком И. Т. Фроловым / Институт философии РАН, 2020. - 351 с. - Текст : непосредственный.Стролл А. Аналитическая философия. Двадцатый век / Аврум Стролл ; [перевод с английского В. В. Целищева], 2020. - 383 с. - Текст : непосредственный.Попова, Ольга Владимировна. Тело как территория технологий от социальной инженерии к этике биотехнологического конструирования / О. В. Попова, 2020. - 335 с. - Текст (визуальный) : непосредственный.Целищев, Виталий Валентинович. Философский раскол. Логика vs метафизика / В. В. Целищев, 2021. - 335 с. - Текст (визуальный) : непосредственный.Смаллиан, Рэймонд Мэррил. Шахматные тайны : 100 труднейших задач, связанных с расследованиями в области шахтам / Рэймонд Смаллиан ; [пер. Быстров П. И.], 2021. - 239 с. - Текст (визуальный) : непосредственный.Раджабов, Осман Раджабович. История и философия естественных наук : учебник / Раджабов О. Р., Гусейханов М. К., 2021. - 494 с. - Текст (визуальный) : непосредственный.Грей, Джереми. Призрак Платона : модернистская трансформация математики / Дж. Грей ; [пер. с англ. В. В. Целищева], 2021. - 623 с. - Текст (визуальный) : непосредственный.Экономическая теория государства: новая парадигма патернализма / Российская академия наук, Институт экономики, 2021. - 422 с. - Текст (визуальный) : непосредственный.Экономические теории в пространстве и времени / [В. С. Автономов, А. Я. Рубинштейн, Г. Д. Гловели и др.] ; под редакцией В. С. Автономова и А. Я. Рубинштейна, 2020. - 358, [1] с. - Текст (визуальный) : непосредственный.Формирование цифровой экономики в России: вызовы, перспективы, риски / [Е. Б. Ленчук, Г. А. Власкин, В. В. Доржиева и др.] ; под редакцией Е. Б. Ленчук, 2020. - 318 с. - Текст (визуальный) : непосредственный.
Показать все результатыЛогика и общество. Противоречия и возможные миры / ВЦП. - 531 c. - Текст : непосредственный.Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.
Показать все результатыКлассификация ошибок, совершаемых человеком / ВЦП. - 11 с. - Текст : непосредственный.Жоль К.К. Логика в лицах и символах : Науч.-попул.кн. / К.К.Жоль, 1993. - 255 c. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 2, 1993. - 302 с. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А.П.Шульгин, 1994. - 48 c. - Текст : непосредственный.Бочаров В.А. Основы логики : Учеб / В.А.Бочаров,В.И.Маркин, 1994. - 272 c. - Текст : непосредственный.Войшвилло, Е. К. Логика как часть теории познания и научной методологии : Фундамент.курс:Учеб.пособие для филос.фак.и преподавателей логики. Кн. 1, 1994. - 311 с. - Текст : непосредственный.Ивин А.А. Элементарная логика : Учеб.пособие для общеобразоват.школ,гимназий,лицеев,колледжей / А.А.Ивин, 1994. - 198 c. - Текст : непосредственный.Сарычев Е.В. Классическая логика : Учеб.пособие для студентов всех спец. / Е.В.Сарычев, 1995. - 150 c. - Текст : непосредственный.Светлов В.А. Практическая логика : Учеб. / В.А.Светлов, 1995. - 471 c. - Текст : непосредственный.Никифоров А.Л. Общедоступная и увлекательная книга по логике, содержащая объемное и систематическое изложение этой науки профессором философии / А.Л.Никифоров, 1995. - 223 c. - Текст : непосредственный.Паньков, А. Ф. Теория развития систем и логика. Системный метод. Кн. 2, 1995. - 201 с. - Текст : непосредственный.Смирнова Е.Д. Логика и философия / Е.Д.Смирнова, 1996. - 302 c. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 3, 1995. - 359 с. - Текст : непосредственный.Шрамко Я.В. Логическое следование и интуиционизм : Проблемы релевантизации интуиционисткой логики / Я.В.Шрамко, 1997. - 179 с. - Текст : непосредственный.Челпанов Г.И. Учебник логики / Г.И.Челпанов, 1994. - 242 c. - Текст : непосредственный.Черников В.Д. Логические методы и их применение в economics / В.Д.Черников, 1996. - 308 с. - Текст : непосредственный.Традиционная логика и канторовская диагональная процедура : Сб.ст. / Ин-т истории естествознания и техники им.Н.И.Вавилова РАН, 1997. - 32 с. - Текст : непосредственный.Зарецкая Е.Н. Логика речи для менеджера / Е.Н.Зарецкая, 1997. - 351 с. - Текст : непосредственный.Дятел Е.П. Экономическая логика : Учеб. пособие / Е.П.Дятел, 1992. - 40 с. - Текст : непосредственный.Сидоренко Ф.Ф. Логика : Популярное пособие с задачами и упражнениямиДля менеджеров,экономистов,юрид.работников и просто предпринимателей / Ф.Ф.Сидоренко, 1992. - 120 с. - Текст : непосредственный.
Показать все результатыКлассификация ошибок, совершаемых человеком / ВЦП. - 11 с. - Текст : непосредственный.Логика и общество. Противоречия и возможные миры / ВЦП. - 531 c. - Текст : непосредственный.Черноскутов Ю.Ю. Немонотонная логика и проблемы формализации контекста : Автореферат диссертации на соискание ученой степени канд. философ. наук: 09.00.07 / Ю. Ю. Черноскутов, 1999. - 20 с. - Текст : непосредственный.Павлов С.А. Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта : Автореферат диссертации на соискание ученой степени канд. философ. наук: 09.00.07 / С. А. Павлов, 2000. - 24 с. - Текст : непосредственный.Михайлов К.А. Логические идеи И.Канта : автореф. дис. .. канд. философ. наук : 09.00.07 / К. А. Михайлов, 2003. - 21 с. - Текст : непосредственный.Жоль К.К. Логика в лицах и символах : Науч.-попул.кн. / К.К.Жоль, 1993. - 255 c. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 2, 1993. - 302 с. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А.П.Шульгин, 1994. - 48 c. - Текст : непосредственный.Ворончихин А.С. Диалектика процесса взаимодействия: от элементарного к целостному / А.С.Ворончихин,О.В.Санникова, 1994. - 117 c. - Текст : непосредственный.Бочаров В.А. Основы логики : Учеб / В.А.Бочаров,В.И.Маркин, 1994. - 272 c. - Текст : непосредственный.Логический словарь ДЕФОРТ / Под ред. А.А.Ивина и др, 1994. - 269 c. - Текст : непосредственный.Мадер В.В. Введение в методологию математики(Гносеологические,методологические и мировоззренческие аспекты математики.Математика и теория познания) / В.В.Мадер, 1994. - 447 c. - Текст : непосредственный.Войшвилло, Е. К. Логика как часть теории познания и научной методологии : Фундамент.курс:Учеб.пособие для филос.фак.и преподавателей логики. Кн. 1, 1994. - 311 с. - Текст : непосредственный.Руткевич М.Н. Диалектика и теория познания / М.Н.Руткевич,И.Я.Лойфман, 1994. - 384 c. - Текст : непосредственный.Ивин А.А. Элементарная логика : Учеб.пособие для общеобразоват.школ,гимназий,лицеев,колледжей / А.А.Ивин, 1994. - 198 c. - Текст : непосредственный.Познание в социальном контексте / Рос.АН.Ин-т философии, 1994. - 174 c. - Текст : непосредственный.Роль философии в формировании научно-технической элиты : Материалы междунар. симпозиума (Тверь, 28 февраля - 1 марта 1994 г.) / Тверской гос. технический ун-т, 1994. - 51 c. - Текст : непосредственный.Зарубежные исследования по философским проблемам математики 90-х гг. : Науч.-аналит. обзор / Рос. АН. Ин-т науч. информации по обществен. наукам, 1995. - 75 c. - Текст : непосредственный.Тростников В.Н. Загадка Эйнштейна.(Математика и реальный мир) / В.Н.Тростников, 1971. - 48 c. - Текст : непосредственный.Szumakowicz E. Natura poznania matematycznego / E.Szumakowicz, 1994. - 151 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽