Искусственными языками именуются знаковые системы, созданные человеком для каких-либо целей. Среди искусственных языков выделяются такие, которые имеют строгие правила определения значений всех элементов, правила их сочетания, а также правила вывода одних элементов из других. Такие языки называются формализованными. В зависимости от того, в каких языках исследуется вывод, различают логику формальную — ее иногда называют философской, — которая исследует правила вывода в естественном языке, и логику математическую, предметом которой является вывод в формализованных языках, в первую очередь в языке математики. Современная формальная логика прибегает к помощи математических методов, в частности метода формализации, выражая свои построения в символической форме. Поэтому современную формальную логику, в отличие от традиционной логики, называют логикой символической.
В рамках современной логики выделяют еще ряд логических направлений, возникающих вместе со смещением направления исследований в сторону тех или иных типов рассуждений. Модальная логика исследует рассуждения, в которых участвуют модальные высказывания. Интенсиональные логики изучают рассуждения, касающиеся косвенных утверждений, т.н. контекстов мнения. Многозначные логики исследуют рассуждения, в которых выводы могут иметь неопределенное значение истинности. В любом случае рассуждения — это основной предмет исследований логических теорий. Правильность логической формы в отношении рассуждений устанавливается по наличию в нем отношения логического следования. Логическое следование является фундаментальным логическим понятием, не имеющим четкого определения. Отношение логического следования может быть зафиксировано, но природа его неясна. По мнению Т.
Котарбиньского, сам язык содержит в себе условия, то есть такие внутренние связи между элементами, которые и определяют возможность логического следования. Внешние признаки наличия логического следования в рассуждении заключаются в переходе от истинных исходных элементов — суждений, высказываний, к всегда истинному выводу, причем независимо от содержания данных элементов рассуждения. Логика является нормативной наукой в том смысле, что она не отвечает на вопрос о том, как человек мыслит вообще. Логика дает ответ на вопрос, как человек должен мыслить, чтобы достичь цели познавательного процесса, получить адекватные знания об исследуемых объектах. Логика связана непосредственным образом с методологией научного познания.
Как самостоятельная наука логика непосредственно участвует в анализе математических выводов, в информатике, моделируя процессы вычисления, реализуемые в компьютерных схемах, логика служит основой ряда философских концепций — философии логического анализа, философии языка, также логика определяет основное содержание теории аргументации, логика связана с риторикой и лингвистикой в качестве инструмента исследования контекстов естественного языка.
Заключение
.
Объектом логики является человеческое мышление. Значение логики как инструмента, упорядочивающего данную область, не изменилось со времен ее зарождения. Разумеется, усложнились сами формы мышления, операции мышления, но базовые основы мышления вряд ли изменились с тех времен, когда человек впервые осознал основные принципы дискурсии: следование, противоречие, связь, доказательность, истинность и ложность утверждений. Благодаря дискурсивному мышлению стала возможной философия и наука, право и мораль, государственные установления, законы и политика. Логика, возникнув, на определенном историческом и культурном этапе развития человечества, сыграла весьма значительную роль, позволив строго отделить мышление, ведущее к обоснованному знанию, от мышления, руководствующегося неким произволом. Развитие логики шло по пути усложнения, уточнялся и корректировался непосредственный предмет ее исследования, в результате чего мы имеем на сегодняшний день разветвленную систему логических учений и теорий. В поле внимания логики попадают также предметы иной природы, нежели рассуждения: существует логика действий, строится логика квантовых процессов. Логический анализ применяется к самым разным областям: юриспруденции, экономике, политике, сфере менеджмента, искусству и спорту. Логическая грамотность является одним из основных условий построения демократического общества, поскольку оно основано на единстве законов и возможности обосновать целесообразность тех или иных политических или социальных решений рационально.
Список литературы
1Абачиев С. К. Формальная логика с элементами теории познания: учебник для вузов / С. К. Абачиев. — Ростов-на-Дону: Феникс, 2012.
— 635 с.2Асмус В. Ф. Логика / В. Ф. Асмус. — М.: Политическая литература, 2011. — 388 c.3Барковский П.
В. Логика / П. В. Барковский. — Тетра.
Системс, 2011. — 112 c.4Демидов И. В. Логика: учебник / И. В. Демидов. —.
8-е изд. — М.: Дашков и К, 2013. — 347 с.5Зайцев Д. В. Обобщенная релевантная логика и модель рассуждений: Автореферат диссертации д-ра филос. наук. -.
Москва: МГУ им. М. В. Ломоносова, 2012. -49с.
6Михайлов К. А. Логика. Практикум: учебное пособие для бакалавров / К. А. Михайлов, В.
В. Горбатов. — М.: Юрайт, 2012. — 509 с.7Сарычев Е. В. Логика / Е. В. Сарычев. — ГУУ, 2010.
— 102 c.8Светлов В. А. Логика / В. А. Светлов. — Логос, 2012. ;
432 c.9Сковиков А. К. Логика: учебник и практикум для бакалавров / А. К. Сковиков. — Москва: Юрайт, 2013. — 575 с.10Челпанов Г. И. Учебник логики / Г. И. Челпанов. ;
М.: Научная Библиотека, 2010 — 128 c. 11Шалак В. И. Протологика: новый взгляд на природу логического: Автореферат диссертации д-ра филос. наук. — Москва: МГУ им.
М.В. Ломоносова, 2010. -37с.
