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

Оглавление:

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

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

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

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

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

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

Про книгу
Видавництво, місто Новосибирское унив.изд-во
Рік видання 2007
Кількість сторінок 264
Обкладинка м'яка
    • 1.784грн.

  • Артикул: 23031
  • Наявність: В наявності

Інші книги по темам:

Філософія

філос науки

Схожі товари

Проблема символа в современной философии
Автор: Свасьян К.

Проблема символа в современной философии

Проблема символа в современной философии (прежде всего у Кассирера) — это понимание символа как формы, или грамматики, культуры. В настоящей книге сделана попытка потенцировать форму символа до его содержательности, соответственно, грамматику культуры до прочтения культурных смыслов.Предисловие ко второму изданиюОт автораПроблема символа в свете философии культурыДве концепции символа: Бергсон - КассирерПрирода символаСимвол как диалектика формы и содержанияСимвол и реальностьСимвол в свете учения Гёте о прото-феноменеПрирода символа. Проблема градацииАнтиномия символаПримечания..

1.784грн.

О бессмертии души
Автор: Августин Аврелий

О бессмертии души

«О бессмертии души» – сочинение христианского теолога, философа и проповедника Августина Блаженного Аврелия (лат. Aurelius Augustinus Hipponensis, 354-430). *** Разум есть душа, тело есть некая субстанция. В гармонии они пребывают лишь тогда, когда сознание и мысль существуют неотделимо друг от друга. Другими известными сочинениями Августина Блаженного являются «Исповедь», «Письма», «О различных вопросах», «О порядке», «О количестве души», «О блаженной жизни» и «Монологи». Произведения гения теологической мысли Августина Блаженного Аврелия послужили основой для возникновения новых течений: христианского неоплатонизма и символизма...

3.149грн.