1.Логика как наука

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

Другой способ отвлечения от смысла нелогич-х терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов - различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1)Все преступники подлежат привлечению к уголовной ответственности.

Некоторые жители Москвы подлежат привлечению к уголовной ответственности.

=>, некоторые жители Москвы - преступники.

(2) Судья - юрист. =>, умный судья - умный юрист.

(3)Некоторые жители Москвы - полиглоты. =>, некоторые полиглоты - жители Москвы.

Заменив нелогические термины символами, получим:

(1) Все Р суть M. Некоторые S суть M. =>, некоторые S суть Р.

(2) S есть Р. =>, SQ есть PQ.

(3) Некоторые S суть Р. =>, некоторые Р суть S.

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

Таким образом, логич-я форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогич-х терминов.

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

несет следующую информацию: "Если все предметы множества Р включаются в множество M и некоторые предметы множества S включаются в множество M, то некоторые предметы множества S включаются в множество Р".

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

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

Суждения - мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: "Человек получил от Бога две блаженные способности - говорить правду и творить добро"; "Лучший способ изучить что-то - открыть это самому".

Умозаключение - процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях. Примерами умозаключений могут служить приведенные выше рассуждения 1-3.

М\у мыслями существуют связи, зависящие только от их логич-х форм. Такие связи имеют место и м\у понятиями, и м\у суждениями, и м\у умозаключениями. Так, м\у мыслями логич-х форм "некоторые S суть P" и "некоторые Р суть S" существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая независимо от того, каково нелогическое содержание этих мыслей.

Связи м\у мыслями по формам, при которых истинность одних из этих мыслей обусловливает истинность других, называются формально-логическими или логическими законами.

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

связи нет и рассуждение не является правильным. Так, приведенное выше рассуждение "Судья - юрист. =>, умный судья - умный юрист" является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

"Муха - животное. =>, крупная муха - крупное животное".

Неправильным является и рассуждение

(1) Все преступники подлежат привлечению к уголовной ответственности.

Некоторые жители Москвы подлежат привлечению к уголовной ответственности.

=>, некоторые жители Москвы - преступники.

Читателю рекомендуется подобрать контрпример для этого рассуждения.

В логике разработаны более простые и более продуктивные методы выявления закономерной связи м\у мыслями (подробнее см. гл. "Умозаключение").

Имея понятия логич-й формы и логического закона, можно дать определение формальной логики.

Формальная логика - это наука о формах мышления, о формально-логич-х законах и других связях и отношениях м\у мыслями по их логическим формам.

Исследуя необходимые связи м\у мыслями по логическим формам - логические законы, логика формулирует утверждения об истинности всех высказываний определенной логич-й формы. Эти утверждения тоже называются законами, но в отличие от логич-х законов (связей, существующих независимо от того, знаем мы о них или нет) - законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм "Все M суть Р" и "Все М суть S", истинна мысль формы "Некоторые S суть Р", можно сформулировать закон логики: "Для любых S, Р и M верно, что если все M суть Р и все M суть S", то некоторые S суть Р". Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

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

Упражнение 1

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

Все студенты первого курса юридического факультета Российской правовой академии изучают логику. Некоторые студенты первого курса юридического факультета Российской правовой академии будут специализироваться по уголовному праву. =>, некоторые студенты, которые будут специализироваться по уголовному праву, изучают логику.

Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. =>, все члены кружка логики - юристы.

сли умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мертв; но и не тогда, когда умер, ибо он был бы дважды мертвым. Стало быть, Сократ не умер." (Секст Эмпирик. Соч.: В 2 т. Т. 2. М., 1976. С. 289).

Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. =>, все электропроводные вещества являются теплопроводными.

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

Формальная логика в своем развитии прошла два основных этапа.

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

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