Тема; Логика как отрасль науки, изучающая формы и законы мышления

ТЕМА; Логика как отрасль науки, изучающая формы и законы мышления.
ПЛАН

1. 
   Логика как науки о мышлении.
   
2. 
   Философская логика.
   
3. 
   Мышления.
   

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

Слово «логика» многозначно. Во-первых, этим понятием обозначают за- кономерности в изменении и развитии вещей и явлений объективного мира. Их называют объективной логикой. Во-вторых, обозначают особые закономерно- сти в связях и развитии мыслей. Эти закономерности называют субъективной логикой. Нередко говорят о логике событий, логике характера, логике вещей, логике фактов и др. В этих случаях имеется в виду определенная последова- тельность и взаимозависимость событий и поступков.
Слово «логика» употребляется также в связи с процессами мышления. Мы говорим о логичном или не логичном мышлении, имея в виду такие его свойства, как определенность, последовательность, доказательность.
Существует более ста определений логики. Но наиболее распространен- ное следующее: логика (греч. logos слово, речь, разум, рассуждение) наука о законах, формах и приёмах интеллектуальной (мыслительной) познавательной деятельности. Основная ее цель выяснение условий достижения истинных знаний, изучение внутренней структуры мыслительного процесса, выработка специфи- ческого логического аппарата и надежного метода познания. Многообразие со- временных отраслей логического знания характеризует развитые ее этапы. Если Вы откроете словари, 2 то увидите еще множество видов логик: неклассическую, диалектическую, математическую, семантическую, логику высказываний, и др. Задача данной монографии состоит в рассмотрении наиболее важного для про- фессиональной деятельности руководителя направления, а формальной логики.
По своему содержанию мышление, как известно, представляет отражение закономерностей объективного мира. Исходя из наиболее общих законов раз- вития природы, общества и человеческого мышления, логика формирует науч- ный метод, учитывающий объективную диалектику действительности и про- цесс отражения ее в сознании человека. Данное положение вытекает из харак- тера и специфики взаимосвязи логики и мышления. Знаменитый персидский философ Аль-Фараби образно сравнивал искус- ство логики с положением грамматики по отношению к языку, если грамматика позволяет исправлять язык, то логика позволяет исправлять разум. История логики насчитывает не менее 2,5 тысяч лет. В глубокой древно- сти было замечено важное свойство мышления человека: если сначала выска- зываются некоторые утверждения, то затем могут быть признаны не любые, а вполне конкретные выводы. Было установлено, что мышление подчиняется некоей принудительной силе, его результаты во многом детерминированы и предопределены предшествующим знанием и могут быть получены без непо-средственного обращения к опыту.
Логика возникла и развивалась в недрах философии как единой науки, объединявшей всю совокупность представлений людей об окружающем мире и самом человеке, его мышлении. Прикладной ее аспект наиболее рельефно нашел отражение в ораторском искусстве, теории и практике доказательства. Так было в Древней Индии, Древнем Китае, Древней Греции, Древнем Риме, а также в средневековой России. Однако в искусстве красноречия логический ас- пект представляется пока еще как подчиненный, т.к. логические приемы служат не столько цели достижения истины, сколько цели убеждения аудитории.
Логика как наука начинала формироваться задолго до нашей эры в Древ- ней Индии, Древнем Китае, Древней Греции. На начальных этапах ее развития в Древней Индии большое внимание уделялось теории умозаключения, которое отождествлялось с доказательством. В Древнем же Китае большинство логиче- ских теорий было разбросано по различным трактатам, которые посвящались вопросам философии, этики, политики и естествознания. В них акцентирова- лось внимание на таких логических проблемах, как теория имен, теория высказывания, теория рассуждения, законы мышления. Наиболее обстоятельно разработаны и систематизированы теоретические проблемы логики. Так, Демокрит (460-370 до н.э.) в специальном трактате «О логике», или «Каноны», состоявшем из трех книг излагает по сути основы ин- дукции, что позволяет назвать его одним из основателей индуктивной логики.
Сократ (около 469 399 до н.э.) считал, что любой предмет может быть познан лишь в том случае, если его можно свести к общему понятию. И судить о нем необходимо на основе этого понятия. Данное свойство он широко ис- пользовал в своих диалогах, направляя своего собеседника к принятию опреде- ленных утверждений умелой постановкой вопросов.
Платон (428 - 347 до н.э.) в своих взглядах значительное место отводил вопросам теории познания и логики. Он стремился образовать понятия и затем осуществить деление понятия на его виды. Излюбленным логическим приемом Платона была дихотомия, т.е. деление понятия «А» на «В» и «не В» (например, животные делятся на позвоночных и беспозвоночных).
2.Философская логика — это широкая область логических исследований, направленная на философское осмысление основных понятий, применяемых в современной логике (см. Логика (https://gtmarket.ru/concepts/6892)), и результатов, полученных средствами символической логики (см. Логика символическая (https://gtmarket.ru/concepts/6896)), а также применение логического аппарата неклассических логик (см. Логики неклассические (https://gtmarket.ru/concepts/6903)) к анализу и реконструкции различных философских проблем (см. Философия (https://gtmarket.ru/concepts/6862)). Следует отметить, что термин «философская логика» весьма неопределён, разноречив и единого применения не имеет. Различными специалистами в математике, в символической логике и самой философии философская логика понимается по-разному, а скорее, по-своему. Даже если она понимается как особая научная дисциплина, определить её предмет, границы применения и методы однозначно не удаётся. В основном путаница происходит между терминами «философская логика» и «философия логики». Зачастую одно подменяется другим, хотя это два разных направления исследований. Термин «философская логика» появился в англоязычной логико-философской литературе и наиболее широкое применение получил в 50–60-е годы XX века. С одной стороны, кризис в основаниях математики (обнаружение парадоксов в теории множеств и ограничительные теоремы А. Тарского и К. Гёделя) потребовал глубокого осмысления самого концептуального аппарата логики. С другой стороны, появление и активное развитие неклассических логик привлекло широкое внимание логиков с философской ориентацией, которые обозначили область исследований, получившую название «философия логики». Для логиков-математиков философией логики стало развитие теории множеств и соответствующие вопросы о способе образования множеств и о природе числа. Обнаружение парадоксов в теории множеств и в особенности парадокса Рассела поставило вопрос о природе самой математики. Логицизм пытался определить основные понятия математики в логических терминах (Г. Фреге в 1884 году и Б. Рассел в 1903 году). Это уже не только техническая, но и философская проблема. В этом смысле грандиозное построение, предпринятое Н. Уайтхедом и Б. Расселом в работе «Principia Mathematica», оказалось неуспешным. И хотя в их логико-математической теории не обнаружено парадоксов, из чисто логических аксиом оказалось невозможным вывести существование бесконечных множеств. Интуиционизм (см. Программа интуиционизма (https://gtmarket.ru/concepts/7056)), как ещё один ответ на обнаружение парадоксов, поставил принципиальные вопросы о различии конечного и бесконечного, отличия потенциальной бесконечности от актуальной. Возникла проблема существования и обоснования доказательств, а также проблема о статусе классических логических законов. Всё это является философской проблематикой. Формалистическая программа Д. Гилберта тоже вызвала оживлённую философскую дискуссию, в особенности проблема финитизма.
В целом, указанное выше относится больше к философии математики, чем к философии логики, но задача философского осмысления применения логики к решению различных проблем математики остаётся. Убедительным примером здесь являются ограничительные теоремы К. Гёделя о неполноте достаточно богатых теорий (1931), которые говорят о том, что нет и в принципе не может быть адекватного формализма, охватывающего всю математику. Философские следствия этих результатов обсуждаются по сей день и привлекли к себе внимание не только логиков-профессионалов, но и философов, методологов, и широкий круг дилетантов, не имеющих никакого понятия о логике. К этому можно добавить также философскую дискуссию относительно тезиса Чёрча — Тьюринга. Следует отметить, что философией логики занялись математики, получившие в ней глубокие результаты (Г. Фреге, Б. Рассел, У. Куайн, Р. Карнап и другие).
У. Куайн в 1940 году публикует книгу под названием «Математическая логика», а в 1970 — под названием «Философия логики», в которой под логикой понимается систематическое изучение логических истин, а под философией логики — инструмент для анализа естественного языка. Книга содержит следующие разделы, которые Куайн относит к философии логики: «Значение и истина» (проблема высказываний и предложений, высказывания как информация, теория смысла языковых выражений, истина и семантическое согласие); «Грамматика» (рекурсивное задание грамматики, категории, пересмотр цели грамматики, имена и функторы, критерий лексики; время, события, глаголы, пропозициональные установки и модальность); «Истина» (определение истины по А. Тарскому, парадоксы в объектном языке, связь между семантическими и логическими парадоксами); «Логическая истина» (в терминах структуры, в терминах модели, в терминах подстановки, в терминах доказательства, в терминах грамматики); «Сфера (scope) логики» (проблема тождества, теория множеств, квантификация); «Девиант (deviant) логики» (под этим понимаются неклассические логики, в первую очередь многозначная логика (см. Многозначная логика (https://gtmarket.ru/concepts/6940)), интуиционистская логика, ветвящиеся кванторы); «Основания логической истины». Таким образом, Куайн сконцентрировал свой труд вокруг главной проблемы в философии логики: что есть истина? Этот сакраментальный вопрос повседневно звучит уже более двух тысяч лет, однако только с развитием символической логики, а именно начиная с работ Тарского (1936), было впервые дано семантическое определение истины для большой группы формализованных языков и одновременно указаны границы такого определения. Вместе с тем, сфера философии логики значительно шире. К её проблематике относится теория пропозициональной формы как высказывания о некоторых положениях дел (вещей) в мире, учение о логических и семантических категориях, теория референции и предикации, идентификация объектов, проблема существования, учение о пресупозициях, отношение между аналитическими и синтетическими суждениями, проблема научного закона, онтологические допущения в логике и многое другое. Она включает и такие, на первый взгляд чисто логические, вопросы, как: сущность и общая природа отношения следования или логической выводимости между любыми высказываниями или множествами высказываний, смысл логических связок, информативность логических законов, значение фундаментальных теорем, полученных в символической логике, и в связи с этим тщательный анализ таких понятий, как «вычислимость», «разрешимость» «доказуемость» и «истина».
В отличие от философии логики, первоначально философской логикой называлась модальная логика (см. Модальная логика (https://gtmarket.ru/concepts/6953)), то есть логический анализ таких философских понятий, как «возможность» и «необходимость». Исторически эти два понятия, особенно начиная с Аристотеля, привлекали к себе постоянное внимание философов, а с развитием символической логики появилась возможность проанализировать указанные модальности и их взаимоотношения точными методами. То же самое случилось с такими философскими понятиями, как «будущее» и «прошлое». С развитием модальной логики в сферу логических исследований стали попадать все новые виды модальностей: временные, модально-временные (не механическое соединение, а синтез модальных и временных операторов), физические или причинные, деонтические, эпистемические и другие.
С выходом на английском языке в 1980-е годы фундаментального «Справочника по философской логике» (в четырёх томах) подведён некоторый итог её развития. Второй и третий тома есть не что иное, как рассмотрение различных неклассических логик, таких как модальная логика, временная, многозначная, интуиционистская, релевантная и другие. Наряду с этим, возникает целый ряд новых логических теорий, таких, как логические теории квантовой механики, логика существования, логики, свободные от экзистенциональных допущений, логика обязательности и позволения (правовые и этические контексты), логика действий, команд, оценок, намерений и предпочтений, логика знания, веры, убеждения, сомнения, восприятия, предвидения, логика вопросов, формальная онтология и так далее. Однако только с появлением семантики возможных миров в середине 1950-х годов (С. Кангер, С. Крипке, А. Прайор, Я. Хинтикка) стало возможным провести логический анализ многих центральных философских понятий: наряду с указанными модальностями также и других, таких как «знание», «вера», «восприятие», «обязательства» и тому подобных. При этом в каждой из этих логик возникает своя философия логики, а следовательно, и указанные философские проблемы, потому что определение истинности формулы, логического следования, понятия высказывания и смысл логических операций в большинстве логик различные. Кроме этого в каждой философской логике возникает своя дополнительная философская проблематика. Например, в модальных логиках таковыми являются проблема референции, кроссидентификации, то есть идентификации объектов в различных возможных мирах, и в связи с этим возникает проблема квантификации. В многозначных логиках стоит сложнейшая философская проблема интерпретации множества истинностных значений, обычно выраженного числами: рациональными, натуральными, целыми, действительными. Много философских проблем ставит интуиционистская логика, например, наличие у неё двух разнородных и несводимых друг к другу классов семантик: реализуемостей и моделей Крипке.
Философская логика имеет более развитый и гибкий языковый и технический аппарат, чем символическая логика, что позволило приступить к анализу и реконструкции чисто философских проблем, включая и такие фундаментальные, как проблема фатализма и свободы воли, детерминизма и случайности, времени и асимметрии времени, существования и всеведения Бога и ряда других. В то же время, понятие философской логики во многом остаётся противоречивым. С одной стороны, к ней относятся все те логические исследования, которые не являются чисто математическими и как бы не имеют отношение к символической логике, понимаемой многими логиками-философами как «игра в символы». С другой стороны, современное развитие модальной логики, временной, интуиционистской и особенно многозначной и некоторых других, есть не что иное, как разделы символической логики: те же методы символизации и аксиоматические способы построения и, главное, во многом те же чисто технические задачи и проблемы. Показательным здесь является построение новых теорий множеств на основе неклассических логик, являющихся по-своему происхождению чисто философскими, а именно появились многозначные, модальные, релевантные, паранепротиворечивые теории множеств. Вместе с тем, существует то, что объединяет такие направления в современной логике, как символическая логика, философская логика, философия логики, неклассические логики. Имеется в виду фундаментальный философский вопрос конца XX века: что есть логика? Наконец, в середине 1990-х годов появился ещё один термин — «логическая философия». Однако определить, что такое «логическая философия», ещё сложнее, чем что такое философская логика. Скорее всего, это всё то, где можно применить логику в любом её виде. Поэтому сюда попадают работы и из области философской логики, и из области символической логики.
3. Любая мысль имеет форму и содержание. Содержание мысли – отображённые в ней предметы, их свойства и отношения. В мышлении содержание существует в понятиях, суждениях и умозаключениях. Понятия – отдельные предметы или их совокупность, отражающиеся мышлением человека, различные по содержанию. Выделяя характерные признаки одного предмета или повторяющиеся признаки группы предметов, мы образуем понятие предмета А как некоторую совокупность его существенных признаков a, b, c и т.д., связанных друг с другом. Различные предметы отражаются в мышлении человека одинаково – как определённая связь их существенных признаков, т. е. в форме понятия. Связи между предметами и их свойствами отражается в форме суждений. Эти связи отрицаются или утверждаются. Если мы обозначим понятия символом S (субъект) – так обозначается понятие о предмете суждения и P (предикат) – понятие о признаке предмета, то получим схему, общую для любого суждения данного вида: S – P, где S и P – понятия, входящие в суждение, знак «-» обозначает связь между ними. Способ связи понятий, выраженный в форме утверждения или отрицания, называется суждением. Рассматривая умозаключение, с помощью которого из одного или нескольких суждений выводится новое суждение, можно установить, что в умозаключениях одного вида вывод получается одним и тем же способом. Если суждения связаны одним общим для них понятием, но при том имеют разное содержание, из них можно получить вывод. Общим, что имеется в различных по содержанию умозаключениях, является способ связи суждений. Форма мышления или логическая форма – это способ связи элементов мысли, ее строение, благодаря которому содержание существует и отражает действительность. В процессе мышления содержание и форма мысли существуют неразрывно.
Мысль – это результат процесса познания в форме понятия или суждения. Рассуждение - умозаключение или несколько взаимосвязанных умозаключений, переход от посылок к заключению. Мысль может быть истинной и ложной. Если содержание мысли не соответствует действительности и имеют ошибки – это фактические ошибки. Они возникают вследствие неосведомлённости. Необходимым условием достижения верных результатов в процессе рассуждения является логическая правильность рассуждений, она обусловлена законами мышления. Логический закон или закон мышления – это существенная связь мыслей в процессе рассуждения. Если этот закон нарушить – то появляются логические ошибки. Они делятся на паралогизмы (непреднамеренная логическая ошибка) и софизмы (преднамеренная логическая ошибка). Важной задачей логики является умение разоблачать софизмы. Объективной основой этих законов является относительная устойчивость, качественная определённость, взаимообусловленность предметов действительности. Формально-логические законы рассматриваются как тождественно-истинные высказывания или логические тавтологии, обуславливают правильность рассуждений. Не следует путать их с диалектическими законами.Основными законами формальной логики являются тождества, непротиворечия, исключённого третьего и достаточного основания. Они выражают коренные свойства логического мышления. 1. Закон тождества. В процессе рассуждения любая мысль должна иметь устойчивое содержание. Определённость мысли выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль). Символами это можно выразить формулой р-р (если р, то р), где р – любое суждение, а «–» символ импликации (логическая связка «Если …, то …) Нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Отождествление различных понятий представляет собой логическую ошибку – подмену понятия, это может быть сделано умышленно, поэтому юристу нужно точно употреблять понятия. 2. Закон непротиворечия звучит следующим образом: два несовместимых суждения не могут быть одновременно истинными, по крайней мере, одно из них ложно. Из него следует, что утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать то же самое о том же предмете, взятом в то же самое время и в том же самом отношении. Противоположными (контрарными) называются два суждения, в которых признак относится ко всем предметам некоторого множества, но в одном из них этот признак утверждается, а в другом этот же признак отрицается. Противоречащими (контрадикторными) называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом – то же самое отрицается (утверждается) о некоторой части этого множества. Этот закон выражает одно из свойств логического мышления – непротиворечивость, с помощью этого закона обнаруживаются противоречия в рассуждениях, вырабатывается критическое отношение к неточностям, непоследовательности. Поэтому юристу следует обращать внимание на противоречия, тщательно анализировать все обстоятельства по делу в процессе судебного разбирательства, чтобы решение суда основывалось на достоверных и непротиворечивых фактах. 3. Закон исключения третьего действует только в отношении противоречащих суждений. Он звучит так: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не b. Истинно либо утверждение факта, либо его отрицание. Третьего не дано. Данный закон выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях, но действует только в отношении противоречащих суждений, устанавливая при этом, что два противоречащих суждения не могут быть не только одновременно истинными, но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано. Этот закон не указывает на истинное из суждений, но значение закона состоит в указании направления в поиске истины: возможно только два решения вопроса, одно из них будет истинным. 4. Закон достаточного обоснования звучит так: всякая мысль признаётся истинной, если она имеет достаточное основание. Если есть b, то есть и его основание a. Достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли. Если истинности суждения а следует истинность суждения b, то а будет основанием для b, а b – следствием для этого основания. Обоснованность является важным свойством логического мышления. Этот закон помогает отделить истинное от ложного и прийти к верному выводу.

ЛЕТЕРАТУРА

Витгенштейн Л. Философские работы, ч. I, ч. II. Книга 1. — М., 1994.
Вригт Г., Л. фон. Логико-философские исследования. — Избранные труды. — М., 1986.
Вригт Г., Л. фон. Логика и философия в XX веке. — «Вопросы философии», 1992, № 8, с. 80–91.
Быстров П. И., Смирнов В. А. Философская логика. Современная западная философия. Словарь. — М., 1991, с. 349–352.
Карпенко А. С. Фатализм и случайность будущего: логический анализ. — М., 1990.
Карпенко А. С. Логика на рубеже тысячелетий. — Логические исследования, выпуск 7. — М., 2000.