Філософія і підстави математики - М.: Прогресс-Традиція. - 320с ..

Головна

Cоціологія || Гуманітарні науки || Мистецтво та мистецтвознавство || Історія || Медицина || Науки про Землю || Політологія || Право || Психологія || Навчальний процес || Філософія || Езотерика || Екологія || Економіка || Мови та мовознавство

Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика

Головна → Філософія → Філософія науки

ЗМІСТ:

Пермінов В. Я. . Філософія і підстави математики - М.: Прогресс-Традиція. - 320с., 2001

Книга присвячена аналізу філософських питань, пов'язаних з проблемою обгрунтування математики. Автор пропонує принципово нові підходи до вирішення цих питань, засновані на розумінні апріорної природи вихідних математичних ідеаліза-цій. Дається систематична критика філософської основи класичних програм обгрунтування математики. Розглядається зв'язок проблеми обгрунтування математики з основними напрямками сучасної теорії пізнання.

Передмова

Введення

Глава 1

ассерторіческіе і аподиктичні очевидність

1. Поняття аподиктической очевидності

2. Основні типи математичної очевидності

3. Про надійність геометричній очевидності

аподиктичні очевидність як основа докази

Глава 2.

Надійність і строгість докази

1. Основні характеристики математичного доказу

2. Абсолютна критеріальність математичної спільноти

3. Кінцівка математичних доказів

4. Системність математичної теорії

5 - Вторинність строгості

6. Про достовірність математичних доказовий ьств

Глава 3

Апріорність і реальна значимість вихідних уявлень математики

1. Апріорність категорій і логіки

2. Апріорність вихідних уявлень математики

3. Онтологічна основа первинної математики

4. Слабкість традиційного априоризма

5. Реальність математичних об'єктів

Глава 4 -

Критика релятивізму

1. Лакатосовскій емпіріцізм

2. Критика концепції Лакатоса

3. Про кітчеровской критиці априоризма

4. Психологічний і соціокультурний релятивізм

Глава 1.

Раціоналізм і емпіризм в тлумаченні логіки

1. Теорія логіки у Аристотеля і Епіктет

2. Кантовська теорія логіки

3. Емпіризм Мілля і Спенсера

4. Апріорізм Гуссерля

5. Операціоналізм Піаже

6. Філософія логіки Куайна

Глава 2.

Праксеологіческая теорія логіки

1. Логіка і онтологія

2. Логіка як теорія істини

3. Праксеологіческая дедукція логічних норм

4. Аналітичність і реальність логіки

5. Надійність логічних норм

6. Слабкість сучасної філософії логіки

7. Шляхи обгрунтування логіки

Глава З.

Логіка і математика

1. Виняток предметних логік

2. Виняток формальних узагальнень

3. Реальна логіка і природні обчислення

. Проблема поділу

5. Логіка як механізм дедукції

6. Дефініторная і експлікатівная функція логіки

7. Автономія логіки

Глава 4 -

Інтуїционістськая критика закону виключеного третього

1. Аргументи Брауера

2. Критика логічних аргументів

. Критика філософських аргументів

4. Неспроможність логічного релятивізму

Глава 1.

Істина і несуперечливість

1. Загальне розуміння проблеми обгрунтування

2. Поняття онтологічно істинної математики

3 - Природа обгрунтовуючих шару

4. Праксеологічне обґрунтування вихідних принципів

5. Обмеженість фінітізма

6. Принципи онтологічного обгрунтування математики

7. Поняття онтологічної спільності

Глава 2.

Несуперечність логістичних систем

1. Програма логіцізма

2. Зміна завдання

3. Онтологічна істинність аксіоми нескінченності

4. Праксеологіческая виправдання аксіоми вибору

5. Логіцістское обгрунтування несуперечності теорії множин

Глава 3.

Реалізація кантівського інтуїционізма

1. Сутність интуиционистской програми

2. Надійність інтуїционістського обгрунтування

3. Кантовский інтуіціонізм

4. Ідея геометричного обгрунтування

5. Про підхід П.С. Новикова

Глава 4 -

Шляхи розширення метатеоріі

1. Загальна характеристика програми

2. Захист фінітізма

3. Онтологічне розуміння метатеорії

4. Вихід за межі фінітізма

Глава 5. Межі евклідіанского обгрунтування

1. Необхідність онтологічного обгрунтування

2. Сутнісний характер евклідіанского обгрунтування

3. Перспективи надійного обгрунтування

4. Межі логічного обгрунтування

Глава 1.

Поняття завершеною аксіоматики

1. Об'єкти, факти і принципи

2. Неминучість стабілізації

3. Властивості завершеною аксіоматики

4. Фактуальная істинність аксіом

5. Ідея системного аналізу несуперечності

Глава 2.

Несуперечність завершеною аксіоматики

1. Проблема прихованих суперечностей

2. Переборні доступних для огляду протиріч

3. Редукція прихованих суперечностей до доступним для огляду

4. Механізм ретротрансляціі істинності

5. Обгрунтування несуперечності на основі факту

6. Загальні зауваження і висновки

Глава 3.

Несуперечність змістовної теорії

1. Завершеність математичних понять

2. Становлення незруйновного центру

3. Практичне виправдання визначень

4. Несуперечливість змістовно аксіоматизована теорії

5. Практична несуперечливість математичної теорії

6. Сфера абсолютної надійності

Глава 4 -

Обговорення методу

1. Абстрактність системного підходу

2. Конкретність системного підходу

3. Надійність змістовного міркування

4. Про визначеності критерію стабільності

Висновок

Література і примітки

Предметний покажчик

Філософія науки:

© 2014-2022 ibib.ltd.ua