Книга: Рассел Б. А. «Введение в математическую философию»
|
|
Настоящий том включает труды Бертрана Рассела, посвященные логике и основаниям математики. «Математическая логика, основанная на теории типов» — самая известная и наиболее цитируемая работа Рассела в области математической логики. Во «Введении в математическую философию» Бертран Рассел в популярной форме пересказывает Principia Mathematica (базовый труд Рассела, написанный совместно с А. Уайтхедом), особо акцентируя внимание на философской значимости достигнутых результатов. В этой работе также нашли отражение взгляды Рассела на природу математики. Содержание:В. А. Суровцев. ПРОГРАММА ЛОГИЦИЗМА И ТЕОРИЯ ТИПОВ БЕРТРАНА РАССЕЛА...... 5 Б. Рассел. МАТЕМАТИЧЕСКАЯ ЛОГИКА, ОСНОВАННАЯ НА ТЕОРИИ ТИПОВ...... 21 I. Парадоксы...... 22 II. Все и какой-то...... 27 III. Значение и область обобщенных пропозиций...... 31 IV. Иерархия типов...... 37 V. Аксиома сводимости...... 42 VI. Исходные идеи и пропозиции символической логики...... 45 VII. Элементарная теория классов и отношений...... 50 VIII. Дескриптивные функции...... 54 IX. Кардинальные числа...... 58 X. Ординальные числа...... 62 Б. Рассел. ВВЕДЕНИЕ В МАТЕМАТИЧЕСКУЮ ФИЛОСОФИЮ...... 67 Предисловие...... 68 Глава I. Ряд натуральных чисел...... 69 Глава II. Определение числа...... 76 Глава III. Конечность и математическая индукция...... 82 Глава IV. Определение порядка...... 89 Глава V. Виды отношений...... 99 Глава VI. Подобие отношений...... 107 Глава VII. Рациональные, действительные и комплексные числа...... 114 Глава VIII. Бесконечные кардинальные числа...... 125 Глава IX. Бесконечные ряды и ординальные числа...... 134 Глава X. Пределы и непрерывность...... 140 Глава XI. Пределы и непрерывность функций...... 147 Глава XII. Выборки и аксиома мультипликативности...... 154 Глава XIII. Аксиома бесконечности и логические типы...... 165 Глава XIV. Несовместимость и теория дедукции...... 174 Глава XV. Пропозициональные функции...... 182 Глава XVI. Дескрипции...... 191 Глава XVII. Классы...... 201 Глава XVIII. Математика и логика...... 211 ПРИЛОЖЕНИЕ...... 221 В. О. Куайн. РАССЕЛОВСКАЯ ТЕОРИЯ ТИПОВ...... 222 К. Гёдель. РАССЕЛОВСКАЯ МАТЕМАТИЧЕСКАЯ ЛОГИКА...... 237 Издательство: "Сибирское университетское издательство" (2007)
ISBN: 5379003060, 9785379003067 |
См. также в других словарях:
Философские основания физики: введение в философию науки — «ФИЛОСОФСКИЕ ОСНОВАНИЯ ФИЗИКИ: ВВЕДЕНИЕ В ФИЛОСОФИЮ НАУКИ» («Philosophical Foundations of Physics») книга Р. Карнапа, в которую вошли переработанные материалы его лекций и научных семинаров, проведенных в конце 1950 х начале 1960 х в… … Энциклопедия эпистемологии и философии науки
РАССЕЛ (RUSSELL) Бертран — (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты других стран, прежде всего… … Современная западная философия. Энциклопедический словарь
РАССЕЛ — (Russell) Бертран (1872 1970), лорд, внук премьер министра Великобритании Джона Рассела британский философ, логик, математик, социолог, общественный деятель. Крестный сын Милля. Окончил с отличием Кембриджский колледж Святой Троицы. Лауреат… … История Философии: Энциклопедия
РАССЕЛ — (Russell) Бертран, лорд (1872 1970) британский философ, логик, математик, социолог, общественный деятель. Нобелевская премия по литературе (1950). Главные произведения: «Опыт обоснования геометрии» (1898), «Принципы математики» (1903),… … Новейший философский словарь
РАССЕЛ Бертран (1872-1970) — британский философ, логик, математик, социолог, общественный деятель. Крестный сын Милля. Окончил с отличием Кембриджский колледж Святой Троицы. Лауреат ордена За заслуги Соединенного королевства (1949). Нобелевская премия по литературе (1950).… … История Философии: Энциклопедия
Рассел, Бертран — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
