Дискурсивное мышление и формализация

Размещено на http://www.allbest.ru/

Содержание

1. Что представляет собой дискурсивное мышление?

2. Что представляет собой формализация?

1. Что представляет собой дискурсивное мышление?

Наиболее развитой формой мышления, осуществляемого посредством языка, является рассуждение -- дискурсивное мышление (от лат. Discursus -- рассуждение, довод). Дискурсивное мышление представляет собой цепь суждений, элементами которой являются понятия, и в конце которой появляется новое суждение, являющееся производным от предыдущих. Дискурсивное мышление возможно только с использованием языка в качестве его средства. Рассуждающее мышление развивается по так называемым логическим законам, правилам, при соблюдении которых новое суждение или вывод в большей мере обладает предсказательной силой, чем при их нарушении.

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

Индукция -- это движение мысли в процессе рассуждения от частных суждений к общему выводу. Если рассматривать процесс формирования понятий в логических терминах, то можно сказать, что он представляет собой типичный пример индукции.

Более сложной формой умозаключения является дедукция, при которой конечное суждение является результатом движения мысли от общих положений к частным суждениям. Такое движение мысли в формальной логике приобретает форму силлогизма, который состоит из общей и частной посылки и вывода. Дедуктивное мышление требует от субъекта большей способности к отвлечению и обобщению, а также к децентрации -- способности на время рассуждения преодолеть эгоцентрическую позицию, взглянуть на явление как бы со стороны. В скрытой форме дедукция, так же как и индукция, присутствует в мышлении человека всегда, однако при решении отвлеченных задач люди с эгоцентрическим мышлением справляются с такими задачами с трудом. Так, в исследованиях А.Р. Лурия, проведенных им в 1930-х гг. в далеких кишлаках Узбекистана, и в проведенных Коулом и Скрибнер исследованиях африканских рисоводов народности кпелле было обнаружено, что люди, находящиеся на определенной стадии общественного развития, неспособны решать простейшие силлогизмы типа: «На далеком севере все медведи белые. Новая Земля находится на далеком севере. Какого цвета медведи на Новой Земле?» Люди с неразвитым дедуктивным мышлением, а также дети младшего школьного возраста при решении задач такого рода ссылаются на отсутствие соответствующего личного опыта, обращаются к несущественным признакам, задают неуместные вопросы и т.д.

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

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

2. Что представляет собой формализация?

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

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

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

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

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

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

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

Общеметодологическое значение приобрели важнейшие из результатов, полученных в ходе исследований в области оснований математики и логики, осуществлявшихся на основе методов формализации,-- теоремы Гёделя о неполноте достаточно богатых формализованных теорий и теоремы Тарского о неформализуемости понятия истины для таких теорий, выявившие ограниченность дедуктивных и выразительных возможностей формализмов. Эту ограниченность можно в известной степени преодолеть путем создания более богатых систем. В этом смысле можно утверждать, что формализация позволяет шаг за шагом приближаться ко все более полному выражению познавательного содержания теории через ее форму. Тем не менее, во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, этот процесс не может быть завершен. Формализация не может исчерпать всего богатства содержания таких теорий.

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

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

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

Формализация как метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная формализация (прямое описание, обозначение, именование) объектов с помощью терминов является простейшим видом формализации, вариантом которой в естественных языках служат отдельные слова и выражения, а, например, в математике - цифры и знаки различных математических операций. Цель дескриптивной формализации - компактность обозначения, большая точность и однозначность (отсутствие омонимии). Несмотря на простоту, дескриптивная формализация является необходимым структурным компонентом научной формализации. Последняя характеризуется использованием формального языка, т.е. специальных символических средств (переменных, формул, правил преобразования и т.д.), позволяющих анализировать исследуемую предметную область в чисто синтаксических рамках, что обеспечивает более точное теоретическое выражение конкретных свойств и отношений. Особый интерес представляет такой вид научной формализации, как логическая формализация, обеспечивающая выражение общих взаимосвязей между понятиями, суждениями и умозаключениями. Любое знание - обыденное или научное - может оказаться объектом логической формализации, которая осуществит уточнение и систематизацию содержательных представлений, поможет сформулировать новые проблемы и найти возможные пути их решения. Однако адекватная логическая формализация достаточно сложных теорий (например, арифметики) имеет нетривиальный характер и в целом ряде случаев затруднена различного рода антиномиями и парадоксами. В связи с этим возникают принципиальные ограничения для такой формализации (например, теоремы Геделя, Тарского и др.). Однако трудности логической формализации не умаляют ее значения и не являются причиной отказа от широкого практического применения этого метода в различных областях знания.

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

Такая Формализация включает в себя три момента:

1) обозначение всех исходных, неопределяемых терминов;

2) перечисление принимаемых без доказательства формул (аксиом);

3) введение правил преобразования данных формул для получения из них новых формул (теорем).

В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Проверка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вычислительной машине. Формализация играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы, пока не будут формализованы связанные с ними рассуждения. Так обстоит дело, в частности, с широко используемым понятием алгоритма и вопросом о том, существуют ли алгоритмически неразрешимые проблемы. Только с формализацией арифметики появилась возможность поставить вопрос, охватывает ли формализованная арифметика всю содержательную арифметику. Как показал К. Гёдель, достаточно богатая содержанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями последняя, в теории всегда останется невыявленный, неформализованный остаток.

Список используемой литературы

1. Баскаков А.Я., Туленков Н.В. Методология научного исследования: учеб. пособие/- 2-е изд., испр-Киев: МАУП,2004.-216с

2. Выготский Л.С. Мышление и речь. - М.: Лабиринт, 2010. - 265 с.

3. Жинкин Н.И. Механизмы речи. - М.: Логос, 2012. - 370 с.

4. Рапацевич Е.С. Современный словарь по педагогике. - М.: Современное слово, 2014. - 928 с.

5. Сабитова Р.Г. Основы научных исследований учеб. пособие / Р.Г. Сабитова. - Владивосток: ДГУ,2005.-190 с.

Размещено на Allbest.ru