Логика для юристов

Рекомендован Государственным комитетом Российской Федерации по высшему образованию

Редакционная коллегия:

доц. П.Ф.Лунгу (председатель), проф. М.Н.Марченко, проф. Е.А.Суханов

Автор: проф. Ю.В.Ивлев

Рецензенты:

кафедра философии Московского юридического института МВД России,

докт. филос. наук, проф. В.А.Бочаров,

канд. филос. наук, доц. М.Б.Оселедчик

ВВЕДЕНИЕ

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

Как формируется логическая культура юриста?

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

Тогда ему говорили, что посёлок такой-то — райцентр. Крестьянин соглашался и с этим, говорил, что это райцентр района, в котором он живёт. Затем крестьянину задавали вопрос: «Вытекает ли из утверждений “В каждом райцентре есть почтовое отделение” и “Названный посёлок — райцентр” утверждение “В этом посёлке есть почтовое отделение”? Крестьянин утвердительно отвечал на вопрос и добавлял: “Я сам не раз бывал в райцентре и видел там почтовое отделение”.

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

“Чего не знаю, того не знаю. Я никогда там не был”.

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

Если логическая культура не даётся человеку от природы, то как же она формируется?

Логической культурой мышления овладевают в ходе общения, учёбы в школе и вузе, в процессе чтения литературы. Встречаясь неоднократно с теми или иными способами рассуждения, мы постепенно начинаем усваивать, какие из них правильные, а какие — нет. Затем начинаем сами рассуждать в соответствии с правильными способами рассуждения. Наша культура мышления повышается.

Логическая культура юриста повышается в процессе его профессиональной деятельности. Например, прокурор обнаруживает нелогичность рассуждений следователя и объясняет ему, какая ошибка допущена. Весьма вероятно, что в дальнейшем следователь эту ошибку не будет совершать.

Указанный стихийный путь формирования логической культуры не является лучшим. Люди, не изучившие логику, как правило, не владеют теми или иными логическими приёмами. Кроме того, у таких людей разная логическая культура, что не способствует взаимопониманию. Это подтверждают исследования, в ходе которых студентам юридического факультета до начала изучения логики давалось задание проанализировать ряд рассуждении. Требовалось ответить, какие рассуждения студент считает правильными, какие — неправильными, а о каких не имеет определённого мнения. Кроме того, предлагалось сообщить, какими способами, соответствующими данным правильным рассуждениям, он владеет активно, то есть сам так рассуждает, а какими активно не владеет. Ответы разных студентов относительно одних и тех же рассуждении оказывались разными. После изучения логики логическая культура и повышалась и выравнивалась.

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

Не зная логики, юрист иногда может чувствовать, что или он сам, или кто-то другой рассуждает неправильно. Но в чём ошибка? Как найти ошибку в обосновании какого-либо положения? Более того, как доказать, что противоположная сторона ошибается? Ведь простое утверждение: “Вы ошибаетесь” — никого не убедит. Нужно указать, в чём человек ошибается. Если, например, выдвинув какое-либо положение, доказывают другое, сходное с первым, а затем утверждают, что доказано первое, нужно вскрыть в этом доказательстве ошибку, сославшись на соответствующие правила логики. Так, хорошие адвокаты часто используют знание логики. Обнаружив ошибку в рассуждениях обвинителя, они объясняют, какая ошибка допущена, говорят, что эта ошибка специально выделяется в логике и имеет особое название. Такой довод обычно оказывает большое воздействие на судей и других присутствующих в зале заседания, даже если последние никогда не изучали логику.

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

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

Высокой логической культурой должны обладать руководители, работающие в сфере правопорядка. Известный американский теоретик и практик управления Стэнли Янг пишет о руководителе:

“... он должен быть не только умным, но также обладать способностью логично рассуждать, так как проблемы организации весьма сложны”^[1].

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

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

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

В последние десятилетия возник раздел логики, называемый логикой норм. Логика норм позволяет упростить решение многих вопросов права, например, находить противоречия в кодексах и других нормативных актах; выяснять: вытекает ли данная норма из других норм и не является ли её включение в нормативный акт ненужным, становится ли в результате принятия нового нормативного акта излишним ранее принятый нормативный акт и т.д. Эти вопросы решаются при совершенствовании российского законодательства.

Являясь теоретической наукой, логика объясняет, почему тот или иной способ рассуждения является правильным или неправильным. Это даёт возможность анализировать способы рассуждения, с которыми человек ранее даже не встречался.

Выдающийся средневековый учёный Аль-Фараби во “Вводном трактате в логику” пишет следующее о задачах этой науки: “Нашей целью является рассмотрение искусства логики, искусства, которое содержит в себе вещи, ведущие разум к правильному мышлению всякий раз, когда существует возможность ошибки, и которое указывает на все предосторожности против заблуждения всякий раз, когда делается какой-либо вывод при помощи разума. Его положение по отношению к разуму подобно положению искусства грамматики по отношению к языку, и так же, как грамматика исправляет язык людей, для нужд которого она создана, наука логики исправляет разум, с тем чтобы мышление протекало правильно всякий раз, когда существует возможность ошибки”^[2].

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

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

У изучающих логику иногда создаётся мнение, что овладеть ею очень трудно. Такое мнение ошибочно. Изучить логику для практических целей вполне возможно каждому. Для подтверждения этого приведём высказывание известного английского учёного Д.С.Милля: “Когда я принимаю в соображение, как проста теория умозаключения, какого небольшого времени достаточно для приобретения полного знания сё принципов и правил и даже значительной опытности в их применении, я не нахожу никакого извинения для тех, кто, желая заниматься с успехом каким-нибудь умственным трудом, упускает это изучение. Логика есть великий преследователь тёмного и запутанного мышления; она рассеивает туман, скрывающий от нас наше невежество и заставляющий нас думать, что мы понимаем предмет, в то время, когда мы его не понимаем»”^[3]. Для юристов конечной целью изучения логики является умение применять её правила и законы в процессе профессиональной деятельности (вторая особенность). Поэтому рекомендуется после изучения той или иной темы, того или иного раздела теоретического курса выполнять соответствующие упражнения, а также применять получаемые знания в дискуссиях, спорах, при составлении деловых бумаг и т.д. Здесь ситуация сходна с изучением иностранного языка. Известно, что, для того чтобы активно овладеть выражением иностранного языка, человеку со средними способностями нужно это выражение употребить (прочитать, написать, произнести) до восьмидесяти раз. После этого выражение обычно не забывают. Однако никто не знает, сколько раз нужно применить правило логики, чтобы затем его активно использовать в течение всей жизни. Экспериментальных исследований по этому вопросу не проводилось. Априори можно сказать, что сделать это нужно не один раз. Особенно хорошо запоминаются логические приёмы, если вы их применяете в процессе полемики или если эти приёмы в споре применяются против вас.

ГЛАВА I ПРЕДМЕТ ЛОГИКИ

“Логика” (от древнегреческого слова “логос”) означает “понятие”, “разум”, “рассуждение”. В современном языке это слово употребляется в следующих основных значениях.

Во-первых, логикой называют закономерности в изменении и развитии вещей и явлений объективного мира. Это объективная логика.

Во-вторых, этим словом обозначают особые закономерности в связях и развитии мыслей. Они называются субъективной логикой.

Слово “логика” употребляется и в третьем значении. Логикой называют науку о закономерностях в связях и развитии мыслей. Основы этой науки излагаются в данном учебнике.

Итак, логика — это наука о мышлении. Науками о мышлении являются также психология, физиология высшей нервной деятельности, теория познания и ряд других. Что же в мышлении составляет предмет изучения логики?

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

§ 1. ОСОБЕННОСТИ ОТРАЖЕНИЯ МИРА ПОСРЕДСТВОМ АБСТРАКТНОГО МЫШЛЕНИЯ

Познание представляет собой отражение объективной реальности в сознании человека. Это отражение не является зеркальным.

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

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

По сравнению с чувственным познанием абстрактное мышление обладает рядом особенностей.

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

Абстрактное мышление представляет собой обобщённое отражение мира.

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

Особенностью мышления является его неразрывная связь с языком. «На “духе”, — писал К.Маркс, — с самого начала лежит проклятие — быть “отягощённым” материей, которая выступает здесь в виде движущихся слоев воздуха, звуков — словом, в виде языка.»^[4]. Язык — это средство формирования мыслей. В языке закрепляются результаты мышления, посредством языка происходит обмен мыслями между людьми.

Мышление является активной и целенаправленной деятельностью. В процессе мышления ставятся определённые цели и формируются задачи. Для достижения поставленных целей и решения задач осуществляются мыслительные действия.

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

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

Логика изучает эти формы мыслей и формы развития знания, особые приёмы и методы познания, применяемые на ступени абстрактного мышления, а также особые законы мышления.

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

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

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

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

(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.

Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.

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

(2) Следователь — юрист. Следовательно, образованный следователь — образованный юрист.

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

(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, sq есть pq.

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

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

Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.

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

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

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

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

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

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

Связь между мыслями в рассуждении (1) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Так, приведенное выше рассуждение “Следователь — юрист. Следовательно, образованный следователь — образованный юрист” является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

Муха — животное. Следовательно, крупная муха — крупное животное.

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

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

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

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

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

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

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

Упражнение

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

1. Все преступники подлежат уголовному наказанию. Некоторые жители Москвы подлежат уголовному наказанию. Следовательно, некоторые жители Москвы — преступники.

2. Все студенты нашей группы — юристы. Все студенты нашей группы — члены кружка логики. Следовательно, все члены кружка логики — юристы.

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

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

5. Все металлы — теплопроводные вещества. Все металлы — электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.

§ 3. ИЗ ИСТОРИИ ЛОГИКИ

Формальная логика — одна из самых древних наук. Она начала разрабатываться в Древней Греции в VI—V вв. до н.э. Немного позже фрагменты логической науки возникли независимо в Древней Индии, где первыми логиками были Даттария Пунарваса Атрея, женщина-аскет Сулабху и Аштвакра. Греческая логика распространилась позднее в Западной и Восточной Европе и на Ближнем Востоке, а индийская — в Китае, Японии, Тибете, Монголии, на Цейлоне и в Индонезии.

Первоначально логика разрабатывалась в связи с запросами практики судопроизводства и ораторского искусства. Связь логики с этими сферами человеческой деятельности прослеживается в Древней Индии, Древней Греции и Риме. Так, в общественной жизни Древней Индии в период, когда проявился интерес к логике, дискуссии были постоянным явлением. Об этом пишет известный русский востоковед академик В. Васильев: “Если явится кто-нибудь и станет проповедовать совершенно неизвестные дотоле идеи, их не будут чуждаться и преследовать без всякого суда: напротив, охотно будут признавать их, если проповедник этих идей удовлетворит всем возражениям и опровергнет старые теории. Воздвигали арену состязания, выбирали судей и при споре присутствовали постоянно цари, вельможи и народ; определяли заранее, независимо от царской награды, какой должен был быть результат спора. Если спорили только два лица, то иногда побежденный должен был лишать себя жизни — бросаться в реку или со скалы, или сделаться рабом победителя; перейти в его веру. Если то было лицо, пользовавшееся уважением, например, достигшее звания вроде государева учителя и, следовательно, обладавшее огромным состоянием, то имущество его отдавалось часто бедняку в лохмотьях, который сумел его оспорить. Понятно, что эти выгоды были большой приманкой для того, чтобы направить честолюбие индийцев в эту сторону. Но всего чаще мы видим (особливо впоследствии), что спор не ограничивался личностями, в нем принимали участие целые монастыри, которые вследствие неудачи могли исчезнуть вдруг после продолжительного существования. Как видно, право красноречия и логических доказательств было до такой степени неоспоримо в Индии, что никто не смел уклониться от вызова на спор”^[5].

Судебные и политические дискуссии были распространены и в Древней Греции. Часто судебное решение зависело от логической доказательности речи обвиняемого или обвинителя. Большим уважением пользовались люди, которые готовили речи участникам судебных разбирательств. Выдающихся ораторов по политическим вопросам избирали на почетные государственные должности, отправляли послами в другие страны.

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

Ещё одним стимулом создания науки логики были запросы математики, где требовались строгие доказательства.

В Древней Греции логику разрабатывали Парменид (VI—V вв. до н.э.), Зенон из Элеи (ок. 500/490 — ок. 430 г. до н.э.), Демокрит (ок. 460 — ок. 370 г. до н.э.), Сократ (470/469 — 399 гг. до н.э.), Платон (428/27 — ок. 348 гг. до н.э.). Однако основателем науки логики по праву считается величайший мыслитель древности ученик Платона — Аристотель (384—322 гг. до н.э.). Аристотель впервые обстоятельно систематизировал логические формы и правила мышления. Он написал ряд сочинений по логике “Категории”, “Об истолковании”, “Первая аналитика”, “Вторая аналитика”, “Топика”, “О софистических опровержениях”), которые впоследствии были объединены под общим названием “Органон” (орудие познания).

Поскольку логика разрабатывалась древними авторами в качестве руководства для ведения дискуссий, она часто называлась диалетикой (от греческого слова “диалего” — “спорю”). Дискуссии часто проводились с целью получения навыков полемики. В этих случаях обсуждались специально придуманные ситуации. Например, купец заключает с рыбаками договор, согласно которому он оплачивает заранее их будущий улов, но рыбакам в сеть попадается не рыба, а бочка с золотом. Обсуждается вопрос, кто является владельцем золота — купец или рыбаки.

После Аристотеля в Древней Греции логика разрабатывалась стоиками (IV—II вв. до н.э.). Значительный вклад в латинскую логическую терминологию внесли древнеримский судебный и политический оратор М.Т.Цицерон (106—44 гг. до н.э.) и древнеримский теоретик ораторского искусства и оратор М.Ф.Квинтилиан (ок. 35 — ок. 96 г. н.э.).

Логику разрабатывали арабоязычные учёные Аль-Фараби (ок. 870—950 г.) и др., а также европейские логики Средних веков. Средневековая логика называется схоластической. Её расцвет относят к XIV в. и связывают с именами Уильяма Оккама (ок. 1294— 1349/50 г.), Уолтера Бёрли (1273/75—1337/57 гг.), Альберта Саксонского (ок. 1316—1390 г.).

Логика развивалась в эпоху Возрождения и Новое время. В 1620 г. в Лондоне был опубликован написанный известным философом Френсисом Бэконом (1561—1626) “Новый Органон”, в котором содержались основы индуктивных методов, усовершенствованных позже Джоном Стюартом Миллем (1806—1873) и получившие название методов установления причинных связей между явлениями (методов Бэкона-Милля).

В 1662 г. в Париже был издан ставший знаменитым учебник “Логика Пор-Рояля”. В 1991 г. переведён на русский язык. Его авторы П.Николь и А.Арно создали логическое учение, основанное на методологических принципах известного философа Р.Декарта (1596-1650).

Логика, основанная на учении Аристотеля, во многом дополненная и развитая, существовала до начала XX в. В начале XX в. в логике произошла своеобразная научная революция, связанная с широким применением методов так называемой символической, или математической, логики. Идеи последней высказаны немецким ученым Г.В.Лейбницем (1646—1716): "Единственное средство улучшить наши умозаключения — сделать их, как и у математиков, наглядными, так, чтобы свои ошибки находить глазами, и, если среди людей возникнет спор, нужно сказать: “Посчитаем!”, тогда без особых формальностей можно будет увидеть, кто прав”^[6].

Идея Лейбница о возможности и продуктивности сведения рассуждении к вычислениям в течение многих лет не находила развития и применения. Символическая логика начала создаваться лишь в середине XIX в. Ее развитие связано с деятельностью Дж. Буля, А.М. Де-Моргана, Ч.Пирса, Г.Фреге и других известных ученых. Значительный вклад в создание символической логики внесли русские ученые П. С. Порецкий, Е.Л. Буницкий и др.

Таким образом, к началу текущего столетия символическая логика оформилась в качестве относительно самостоятельной дисциплины в рамках логической науки. Первым капитальным трудом по символической логике была работа Б.Рассела и А.Уайтхеда “Principia mathematica” (3 тома), вышедшая в 1910—1913 гг. Применение методов символической логики к решению проблем, поставленных традиционной логикой, а также проблем, которые даже не могли быть ею поставлены, вызвало в начале XX в. революцию в логике. Именно использование методов символической логики отличает логику современную от традиционной. Вместе с тем в современной логике сохраняются все достижения и вся проблематика традиционной логики.

Диалектическая логика также имеет древнее происхождение. Идеи диалектики мышления восходят к древневосточной и античной философии. Основные категории диалектической логики использовались уже в ранней греческой классике (VI—V вв. до н.э.), однако, они не были объединены в систему, и диалектическая логика была далека от выделения в самостоятельную науку. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи этой логики высказывались средневековыми философами. Классические формы диалектической логике придали немецкие философы Нового времени: Кант, Фихте, Шеллинг и, в особенности, Гегель. Диалектическая логика Гегеля является систематическим учением, созданным с позиции объективного идеализма.

Диалектическую логику на материалистической основе разрабатывали К.Маркс, Ф.Энгельс и В.И.Ленин. Дальнейшее развитие она получила в трудах современных философов.

Контрольные вопросы

1. Каковы основные черты абстрактного мышления? 2. Что собой представляет форма мысли и как она появляется? 3. Понятие и способы выявления закономерной связи между мыслями. 4. Что изучает формальная логика? 5. В чём различие между логикой традиционной и современной?

ГЛАВА II ЛОГИКА И ЯЗЫК ПРАВА

§ 1. СПЕЦИФИКА ЯЗЫКА ПРАВА

Особая область отношений, регулируемых правом, (правоотношения) обусловливает специфику языка права. Эта специфика заключается в употреблении терминов, которые должны пониматься единообразно разными людьми в различных случаях и ситуациях. Такие термины называются юридическими. Например, в обыденной жизни мы можем употреблять выражения “Сегодня ночью был дождь”, “Сегодня ночью на улице был сильный шум”, “Петров — коренной москвич”, “Иванов является участником Великой Отечественной войны”. Входящие в эти выражения слова и словосочетания “ночь”(“ночное время”), “коренной москвич”, “участник ВОВ” разными людьми понимаются по-разному. Так, время 22 часа 50 минут одни отнесут к ночному времени, а другие к вечернему, одни считают коренным москвичом человека, родившегося в Москве, другие — человека, у которого к тому же и родители родились в Москве, третьи — того, кто много лет живёт в Москве, одни считают участниками ВОВ только тех, кто непосредственно участвовал в боевых действиях, а другие — ещё и тех, кто находился на фронте, но непосредственно не участвовал в боевых действиях (к примеру, хирургов, работавших в полевых госпиталях). Такая неопределённость выражений обыденного языка оказывается неприемлемой при решении правовых вопросов.

Допустим, что имеется закон, запрещающий ночные полёты самолётов над крупными населёнными пунктами. Самолёт пролетает над городом в 22 часа 50 минут. Нарушен закон или нет? Другая ситуация. Несколько лет назад было принято постановление о постановке на очередь коренных москвичей, проживающих в коммунальных квартирах, для получения ими отдельных квартир. Кто имеет право на постановку на очередь? Третий случай. В Думе решается вопрос о льготах участникам ВОВ. Для этой цели выделяется особая статья в бюджете. Как подсчитать расходы на эти цели, не уточнив, кого следует считать участником ВОВ?

Чтобы избежать неопределённостей, взамен выделенных выше выражений обыденного языка, вводят юридические термины посредством следующих определений: “Ночное время — это время с 10 часов вечера до 6 часов утра”, “Коренной москвич — это человек, который прожил в Москве 40 лет”, “Участник BOB — это человек, который служил в действующей армии”.

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

Есть и другие способы введения юридических терминов: введение в качестве юридических терминов выражений, которых нет в обыденном языке; разъяснение выражений посредством примеров, описаний, характеристик и т.д. Способы и правила введения юридических терминов описаны в главе VII.

Кроме юридических терминов в языке права используются и не уточняемые в нем выражения. Это выражения, которым придан точный смысл в других науках, а также те, которые не являются многосмысленными в обыденном языке. Так, определяя коренного москвича как человека, который прожил в Москве 40 лет, мы однозначно понимаем выражения “жить в Москве”, “40 лет”, “человек”. Эти выражения не нуждаются в уточнении.

§ 2. ЯЗЫК КАК ЗНАКОВАЯ СИСТЕМА

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

При логическом анализе язык рассматривается как знаковая система.

З н а к — это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

Как правило, знаки имеют предметные и смысловые значения. Предметным значением является тот объект, который представляется (или обозначается) знаком. Смысловым значением — выражаемая знаком характеристика объекта, представителем которого является знак (информации об этом объекте). Предметное значение часто называют просто значением, а смысловое значение — смыслом.

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

Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. Особенно актуальным стало развитие учения о знаках в XIX в. в связи с запросами лингвистики и символической логики. Американский философ Чарльз Пирс (1839—1914) заложил основы особой науки о знаках — семиотики. В этой науке выделяют три раздела — синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.

Синтаксисом называется раздел семиотики, в котором исследуются отношения между самими знаками (правила построения и преобразования выражений языка и т.д.). В процессе этого исследования отвлекаются от смыслов и значений знаков.

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

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

Упражнение 1

Укажите смысл и значение следующих выражений (знаков-символов).

1. Ликург.

2. Лисий.

3. Впервые совершённое преступление.

4. Рецидивист.

5. Венера.

6. Вендетта.

7. Дневное время.

8. Юриспруденция.

§ 3. ИМЕНА

Одним из видов знаков являются имена. Учение об именах, называемое теорией именования, относительно полно разработано немецким ученым Готлобом Фреге (1848—1925). Большой вклад в создание этого учения внесли американские логики Р. Карнап (1891—1970) и А. Черч (р. 1903), а также русский логик Е.К. Войшвилло (р. 1913).

Основным понятием теории именования является понятие “имя”.

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

Различают имена двух типов. Имя, относящееся к первому типу, обозначает один предмет. Имя второго типа является общим для предметов некоторого класса. Имена первого типа называются единичными, а второго — общими. Примеры единичных имен: Луна; столица России; автор романа “Война и мир”. Примеры общих имен: хозяйственное преступление; европейское государство; кража личного имущества. Таким образом, значением единичного имени является единственный предмет. Значениями общего имени являются предметы некоторого класса, содержащего более одного элемента. Класс, который составляют предметы, являющиеся значениями имени, называется объёмом имени. Объём единичного имени — класс, состоящий из одного предмета.

Графически:

объем

Общие имена могут быть универсальными. Универсальными называются общие имена, объемом которых является весь универсум рассуждения. Например, “человек, знающий некоторые иностранные языки или не знающий ни одного иностранного языка”. Универсум рассуждения здесь — множество (всех) людей. Объем имени — то же самое множество. Имя “человек, знающий какие-то иностранные языки” — не универсальное, поскольку его объем не совпадает с множеством (всех) людей. Универсум рассуждения определяется контекстом, в котором употребляется имя.

Могут быть имена с разными смыслами и одним и тем же объемом (например, “самый большой город в Англии” и “столица Англии”), но не может быть имен с одним и тем же смыслом, но разными объемами.

Имена могут обозначать предметы, не существующие в универсуме рассуждения. Такие имена являются мнимыми. Примеры: “русалка”, “самая удаленная точка Вселенной”. Эти имена являются мнимыми, если универсум рассуждения составляют предметы, существующие в объективной реальности.

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

Фреге и Черч считают, что все имена имеют смысл. Войшвилло считает, что не все. Аргументируя свою точку зрения, он делит имена на два вида по типу смыслов — на имена, имеющие собственный смысл, и имена, не имеющие собственного смысла. Имена, имеющие собственный смысл, — это описательные имена типа “самая большая река в Европе”. Смысл таких имен определяется их структурой, а также смыслами или значениями имен, составляющих эти описательные имена. Если имена, входящие в сложное имя, не имеют смысла, то описательное имя все равно имеет смысл. Этот смысл заключается в указании отношения между значениями составляющих имен. Неописательные имена типа “Волга” не имеют собственного смысла. Если они и имеют смысл, то лишь приданный. Неописательным именам придается смысл посредством описательных имен, которые ставятся им в соответствие. В описательные имена, в свою очередь, входят имена неописательные. Им тоже придается смысл через описательные. Очевидно, что такой процесс не может быть бесконечным, т.е. некоторые неописательные имена имеют значение, но не имеют смысла. Эти имена обозначают предметы, но не несут о них информации, позволяющей выделять эти предметы среди других предметов. Они вводятся на основе соглашения: “Будем называть такой-то предмет (или такие-то предметы) так-то”.

Упражнение 2

Укажите смысл (собственный или приданный) назначения следующих имен.

1. Особо опасный рецидивист.

2. А.Ф.Кони.

3. Судья.

4. Естественный спутник земли.

5. Человек, живущий не по средствам.

6. Первый заместитель Председателя Совета министров.

7. Тяжкое преступление.

8. Заведомо ложный донос.

9. Демократия.

10. Человек, живущий подаянием.

11. Предположение, признаваемое истинным, пока не доказано обратное. (Презумпция).

В естественном языке некоторые выражения, в зависимости от контекста, обозначают различные предметы, а также встречаются случаи, когда значениями выражений могут быть сами эти выражения и т.д. Такая ситуация недопустима в языке права, который подчиняется следующим трем нормативным принципам: (1) принципу предметности; (2) принципу однозначности; (3) принципу взаимозаменимости.

Согласно принципу предметности в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах. Нужно, конечно, иметь в виду, что значениями некоторых имен являются имена. Такие случаи не противоречат принципу предметности. Например, в предложении «Материя первична, а сознание вторично» “материя” — это имя объективной реальности, а в предложении «“Материя” — философская категория» слово “материя”, взятое в кавычки, — это имя имени, имя категории. Такие имена называются кавычковыми именами. Иногда в естественном языке встречаются случаи, когда именем имени является само исходное имя. Например, в предложении “Слово стол состоит из четырех букв” слово “стол” является именем самого этого слова. Такое употребление имен называется автонимным. Автонимнос употребление имен недопустимо в научных языках, поскольку оно приводит к недоразумениям. Так, в известном определении В.И. Ленина: “Материя есть философская категория для обозначения объективной реальности, которая дана человеку в ощущениях его, которая копируется, фотографируется, отображается нашими ощущениями, существуя независимо от них”^[7] — имеет место автонимное употребление имени “материя”. Это вызывает споры о том, что называл В.И. Ленин материей — объективную реальность или категорию, т.е. мысль, понятие о реальности.

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

Принцип взаимозаменимости: если в сложном имени заменить часть, в свою очередь являющуюся именем, другим именем с тем же значением, то значение полученного в результате такой замены сложного имени должно быть таким же, что и значение исходного сложного имени. Пусть дано предложение “Земля вращается вокруг Солнца” (будем считать, что предложения тоже являются именами и значением предложения является истина или ложь). Заменим имя “Солнце” в приведенном предложении на имя “центральное тело Солнечной системы”. Очевидно, что значения этих имен совпадают. В результате такой замены из истинного предложения получаем тоже истинное предложение.

Принцип взаимозаменимости кажется естественным, однако можно привести примеры подстановки имен, которые ему противоречат. Рассмотрим предложение: “Птолемей считал, что Солнце вращается вокруг Земли”. Оно истинно. Заменим имя “Солнце” на имя “центральное тело Солнечной системы”, имеющее то же значение. Получим ложное предложение.

Такие несоответствия принципу взаимозаменимости называются антиномиями отношения именования.

Как сохранить принцип взаимозаменимости и избежать антиномий?

Следует различать два способа употребления имен. Первый — имя просто выделяет предмет (предметы). Второй — предметы, обозначаемые именем, рассматриваются в определенном аспекте. Если имя употребляется во втором смысле, то его можно заменять другим именем с тем же значением, если только во втором имени предметы рассматриваются в том же аспекте. Указанную выше замену можно было бы произвести, если бы Птолемей считал, что значения имен “Солнце” и “центральное тело Солнечной системы” совпадают. Тогда значением предложения “Птолемей считал, что Солнце вращается вокруг Земли” была бы “ложь”. Ложным бы оказалось и предложение, получаемое в результате замены: “Птолемей считал, что центральное тело Солнечной системы вращается вокруг Земли”.

Предметы рассматриваются в определенном аспекте, когда имена употребляются в косвенной речи. Об этом следует помнить, например, при написании протоколов. Так, свидетель утверждает, что видел на месте преступления человека в жёлтой куртке. Следователь знает, что этим человеком является подозреваемый Косоротов. Хотя имена “человек в желтой куртке” и “Косоротов” совпадают по значению, заменить в протоколе одно другим нельзя, если свидетель не сказал, что человек в жёлтой куртке — это Косоротов.

Упражнение 3

Укажите, какие из следующих выражений — причина, “причина”, ““причина”” — можно подставить вместо X в приведенные ниже выражения, чтобы получить истинные предложения.

1. Х— философская категория.

2. Х— слово русского языка.

3. Х— выражение, обозначающее слово.

4. Х озоновой дыры не выявлена.

Упражнение 4

Являются ли следующие рассуждения правильными? Если нет, то почему?

1. Необходимо, что 9 > 7. Число планет равно 9. Следовательно, необходимо, что число планет больше 7.

2. Все зеленое приятно. Эта картина зеленая. Следовательно, эта картина приятная.

Упражнение 5

Нарушен ли принцип предметности в следующих утверждениях?

“Как личные, так и неличные формы глагола имеют два залога: действительный и страдательный.

Глаголы в действительном залоге выражают действие, которое производится подлежащим.

Глаголы в страдательном залоге выражают действие, которое испытывает на себе подлежащее.” (Маркова Л.С. Краткий грамматический справочник. Английский язык. М., 1972. С. 56)

Выражения языка делятся на классы в зависимости от типов выражаемых ими смыслов, а также от типов объектов, которые они обозначают или представляют. Эти классы называются семантическими категориями.

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

Предложения делятся на классы в зависимости от того, выражают ли они суждения, вопросы, нормы и т.д.

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

К дескриптивным терминам относятся: 1) единичные имена;

2) общие имена; 3) знаки свойств и отношений; 4) знаки признаков; 5) знаки предметных функций.

Единичные и общие имена охарактеризованы выше.

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

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

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

Отношение “больший, чем”, — двухместное, так как для получения истинного или ложного предложения его необходимо отнести в мыслях к паре предметов. Отношение “расположенный между” — трехместное, его необходимо отнести к тройке предметов, чтобы получить истинное или ложное предложение.

Признак “какого-либо предмета — это наличие или отсутствие у него того или иного свойства или отношения к другим предметам”^[8]. Признак n-ки (пары, тройки и т.д. предметов) — это наличие или отсутствие какого-либо отношения между ее элементами. В предложении “Этот стол желтый” утверждается наличие у этого стола желтого цвета. Словосочетание “является желтым” — знак признака, а слово “желтый” — знак свойства. В предложении «Москва больше Архангельска» “больше” — знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: “Москва есть большая, чем Архангельск”. Здесь “есть большая, чем” (“больше”) — знак признака, а “большая, чем” — знак отношения.

Между общими именами, с одной стороны, и знаками свойств и отношений — с другой, не всегда легко провести различие. Вне контекста, например, слово “красный” можно считать как знаком свойства, так и общим именем. В последнем случае это общее имя красных предметов.

Упражнение 6

О каких отношениях идет речь в следующих предложениях? Какие из этих отношений являются двухместными, а какие трехместными?

1. Наука противоположна религии.

2. Иванов знает английский язык лучше французского языка.

3. Мы привыкли, что люди издеваются над тем, чего они не понимают (Гёте).

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

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

Предметной называется функция, значениями которой являются предметы. Примеры предметных функций: sin, log, +, масса. Применив функциональный знак “масса” к единичному имени “Земля”, получим в качестве значения единичное имя “масса Земли”, обозначающее определенную величину, т.е. предмет. Таким образом, данная функция сопоставляет предметы (материальные объекты, обладающие массой) с другими предметами (величинами массы).

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

Рассмотрим предложение: “Если ни один член семьи Ивановых не является честным человеком, и Степан — член семьи Ивановых, то Степан не является честным человеком” и определим, к каким семантическим категориям относятся выражения, являющиеся его частями. В этом предложении “если..., то...” — логический термин, “ни один” (“вес”) — логический термин, “член семьи Ивановых” — общее имя, “не” — логический термин, “является” (“есть”) — логический термин, “честный человек” — общее имя, “и” — логический термин, “Степан” — единичное имя.

Упражнение 7

Установите, к каким семантическим категориям относятся выражения, входящие в следующие словосочетания.

1. Если некоторые сделки являются договорами, а все договоры суть гражданские правоотношения, то некоторые гражданские правоотношения являются сделками. (Союз “а” здесь по значению совпадает с союзом “и”, т.е. является логическим термином.)

2. Мать Сократа.

3. Всякая мать хочет мира.

4. Веллей Патеркул — известный римский историк.

5. “Мертвый человек сгорает на костре, а живой сгорает от забот” (индийская мудрость).

6. Знание о жизни общества, полученное из книг, не является настоящим знанием.

При выявлении логической формы сохраняется информация о том, к какой семантической категории относится дескриптивный термин, заменяемый переменной. Кроме того, при выявлении логической формы различные вхождения одного и того же термина в контекст заменяются одной и той же буквой и различные термины — различными буквами.

§ 4. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ

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

Как и в естественных языках, в этом языке есть алфавит, а также сложные выражения.

Алфавит языка логики высказываний составляют следующие символы:

а) р, q, r, s, p₁ , ... — пропозициональные переменные (символы для (повествовательных) предложений, выражающих суждения), при исследовании рассуждении этими символами заменяются целые предложения;

б) ¬,