Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 543603)
Консорциум Контекстум Информационная технология сбора цифрового контента
Уважаемые СТУДЕНТЫ и СОТРУДНИКИ ВУЗов, использующие нашу ЭБС. Рекомендуем использовать новую версию сайта.

Философия и основания математики (300,00 руб.)

0   0
Первый авторПерминов В. Я.
ИздательствоМ.: Прогресс-Традиция
Страниц321
ID702840
АннотацияКнига посвящена анализу философских вопросов, связанных с проблемой обоснования математики. Автор предлагает принципиально новые подходы к решению этих вопросов, основанные на понимании априорной природы исходных математических идеализаций. Дается систематическая критика философской основы классических проблем обоснования математики. Рассматривается связь проблемы обоснования математики с основными направлениями современной теории познания.
ISBN978-5-89826-525-0
УДК16
ББК87
Перминов, В.Я. Философия и основания математики [Электронный ресурс] / В.Я. Перминов .— 2-е изд. (эл.) .— М. : Прогресс-Традиция, 2017 .— 321 с. — Библиогр.: с. 301-314; Деривативное эл. изд. на основе печ. изд. (М.: Прогресс-Традиция, 2001); Электрон. текстовые дан. (1 файл pdf : 321 с.); Систем. требования: Adobe Reader XI либо Adobe Digital Editions 4.5 ; экран 10" .— ISBN 978-5-89826-525-0 .— Режим доступа: https://rucont.ru/efd/702840

Предпросмотр (выдержки из произведения)

Философия_и_основания_математики.pdf
Стр.3
Стр.318
Стр.319
Стр.320
Философия_и_основания_математики.pdf
УДК 1.14 ББК 87 П26 РИздание осуществлено при финансовой поддержке П26 оссийского гуманитарного научного фонда (РГНФ) проект № 00-03-16067 Перминов, Василий Яковлевич Философия и основания математики [Электронный ресурс] / ISBN 978-5-89826-525-0 Книга посвящена анализу философских вопросов, связанных с проблеВ. Я. Перминов. — 2-е изд. (эл.). — Электрон. текстовые дан. (1 файл pdf : 321 с.). — М : Прогресс-Традиция, 2017. — Систем. требования: Adobe Reader XI либо Adobe Digital Editions 4.5 ; экран 10". мой обоснования математики. Автор предлагает принципиально новые подходы к решению этих пвопросов, основанные на понимании априорной природы исходных математических идеализаций. Дается систематическая критика философской основы класических проблем обоснования математики. Рассматривается связь проблемы обоснования математики с основными направлениями современной теории познания. УДК 1.14 ББК 87 Деривативное электронное издание на основе печатного издания: Философия и основания математики / В. Я. Перминов. — М : ПрогрессТрадиция, 2001. — 320 с. —ISBN 5-89826-098-6. В соответствии со ст. 1299 и 1301 ГК РФ при устранении ограничений, установленных техническими средствами защиты авторских прав, правообладатель вправе требовать от нарушителя возмещения убытков или выплаты компенсации. ISBN 978-5-89826-525-0 © В. Я. Перминов , 2001 © Н. В. Кормер, оформление, 2001 © Прогресс-Традиция, 2001
Стр.3
Оглавление Предисловие Введение Часть первая. Надежность математического доказательства Глава 1. Ассерторическая и аподиктическая очевидность Понятие аподиктической очевидности (14) Типы математической очевидности (16) О надежности геометрической очевидности (20) Аподиктическая очевидность как основа доказательства (24) Глава 2. Надежность и строгость доказательства Основные характеристики математического доказательства (28) Абсолютная критериальность математического сообщества (30) Конечность математических доказательств (32) Системность математической теории (35). Вторичность строгости (37) О достоверности математических доказательств (40) Глава 3. Априорность и реальность математических представлений Априорность категорий и логики ( 42) Априорность исходных представлений математики ( 46) Онтологическая основа первичной математики ( 49) Слабость традиционного априоризма (52) Реальность математических объектов (56) Глава 4- Критика релятивизма Локатосовский эмпирицизм (61) Критика концепции Лакатоса (65) О китчеровской критике априоризма (69) Психологический и социокультурный релятивизм (72) Часть вторая. Надежность логических норм Гл ава 1. Эмпиризм и ракционализм в истол кова нии логики 78 Теория логики у Аристотеля и Эпиктета (79) Кантовская теория логики (81) Эмпиризм Мил ля и Спенсера (82) Априоризм Гуссерля (85) Операционализм Пиаже (89) Философия логики Куайна (92) 77 42 28 3 5 14 13 61
Стр.318
318 Оглавление JЛава 2. Праксеологическая теория логики Логика и онтология (94) Логика как теория истины (97) Пра ксеологическая дедукция логических норм (98) Аналитичность и реальность логики (101) Надежность логических норм (105) Слабость современной философии логики (107) Пути обоснования логики (110) Глава 3. Логика и математика Исключение предметных логик (1 13) Исключение формальных исчислений (115) Реальная логика и естественные исчисления (117) Проблема разделения (120) Логика ка к механизм дедукции (125) Дефиниторная и экспликативная функция логики (127) Автономия логики (128) Глава 4. Интуиционистская критика закона исключенного третьего 131 Аргуrvtенты Брауэра (131) Критика логических аргументов (136) Критика философских аргументов (139) Несостоятельность логического релятивизма (145) Часть третья. матики Онтологическое обоснование матеГн1ва 1 Истинность и непротиворечивость Общее понимание обоснования (148) Понятие онтологически истинной математики (150) Природа обосновательного слоя (153) Пра ксеологическое обоснование исходных принципов (155) Ограниченность финитизrvt а (157) Принципы онтологического обоснования математ ики (159) Понятие онтологической совrvtестимости (161) [1zпва 2. Непротиворечивость логистических систем Программа логицизма (165) Изменение задачи (169) Онтологическая истинность аксиомы бесконечности (170) Праксеологическое оправдание аксиомы выбора (176) Логицистское обоснование непротиворечивости теории множеств (179) Гл ава 8 Реабилитация кантовского интуиционизма Сущность интуиционистской програмrvtЫ (184) Надежность интуиционистского обоснования ( 186) Кантовский интуиционизм (188) Идея геометрического обоснования (191) О подходе П С Новикова (197) Глава 4 Пути расширения метатеории Общая характеристика программы (198) Защита финит изма (202) Онтологическое пониrv1ание метатеории (206) Выход за пределы финитизма (?10) 198 183 165 147 148 113 94
Стр.319
Оглавление 319 Гты1 5 Границы евклидианского обоснования Необходиr,юсть онтологи ческого обоснования (213) Сущностный характер евклидиа нского обоснования (217) Перспективы надежного обоснования (219) Пределы логического обоснования (223) Часть четвертая. Системное обоснование математики 2'27 1:1а6а 1 Понятие завершенной аксиоматики Объекты, факты и принципы (228) Неизбежность стабилизации (731) Свойства завершенной аксиоr,1атики (235) Фрактуальная ист инность аксиом (238) Идея систе11,1ного анализа непротиворечивости (241) l�1aoa 2 Непротиворечивость завершенной аксиоматики Проблеr.ла скрытых противоречий (243) Устранимость обозримых противоречий (246) Редукция скрытых противоречий к обозримым (247) Механизм ретротрансляции истинности (250) Обоснование непротиворечивости на основе факта (754) Общие замечания и выводы (256) /�нта .J Непротиворечивость содержательной теории Завершенность математических понятий (258) Становление неразрушимого центра (262) Практическое оправдание определений (264) Непротиворечивость содержательной а ксиомат изирова н ной теории (266) Практическая непротиворечивость математической теории (268) Сфера абсолютной надежности (270) Глааа 4. Обсуждение метода Абстрактность систеr.лного подхода (278) Конкретность систеr,1ноr о подхода (280) Надежность содержательного рассуждения (283) Об определенности критерия стабильности (287) Заключение Литература и примечания Предметный указатель 291 301 315 277 258 243 228 213
Стр.320

Облако ключевых слов *


* - вычисляется автоматически