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