Сайт nashuch.ru и его партнеры используют на этом сайте определенные технологии, в том числе файлы cookie, чтобы подбирать материалы и рекламу на основе интересов и анализа активности пользователей. Чтобы узнать подробности, ознакомьтесь с нашей политикой конфиденциальности. Оставаясь на сайте, вы даете согласие на использование этих технологий. nashuch.ru также участвует в рекламной деятельности третьих сторон, которая учитывает интересы пользователей. Это позволяет поддерживать наши сервисы и предлагать вам подходящие материалы. Нажимая кнопку «Принять», вы выражаете согласие с описанной рекламной деятельностью.

принять

А. Р. Познер доктор философских наук, профессор кафедры философии Московского Государственного техни­ческого университета им Н. Э. Баумана



страница234/255
Дата28.09.2018
Размер1.25 Mb.
Название файлаStudmed.ru_lebedev-sa-filosofiya-nauki-slovar-osnovnyh-terminov_d01e2a6ed32.doc
Учебное заведениеА.Р. Познер - доктор философских наук, профессор кафедры философии Московского Государственного техни­ческого университета им Н.Э. Баумана;
1   ...   230   231   232   233   234   235   236   237   ...   255
ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающих отвлечение от значения понятий теории с целью исследования ее логического строения или для эффективного получения логически выводимых результатов. Формализация позволяет пре­вратить содержательно построенную теорию (например, раздел механики) в систему материализованных объек­тов определенного рода (символов), а развертывание теории — свести к манипулированию этими объектами в соответствии с некоторой совокупностью правил, при­нимающих во внимание только и исключительно вид и порядок символов, и тем самым абстрагироваться оттого познавательного содержания, которое выражается на­учной теорией, подвергшейся формализации. (См. фор­ма, синтаксис, логика). „

Ф.В. Лазарев £03

ФОРМАЛИЗМ — направление в философии мате­матики, основателем которого явился Д. Гильберт. Главные усилия формалистов были направлены на ре­шение проблемы обоснования математики, доказа­тельство ее непротиворечивости. Их не устраивали философские взгляды на сущность математики ни логицистов, ни интуиционистов. Они исходили из того, что старая, классическая математика является доброт­ной, истинной и непротиворечивой наукой. Возражая интуиционистам, Гильберт восклицал: «Отнять у ма­тематиков закон исключенного третьего — это все равно, что запретить боксерам пользоваться кулака­ми». Однако для того, чтобы исключить вес сомнения в добротности классической математики, все ее основ­ные теории (эвклидову геометрию и арифметику на­туральных чисел в первую очередь) необходимо было полностью формализовать, то есть представить (ото­бразить) в виде формальных, синтаксических систем, а затем доказать чисто финитными средствами логи­ческую непротиворечивость, полноту (относительно их содержательных моделей) и независимость аксиом этих формальных систем. При формальном отображе­нии любой содержательной математической системы мы должны полностью отвлечься от содержательной интерпретации ее собственных и логических терми­нов, представить ее в виде чисто синтаксической кон­струкции и только тогда мы увидим ее принципиаль­ную математическую сущность, все ее необходимые и достаточные основания. Сам Д. Гильберт формали­зовал содержательную часть эвклидовой геометрии и в результате показал недостаточность аксиоматичес­кой базы классической эвклидовой геометрии. Одна­ко, первые же серьезные попытки полной формали­зации самой простой из математических теорий — арифметики натуральных чисел — принесли форма­листам разочарование. К. Гедсль, попытавшийся ре­шить проблему обоснования арифметики в рамках программы формализма, пришел в итоге к противо­положному результату — доказательству невозможно­сти ее реализации. Он доказал невозможность полной формализации содержательной арифметики натураль­ных чисел в рамках одной формальной системы, а также невозможность доказательства ее непротиворе-

чивости средствами самой формальной системы. До­казательство абсолютной непротиворечивости мате­матики оказалось в принципе невозможным. Резуль­таты, полученные Геделем, имеют огромное философ-скос значение. Однако невозможность реализации программы формализма в полном объеме не отменяет огромной ценности самой формализации математи­ческого знания. (См. форма, философия математики).





Удк 16 ббк87.4 л 33
Абстрагирование
Абстрактный объект
Авторское право
Аксиоматический метод
Альтернативные концепции
Аналитическое знание
Аналитическая философия
Антиинтеракционизм
Антисциентизм
Антропный принцип
Антропологизм
Апостериорное знание
Базис обобщения
Бессознательное
Биофилософия
Верификационизм
Вероятностная логика
Вненаучные формы знания
Военные науки
Выбор альтернативной теории
Генетический метод
Герменевтический круг
Гипотеза ad hoc
Государственная научно-техническая политика
Государственное управление интеллек­туальной собственностью
Государственный сектор науки
Гуманитарное знание
Гуманитарные науки
Детерминированный хаос
Диалектическая концепция
Диалектический метод
Диахронный анализ
Дополнительности принцип
Древневосточная наука
Естествознание
Закон исключенного третьего
Закон противоречия
Закон тождества
Идеалы и нормы научного исследова­ния
Идеографический метод
Инвариантность
Индетерминизм
Инженерные науки
Инженерное проектирование
Инновационная деятельность
Интервал абстракции
Интерсубъективность
Интуиционизм (математический)
Интуиционизм (философский)
Интуиция (в науке)
Информированное согласие
Использование объектов интеллекту­альной собственности
Истинностные значения
Исторические науки
Исторические формы науки
Исторический метод
Категориальная апперцепция
Квантовая механика
Кентавровое знание (в науке)
Классическая наука
Классическая философия науки
Когнитивная социология науки
Когнитивное общение
Когнитивное решение
Когнитивные ценности
Когнитивный стиль
Конвенционализм
Конструирование (мысленное)
Конструктивизм (математический)
Конструктивизм (философский)
Контекст обоснования
Контекст открытия
Концептуальная развертка
Концептуальная сборка
Критерии научности
Лингвистического анализа философия
Линейное мышление
Лицензионный договор (лицензия)
Логический позитивизм
Логическое доказательство
Марксистская философия
Математическая логика
Медицинские науки
Междисциплинарные исследования
Метатеоретическое знание
Метафизика метафизика
Метафилософия науки
Метод восхождения от абстрактного к конкретному
Методология науки
Методы стимулирования творческого мышления
Многозначная логика
Модальная логика
Надсознательное
Науки о культуре
Науки о природе
Наукоемкая отрасль
Научная гипотеза
Научная деятельность
Научная картина мира
Научная классификация
Научная коммуникация
Научная критика
Научная практика
Научная проблема
Научная рациональность
Научное доказательство
Научное мировоззрение
Научное объяснение
Научное понимание
Научное сообщество
Научное творчество
Научно-исследовательская программа
Научно-техническая революция (нтр)
Научно-технический потенциал (нтп)
Научные конвенции
Научный коллектив
Научный консенсус
Научный контекст
Научный менеджмент
Научный принцип
Неизменность
Неклассическая наука
Неклассическая философия науки
Нелинейная наука
Нелинейное мышление
Неоднозначность
Неонеклассическая (постнеклассическая) наука
Неопределенности принцип
Неопределенность
Не-я — сфера реальности, противостоящая я. (см. я, сознание, бытие, оно). ничто
Номотетический метод
Общественные науки
Оппонентный круг
Основания научной теории
Оценка интеллектуальной собственнос­ти
Охранный документ
Патентная информация
Позитивистская концепция (соотношения философии и науки)
Политические науки
Постмодернистская философия науки
Правило соответствия
Правовая охрана объектов интеллекту­альной собственности
Прогнозирование научно-технического развития
Продуктивное воображение
Промышленная собственность
Пространство
Протокольные предложения (протоколы)
Профессиональная ответственность
Психологические науки
Психология науки
Равновесие (баланс)
Рассказ (story)
Редукционные предложения
Решающий эксперимент
Самоорганизация
Сверхсознание
Синтетическое знание
Синхронный анализ
Системный метод
Создание объектов интеллектуальной собственности
Социальная психология науки
Социальные науки
Социальный репертуар
Социология науки
Средневековая наука
Структура науки
Субъект научного познания
Творческая эволюция
Теоретическая схема
Теоретический объект
Теоретическое знание
Теоретическое и эмпирическое
Теория относительности
Технические науки
Технологические науки
Технологический императив
Трансцендентальный
Трансцендентальная апперцепция
Управление наукой
Управленческие науки
Уровни научного знания
Феноменологическая научная теория
Физическая реальность
Филологические науки
Философские основания науки
Философия математики
Философия науки
Фундаментальная
Фундаментальные и прикладные иссле­дования
Фундаментальные социальные кон­станты (фск)
Целенаправленность
Целесообразность
Экономика науки
Экономические науки
Эмпириокритицизм
Эмпирический репертуар
Эмпирическое знание
Этическая экспертиза
Этический комитет
Юридические науки


Поделитесь с Вашими друзьями:
1   ...   230   231   232   233   234   235   236   237   ...   255


База данных защищена авторским правом ©nashuch.ru 2017
обратиться к администрации | Политика конфиденциальности

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общая характеристика
Общие сведения
Теоретические аспекты
Физическая культура
Дипломная работа
Самостоятельная работа
Федеральное государственное
История развития
Направление подготовки
квалификационная работа
Общая часть
Техническое задание
Выпускная квалификационная
Методическое пособие
Краткая характеристика
Технологическая карта
государственное бюджетное
Теоретическая часть
прохождении производственной
Методическая разработка
Техническое обслуживание
Технология производства
Общие положения
Математическое моделирование
Металлические конструкции
Исследовательская работа
Организация работы
учреждение высшего
Уголовное право
Технологическая часть
Описание технологического
Решение задач
Понятие предмет
Гражданское право
Практическое занятие
Правовое регулирование
История возникновения
Основная часть
Метрология стандартизация
Общие требования
Экономическая теория