Главная Термины на русском Формализм (философия математики)

Вопрос-ответ

Какова роль научной картины мира в мировоззрении современника Научная картина мира в структуре мировоззрения нашего современника занимает доминирующее...
Как понимал своеобразие социальных наук М. Вебер Макс Вебер (1864—1920) — немецкий социолог, историк, экономист, энциклопедический представитель...
Каковы новые этические проблемы науки начала XXI в. Этические проблемы в области биоэтики оформились как чрезвычайно острые, требующие своего...
В чем состоят изменения мировоззренческих ориентации техногенной цивилизации Современный техногенный мир сложен, техногенная цивилизация ориентирована на...

Разместить рекламу на сайте

Формализм (философия математики)

Рейтинг пользователей: / 0
ХудшийЛучший 
Материал из категории  Термины на русском
02.07.2013 18:56

Формализм (философия математики)

1) направление в философии математики XX в. (Гильберт, Гёдель и др.), считавшее классическую (содержательную) математику достаточно надежным видом знания с точки зрения его практического использования в науке и практике, однако недостаточно строго построенным и обоснованным с точки зрения логических критериев.

Разработанная Гильбертом программа обоснования математики включала два этапа: 1) формализация всех математических теорий, особенно базовых (арифметики, геометрии, теории множеств); 2) последующее решение на этой основе проблем их непротиворечивости, полноты, доказательности путем доказательства соответствующих теорем исключительно конструктивистскими (интуиционистскими) средствами. Однако эта программа оказалась реализованной лишь частично. Главным результатом здесь явилось доказательство того (Гёдель), что ни абсолютно полная формализация математических теорий, ни чисто формальное (синтаксическое) доказательство их непротиворечивости невозможны. Философским следствием этого результата стало строгое математическое доказательство принципиально содержательного характера математического знания (а тем более всей науки в целом), первичности содержания по отношению к форме даже в математике. Правда, это не относится к некоторым теориям формальной логики. Относительно таких базовых теорий математической логики, как исчисление высказываний и исчисление одноместных предикатов (предикатов, обозначающих свойства объектов, но не их отношения между собой) доказана абсолютно строго их полнота и логическая непротиворечивость.

Источник: Лебедев С.А. Философия науки: Терминологический словарь. — М.: Академический Проект, 2011. — С. 211-212 (269 с.)




Подобные материалы:
  • Философия технических и технологических наук (технонаук) - 02/07/2013 18:43
    Философия технических и технологических наук (технонаук) 1) раздел философии науки, исследующий особенности структуры научного технознания, его метод…
  • Философия социально-гуманитарных наук - 02/07/2013 18:42
    Философия социально-гуманитарных наук 1) раздел философии науки, предметом которого является комплекс социально-гуманитарных наук (история, политолог…
  • Философия постнеклассической науки - 02/07/2013 18:41
    Философия постнеклассической науки 1) философская рефлексия нового этапа развития науки — постнеклассического (70-е годы XX в. — по наст. вр.). Для н…
  • Философия неклассической науки - 02/07/2013 18:40
    Философия неклассической науки 1) философская рефлексия и осмысление особенностей неклассического этапа развития науки (начало XX в. — 70-е годы XX в…
  • Философия науки - 02/07/2013 18:39
    Философия науки 1) междисциплинарная и полиструктурная область современного знания, предметом которой является общая структура науки и научного знани…
Последние похожие материалы:
  • Функции науки - 02/07/2013 19:01
    Функции науки 1) ряд ролей и задач, которые наука выполняет в развитии общества и культуры и которые во многом присущи только ей. Основными функциями…
  • Фундаментальные и прикладные исследования - 02/07/2013 19:00
    Фундаментальные и прикладные исследования 1) два основных типа научных исследований, различающихся между собой предметами, целями исследования, содер…
  • Фундаментальные взаимодействия (физ.) - 02/07/2013 18:59
    Фундаментальные взаимодействия (физ.) 1) четыре вида фундаментальных взаимодействий, к которым можно свести все остальные взаимодействия в природе: г…
  • Фрактал - 02/07/2013 18:58
    Фрактал 1) самоподобная структура, в которой имеет место тождество структуры целого и структуры каждой его части. В большинстве случаев это множества…
  • Формальная теория - 02/07/2013 18:57
    Формальная теория 1) формализованная содержательная теория или ее часть.
Более поздние похожие материалы:
  • Формализация - 02/07/2013 18:55
    Формализация 1) представление некоторого содержания путем его отображения в некоторую формальную систему и рассмотрение его с позиций этой формальной…
  • Форма - 02/07/2013 18:54
    Форма 1) те свойства и отношения различных объектов, которые одинаковы для них (изоморфны). Форма всегда абсолютна только по отношению к определенном…
  • Философско-методологическая культура ученого - 02/07/2013 18:53
    Философско-методологическая культура ученого 1) уровень развития методологического сознания исследователя, включающего в себя: 1) степень зрелости ре…
  • Философское обоснование - 02/07/2013 18:51
    Философское обоснование 1) критическая оценка любых продуктов человеческой деятельности (включая результаты научного познания) с общих позиций челове…
  • Философские основания постнеклассической науки - 02/07/2013 18:50
    Философские основания постнеклассической науки 1) множество онтологических, гносеологических, методологических, логических, ценностных и социальных о…

 

Случаные тэги (tags)

Результаты тестов

Последние результаты
(ОНИиТС) Тема 01. Сущность науч. познания, знаний и науч. иссл.(18 тест.заданий) 0.00 %
(ПДТСіОС) Тема 05.3 Робота над гіпотезою наук. дослідж. (12 тест.завдань) 33.33 %
(ПДТСіОС) Тема 09.0 Загал. дані про статистику на транспорті (28 тест.завдань) 46.43 %
Перейти к тестам
Картина мира неклассической науки 1) мир — это объективная реальность, подчиняющаяся в своем существовании, изменении и развитии объективным законам. Эти...
Дискурс 1) любое устное рассуждение или письменный текст. Одна из основных категорий эпистемологии постструктурализма и...
Научная революция 1) период (этап) развития (эволюции) науки, связанный с качественным изменением ее содержания, методов, структуры, функций. Характер...
Кумулятивизм 1) концепция развития науки, согласно которой в науке нет научных революций, возникновения научных теорий, которые полностью отрицали бы...
Модель 1) опытный образец или информационно-знаковый аналог того или иного изучаемого объекта, выступающего в качестве оригинала. Некий объект (макет,...
Социология науки Социология знания и социология науки отличаются по предмету рассмотрения. Если социология знания рассматривает взаимозависимость...
Восточная и западная наука термины, обозначающие особенности существования и развития науки в двух основных культурно-географических регионах мира - на...
Языческие источники революции в науке 1543-1687 гг. Началом научной революции обычно считают 1543 г., когда появилась работа Николая Коперника «Об...
Эффективность существенное отношение изменений на выходе неравновесной системы к изменениям на входе. В основе многих неравновесных процессов лежит...
Социальные ценности это материальные, социально-политические, духовные и др. ценности, которые значимы для жизни человека в обществе. Социальные ценности...

Научные исследования в логистике и на транспорте Copyright © 2011-2023. При использовании материалов сайта - гиперссылка обязательна. All Rights Reserved.