Методы и функции логики

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

Оглавление
Введение 2
Методы логического исследования 4
Функции и задачи логики 12
Заключение 14
Список литературы 15

Введение
Термин “логика” происходит от греческого слова 1оgos, что значит «мысль», «слово», «разум» и используется для обозначения как совокупности правил, которым подчиняется процесс мышления, отражающий действительность, так и науки о правилах рассуждения и тех формах, в которых оно осуществляется. Мышление является непосредственным объектом изучения не только логики, но и других наук, таких как психология, нейрофизиология, лингвистика и т. д. Каждая из наук изучает мышление в определенном аспекте. Для логики мышление прежде всего выступает в качестве инструмента познания объективной реальности, системы форм и законов, в которых осуществляется и которым подчиняется познание мира. Поскольку процесс познания мира в наиболее обобщенном виде изучает философия, логика является философской нау кой.
Познание представляет собой процесс движения к истине, складывающийся из множества этапов, разнородных действий – экспериментов, выдвижения гипотез, формулировки теорий, построения доказательств и пр., – находящихся друг с другом в необходимой связи. Приращение знания может осуществляться двумя путями: посредством опыта и посредством рассуждений. В первом случае мы имеем дело с эмпирическим знанием. Результат эмпирического знания – это факты.
Второй способ получения нового знания – рассуждения. К рассуждениям познание обращается в тех случаях, когда невозможно непосредственное взаимодействие с исследуемым объектом или сам объект исследования не имеет материального существования, то есть не имеет свойств, подлежащих наблюдению или измерению. Рассуждение представляет собой переход от неких установленных положений к новому, отсутствующему в исходных, это цепочка выводов, связанных друг с другом логической связью. Таким образом логика исследует условия, принципы и правила организации мыслительных процедур, направленных на производство рассуждений, соответствующих требованиям выводимости, доказуемости, корректности. Логика является нормативной наукой в том смысле, что она не отвечает на вопрос о том, как человек мыслит вообще. Логика дает ответ на вопрос, как человек должен мыслить, чтобы достичь цели познавательного процесса, получить адекватные знания об исследуемых объектах.
Методы, которыми пользуется логика для исследования своего предмета, достаточно разнообразны. Логика развивается по пути усложнения. Возникнув как систематизированная теория в трудах древнегреческого философа Аристотеля в IV – III веках до н. э., логика прошла долгий путь развития от простых форм анализа, сводящихся к сопоставлению экстенсионалов (объемов) понятий и выводам на основе их отношения, к логическому моделированию «миров», то есть систем взаимосвязанных и непротиворечивых высказываний, описывающих полным образом некое состояние, в семантике возможных миров и в модальных логиках.
Методы логического исследования можно разделить на общеметодологические, то есть принадлежащие научному познанию в целом, и собственно логические, выработанные логикой для решения своих специфических задач. Общенаучные методы гарантируют научный характер логических построений. Логика как наука также подвержена влиянию научных парадигм. В ее истории развития прослеживаются этапы, совпадающие с доминирующими научными или философскими установками. Например, различают периоды психологизма и антипсихологизма в развитии логического знания. С конца XIX века в логике усиливается влияние математических методов исследования, что связано с проблемами обоснования математики и построения соответствующих программ, одной из которых являлся логицизм – попытка вывести всю математику из логики. С возникновением семиотики увеличивается роль связи логики и лингвистики, логика обращается к методам лингвистического анализа. Мы рассмотрим основные методы логики как науки о мышлении.

Явления объективного мира, которые человек исследует в процессе своей деятельности, обладают бесконечным числом свойств и отношений. Процесс абстрагирования связан с тем, что человек рассматривает только часть из их бесконечного числа, что является не просто желанием, а целенаправленной реализацией объективного требования научного рассмотрения мира. Дело в том, что наука, в отличие от многих других форм интеллектуального и духовного производства, осознает свои границы и предельно строго разделяет исследуемые области в целях максимально точного их уяснения. Смысл научного исследования – в дифференциации предметных областей, объектов исследования, предметов изучения. В этой связи наука прибегает к формированию абстрактных моделей исследуемого объекта с целью решения конкретных задач, лежащих в основе научных проблем. Для логики метод абстрагирования является одним из ключевых, поскольку логика изучает абстрактное мышление как таковое. Логика направлена на исследование наиболее общих, универсальных законов мышления, поэтому она с необходимостью вынуждена отвлекаться от всех частных случаев проявления мыслительной деятельности. Логику не интересует, как мыслят люди в действительности. Логика направлена на выяснение вопроса о должном характере мышления, что делает ее нормативной наукой. Процесс мышления рассматривается в логике как осуществляемый в предельно общих формах, поэтому роль абстрактных понятий в логике необыкновенно велика: логика выявляет общие формы мышления и их виды, категории языка, общие схемы рассуждений, общие принципы и формы доказательств, общую структуру аргументов и пр., отображая результаты своих исследований в виде систем абстракций. Как считал методолог науки Б. С. Грязнов, «абстрактное мышление возможно лишь тогда, когда результаты абстрагирования становятся сами предметом исследования». Логика отвлекается от частных случаев, направляя свое внимание на установление общих законов.Наиболее значимой проблемой при осуществлении абстрагирования является вопрос, какие из рассматриваемых свойств объекта являются существенными, а какие – второстепенными. Что следует выделить в качестве сущностных характеристик, зависит прежде всего от природы изучаемого объекта и конкретных познавательных задач. В логике критерием адекватности полагания абстрактных величин является их способность отображать процессы мышления в целом. В математической логике этому требованию абстрагирования соответствует правило введения квантора всеобщности, по которому из А(х) выводимо хА(х). То есть логика исходит из допущения, что если некоему предмету, обозначаемому переменной х, м можем приписать предикат А, то из этого утверждения мы можем вывести, что всему классу предметов, включающему х, присущ предикат А. Для всякого х верно, что он обладает свойством А. Если х – студент, то он изучает какую-либо науку, следовательно, всякий студент изучает какую-либо науку. Здесь совершенно не играет роли, о каком конкретно студенте идет речь. Логика абстрагируется от единичного содержания, рассматривая в целом класс объектов.Метод идеализации связан с методом абстрагирования в том, что также обращается к обобщению свойств исследуемых предметов, с той только разницей, что в процессе идеализации моделируются объекты, не существующие в реальности. В процессе идеализации происходит предельное отвлечение от всех реальных свойств предмета с одновременным введением в содержание образуемых понятий признаков, не реализуемых в действительности. В результате образуется так называемый «идеализированный объект», которым может оперировать теоретическое мышление при отражении реальных объектов. В логике процесс идеализации применяется, когда исследуются, к примеру, ситуации, содержащие парадоксы. Идеализированным объектом является семантический парадокс Б. Рассела в его популярной форме: если допустить, что все множество мужчин делится строго на два класса – те, которые бреются самостоятельно, и те, которых бреет цирюльник, то к какому из подмножеств принадлежит сам цирюльник? Если он бреет сам себя, то значит он не бреется у цирюльника, то есть у самого себя; если же он бреется у цирюльника, то есть опять же у самого себя, то тогда он не может брить сам себя. Этот парадокс в теории множеств имеет несколько вариантов представления, но все они являются результатом идеализации.К числу идеализированных объектов относится понятие «возможного мира» в семантике возможных миров. Впервые это понятие попытался теоретически интерпретировать Дунс Скотт, понимая под ним некую область концептуальной непротиворечивости. Далее, к его помощи прибегнул Г. Лейбниц, обозначив этим термином некую допустимую связь реалий и событий, замысленную Богом в качестве возможного результата творения. Действительный мир, по Лейбницу, является только одним из возможных миров. В неклассических логиках, в частности семантике С. Крипке для модальных логик, под возможным миром понимается система высказываний, обладающая полнотой, то есть такая, в которой каждое высказывание (состояние) достижимо (выводимо) в рамках определенной модели.Одним из наиболее важных методов исследования в современной логике является формализация. Как отмечает Л. А. Микешина, под формализацией «понимается метод изучения объектов путем отображения их содержания и структуры в знаковой форме, при помощи самых разнообразных искусственных языков». Формализация является для современной логики в определенном смысле самоцелью, поскольку логика неотъемлемым образом связана с исследованием языка. Язык представляет собой предмет логического анализа. Языковая форма выражения для современной логики представляет собой не просто оболочку, внешнее материальное выражение мысли – после ряда фундаментальных исследований Л. Витгенштейна, Р. Карнапа, О. У. ван Куайна, К. Айдукевича, А. Тарского, С. Крипке язык стал расцениваться как условие мышления и пределы его возможностей. Знаковое выражение стало пониматься как само мышление, язык, по характеристике Л. Витгенштейна, есть «строительные леса» мышления, то есть язык делает мышление возможным. Логику язык интересует с позиций заключенных в нем самом формальных отношений между различными категориями выражений, благодаря которым эти категории могут связываться друг с другом в осмысленные выражения и определять возможность логических выводов, то есть рассуждений. Логика различает языки с точки зрения определенности их категориальной структуры. Языки делятся на естественные и искусственные. Под естественными языками понимаются все национальные языки – сложившиеся исторически средства коммуникации человеческого социума. Искусственными языками именуются знаковые системы, созданные человеком для каких-либо целей. Среди искусственных языков выделяются такие, которые имеют строгие правила определения значений всех элементов, правила их сочетания, а также правила вывода одних элементов из других. Такие языки называются формализованными. Язык, в котором создаются значимые выражения, выступает в качестве языка-объекта. Тогда как логическая теория формулируется в некотором искусственно построенном языке, который выступает по отношению к языку-объекту в качестве метаязыка. «Язык, в рамках которого мы исследуем предметный язык <…>, мы так и назовем языком исследователя, или метаязыком». Язык самой логики – это формализованный язык, он использует в качестве алфавита определенную символику, в нем определены правила сочетаемости элементов и правила вывода. Логическая символика различается в зависимости от того, какой уровень языка-объекта подлежит исследованию: для формализации сложных суждений используются символы языка логики высказываний: «», «», «», «», «». Для формализации отношения предикации используется особый язык логики предикатов, включающий, помимо символов языка логики высказываний, обозначения кванторов: и , а также предикаторных и предметно-функциональных констант.Метод формализации дополняет методы абстрагирования и идеализации в построении обобщенных идеализированных объектов исследования. Логика строит свои теории, оперируя формулами, которые выражают наиболее существенные свойства высказываний естественного или какого-либо из формализованных языков.Формализация в логике явилась прямым следствием проникновения в логику математических методов и становления особого направления в науке – математической логики. Современная ситуация в отношениях логики и математики заставила одного из крупнейших авторитетов в логике Г. Х. фон Вригта сделать неутешительный вывод: «Логика расплавилась в разнообразных исследованиях математики». Тем не менее математические методы именно для специальных логико-математических проблем явились средством, придавшим логике новый импульс для развития. Одним из таких методов стал аксиоматический метод. В логику его ввел математик Д. Гильберт. Суть аксиоматического метода состоит в построении исходной системы аксиом – тождественно-истинных формул, из которых по правилам вывода могут быть выведены все остальные формулы, принадлежащие исследуемому языку. Система аксиом, таким образом, «является дескриптивным определением структуры исследуемого объекта».Наряду с общенаучными методами, логика использует собственные, возникшие в ее рамках, методы исследования. К ним относятся дедукция, индукция и аналогия.