загрузка...

трусы для полных
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ЗМІСТ:
Свєтлов Віктор Олександрович. Філософія математики. Основні програми обгрунтування математики XX століття: Навчальний посібник. - М.: КомКнига. - 208 с., 2006

Цей посібник підготовлено на основі авторського курсу з історії та філософії науки для аспірантів природничо-наукового і гуманітарного циклів. Дан докладний аналіз чотирьох провідних програм обгрунтування філософії XX століття - логіцізма, інтуїционізма, конструктивізму і формалізму. Головний акцент зроблений на розкритті філософських припущень перерахованих програм і доступному викладі тез та основних результатів кожної з них. У посібнику використовується велика кількість першоджерел та критичної літератури. У першому розділі автором викладається загальний підхід до проблеми обгрунтування математики. Пропонується рішення, що виходить за рамки відомої дихотомії априоризма і апостеріорізма математичного знання. Пояснюється, чому жодна з аналізованих програм не може вважатися задовільною в повній мірі.

Адресовано студентам, аспірантам, викладачам, науковцям, а також усім, хто самостійно вивчає філософські проблеми математики та кого цікавлять логіка і методологія сучасної науки.

Передмова
Глава 1
Проблема обгрунтування математики
загрузка...
операциональному обгрунтування математики
Глава 2
Криза математики на початку XX століття
Глава З
Логіцизм. Математика як створення логічно очевидних конструкцій
Філософія математики Готтлоба Фреге
Логічне визначення числа
Аналіз ставлення арифметики до логіки
Філософія математики Бертрана Рассела
опрелеленія числа
Класи і парадокси
Теорія типів як спосіб виключення парадоксів
Оцінка програми логіцізма
Глава 4
Інтуіціонізм і конструктивізм. Математика як створення інтутівно і алгоріфміческі очевидних конструкцій
Програма конструктивізму: математика як створення потенційно доказових конструкцій
Філософія математики Лейтзена Егберта Яна Брауера
Інтуїционістськая математика
Інтуїционістськая логіка (висловлювань
Конструктивна математика Маркова і Бішопа
Оцінка програми інтуїционізма і конструктивізму
Глава 5
Формалізм. Математика як створення формально несуперечливих конструкцій
Програма формалізму: математика як конструювання формальних систем
Філософія метаматематики Гільберта
фінітними обгрунтування математики
Математичні аксіоми
Виявлення принципових кордонів програАлми формалізації математики Гільберта
Оцінка програми Гільберта
Додаток 1
Символічна логіка (основні припущення та визначення)
Логіка предикатів
Основні ПОНЯТТЯ і допущення логіки предикатів
Синтаксис логіки предикатів
Правила побудови формул логіки предикатів
Область дії логічного союзу і квантора
Ставлення логічного проходження в логіці предикатів
Основні закони логіки предикатів
Додаток 2
Парадокс брехуна
JHSS: ru IIRSSInu Шановні читачі! Шановні автори! URSS
Наукова та навчальна література IQRSSni URssiru: URSSru Дй $ & лш
!-KUl СШ URSSiru Представляємо Вам наші найкращі книги:
Філософія науки:
  1. Карєєв Микола Іванович. Філософія історії в російській літературі - 2011 рік
  2. Сохряков Ю . І.. Російська цивілізація: Філософія і література. - М.: Інститут російської цивілізації. - 720 с. - 2010 рік
  3. Педро Гонсалес Калеро. Філософія з жартом. Про великих філософів і їх навчаннях: пер. з ісп. Е. Матерновской. - M.: КоЛибри, гою. - 400 с. - 2010 рік
  4. Франк Філіп. Філософія науки. Зв'язок між наукою і філософією: Пер. з англ. / Заг. ред. Г. А. Курсанова. Изд. 2-е. - М.: Издательство ЛКИ. - 512 с. (З спадщини світової філософської думки; філософія науки.) - 2007
  5. В. М. Розін. Філософія освіти: Етюди-дослідження. - М.: Видавництво Московського психолого-соціального інституту; Воронеж: Видавництво НВО «МОДЕК» - 2007
  6. Ю.Л. Шевченко. Філософія медицини - 2004
  7. Бунте Марно. Філософія фізики: Пер, з англ. Изд. 2-е, стереотипне - 2003
  8. В.Л. Обухів, Ю.Н. Солонін, В.П. Сальников і В.В. Василькова. ФІЛОСОФІЯ І МЕТОДОЛОГІЯ ПІЗНАННЯ: Підручник для магістрів та аспірантів - Санкт-Петербурзький університет МВС Росії; Академія права, економіки та безпеки життєдіяльності; СПбДУ; СПбГАУ; ІПіП ( СПб.) - СПб.: Фонд підтримки науки та освіти в галузі правоохоронної діяльності «Університет». - 560 с. - 2003
  9. А. Грюнбаум. Філософські проблеми простору і часу: Пер. з англ . Вид. 2-е, стереотипне. - М.: Едиториал УРСС. - 568 с. - 2003
  10. В.І. Штанько. Філософія та методологія науки. Навчальний посібник для аспірантів і магістрантів природничонаукових і технічних вузів. Харків: ХНУРЕ. с.292. - 2002 рік
  11. Целищев В.В.. Філософія математики. 4.1. - Новосибірськ: Наука,. -212 с. - 2002 рік
  12. Пермінов В. Я.. Філософія і підстави математики - М.: Прогресс-Традиція. - 320с. - 2001 рік
  13. Е. А. Реферовская. Гуманітарний агентство «Академічний проект »- 1997 рік
  14. І. П. Меркулов. Науковий прогрес: когнітивний і соціокультурний аспекти. - М. - 197с. - 1993
  15. В.А. Штофф. Моделювання і філософія - 1966
загрузка...
загрузка...
енциклопедія  бабка  баранина  биточки  по-угорськи