В книге представлены труды Бертрана Рассела, посвященные логике и основаниям математики. "Математическая логика, основанная на теории типов" - самая известная и наиболее цитируемая работа Рассела в области математической логики. Во "Введении в математическую философию" Бертран Рассел в популярной форме пересказывает Principia Mathematica, особо акцентируя внимание на философской значимости достигнутых результатов. В этой книге также нашли отражение взгляды Рассела на природу математики. В приложении публикуются классические работы Вилларда Куайна и Курта Геделя, посвященные математической философии Рассела.
Оглавление:
В.А. Суровцев. Программа логицизма и теория типов Бертрана Рассела
Б. Рассел. Математическая логика, основанная на теории типов
Парадоксы
Все и какой-то
Значение и область обобщенных пропозиций
Иерархия типов
Аксиома сводимости
Исходные идеи и пропозиции символической логики
Элементарная теория классов и отношений
Дескриптивные функции
Кардинальные числа
Ординальные числа
Б. Рассел. Введение в математическую философию
Предисловие
Ряд натуральных чисел
Определение числа
Конечность и математическая индукция
Определение порядка
Виды отношений
Подобие отношений
Рациональные, действительные и комплексные числа
Бесконечные кардинальные числа
Бесконечные ряды и ординальные числа
Пределы и непрерывность
Пределы и непрерывность функций
Выборки и аксиома мультипликативности
Аксиома бесконечности и логические типы
Несовместимость и теория дедукции
Пропозициональные функции
Глава XVI. Дескрипции
Глава XVII. Классы
Глава XVIII. Математика и логика
Приложение
В.О. Куайн. Расселовская теория типов
Конструктивная часть
Классы и аксиома сводимости
К. Гёдель Расселовская математическая логика
| Про книгу | |
| Видавництво, місто | Новосибирское унив.изд-во |
| Рік видання | 2007 |
| Кількість сторінок | 264 |
| Обкладинка | м'яка |
-
1.784грн.
Схожі товари
Творческая эволюция
Анри Бергсон – один из самых влиятельных участников философского движения конца XIX - начала XX в. В предлагаемой вашему вниманию книге «Творческая эволюция» в ясной и полной форме выразились идеи философии жизни в ее французском варианте. Впервые опубликованная в 1907 г., эта работа принесла Бергсону славу мыслителя и писателя; именно ей он в первую очередь обязан присуждением ему в 1927 г. Нобелевской премии по литературе. Именно в «Творческой эволюции» он проявил себя блестящим стилистом, способным излагать сложнейшие философские проблемы изысканным и образным языком. Для студентов, аспирантов и преподавателей философских и социологических факультетов вузов, а также для всех интересующихся философской, общегуманитарной проблематикой. ..
Типы и дискурсы научного мышления
В книге известного российского философа и методолога В.М.Розина анализируются особенности и происхождение различных типов науки и научного мышления. Автор показывает, что разные типы науки --- античная, естественная, гуманитарная, социальная --- имеют как общие характеристики (единое "генетическое ядро"), так и отличающие их друг от друга. Последнее связано с разным употреблением и функционированием научных знаний, а также с различными вариантами понимания самой науки. В приложении демонстрируются примеры исследования науки.Книга предназначена для специалистов --- философов, науковедов, а также для широкого круга читателей, интересующихся природой науки и ее происхождением...