Формально- логическое знание в структуре познания и коммуникации

     § 3. Основные методологические принципы формальной логики 

     Как уже говорилось, формальная логика исследует связи между мыслями, зависящие от их логических форм, т.е. прежде всего от смысла логических терминов. Эти связи имеют место независимо от того, знаем ли мы о них или нет. Поскольку логические термины, по крайней мере некоторые, представляют наиболее общие характеристики внеязыковой действительности, постольку в логике выражается знание онтологического характера, знание о том, какими признаками обладает действительность. Такими знаниями, например, являются: (1) “Невозможно существование ситуации и в то же время ее отсутствие, в частности, невозможно наличие свойства у предмета и в то же время отсутствие этого свойства у предмета”; (2) “У изменяющихся предметов имеются свойства, которые остаются присущими им во многих случаях по крайней мере некоторое время”.

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

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

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

     Качественная  определенность предметов и их свойств  составляет объективную основу законов  тождества, непротиворечия и исключенного третьего. Закон достаточного основания  является логическим выражением причинно- следственных связей.

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

1. Закон тождества

     Закон тождества формулируется следующим  образом: всякая мысль тождественна сама себе, а есть а (или а=а), где  а обозначает любую мысль. Из сущности этого закона вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.

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

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

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

     Ошибкой, сходной с подменой понятия, является подмена тезиса. Эта ошибка возникает  в доказательстве или опровержении, когда доказывается или опровергается не выдвинутое положение (тезис), а другое положение, которое принимается за выдвинутое.

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

     Закон тождества, таким образом, одно из важнейших  свойств логического мышления - определенность.

     Отождествление  широко используется в следственной практике, например, при сличении документов, подписей, отпечатков пальцев. Так же закон тождества используется в науке, искусстве, в программах для работы ЭВМ, в школьном преподавании, в повседневной жизни.

2. Закон непротиворечия

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

     Требование  непротиворечивости мышления выражает формально-логический закон непротиворечия: два противоположных суждения не могут быть одновременно истинными; по крайне мере одно из них необходимо ложно.

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

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

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

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

     Не  следует ли из этого, что закон  непротиворечия отрицает всякие противоречия?

     Прежде  всего нужно строго отличать формально-логические противоречия от противоречий объективной  действительности.

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

     Закон непротиворечия имеет важное значение в теоретической и практической деятельности человека.

     Сознательное  использование закона непротиворечия помогает более успешно обнаруживать и устранять противоречия в своих  и чужих рассуждениях, выработать критическое отношение ко всякого рода неточности, непоследовательности в мыслях.

     Не  могут быть одновременно истинными  следующие четыре типа простых суждений:

     1. "Данное S есть P" и "Данное S не  есть P"

     2. "Ни одно S не есть P" и "Все  S есть P"

     3. "Все S есть P" и "Некоторые S не есть P"

     4. "Ни одно S не есть P" и "Некоторые  S есть P".

3. Закон исключенного третьего

     Закон непротиворечия указывает, что из двух противоположных суждений одно необходимо ложно. Но поскольку он распространяется и на противные, и на противоречащие суждения, вопрос о втором суждении остается открытым: оно может быть как истинным, так и ложным.

     Отношения между двумя пртиворечащими суждениями выражает закон исключенного третьего: два противоречащих суждения не могут  быть одновременно ложными: одно из них необходимо истинно; другое - необходимо ложно; третье суждение исключено.

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

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

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

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

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

     Закон исключенного третьего требует ясных, определенных ответов, указывая на возможность  отвечать на один и тот же вопрос в одном и том же смысле и "да" и "нет", на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого.

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

     Отрицающими являются следующие пары суждений: