|
|
ОглавлениеДемина Лариса Анатольевна. Логика и язык: введение юридического измерения Бучило Нина Федоровна. Логическое учение о понятии и понятийная структура правоведения Семенов Валерий Евгеньевич. Суждение в классической и неклассической логике Гунибский Магомед Шахмандарович. Силлогистические умозаключения в логике и в праве Лихин Александр Федорович. Виды условных суждений в логике и праве: проблема материальной импликации Малюкова Ольга Владимировна. Формальные исчисления и правовые системы Малюкова Ольга Владимировна. Теория аргументации и ее применение в избирательном праве Абрамова Наталья Анатольевна. Судебное красноречие: логико-риторический аспект Пржиленский Владимир Игоревич. Логика и методология научного познания в юридических науках Для бесплатного чтения доступна только часть главы! Для чтения полной версии необходимо приобрести книгуСеменов Валерий Евгеньевич, Суждение в классической и неклассической логикеЮриспруденция как наука и сфера деятельности и само юридическое сообщество от нотариусов и государственных и муниципальных служащих до законодателей и высших государственных должностных лиц никак не могут обойтись без глубокого и всестороннего знания современной логики, ибо и сама юридическая наука, и юристы различных специальностей и уровней используют (и в устной, и в письменной формах) языковые формы мышления. Использование этих форм в теоретической и практической деятельности, а именно образование и определение понятий, логические операции с ними, формулировка истинностных высказываний и их проверка, а также преобразование суждений, построение непротиворечивых и строго доказательных умозаключений и, кроме того, знание теории аргументации и способность умело ее использовать — все это профессиональный хлеб юриста, обязательная составляющая подготовки и деятельности специалиста в области права, важнейший критерий оценки его квалификации. Кроме того, для представителей многих юридических профессий, прежде всего практических (судья, криминалист, следователь, дознаватель, судебный эксперт и т. д.), необходима непреклонная логика действия, которой они должны неукоснительно придерживаться, исходя, допустим, из положений уголовно-процессуального законодательства, и строгость которой обосновывается в том числе современной логической теорией. Наконец, современный уровень развития законодательства, сферы других нормативных актов и юриспруденции как науки уже давно настоятельно требует обязательного логико-лингвистического анализа всего юридического языка — как языка законов и подзаконных нормативных документов, так и научной юридической терминологии. Однако начинать «лингвистическую терапию» следует с освоения простейшего логического уровня — классической (аристотелевской) логики, которую (в современных терминах) можно определить как нормативную науку о формах и способах интеллектуальной деятельности, осуществляемой с помощью языка. В данной статье речь пойдет об одной из таких форм — о суждении (высказывании). *** Суждение, как и другие формы мышления, выражаемые в языке (понятие, умозаключение, теория), стало предметом человеческой рефлексии в незапамятные, даже еще дописьменные времена. Уже в первой половине IV в. до н. э. «божественный», как его называли современники, Платон (427–347 гг. до н. э.) осуществил первоначальный синтез бытовавших в ту пору логических идей. Было бы преувеличением сказать, что афинский схоларх создал логику в качестве отдельной, самостоятельной науки, целенаправленно изучающей формы языкового мышления. Однако так называемая диалектика Платона, — по убеждению В. Ф. Асмуса, «важный этап в развитии логики: в развитии учения о категориях, о суждении, об утверждении и об отрицании, о противоречии и об его видах, о родах и видах понятий, о методах определения, индукции и разделения понятий. Логика Платона подготовила содержание логики Аристотеля, хотя еще не в систематизированной форме». Рассмотрим вкратце процесс формирования представлений об аристотелевской логике и в частности представлений о суждении (высказывании), а также те раннесовременные и бытующие ныне глобальные метаморфозы в этой науке, которые поставили под вопрос привычное и, я бы даже сказал, «уютное» существование классических формально-логических суждений. Исходные посылки ситуации Аристотель Стагирит (384–322 гг. до н. э.) как самый талантливый систематически мыслящий ученик Платона в полной мере использовал теоретический багаж учителя и свои выдающиеся способности и сформировал логику в качестве интегрального учения, которое исследует категории, сущности, высказывания, силлогизмы, общие приемы логического мышления и аргументации, доказательства, а также логические ошибки и уловки. Если же определять предмет аристотелевской логики в сжатом виде, то это будет наука о «доказательном» построении рассуждения (в узком смысле — силлогизма), которое смогло бы обеспечить необходимость логического следования заключения из истинных посылок («предположений»). Иначе говоря, логика — это учение о рассуждении. Суждению («высказывающей речи») Аристотель посвятил трактат «Об истолковании», три начальные главы «Первой аналитики», а также кн. IV (Γ) и (отчасти) кн. V (Δ) «Метафизики». В этих работах предметом являются высказывания, но не всякие, а только такие, в которых что-то утверждается или отрицается и которые можно оценивать с точки зрения их истинности или ложности («Сократ бледен», «Калий справедлив», «Сократ есть человек»). Все высказывания классифицируются по их количеству и качеству на четыре вида, а отношения совместимости между ними определяются, как мы сейчас говорим, логическим квадратом. Также устанавливаются правила «обращения посылок». Кроме того, Стагирит анализирует модальные высказывания («возможные, могущие быть и необходимые»), а также отношения их совместимости. Взаимоотношения между высказываниями регулируются строгими правилами, которые в наше время называются законом тождества, законом непротиворечия и законом исключенного третьего. В конце концов Аристотель создал, как представлялось, настолько целостную и систематически выстроенную дисциплину, что И. Кант, оценивая ее через 2000 лет, счел необходимым сказать: «Логика уже с древнейших времен пошла этим верным путем [т. е. путем науки]; это видно из того, что со времени Аристотеля ей не приходилось делать ни шагу назад, если не считать улучшением устранение некоторых ненужных тонкостей и более ясное определение, относящееся скорее к изящности, нежели к достоверности науки. Примечательно в ней также и то, что она до сих пор не смогла сделать ни шагу вперед, и, судя по всему, она кажется наукой вполне законченной и завершенной». Однако в отношении последней оценки великий кенигсбержец заблуждался, ибо не учитывал фактор времени. Пройдет чуть более века, и логика начнет переживать всесокрушающие метаморфозы. Прежде всего аристотелевской логике предъявят обвинения в неполноте, поскольку она рассматривает далеко не все типы дедуктивных выводов. Кроме того, станут утверждать, что классическая наука допускает вербальные двусмысленности и неопределенности, что для «молодых волков» неопозитивистской логики будет представляться уж и вовсе смертным грехом. Короче говоря, старая логика «провинилась» и с позиции исчисления высказываний, и с точки зрения исчисления предикатов. Список претензий между тем нарастал. По мнению представителей новой дисциплины, прежняя логическая концепция существенно ограничивала эвристические возможности рассуждения, используя в дедуктивном выводе только две посылки и три термина. Значит, необходимо было создать модели дедуктивных выводов с любым количеством посылок и терминов. Кроме того, аристотелевская логика не отличала классы вещей (например, натуральный класс — лошади) от индивидов (Калий). Термины в суждениях и умозаключениях, как правило, обозначают как раз классы вещей; что же касается индивидов, подразумевается, что они являются частью класса. Поэтому в том случае, когда речь идет о конкретном человеке, неявно предполагается, что он (его имя) относится к классу людей. Однако вполне допустимо, что имена Сократ и Калий могут относиться к домашним животным или морским судам. Помимо этой ограниченности термины классической логики всегда указывали на конкретный, вполне определенный класс вещей и не допускали в использовании переменных (обозначаемых, например, символами х или у), т. е. не могли описывать неопределенные вещи. В наше же время используемые в исчислении предикатов квантифицированные переменные способны указывать на такого рода вещи («кто-то», «нечто», «что-то», «что-нибудь»). Традиционные кванторы аристотелевской логики — «все/всякий», «ни один/никакой», «некоторые», «некоторые… не суть» — с точки зрения современной логической теории никак нельзя назвать исчерпывающе полными и совершенно точными (последнее относится прежде всего к двум последним кванторам). Логика предикатов путем сложения кванторов и введения переменных и отрицания реализовала возможность обозначения других разнообразных количественных показателей («только один», «по крайней мере две» (три, четыре и т. д.), «только два», «более двенадцати» и т. д.). По мнению представителей новой логики, классическая дисциплина сводила все высказывания к четырем типам (общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I), и частноотрицательные (О)), ограничивая тем самым эвристический потенциал утверждений и отрицаний. Современная логика предикатов оперирует не только этими четырьмя типами суждений, но также и такими пропозициями, в которых нечто утверждается о свойствах вещей, тождестве, существовании (или отрицается существование), а также в которых содержатся числа. Кроме того, развиваются модальная, временная, многозначные, неформальная, нестандартная, интуиционистская, релевантная логика и др. Все эти «логические метаморфозы» привели к тому, что образ, содержание и объем классической формальной логики существенно изменились и, кроме того, появились целые «регионы» логической науки, вовсе не похожие на учение Аристотеля и ранее совсем неизвестные. Однако прежде чем обратить внимание на всеобщее многократное усложнение логической науки, ее тотальную дифференциацию, а также на глобальную трансформацию представлений о высказывании, произошедшие за истекшие несколько веков (но особенно за последние 100 лет), вспомним старое доброе время и основные положения классического учения о суждении. Старая добрая классика С чего же все начиналось? Что представляет собою учение о суждении в классической логике? Речь вообще, речь как таковая есть «смысловое звукосочетание, части которого в отдельности что-то обозначают как сказывание, но не как утверждение или отрицание; я имею в виду, например, что “человек” что-то, правда, обозначает, но не обозначает, есть ли он или нет; утверждение же или отрицание получается в том случае, если что-то присоединяют». Значит, суждением, или «высказывающей речью», может быть «лишь та, в которой содержится истинность или ложность чего-либо; мольба, например, есть речь, но она не истинна и не ложна». Кроме того, нужно отметить, что «первая единая высказывающая речь — это утверждение, затем — отрицание». И, наконец, следует подчеркнуть, что «высказывающая речь едина или когда она выражает одно, или в силу связанности. Множественны же высказывающие речи, когда выражают многое, а не одно или когда они не связаны между собой». Именно такими характеристиками Аристотель наделяет суждение и его главные атрибуты. Иначе говоря (уже в современных терминах), высказывание (суждение) — это повествовательное предложение (пропозиция), в котором утверждается или отрицается связь между предметом и его признаком, отношение между предметами или факт существования предметов и которое обладает свойством выражать истину или ложь. Высказывание может быть простым (т. е. не включающим в свой состав других суждений) либо сложным (состоящим из нескольких простых суждений). Простые высказывания Структура и виды простых высказываний. Структура простого (атомарного) высказывания состоит из: 1) субъекта (S) — понятия о предмете суждения; 2) предиката (P) — понятия о признаке предмета; 3) логической связки, или оператора («есть» («суть»), «не есть» («не суть»); может обозначаться как тире), выражающей отношение между субъектом и предикатом. (Глагол «суть» является формой множественного числа глагола «быть» («есть») и, соответственно, употребляется в суждениях, где субъект и предикат стоят во множественном числе.) Например, «Сократ есть человек» (S есть P, или S — P), «Все люди суть млекопитающие» (Все S суть P), «Бытие не есть реальный предикат» (S не есть P), «Все киты не суть рыбы», или «Ни один кит не есть рыба» (все S не суть P; Ни один S не есть P). Субъект и предикат называются терминами высказывания. В аристотелевской логике, как уже отмечалось, высказывания могут быть либо истинными, либо ложными. Такая логика называется двузначной. Существуют три вида простых высказываний, в основе деления которых лежит характер признака, выражаемый предикатом: 1) атрибутивное (категорическое) — это суждение о признаке предмета или его отсутствии («Все студенты-юристы (S) изучают логику (P)», «Все S суть P»); 2) реляционное (суждение с отношением) утверждает нечто об отношении между предметами («Лондон больше Ливерпуля», «Иван — муж Марьи», символически обозначается как aRb, или R(ab), где a и b — субъекты суждения, а R — отношение между ними («быть больше», «быть мужем»); 3) экзистенциальное (суждение существования) — в нем утверждается о существовании или о несуществовании предмета суждения. «В атмосфере Земли есть (P) кислород (S)»; преобразуем это высказывание: «Кислород (S) есть то, что существует в атмосфере Земли (P)»; символическая запись: ∃хР(х) — существует некий х («кислород»), обладающий свойством Р («существовать в атмосфере Земли»)). Рассмотрим отрицательное высказывание: [Все говорят:] «Нет правды (S) на Земле (P)»; преобразуем суждение: «Правда (S) есть то, чего не существует на Земле (P)»; символическая запись: ┐∃хР(х) — не существует такого х («правда»), обладающего свойством Р («существовать на Земле»). Можно указать на сильную и слабую версии концепции существования. В рамках первой существование приписывается только индивидам, свойствам и отношениям реального мира. Слабая версия допускает приписывание существования исключительно теоретическим объектам. Категорические высказывания могут состоять из сложных субъектов и сложных предикатов. Например: «Все тигры, ягуары и львы являются млекопитающими, хищниками и обладают втяжными когтями» (Все S (S1, S2, S3) суть P (P1, P2, P3)). Зачастую реляционные и экзистенциальные высказывания синтаксически преобразуют в категорические (атрибутивные). Это объясняется наибольшей частотой применения категорических высказываний. Именно на их основе Аристотель создал силлогистику — исторически первую теорию логического вывода. Поэтому рассмотрим этот вид высказываний подробнее. Классификации категорических высказываний. Категорические высказывания делятся на виды по качеству и количеству. 1. По качеству высказывания бывают утвердительными (S есть P) и отрицательными (S не есть P). 2. По количеству высказывания делятся на единичные, в которых утверждается или отрицается нечто об одной вещи («МГЮА — ведущий юридический вуз России»; «Это S есть P»), частные, в которых нечто утверждается или отрицается о части вещей некоторого класса и в которых применяются слова «некоторые», «немногие», «большинство», «меньшинство» и т. д. («Некоторые студенты МГЮА — отличники»; «Некоторые S суть P»), и общие, в которых речь идет обо всех вещах некоторого класса («Все студенты МГЮА посещают лекции по логике»; «Все S суть P»). Если из этих двух классификаций создать объединенную, то все высказывания классической логики приобретут четырехвидовую структуру. 1. Общеутвердительное высказывание (обозначается латинской литерой А) — это общее по количеству и утвердительное по качеству высказывание («Все S суть P»). 2. Общеотрицательное высказывание (Е) — общее по количеству и отрицательное по качеству высказывание («Ни один S не есть P»). 3. Частноутвердительное высказывание (I) — частное по количеству и утвердительное по качеству высказывание («Некоторые S суть P»). 4. Частноотрицательное высказывание (О) — частное по количеству и отрицательное по качеству высказывание («Некоторые S не суть P»). Кроме того, классифицируют также выделяющие и исключающие высказывания. 1. Выделяющие высказывания — такие, где признак, выражаемый предикатом, принадлежит (не принадлежит) только данному — и никакому другому — предмету. Например: «Москва — столица России» (S, и только S, есть P) — единичное выделяющее высказывание, где субъект и предикат имеют одинаковый объем. «Некоторые млекопитающие — кошки» («Некоторые S, и только S, суть P) — частное выделяющее высказывание, где предикат полностью входит в объем субъекта. «Только суд решает вопрос о виновности обвиняемого» («Все S, и только S, суть P») — общее выделяющее высказывание, где объемы субъекта и предиката полностью совпадают. 2. Исключающие высказывания — те, в которых принадлежность какого-то признака приписывается (или отрицается) всем вещам класса за исключением некоторой части. Например, «Все преподаватели, за исключением проводящих занятия, должны присутствовать на заседании кафедры» («Все S, за исключением S1, суть P»). Распределенность терминов в высказываниях. Говоря о том, что субъект и предикат являются терминами в суждениях, необходимо указать на такую характеристику, как распределенность терминов в высказываниях. Эта характеристика крайне важна при совершении логических операций с высказываниями. Распределенный термин — тот, который взят в высказывании в полном объеме. Нераспределенный термин используется в суждении в частичном объеме. В общеутвердительных высказываниях (А) субъект распределен, а предикат не распределен («Все S суть P»). В тех случаях, когда в этих высказываниях субъект и предикат имеют одинаковый объем, оказываются распределенными и субъект, и предикат. В общеотрицательных суждениях (Е) и субъект, и предикат распределены («Ни один S не есть P»). В частноутвердительных высказываниях (I) и субъект, и предикат не распределены («Некоторые S суть P»). Исключение: частновыделяющие высказывания, где предикат полностью входит в объем субъекта («Некоторые млекопитающие, и только млекопитающие (S), суть кошки (P)»; «Некоторые S, и только S, суть P»); в этом случае субъект высказывания не распределен, а предикат распределен. В частноотрицательных высказываниях (О) субъект не распределен, а предикат распределен («Некоторые S не суть P»). Логические отношения между категорическими высказываниями. Выделяют следующие отношения: сравнимые — высказывания с одинаковыми субъектами и предикатами, различающиеся по количеству и качеству («Все студенты нашей группы — отличники» и «Некоторые студенты нашей группы — отличники»); 2) несравнимые — высказывания с разными субъектами или предикатами («Все тигры — млекопитающие»; «Все тигры имеют втяжные когти»). Все сравнимые высказывания делятся на совместимые — высказывания, которые могут быть одновременно истинными, и несовместимые — те, которые не могут быть одновременно истинными. Отношения между сравнимыми высказываниями наглядно устанавливаются с помощью логического квадрата. Логический квадрат Отношение совместимости. Выделяют три вида совместимости. 1. Эквивалентность (полная совместимость, или равнозначность) устанавливается в тех случаях, когда высказывания имеют одинаковые субъекты и предикаты, а также совпадают по количеству и качеству; различия могут касаться синонимов, которыми выражены субъект или предикат, кванторов и т. п. («Некоторые треугольники равносторонние» и «Некоторые треугольника равноугольные»; «А. С. Пушкин — автор романа в письмах “Евгений Онегин”» и «Старший сын Сергея Львовича Пушкина — автор “Евгения Онегина”»). 2. Частичная совместимость (субконтрарность, или частичное совпадение) — высказывания могут быть одновременно истинными, но не могут быть одновременно ложными. Такие отношения, как видно из логического квадрата, существуют между высказываниями I и O («Некоторые сделки являются односторонними» и «Некоторые сделки не являются односторонними»). 3. Подчинение — это отношение между высказываниями одинаковыми по качеству, но разными по количеству, т. е. отношения между суждениями A и I, E и O. Отношению подчинения присущи две зависимости: 1) при истинности общего высказывания частное всегда будет истинным («Всякое преступление — общественно опасное деяние», «Экономические преступления суть общественно опасные деяния»); 2) при ложности частного общее также будет ложным («Некоторые коррупционные схемы возникают по неосторожности», «Все коррупционные схемы возникают по неосторожности»). Отношение несовместимости. Существуют два вида несовместимости. 1. Противоположность (контрарность) — отношение, когда высказывания не могут быть одновременно истинными, но могут быть одновременно ложными. Таковы отношения между суждениями А и Е («Все студенты — отличники», «Ни один студент — не отличник»). 2. Противоречие (контрадикторность) — отношение, при котором высказывания одновременно не могут быть ни истинными, ни ложными. Контрадикторность характерна для отношений между А и О, Е и I («Все млекопитающие — теплокровные» и «Некоторые млекопитающие не являются теплокровными»; «Ни один студент в нашей группе — не отличник» и «Некоторые студенты нашей группы — отличники»). Сложные высказывания Сложные (молекулярные) высказывания суть те, которые состоят из нескольких простых, соединенных различными логическими связками. Приступая к описанию сферы молекулярных высказываний, необходимо сказать о языке пропозиционального исчисления, или языке логики высказываний. Сама же логика высказываний (как дедуктивная логическая теория) анализирует структуру контекстов сложных высказываний, абстрагируясь при этом от структуры простых суждений. При этом она основывается на принципах двузначности (две оценки высказывания: истина либо ложь) и экстенсиональности (значение сложного высказывания — это функция от значений составляющих его простых высказываний). Язык логики высказываний 1. Обозначим символами p, q, r, s; p1, q1, r1, s1 и т. д. простые высказывания. Можно использовать также и заглавные буквы: P, Q, R, S. Простые высказывания называют также пропозициональными переменными. 2. Операторы (пропозициональные связки) в сложных высказываниях: а) отрицание: символ ┐, значение — «не»; б) конъюнкция: символ & (или ∧), значение — «и»; в) дизъюнкция: символ ∨, значение — «или» (разновидность дизъюнкции — строгая дизъюнкция: символ: ∨, значение — «или… или» («третьего не дано»); г) импликация: символ → (или ⊃), значение — «если… то»; e) эквиваленция: символ ≡, значение — «если, и только если». Все операторы определяются в символах истинности или ложности соответствующих высказываний, для построения которых они используются. Из простых высказываний с помощью операторов можно создавать сколь угодно длинные пропозиции. 3. Технические знаки: (,) — скобки, запятая. Виды сложных высказываний 1. Соединительное высказывание (конъюнкция) состоит из простых суждений, соединенных оператором (связкой) «и». Простейшая логическая форма: p & q (p и q). Конъюнкция истинна при истинности всех входящих в его состав простых высказываний и ложно при ложности хотя бы одного из них. 2. Разделительное высказывание (дизъюнкция) включает в себя простые высказывания, разделенные оператором «или», в строгой дизъюнкции — «либо… либо». Элементарная логическая форма: p ∨ q (p или q); p ∨ q (либо p, либо q). Могут существовать полная (в которой перечислены все признаки некоторого рода) и неполная (в которой присутствует лишь часть признаков) дизъюнкция. Простая дизъюнкция будет истинной при истинности хотя бы одного простого высказывания и ложна при ложности обоих суждений. Строгая дизъюнкция истинна при истинности одного из высказываний и ложна при одновременной истинности либо ложности обоих суждений. 3. Условное высказывание (импликация) строится из двух простых, связанных оператором → (или ⊃). Логическая форма: p → q (если p, то q). Импликация истинна во всех случаях, кроме одного: при истинности основания (p) и ложности следствия (q) импликация будет ложной. 4. Эквивалентное высказывание (двойная импликация) выражается двумя простыми суждениями, объединенными оператором «если, и только если». Такая связка имеет значение двойной (прямой и обратной) условной зависимости. Логическая форма: p ≡ q (если, и только если, p, то q). Все виды суждений могут использоваться в комбинациях. В принципе, возможна комбинация, в которой присутствуют все виды сложных суждений, и не в единственном числе. Большую роль при этом играют технические знаки (скобки). Логические отношения между сложными высказываниями. Как и простые высказывания, сложные могут быть сравнимыми (имеющими одинаковые простые суждения, но отличающиеся логическими связками: p ∧ q; p ∧ ┐q) и несравнимыми (не имеющими одинаковых простых суждений: p ∧ q; r ∧ s). Внимание! Авторские права на книгу "Логика и право. Монография" ( Под ред. Малюковой О.В. ) охраняются законодательством! |
||||||||||||||||||||||
