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

Каковы особенности механистического естествознания и его методологии Хронологически период классического естествознания, а значит, становление...
Что характерно для развития знания в эпоху эллинизма Эпоху эллинизма (IV в. до н. э. — I в. до н. э.) считают важным периодом становления научного...
В чем отличия классического и неклассического вариантов формирования теории Сила любой теории в ее объяснительно-прогностическом потенциале, ее...
Что такое научные традиции и каково их многообразие Эта проблема всегда привлекала внимание ученых и философов науки, но только Т. Кун впервые рассмотрел...

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

Формализация

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

Метки (тэги, tags):

Формализация

1) представление некоторого содержания путем его отображения в некоторую формальную систему и рассмотрение его с позиций этой формальной системы.

Метод формализации знания играет существенную роль в современных математике и логике для определения характера логических (доказательных) связей между высказываниями этих наук. Для этого строятся чисто формальные (синтаксические) модели содержательных теорий математики и логики. Например, существуют (построены) формализованные модели содержательных систем арифметики, геометрии, анализа, силлогистики, исчисления высказываний и др. Необходимым предварительным условием формализации любых содержательных научных теорий является их аксиоматизация, построение в виде содержательно-аксиоматических систем знания. Формализация научных теорий — это более высокий уровень их логической организации нежели их аксиоматическое построение. Это абсолютно необходимый метод при строгом доказательстве полноты и непротиворечивости любых аксиоматических систем знания. В метаматематике это главное средство решения ее проблем. Как доказал К. Гёдель в 30-х годах XX в., абсолютно полная формализация математических теорий и даже самой простой из них — арифметики натуральных чисел — невозможна в принципе. Однако этот результат Гёделя не налагает никаких существенных ограничений как на теоретическую значимость, так и на практическое использование метода формализации в науке, на возможность все более полной формализации любых систем знания. Такая формализация — главное условие «перевода» человеческого (во многом интуитивного) знания на язык вычислительной математики и техники.

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


Метки (тэги, tags):



Подобные материалы:
  • Формализация научных знаний - 03/03/2012 11:53
    Формализация научных знаний отождествление определенного фрагмента научного языка, фактически используемого научным сообществом, для ведения дискусси…
  • Формализация - 03/03/2012 11:50
    Формализация в широком смысле метод семиотического анализа объектов любой природы, направленный на выявление формы. Конкретнее под формализацией пони…
Последние похожие материалы:
  • Фундаментальные и прикладные исследования - 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:56
    Формализм (философия математики) 1) направление в философии математики XX в. (Гильберт, Гёдель и др.), считавшее классическую (содержательную) матема…
Более поздние похожие материалы:
  • Форма - 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) множество онтологических, гносеологических, методологических, логических, ценностных и социальных о…
  • Философские основания неклассической науки - 02/07/2013 18:49
    Философские основания неклассической науки 1) множество онтологических, гносеологических, методологических, логических, ценностных и социальных основ…

 

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

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

Последние результаты
(ПДТСіОС) Тема 11.1 Стат. спостереження, зведення і груп. (11 тест.завдань) 63.64 %
(ПДТСіОС) Тема 10.2 Характеристика мови прогр. R і RStudio (7 тест.завдань) 100.00 %
(ПДТСіОС) Тема 10.1 Огляд прогр. засобів стат. аналізу дан. (8 тест.завдань) 100.00 %
Перейти к тестам
Анкетирование групповое 1) методическая и организационная разновидность письменного опроса (анкетирования), состоящая в одновременном заполнении анкет...
Геоцентризм 1) астрономическая система и основанная на ней картина мира, согласно которой Земля находится в центре наблюдаемой Вселенной, а Солнце и все...
Логическое противоречие 1) наличие или возникновение формальной конструкции «А и не-А» в любой системе знания. Такие конструкции запрещаются законами...
Постмодернизм 1) общее название ряда течений современной философии, в основе которых лежит решительное неприятие всех основных установок (с подробным...
Контекст 1) языковая или любая другая объективная структура, более широкая чем отдельный текст или отдельное событие, являющиеся элементами этих...
Концепция эволюции науки К. Поппера основана на критике позитивистской доктрины логического анализа научных знаний, их несостоятельности и...
Наука как профессия Наука превращается в профессию в к. XIX в., именно с этого времени ученые начинают систематически получать жалованье. Происходит...
Компьютеризация науки это процесс, сутью которого является оснащение научного пространства новой производительной силой - искусственным интеллектом...
Неокантианская концепция науки одно из направлений философии науки послед, четверти XIX - пер. пол. XX в. Наиболее яркими представителями его являются В....
Организация науки одна из фундаментальных форм отношения государства к деятельности ученых. Организация науки, с одной стороны, предполагает...

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

Бесплатный анализ сайта