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

Оглавление:

В.А. Суровцев. Программа логицизма и теория типов Бертрана Рассела

Б. Рассел. Математическая логика, основанная на теории типов
Парадоксы
Все и какой-то
Значение и область обобщенных пропозиций
Иерархия типов
Аксиома сводимости
Исходные идеи и пропозиции символической логики
Элементарная теория классов и отношений
Дескриптивные функции
Кардинальные числа
Ординальные числа

Б. Рассел. Введение в математическую философию
Предисловие
Ряд натуральных чисел
Определение числа
Конечность и математическая индукция
Определение порядка
Виды отношений
Подобие отношений
Рациональные, действительные и комплексные числа
Бесконечные кардинальные числа
Бесконечные ряды и ординальные числа
Пределы и непрерывность
Пределы и непрерывность функций
Выборки и аксиома мультипликативности
Аксиома бесконечности и логические типы
Несовместимость и теория дедукции
Пропозициональные функции
Глава XVI. Дескрипции
Глава XVII. Классы
Глава XVIII. Математика и логика

Приложение
В.О. Куайн. Расселовская теория типов
Конструктивная часть
Классы и аксиома сводимости
К. Гёдель Расселовская математическая логика

Автор: Рассел Б.

Введение в математическую философию. Избранные работы

О книге
Издательство, город Новосибирское унив.изд-во
Год издания 2007
Количество страниц 264
Переплёт мягкий
    • 915грн.

  • Код товара: 23031
  • Доступность: В наличии

Другие книги по темам:

философия

филос науки

Рекомендуемые товары

Избранное
Автор: Спиноза Б.

Избранное

Пять работ, выбранные из литературного наследия нидерландского философа Бенедикта (Баруха) Спинозы (1632-1677), освещают основополагающие идеи его: представление о мире как о закономерной системе, которая до конца может быть понята геометрическим методом; пантеистическое отождествление природы с Богом; совпадение воли с разумом; включенность всех действий человека в цепь универсальной мировой детерминации и др.Все это интересно не только для просвещенных европейцев XVII века, но и для широкого круга современных читателей...

915грн.

Английская философия ХХ века
Автор: Никоненко С.В.

Английская философия ХХ века

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

1060грн.

Три шага в сторону. \Моги и их могущества + сборники: Шпион и разведчик: инструменты философии + Книга номада
Автор: Секацкий А.

Три шага в сторону. \Моги и их могущества + сборники: Шпион и разведчик: инструменты философии + Книга номада

В книгу `Три шага в сторону` вошли эссе и роман `Моги и их могущества`.Содержание:Моги и их могущества. Роман.Парадокс шпиона.Агент Dasein выходит на связь.Забвение бытия.Исходы из заброшенности.Краткая феноменология шпионажа.Шпион внутри шпиона, а в нем сидит шпион.Подвиг разведчика.Дорога как введение.Под стук колес.Вопрос о скорости.Регистр скоростей.Три истории о Клирике.Предварительный комментарий.Структура приключения: пунктирность.Монограмма номада.Структура приключения: трансформации.Эта жизнь и бытие-заново.Мелодия странствий. Шарманка и оркестр...

815грн.