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