Формализация мышления - Реферат

Содержание

ВВЕДЕНИЕ 3

1. Сущность формализации мышления 4

2. Моделирование мыслительной деятельности человека 8

ЗАКЛЮЧЕНИЕ 13

ЛИТЕРАТУРА 14

Введение (выдержка)

Логика как наука изучает мышление. Есть и другие науки, которые имеют его своим предметом исследования, например психология и физиология. Психология изучает, как совершается процесс мышления. С другой стороны, мы можем смотреть на мышление, как на средство достижения истины. Логика исследует, каким законам должно подчиняться мышление, чтобы оно могло привести к истине. В логической науке мышлением интересуются лишь постольку, поскольку оно занимается рассуждением, доказательством, обоснованием своих утверждений и выводов.

Логику называют также наукой о выводном знании, наукой о доказательствах. Логика исследует сцепление мыслей между собой, их необходимые связи: обязательность, непреложность следования выводов из каких-либо суждений или, наоборот, несовместимость тех или иных вы-сказываний. Важную роль в логике играет понятие формы мышления. Логику можно даже называть наукой о формах мысли. В этих условиях актуальной является тема формализации мышления и ее основных функциональных проблем.

Основная часть (выдержка)

Формализация мышления – это отображение результатов мышления в точных понятиях и утверждениях. При формализации изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов.

Формализация, осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике, а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Лейтмотивом развития математики в течение последних трех столетий было постепенно углубляющееся осознание математики как системы формализованного мышления и вытекающее отсюда возрастание ее «многоэтажности», происходящее путем метасистемных переходов различного масштаба.

Углубленное изучение математической теории порождает новые ма-тематические теории, которые рассматривают исходную теорию в ее различных аспектах. Следовательно, каждая из этих теорий в некотором смысле проще (фундаментальнее), чем исходная теория, подобно тому, как исходная теория проще, чем действительность, которую она рассматривает всегда лишь в каком-то одном аспекте. Происходит расщепление моделей, выделение из сложной модели набора более простых моделей. Формально новые теории столь же универсальны, как исходная теория: их можно применять к любым объектам, которые удовлетворяют аксиомам независимо от их природы. При аксиоматическом подходе различные математические теории образуют, строго говоря, не иерархию по управлению, а иерархию по сложности. Однако, рассматривая те модели, которые на самом деле выражают законы природы (т. е. используются в приложениях математики), мы видим, что математические теории вполне отчетливо делятся на уровни сообразно характеру объекта, к которому они в действительности применяются.

Заключение (выдержка)

Формализация – способ выражения содержания совокупности знаний. Наиболее значимой разновидностью формализации является логическая формализация, которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая формализация невозможна даже в области математики.

Логическая формализация часто служит в целях составления про-грамм для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая формализация производится на основе формальной логики, то исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека.

Формализация позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Формализация как познавательный приём – в частности формализация в узком «математическом» смысле – носит относительный характер: одна и та же теория может быть одновременно и средством формализации (некоторой другой теории и области явлений), и предметом формализации (в более «формальной» теории). Так, традиционная «формальная» логика является формализацией по отношению к совокупности отражённых в ней зако-номерностей человеческого мышления; по отношению же к своим (аксиоматическим) формализация выступает в качестве содержательной теории предмета формализации.

Литература

1. Бpайнес С. Н,. Напалков А.В. М., 1992.

2. Бурбаки Н. Элементы математики // Очерки по истории математики. М.: Изд-во Иностр. лит., 1963.

3. Вейль Г. О философии математики. М.;Л., 1968.

4. Гетманова А. Д. Логика. М., 2006.

5. Челпанов Г.И. Учебник логики. М., 2004.

6. Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М. 2004.