РАЗДЕЛ 3. СИЛЛОГИСТИЧЕСКИЕ ВЫВОДЫ
ЛОГИКА. Предмет логики как науки
Логическая схема – это та её сторона, которая не зависит от конкретного содержания, но служит для связи, упорядочения и преобразования его элементов.
Виды логических схем. Рассуждения правильные, рискованные и абсурдные.
Логический закон-схема, которая при любом содержании принимает только истинные значения, а соответствующее ей рассуждение – правильное.
Выполнимая схема - логическая схема, которая при одних подстановках преобразуется в истинные, а при других в ложные выражения, а соответствующее ему рассуждение – рискованное.
Противоречивая схема - логическая схема, которая при любой подстановке преобразуется в ложные выражения, а соответствующее ему рассуждение - абсурдное.
Соотношение правильности и истинности
Мысль истинна, если она соответствует действительности. Правильность характеризует мысль с точки зрения внутренней связи между её элементами. Соблюдение правильности при истинных исходных данных всегда ведет к истинным результатам.
Познавательные ошибки в рассуждениях
Познавательные ошибки, связанные с неверными представлениями о действительном положении дел, называются содержательными.
Ошибки, связанные с нарушениями правильности мышления, называются формальными, или логическими. Они делятся на паралогизмы и софизмы.
Паралогизм – это непреднамеренная логическая погрешность. Софизм – преднамеренное нарушение требований логики, прием интеллектуального мошенничества, связанный с попыткой выдать ложь за истину, или наоборот.
РАЗДЕЛ 1. ВЫСКАЗЫВАНИЯ
Общая характеристика логики высказываний
Высказывание - языковое выражение, о котором можно сказать только одно из двух: истинно оно или ложно.
Высказывания (как и соответствующие им схемы построения) делятся на простые и сложные. Сложное высказывание можно разбить на простые. Простое высказывание на более простые не расчленяется. При построении схем в качестве переменных для простых высказываний обычно используются строчные буквы латинского алфавита: p,q,r,s,…; для любых же (иногда нам безразлично, простое это высказывание или сложное) - прописные буквы этого алфавита: A,B,C,D, ...
Схема высказывания принимает логическое значение – «истинно» или «ложно».
Логическое значение сложной схемы высказывания в современной логике ставится в зависимость (является функцией) от логических значений простых схем.
Определения важнейших схем логики высказываний
Сложные высказывания и соответствующие им схемы образуются с помощью особых выражений, которые называются функторами (отрицание, конъюнкция, дизъюнкция (слабая и сильная), импликация, эквиваленция). Сложную схему принято называть именем функтора, с помощью которого оно образовано, т.е. если, например, схема образуется с помощью конъюнкции, то и сама она называется конъюнкцией.
Отрицанием A называется схема, обозначаемая выражением ØA (читается: «не-A», «неверно, что A»), которая принимает значение «истинно», если и только если A принимает значение «ложно». Данное определение можно выразить с помощью следующей таблицы (таблицы истинности), где «и» обозначает «истинно», а «л» – «ложно»:
Таблица 1
| A | Ø A |
| и | л |
| л | и |
Конъюнкция A и B - схема, обозначаемая выражением AÙB, которая принимает значение «истинно», если и только если значение «истинно» принимает как A, так и B (см. 3-й столбец табл. 2). Выражение A Ù B читается: «A и B».
Таблица 2
| A | B | A Ù B | A Ú B | A Ú B | A ® B | A « B |
| и | и | и | и | л | и | и |
| л | и | л | и | и | и | л |
| и | л | л | и | и | л | л |
| л | л | л | л | л | и | и |
Дизъюнкция слабая А и В - схема, обозначаемая выражением AÚB, которая принимает значение «истинно», если и только если значение «истинно» принимает хотя бы одно из A и B (см. 4-й столбец табл. 2). Выражение AÚB читается: «A или B».
Дизъюнкциия сильная А и В - схема, обозначаемая выражением AÚB, которая принимает значение «истинно», если и только если значение «истинно» принимает лишь одно из A и B (см. столбец 5-й табл. 2). Выражение AÚB читается: «либо A, либо B».
Импликация A и B - схема, обозначаемая выражением A®B, которая принимает значение «ложно», если и только если A принимает значение «истинно», а B – значение «ложно» (см. 6-й столбец табл. 2). Выражение A®B читается: «Если A, то B».
Эквиваленция A и B – схема, обозначаемая выражением A«B, которая принимает значение «истинно», если и только если логические значения A и B совпадают (см. 7-й столбец табл. 2). Выражение A«B читается: «A тогда и только тогда, когда B».
Алфавит логики высказываний включает символы:
1. p, q, r, s, … – символы, которые обозначают переменные для простых высказываний; A, B, C, D, … - символы, которые обозначают переменные для любых высказываний;
2. Ù, Ú, Ú, ®, «, Ø - символы для обозначения логических союзов;
3. (, ) – скобки как указатели совершения логических действий.
Никаких других символов в логике высказываний нет.
Осмысленное выражение языка логики высказываний определяется следующим образом:
1. Всякая переменная есть осмысленное выражение;
2. Если А – осмысленное выражение, то ØA, A Ù B, A Ú B, A Ú B, A®B, A«B - тоже осмысленные выражения;
3. Никаких других осмысленных выражений в логике высказываний нет.
Законы логики высказываний
Для выявления форм, являющихся логическими законами, можно воспользоваться таблицами истинности. Схема, порождающая только истинные сложные высказывания, является ЛОГИЧЕСКИМ ЗАКОНОМ.
Наиболее простыми законами логики высказываний являются законы, которые можно выразить с помощью одной переменной – закон исключенного третьего, закон противоречия, закон тождества, закон удаления двойного отрицания, введения двойного отрицания и др.
Закон исключенного третьего– схема AÚØA – два отрицающих друг друга высказывания не являются вместе ложными, выполняется одна из возможностей: если ложно одно из этих высказываний, то истинно его отрицание, а что-либо третье исключено.
Закон противоречия - схема Ø(AÙ ØA) - два отрицающих друг друга высказывания не являются вместе истинными, одно их них ложно.
Закон тождества – схема A«A – всякое высказывание является эквивалентным (тождественным) самому себе, следовательно, в правильном рассуждении оно согласуется с самим собой.
Закон удаления двойного отрицания – схема ØØA®A - отрицание дважды некоторого высказывание образует его утверждение.
Закон введения двойного отрицания– схема A ® ØØA-утверждение некоторого высказывание образует его двойное отрицание. Справедливость рассмотренных законов с одной переменной легко проверяется табличным способом (см. таблицу 5).
Таблица 5
| A | A Ú ØA | Ø(A Ù ØA) | A « A | ØØA ® A | A ® ØØA |
| и | и | и л | и | и | и |
| л | и | и л | и | и | и |
ОТНОШЕНИЯ МЕЖДУ СХЕМАМИ ВЫСКАЗЫВАНИЙ
Логические отношения между высказываниями устанавливаются через отношения схем, которые наполняются содержанием этих высказываний. Будем считать, что две схемы a и b находятся в отношении сопоставимости лишь тогда, когда существует хотя бы одна переменная, содержащаяся как в a, так и в b.
Основные отношения – это отношения совместимости и несовместимости. Совместимость схем определяется наличием хотя бы одного случая, когда при одинаковых логических значениях переменных эти схемы одновременно получают значение «истинно». При отсутствии такого случая схемы несовместимы.
ОТНОШЕНИЯ МЕЖДУ ВЫСКАЗЫВАНИЯМИ
Отношение следования (подчинения) -логические схемы a и b находятся в отношении следования (из a следует b), если и только если при одинаковых значениях переменных не бывает так, что схема a получает значение «истинно», а схема b получает значение «ложно».
Отношение полной совместимости (равнозначности) -схемы a и b находятся в отношении полной совместимости, или равнозначности, если и только из схемы a следует схема b, и наоборот; иными словами, в этом случае при одинаковых значениях переменных схемы a и b принимают одинаковые логические значения и их таблицы истинности полностью совпадают.
Если отношение равнозначности обозначить знаком Û, то верны следующие утверждения:
(1) Ø(A Ù B) ÛØA Ú ØB;
(2) Ø(A Ú B) Û ØA Ù ØB;
(3) A Ú B Û (A Ù ØB) Ú (ØA Ù B);
(4) A ® B ÛØB ® ØA;
(5) A ® B Û Ø(A Ù Ø B);
(6) Ø(A ® B) ÛA ÙØ B;
(7) A ® B ÛØA Ú B;
(8) A « B Û (A ® B)Ù(B ® A);
(9) Ø(A « B) Û AÚB;
(10) A Û ØØA;
(11) A Û AÙ(AÚB);
(12) A Û (AÚB)Ù(A ÚØB);
(13) A Û (AÙB)Ú(AÙØB);
(14) (A Ú C) Ù (B Ú ØC) Û (AÚC)Ù(BÚ ØC)Ù(AÚB);
(15) (A Ù C) Ú (B Ù ØC) Û (AÙC)Ú(BÙØC)ÚAÙB);
(16) AÙ AÛ A;
(17) AÚ AÛ A;
(18) AÙØAÛ л;
(19) AÚØAÛ и;
(20) A Ù (B Ù C) Û (A Ù B)ÙC;
(21) A Ú (BÚ C) Û (A Ú B)ÚC.
Отношение частичной совместимости - схемы a и b находятся в отношении частичной совместимости, если и только если при одинаковых значениях переменных они вместе получают значение «истинно», но не получают значение «ложно».
Отношение противоречия -схемы a и b находятся в отношении противоречия, если и только если при одинаковых значениях переменных они получают разные логические значения. Это значит, что с их помощью порождаются высказывания, которые не могут быть вместе истинными, как и не могут быть вместе ложными.
Отношение противности -схемы a и b находятся в отношении противности, если и только если при одинаковых значениях они вместе получают значение «ложно», но не получают значение «истинно».
РАЗДЕЛ 2. ИМЕНА
Основные характеристики имени
Имя - выражение языка, обозначающеё отдельный предмет или множество, совокупность предметов.
Множество (совокупность, класс) предметов, обозначаемых именем, называется объёмом имени. Отдельные предметы, входящие в объём имени, называются элементами объёма имени. Подклассы объёма имени называются частями объёма.
Содержание имени - совокупность признаков тех предметов, которые обозначаются данным именем. Под признаком понимается любое свойство, любая характеристика предмета.
Признаки, составляющие содержание имени, могут быть родовыми, видовыми и индивидуальными. Если мы в пределах какого-то достаточно широкого класса объектов выделяем более узкий класс объектов, то признаки, выделяющие более широкий класс, будут считаться родовыми, а признаки, выделяющие более узкий класс, - видовыми. Индивидуальными признаками являются такие, которые однозначно выделяют данный единичный объект.
Основным содержанием имени можно называть ту минимальную часть его содержания, из которого в той теории, к которой относится имя, логически выводимо все остальное содержание имени (которое в таком случае называется производным). Совокупность же основного и производного содержаний имени является его полным содержанием.
ВИДЫ ИМЕН
Если в объём имени входит только один предмет, то такое имя называют единичным.
Общее имя - это имя, в объём которого входит более одного элемента. Класс, являющийся объёмом общего имени, называют значением этого имени.
Особой разновидностью общих имен являются универсальные имена, или универсумы. Ими фиксируются все классы объектов, все элементы, исследуемые в той или иной области познания. Имена, входящие в один и тот же универсум, называются родственными.
Нулевые (пустые) имена в самом общем виде определяются как имена, объём которых не содержит ни одного элемента. Класс, не содержащий ни одного элемента, называют нулевым, или пустым.
Различают также имена описательные и собственные. Описательные имена обозначают объекты, указывая их соответствующие признаки. Собственные имена обозначают объекты путем непосредственной соотнесенности с ними, в силу того, что в культуре человеческого сообщества сложились определенные традиции, нормы именования.
Важно различать собирательные и несобирательные имена. Несобирательным называется такое имя, каждый элемент объёма которого представляет собой нечто единое, целостное. Собирательным называется такое имя, каждый элемент которого является совокупностью, собранием, объединением каких-то объектов.
Выделяют положительных и отрицательных имен. Оно базируется на том, что объекты можно охарактеризовать как по наличию, так и по отсутствию у предметов некоторых свойств. Положительным считается имя, в содержании которого указываются свойства, присущие объектам. Отрицательным считается имя, в содержании которого указываются свойства, отсутствующие у предметов.
Наконец, укажем деление имен на чёткие и нечёткие. Если имя таково, что относительно любого предмета можно точно, однозначно решить, входит или не входит этот предмет в объём данного имени, то это имя называют четким (точным, определенным) по объёму (напр., рациональное число, натуральное хозяйство, уголовная ответственность). В противном случае имя считается нечетким (неопределенным, расплывчатым, размытым, неточным) по объёму (напр., дорогой товар, молодой человек, приятная внешность).
ОТНОШЕНИЕ СОВМЕСТИМОСТИ
Имена считаются совместимыми если их объёмы хотя бы частично совпадают, т.е. эти объёмы имеют общие элементы.
Виды совместимых имён:
1) Равнообъёмными (равнозначными) считаются имена, объёмы которых полностью совпадают (рис.1)[1]. При отношении равнообъёмности имен AиB каждый предмет, обозначенный именем A, может быть обозначен именем B, и наоборот.
2) Имена находятся в отношении подчинения, если объём одного полностью включается в объём другого, но не совпадает с ним. При этом включающеё имя называется подчиняющим, или родовым, а включенное – подчиненным, или видовым. Если имя A подчиняется имени B (рис.2), то все признаки B присущи содержанию имени A, и каждый предмет, обозначаемый именем A, может обозначаться именем B (но не наоборот).
3) Пересекающимися (перекрещивающимися) являются такие имена, объёмы которых лишь частично входят друг в друга. При этом некоторые предметы, обозначаемые именем A, могут обозначаться именем B, и наоборот. Если имена A и B находятся в отношении пересечения (рис.3), то предметы, входящие одновременно в объёмы имен A и B, то есть находящиеся на пересечении этих объёмов, обладают одними и теми же признаками.
Отношения между родственными именами.
Отношение несовместимости
При отношении несовместимости в содержании одного из имен указываются признаки, исключающие признаки содержания другого имени.
Виды несовместимых имён:
1) Противоречащими называются два несовместимых имени, видовое содержание одного из которых (т.е. совокупность его видовых признаков) является отрицанием видового содержания другого. Такие имена полностью исчерпывают объём третьего, подчиняющего их имени (рис.4).
2) Внеположенными называются такие несовместимые имена, объёмы которых в сумме составляют часть объёма некоторого подчиняющего (родового) имени. Поскольку A и B, будучи внеположенными, одновременно подчинены С, постольку их называют также соподчиненными относительно С (рис. 5).
3) Противоположными называют имена, содержания которых выражают какие-либо крайние характеристики в некотором упорядоченном ряду постепенно меняющихся свойств (рис. 6).
Обобщение и ограничение как операции с именами
Обобщение объема A логическая операция, в результате которой образуется имя с объемом B, содержащим в себе объем A. Иными словами, обобщить имя A значит образовать такое другое имя B (род), которое подчиняло бы себе имя A (вид). Пределом обобщения в каждом конкретном случае выступает некое универсальное имя.
Ограничение логическая операция, обратная обобщению. Она состоит в нахождении имени с объемом B, который содержится в объеме A. Ограничить объем A значит найти такое другое имя B (вид), которое находилось бы в отношении подчинения к A (роду). Пределом ограничения выступают имена, объемы которых равны одному предмету (единичные имена).
Особой разновидностью ограничения является выделение типа, или типизация. Тип это имя, которому однородные предметы соответствуют в той или иной мере. Если некоторые предметы составляют объем имени A и среди них есть такие, что безусловно (т.е. со степенью, равной 1) принадлежат к объему B, а другие обладают этим свойством в некоторой (меньшей 1) степени, то имя с объемом B представляет собой тип.
Присоединение к объему А новых предметов, тождественных со старыми по некоторому признаку, называется логической операцией расширения объема A.
Операция, обратная расширению, т. е. удаление из объема A предметов, которые тождественны с оставшимися по некоторым признакам, называется локализацией объема имени A.
Логические операции с объёмами имен не следует смешивать с мысленными переходами от части к целому и, наоборот, от целого к части. Специфика последних наиболее отчетливо выявляется при их сопоставлении с операциями обобщения и ограничения.
ОПЕРАЦИЯ ДЕЛЕНИЯ
Деление логическое– это логическая операция, посредством которой объём имени (род) распределяется по классам (видам).
Деление аналитическое – это операция, связанная с мысленным вычленением в целом его частей. Эти операции не следует смешивать.
Деление может быть классическим или неклассическим. При классическом делении как род, так и виды – имена с четким объёмом, при неклассическом они представляют собой нечеткие, расплывчатые имена, или типы.
Классическое логическое деление состоит в нахождении для имени A таких имен A1, A2, ..., An (n – конечное число), что:
а) каждый из объёмов A1, A2, ... , An находится в отношении подчинения к объёму A);
б) сумма объёмов A1, A2, ... , An равна объёму A;
в) каждая пара объёмов A1, A2, ... , An связана отношением несовместимости. При этом имя A называется делимым именем, а A1, A2, ... , An – членами деления.
В содержательном плане деление состоит в разбиении рода предметов соответственно основанию деления, т.е. особенностям (вариантам) признака, присущего данным предметам.
Возможно, что в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на те, которые этим признаком обладают, и те, которые им не обладают. Такое деление называется дихотомическим (греч. dicho – на две части, tome – сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах, называется политомическим греч. polis – много).
Отличие деления от расчленения базируется на различном характере отношений "целое – часть" и "род – вид".
ПРАВИЛА ДЕЛЕНИЯ
1. Правило адекватности.Деление должно быть соразмерным. Это означает, что в случае деления каждый из объёмов A1, A2,, ... , An должен быть видом объёма A, и сумма A1, A2,, ... , An должна исчерпывать весь объём A;в случае расчленениямысленное соединение частей должно быть равно целому.Отступление от этого правила ведет к ошибкам, наиболее известные из которых: "деление с лишними членами", когда некоторый из объёмов (частей) A1, A2, ... , An не является видом A (не входит как часть в целое А); "неполное деление", когда не все виды (части) делимого рода (целого) названы, и сумма объёмов членов деления меньше объёма делимого имени.
2. Правило разграниченности. Члены деления (расчленения) должны исключать друг друга, т.е. их объёмы не должны иметь общих элементов в случае классического деления, и части не должны перекрывать друг друга в случае расчленения.
3. Правило единственности основания. Деление должно производиться по одному основанию. При выполнении этого правила предметы, входящие в объём делимого имени, наделяются одним единственным признаком – тем, который выступает в качестве основания деления. Отступление от этого правила ведет к погрешности, которая называется смешением оснований.
Вместо термина "деление" иногда в качестве синонима используется термин "классификация". Классификация в узком смысле (именно в этом смысле мы будем использовать данный термин в дальнейшем) - это многоступенчатое, разветвленное деление, такое, что каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления.
Соответственно классическому и неклассическому делению следует различать классическую и неклассическую классификацию. Последняя называется типологией.
За многоступенчатым и разветвленным расчленением пока что простого и однозначного термина не закрепилось. Эту операцию можно назвать иерархизацией.
Классификация и иерархизация подчиняются всем правилам деления. Кроме того, они имеют свои особые правила.
1. Правило последовательности. В случае классификации следует от рода переходить к ближайшим видам, а в случае иерархизации – от целого к его частям одного и того же уровня, не пропуская их. При нарушении этого правила допускаемая погрешность – «скачком в классификации (иерархизации)».
2. Правило существенности основания. Классификация (иерархизация) должна производиться по существенным признакам. Критерием существенности того или иного признака является способность обладающего им предмета служить средством решения поставленной задачи.
Частным случаем расчленения является периодизация.Её особенностью является, во-первых, указание на развитие отображаемого предмета во времени. Во-вторых, члены расчленения (периоды) отличаются своей мерой как единством качественных и количественных характеристик предмета.
ОПРЕДЕЛЕНИЕ, ИЛИ ДЕФИНИЦИЯ (ОБЩАЯ ХАРАКТЕРИСТИКА)
В логике различают прежде всего два разных смысла термина "определение". Во-первых, под определением понимается операция, позволяющая выделить некоторый предмет среди других предметов, однозначно отличить его от них. Это достигается путем указания на признак, присущий этому, и только этому, предмету. Такой признак называется отличительным (специфическим). Как мы поступаем, например, если требуется выделить квадраты из класса прямоугольников? Мы указываем на признак, присущий квадратам и не присущий другим прямоугольникам, –на равенство их сторон.
Во-вторых, определением называют логическую операцию, дающую возможность раскрыть, уточнить или сформировать смысл одних языковых выражений с помощью других языковых выражений. Так, если человек не знает, что означает слово "вершок", ему разъясняют, что вершок –это древняя мера длины, равная 4,4 см. Поскольку человеку заранее известно, что такое "древняя мера длины, равная 4,4 см", постольку для него становится ясным и понятным смысл слова "вершок".
Определение, дающеё отличительную характеристику некоторого предмета, называется реальным. Определение, раскрывающеё, уточняющеё или формирующеё смысл одних языковых выражений с помощью других, называется номинальным.
Прием установления значения языкового выражения путем его непосредственного соотнесения с обозначаемым предметом или его образом называется остенсивным определением.
В структуре определения выделяется три части:
1) определяемое имя или выражение, его содержащеё (обозначается знаком Dfd –сокращением от лат. definiendum);
2) выражение, раскрывающеё, уточняющеё или формирующеё значение определяемого имени (обозначается знаком Dfn - сокращением лат. definiens);
3) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком º).
Формально структура определения представляется выражением: Dfd º Dfn.
ПРАВИЛА ОПРЕДЕЛЕНИЯ
1. Правило соразмерности. Dfd и Dfn должны быть равнообъёмны.
Отклонение от правила соразмерности приводит к ошибкам:
1) «слишком широкое определение» - объём Dfn больше объёма Dfd;
2) «слишком узкое определение» - объём Dfn меньше объёма Dfd;
3) «одновременно слишком широкое и слишком узкое определение» - объёмы Dfd и Dfn находятся в отношении пересечения.
4) определение через пустое имя - Dfd и Dfn оказываются несовместимыми.
2. Правило запрета порочного круга. Запрещается Dfd определять через Dfn, который, в свою очередь, определен через Dfd. Допускаемое при этом нарушение называется "порочный круг в определении". Частным случаем "порочного круга" является тавтология –повторение Dfd и Dfn (хотя бы и в иной словесной форме) без установления значения Dfd.
3. Правило однозначности. Каждому Dfn в точности должен соответствовать один единственный Dfd, и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование метафор, художественных образов.
4. Правило простоты. Dfn должен выражаться описательным именем, характеризующим определяемые предметы лишь своими основными признаками. В противном случае определение будет избыточным. В классических определениях это правило выполняется при условии, если: а) входящий в Dfn род является ближайшим по отношению к Dfd, т.е. таким, что никакое другое имя, подчиненное роду и подчиняющеё Dfd, ранее не определено; б) в Dfn отсутствуют выражения, находящиеся в отношении следования (подчинения).
5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется "определением неизвестного через неизвестное".
РАЗДЕЛ 3. СИЛЛОГИСТИЧЕСКИЕ ВЫВОДЫ
ПОНЯТИЕ АТРИБУТИВНОГО ВЫСКАЗЫВАНИЯ
Логическая теория имен находит применение в разделе логики, который называется силлогистикой (от греч. sillogistikos – выводящий умозаключение).
В силлогистике рассматриваются выводы на основе атрибутивных высказываний. Атрибутивным(от лат. atributum – присовокупление) называется высказывание, в котором выражается принадлежность или непринадлежность свойства некоторым предметам.
Структура атрибутивного высказывания:
Субъект (обозначается буквой S) – это часть высказывания, которой обозначается предмет мысли.
Предикат (обозначается буквой P) фиксирует свойство предмета мысли.
Связка устанавливает, в каком отношении находятся между собой предмет и свойство.
Субъект и предикат называются терминамиатрибутивного высказывания.
Всякое атрибутивное высказывание имеет качественно-количественные характеристики. Различение атрибутивных высказываний по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие связи свойства с предметом мысли и выражающейся словами «есть», «суть», «является», «не является» и др. (в письменной речи эти слова иногда опускаются и заменяются тире). В соответствии с этим атрибутивные высказывания делятся на утвердительные и отрицательные.
В атрибутивном высказывании что-то утверждается или отрицается либо об одном предмете, либо о части предметов, либо о всех предметах определенного класса. В зависимости от этого атрибутивные высказывания делятся по количеству – на единичные, частные и общие.
Высказывания, в которых идет речь о принадлежности или непринадлежности свойства единичному предмету, называются единичными.
Высказывания, в которых говорится о принадлежности или непринадлежности свойства некоторым предметам рассматриваемого класса, называются частными.
Высказывания, в которых выражается принадлежность (непринадлежность) свойства всем предметам рассматриваемого класса, называются общими.
Объединенная классификация атрибутивных высказываний по качеству и количеству.
Высказывания, являющиеся одновременно общими и утвердительными, называются общеутвердительными. SaP
Высказывания, являющиеся одновременно частными и утвердительными, называются частноутвердительными. SiP
Высказывания, являющиеся одновременно общими и отрицательными, называются общеотрицательными. SeP
Высказывания, являющиеся одновременно частными и отрицательными, называются частноотрицательными. SoP
Распределенность терминов в атрибутивном высказывании
Термин распределен, если и только если его объём полностью включается в объём другого термина или полностью исключается из него. В противном случае термин нераспределен. Для распределенного термина характерно кванторное слово «все», а для нераспределенного – «некоторые» (см. таблицу ниже).
Таблица
| S | P | |
| SaP | + | - |
| SeP | + | + |
| SiP | - | - |
| SoP | - | + |
Таким образом, распределенными являются субъекты общих и предикаты отрицательных высказываний, а нераспределенными – субъекты частных и предикаты утвердительных высказываний (за некоторыми исключениями).
ОТНОШЕНИЯ МЕЖДУ СХЕМАМИ АТРИБУТИВНЫХ ВЫСКАЗЫВАНИЙ
Между схемами SaP, SeP, SiP, SoP с одними и теми же терминами (и, следовательно, между самими высказываниями, соответствующими этим схемам), возможны следующие отношения: отношение противоречия (контрадикторности); отношение противности (контрарности); отношение частичной совместимости (подпротивности, подконтрарности); отношение подчинения (следования).
Эти отношения принято изображать в виде особой диаграммы, которая называется логическим квадратом. Его стороны и диагонали указывают на соответствующие отношения (см. рис 15).
Две схемы находятся в отношении противоречия, если и только если соответствующие им высказывания не могут быть ни одновременно истинными, ни одновременно ложными. Это отношение имеет место между схемами общеутвердительных (SaP) и частноотрицательных (SoP) высказываний, а также между схемами общеотрицательных (SeP) и частноутвердительных (SiP) высказываний.
Две схемы находятся в отношении противности, если и только если соответствующие им высказывания не могут быть одновременно истинными, но могут быть одновременно ложными.
Две схемы находятся в отношении подпротивности (частичной совместимости), если и только если им соответствуют высказывания, которые могут быть вместе истинными, но не могут быть одновременно ложными. В отношении подпротивности находятся схемы частноутвердительных (SiP) и частноотрицательных (SoP) высказываний.
Две схемы находятся в отношении подчинения (первая подчиняет вторую, или из первой следует вторая), если и только если всякий раз, когда первой соответствует истинное высказывание, второй также соответствует истинное высказывание, но не обязательно наоборот. В отношении подчинения находятся схемы общеутвердительных (SaP) и частноутвердительных (SiP) высказываний, с одной стороны (из схемы «Все S суть P» следует схема «Некоторые S суть P») и схемы общеотрицательных (SеP) и частноотрицательных (SoP) высказываний, с другой стороны (из схемы «Ни одно S не есть P» следует схема «Некоторые S не суть P»).
Если же высказывание подчиненной схемы ложно, то ложным является и высказывание схемы подчиняющей.
НЕПОСРЕДСТВЕННЫЕ СИЛЛОГИСТИЧЕСКИЕ ВЫВОДЫ
Cиллогистика – это теория дедуктивного вывода, построенного на основе высказываний вида SaP, SeP, SiP, SoP. Выводы в силлогистике подразделяются на непосредственные и опосредованные.
Вывод, в котором заключение получается из одной посылки, называется непосредственным. К непосредственным выводам относятся: вывод по логическому квадрату, обверсия, конверсия, контрапозиция.
Выводы по логическому квадрату. Руководствуясь отношениями, фиксируемыми диаграммой, которая называется логическим квадратом, и определением отрицания в логике высказываний, можно сформулировать следующие правила вывода:
а) в соответствии с отношением противоречия –
б) в соответствии с отношением противности –
в) в соответствии с отношением частичной совместимости –
г) в соответствии с отношением подчинения (следования) –
Обверсия (лат. – превращение) – непосредственный вывод, в процессе которого предикат посылки заменяется на противоречащеё ему имя (Р¢ )[2] и изменяется её качество, т.е. утвердительная посылка заменяется на отрицательную и наоборот. При этом могут быть использованы следующие схемы:
Конверсия (лат. – обращение) – непосредственный вывод, в заключении которого субъектом является предикат, а предикатом – субъект исходного высказывания-посылки. Это означает, что при конверсии происходит преобразование атрибутивных высказываний путем перестановки S и P местами. Качество посылки при этом остается неизменным.
Первые из двух правил называются правилами конверсии обычной, или конверсией без ограничения, при которой происходит преобразование общей посылки в общее заключение и преобразование частной посылки в частное заключение.
Вывод по третьему правилу называется конверсией с ограничением, поскольку здесь общая посылка преобразуется в частное заключение.
Контрапозиция (лат. – противопоставление) являются операцией, производной от обверсии и конверсии. При полной контрапозиции заключение имеет то же качество, что и посылки. Частичная контрапозиция ведет к заключению, качество которого отлично от качества посылки.
Частичная контрапозиция – вывод, при котором в заключении субъект выражается именем, противоречащим предикату посылки, а на место предиката становится её субъект; при этом посылка изменяет свое качество. Частичную контрапозицию можно осуществить путем последовательного применения превращения и обращения. Высказывание вида SiP посредством контрапозиции не преобразуется.
ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ, ЕГО СТРУКТУРА
Вывод, в котором заключение получается из двух или более посылок, называется опосредованным. Важнейшей формой опосредованного вывода является простой категорический силлогизм (от греч. sillogismo сосчитывание) - вывод, в котором из двух высказываний форм SaP, SeP, SiP или SoP, связанных общим термином, делается заключение также одной из этих форм.
Структура простого категорического силлогизма:
Термин, соответствующий субъекту заключения, называется меньшим термином.
Термин, соответствующий предикату заключения, называется большим термином.
Меньший и больший термины называются крайними терминами, они обозначаются соответственно буквами S и P.
Общий термин, присутствующий в обеих посылках, но отсутствующий в заключении, называется средним. Его принято обозначать буквой M (лат. medio – средний).
Посылка, в которой находится меньший термин, называется меньшей посылкой. Посылка, в которой находится больший термин, называется большей.
КРУГИ ЭЙЛЕРА КАК СРЕДСТВО ПРОВЕРКИ ПРАВИЛЬНОСТИ СИЛЛОГИЗМОВ
Между посылками и заключением правильного силлогизма имеет место отношение следования, то есть не бывает так, что посылки истинны, а заключение ложно. Связь между S и P в заключении устанавливается однозначно и необходимым образом благодаря схеме, в которой воплощено содержательное рассуждение.
Рассмотрим это на нашем примере. Приведенное рассуждение имеет форму
|
ОСНОВНЫЕ ПРАВИЛА ПРОСТОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА
Обобщение самых разнообразных отношений между терминами в традиционной логике дало возможность сформулироватьосновные правила простого категорического силлогизма.
1. В простом категорическом силлогизме должно быть только три термина. Наиболее распространенная ошибка, связанная с нарушением этого правила, носит наименование «учетверение терминов».
2. Средний термин должен быть распределен хотя бы в одной из посылок. При его нераспределенности отношение между терминами в посылках не обусловливает определенного, одного единственного, отношения между S и P в заключении.
3. Термин (крайний), не распределенный в посылках, не может быть распределен в заключении. Связанная с нарушением этого правила ошибка называется «незаконное расширение крайнего термина».
4. Из двух утвердительных посылок делается утвердительное заключение.
5. Из двух отрицательных посылок нельзя делать заключения.
6. Если одна из посылок отрицательная, то и заключение должно быть отрицательным.
7. Если одна из посылок частное высказывание, то и заключение должно быть частным высказыванием.
ФИГУРЫ ПРОСТОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА И ИХ ПРАВИЛА
Проверка правильности рассуждений может быть упрощена с помощью фигур простого категорического силлогизма. По месту расположения среднего термина различают четыре фигуры.
В первой фигуре средний термин является субъектом в большей посылке и предикатом в меньшей.
Во второй фигуре средний термин является предикатом в обеих посылках.
В третьей фигуре средний термин является субъектом в обеих посылках.
В четвертой фигуре средний термин является предикатом в большей посылке и субъектом в меньшей.
Различные расположения терминов в посылках можно изобразить в виде следующих схем:
Каждая фигура имеет свои правила, соблюдение которых является необходимым (но не достаточным) условием для получения истинного заключения из истинных посылок.
Правила первой фигуры:
1. Большая посылка должна быть общей.
2. Меньшая посылка должна быть утвердительной.
Правила второй фигуры:
1. Большая посылка должна быть общей.
2. Одна (и только одна) из посылок должна быть отрицательной.
Правила третьей фигуры:
1. Меньшая посылка должна быть утвердительной.
2. Заключение должно быть частным.
СОКРАЩЕННЫЕ СИЛЛОГИЗМЫ
Для интеллектуально-речевой деятельности используются выражения с пропущенными, но подразумеваемыми частями. К таким выражениям относятся энтимемы (от греч. en time – в уме), – сокращенные силлогизмы, в которых опускается одна из посылок или заключение.
Методика восстановления и оценки энтимемы на её состоятельность состоит из следующих шагов:
1. Энтимема записывается в стандартном виде: имеющиеся посылки помещаются над чертой, заключение – под ней.
2. В соответствии с принятой классификацией устанавливается разновидность данного вывода (это может быть категорический силлогизм, условный силлогизм и пр.).
3. В соответствии с определениями посылок и заключения устанавливается, какая из частей вывода является подразумеваемой.
4. С использованием определений и правил, характерных для данного класса выводов, восстанавливается недостающая часть вывода.
5. Производится анализ связей между посылками и заключением на соответствие логическим правилам. Нарушение хотя бы одного из правил свидетельствует о наличии формальной ошибки в энтимеме.
6. Производится анализ восстановленной посылки на соответствие действительному положению дел. Её ложность означает наличие содержательной ошибки в энтимеме.
ЗАДАЧИ И УПРАЖНЕНИЯ
ЛОГИКА ВЫСКАЗЫВАНИЙ
(1) Установите, какие из следующих предложений являются высказываниями:
1) Всякая общественно-экономическая формация имеет своей основой способ производства материальных благ.
2) Был ли Наполеон французским императором?
3) Наполеон никогда не был французским императором.
4) Водители, не нарушайте правила дорожного движения!
5) X + Y = Z.
6) Цена товара x меньше его стоимости.
7) Этот закон не имеет обратной силы.
8) Зрелое яблоко.
9) Было ли восстание декабристов в 1825 году?
10) Яблоко созрело.
11) Судьи независимы и подчиняются только закону.
12) И какой из него работник?
(2) Найдите высказывания, имеющие одинаковую логическую форму, и выразите их на языке логики высказываний.
1) Журналист вечером то ли подготовил телерепортаж, то ли написал статью.
2) «Флюгер был приколочен намертво, и ветер обречено дул в указанном направлении» (В.Шендерович).
3) Если бы ты слушал меня, то не переспрашивал.
4) Сегодня очень холодно, к тому же дует ледяной ветер.
5) Лишь тогда, когда будете готовиться, вы не провалите экзамен.
6) Финальный матч по футболу пройдёт или на стадионе в Минске, или за городом.
7) Ученик не волнуется, когда знает ответа.
8) Когда я целый день готовлюсь к занятию по математике, то не успеваю подготовиться к занятию по литературе.
9) Утверждение, что ребёнок был воспитанным, однако непослушным, - ложно.
10) Строительство канала не задержится исключительно при условии доставки товара в срок.
11) Неверно, что он каждый день выходит из дому и не возвращается.
(3) Составьте схемы (логические формы) следующих высказываний.
1) Умный политик знает, как выиграть войну, а мудрый – как её не допустить (Ильин).
2) Неверно, что он храбр и силен.
3) Либо Земля вращается вокруг Солнца, либо Солнце вращается вокруг Земли.
4) Беда, коль пироги начнет печь сапожник.
5) Если у берега много медуз, то был шторм или вода в море остыла.
6) Нельзя сказать, что чтение этого романа приятно или полезно.
7) «Вам никогда не удастся создать мудрецов, если будете убивать в детях шалунов» (Ж.Ж. Руссо).
8) Он раздражителен и когда болен, и когда здоров.
9) В нормальных условиях вода замерзает тогда и только тогда, когда температура опускается ниже нуля градусов.
10) Успешная сдача экзамена зависит от качества самостоятельной подготовки, работы учащегося на занятиях или настроения учителя.
(4) Каков логический смысл грамматического союза «и» в следующих предложениях:
1) Фотоны обладают энергией, количеством движения и электромагнитной массой.
2) Если данный процесс – тепловое излучение, то он не зависит от свойств и состояния окружающих тел.
3) Атеросклероз чаще всего поражает жителей больших городов и людей умственного труда.
4) Запрещается открывать и содержать игорные дома.
5) Совершенствование автомобильных двигателей осуществляется в направлении увеличения мощности, улучшения экономичности, уменьшения габаритных размеров, снижения массы и повышения надежности и срока службы.
(5) Дано высказывание р, и оно истинно. Можно ли установить логическое значение q в следующих случаях? Если «да», то каково оно?
1) p Ù q истинно;
2) p Ú q истинно;
3) p Ú q ложно;
4) p ® q ложно;
5) p « q истинно.
(6) Если р ® q истинно, Øq Ú r истинно, а r ложно, то каким будет логическое значение р?
(7) Установлено, что высказывание формы AÚB является истинным. Что можно сказать о логических значениях высказываний форм:
1) A Ù B;
2) ØA Ù ØB;
3) ØA Ú ØB?
В каком отношении находится каждая из них к форме A Ú B?
(8) Формализуйте рассуждение и установите, является ли оно логическим законом. Если вокруг огнестрельной раны имеются следы пороха, значит, выстрел был произведен с близкого расстояния. В данном случае вокруг раны следы пороха отсутствуют. Из чего заключили, что выстрел был произведен с дальнего (неблизкого) расстояния.
(9) Джон, Браун и Смит обвиняются в подделке документов о подлежащих налоговому обложению доходах. Они дают такие показания:
1) Браун: Джон виноват, а Смит невиновен.
2) Джон: Если Браун виновен, то виновен Смит.
3) Смит: Я не виновен, хотя бы один из них виновен.
Построив таблицы истинности полученных высказываний, ответьте на следующие вопросы:
а) Совместимы ли показания всех трех подозреваемых?
б) Показания одного из подозреваемых следуют из показаний другого. О чьих показаниях идет речь?
в) Если все трое невиновны, то кто совершил лжесвидетельство?
г) Предполагая, что показания всех подозреваемых верны, укажите, кто невиновен, а кто виновен?
д) Если невиновный говорит правду, а виновный лжет, то кто невиновен, а кто виновен?
(10) Логически отредактируйте дискуссию, установив отношения между высказываниями, выявив единомышленников и оппонентов, устранив высказывания, не несущие новой информации (предполагается, что каждый из участников дискуссии высказывает по одному суждению):
1) Наказание, за преступление должно быть неотвратимым, но не жестоким.
2) Если наказание должно быть неотвратимым, то оно не должно быть жестоким.
3) Неверно, что, если наказание не должно быть жестоким, то оно должно быть неотвратимым.
4) Первый выступающий не прав. (Я не согласен с высказыванием 1).
5) Либо наказание не должно быть жестоким, либо оно не должно быть неотвратимым.
6) Наказание должно быть неотвратимым только в том случае, если оно не должно быть жестоким.
7) Неверно, что наказание должно быть неотвратимым и жестоким.
Запишите логические формы всех высказываний и постройте для них общую таблицу истинности. Устраните, если есть, повторы (эквивалентные высказывания). Выявите противоположные (если такие есть) точки зрения — это основные оппоненты, затем выявите сторонников каждой из них (совместимые с ними высказывания). Если эти последние не добавляют никакой информации к высказываниям основных оппонентов (подчинены им), то их можно исключить. Подумайте, какие отношения будут между высказываниями каждой из сторон, если противоположных точек зрения у участников дискуссии нет, а есть только противоречащие.
(11) «Помолчав, он (Тетаити. – В.Б.) продолжал:
– Для меня все ясно: эти четверо взяли ружья, значит, они наши враги.
– Я не взял ружья, – возразил Парсел, – и все-таки ты считаешь меня своим врагом» (Р. Мерль. Остров).
Имел ли Тетаити право на подозрение после возражения Персела? Почему?
(12) Установите, кто из учащихся изучал логику, если на вопрос, кто из трех учащихся (А, В, С) изучал логику, были получены следующие ответы. 1) если А изучал, то изучал и В, но 2) неверно, что если изучал С, то изучал и В.
(13) Ст. 188 Таможенного кодекса Республики Беларусь гласит: «Личный багаж …членов Правительства Республики Беларусь освобождается от таможенного досмотра, если указанные лица пересекают таможенную границу Республики Беларусь в связи с исполнением своих… служебных обязанностей». Представим, что член Правительства, пересекая границу РБ, едет на отдых, и должностное лицо таможенного органа его не досматривает. Нарушает ли это должностное лицо законодательство.
(14) Подозреваемые A, B и C дали следующие показания.
А: «B виновен, а С невиновен»;
В: «А невиновен или С виновен»;
С: «Я невиновен, но хотя бы один из A и В виновен».
Совместимы ли эти показания, т. е. могут ли они быть истинны одновременно?
(15) Одного человека судили за участие в грабеже. В ходе судебного заседания прокурор и адвокат сказали следующеё:
П р о к у р о р. Если подсудимый виновен, то у него был соучастник.
А д в о к а т. Неверно.
Ничего худшего адвокат сказать не мог. Почему?
ЛОГИКА ИМЁН
(1) Какие из следующих имен являются единичными, общими, нулевыми (пустыми).
1) декабрист;
2) столица Республики Беларусь;
3) рейтинг телевизионных программ;
4) швейцарский королевский флот;
5) статут ВКЛ;
6) директор столичного предприятия;
7) основатель кибернетики;
8) президент СССР;
9) частная коллекция картин.
(2) Установите отношения между объёмами следующих имен (попарнo), изобразив эти отношения с помощью кругов Эйлера: a) метр, одна тысячная часть километра; б) метр, одна тысячная часть метра; в) столица государства; город, не являющийся крупным промышленным центром; г) капитан, майор; д) черный ворон, черный квадрат; е) измерение, взвешивание.
(3) С помощью круговых схем установите отношения между объёмами следующих имен: а) студент, минчанин, славянин, белорус; б) самый крупный промышленный центр Беларуси; самый крупный населенный пункт Беларуси; город с населением более 1 млн. человек; в) квадрат, прямоугольник, ромб; г) сутки, неделя, месяц, часть года; д) крупное яблоко, мелкое яблоко, зеленое яблоко /неспелое/, спелый фрукт; е) государство, столица государства, европейская столица, Токио; ж) законность, беззаконие, закон, проект закона, закон о выборах; з) банда, главарь банды, бандит, преступная группа.
(4) Следователь, прокурор, высококвалифицированный юрист, низкоквалифицированный юрист.
(5) В каких из следующих случаев имеет место логическая операция ограничения имени A: а) минута (A) - секунда (B); б) часть минуты (A) - секунда (B); в) часть минуты (A) - часть секунды (B); г) секунда (A) - часть секунды (B)?
(6) Почему нельзя рассуждать следующим образом? «Так как каждая молекула воздуха, т.е. молекула азота, кислорода и т.д., движется со средней скоростью около полукилометра в секунду и так как земная атмосфера - совокупность молекул воздуха (азота, кислорода и т д.), то земная атмосфера движется со скоростью около полукилометра в секунду».
(7) Какие из следующих имен можно ограничить, какие - нет:
1) полюс Земли;
2) Юго-Восточная Азия;
3) статут ВКЛ;
4) параграф учебника;
5) международное соглашение;
6) государство.
(8) В чем различие с точки зрения логики при использовании глагола "делить" в следующем тексте: "Людей можно делить по-разному! Это известно всем. Можно на людей и нéлюдей”. И сказал удивленный палач: "A я делю их на головы и туловища!" (С.Лец Непричесанные мысли).
(9) Какое из правил определения фиксируется в следующей фразе?
«Выдумывать новые слова там, где в языке нет недостатка в терминах для данных понятий, - это ребяческое стремление выделяться из толпы если не новыми и верными мыслями, то новыми заплатами на старом платье»
(И. Кант Критика практического разума).
(10) Если верить Диогену Лаэртскому, Платон дал определение, имевшеё большой успех: "Человек есть животное о двух ногах, лишенное перьев". Один из его учеников ощипал петуха и принес к нему в школу, объявив: "Вот платоновский человек!" В чем суть логической ошибки, допущенной Платоном?
(11) Какую логическую ошибку допустил ученик при ответах на вопросы учителя?
У ч и т е л ь: Что такое полюса Земли?
У ч е н и к: Полюса Земли - это точки земной поверхности, соединяемые отрезком прямой, который называется земной осью.
У ч и т е л ь:. А что такое земная ось?
У ч е н и к: Земная ось - это отрезок прямой, соединяющий полюса Земли.
(12) Нарушится ли требование адекватности, если объём имени "люди" разделить следующим образом: славяне, китайцы, женщины, мужчины, верующие? Обоснуйте свой ответ, изобразив круговыми схемами Эйлера отношения между делимым именем и результатами деленя.
(13) Дайте логический анализ следующего плана лекции на тему «Мировые религии». Назовите допущенные ошибки.
1) Православие.
2) Католицизм.
3) Протестантизм.
4) Ислам.
5) Иудаизм.
6) Синтоизм.
(14) В каких из следующих случаев имеет место логическое деление, в каких аналитическое:
1) Среди образных выражений встречаются поговорки, пословицы, крылатые выражения.
2) Система права подразделяется на гражданское право, административное право, уголовное право.
3) Нормы подразделяются на предписывающие и запрещающие.
4) Различают такие виды доверенностей: разовые, специальные и общие.
5) Декада составляет десять дней.
6) К основным элементам музыки относятся ритм, лад, тем тембр.
7) По характеру психической активности память делят на двигательную, эмоциональную, образную и словесно-логическую.
8) Атомы делятся на протоны, нейтроны и электроны.
9) Изобразительное искусство делится на живопись, скульптуру и графику.
10) Сделки совершаются устно или в письменной форме.
11) Рабовладельческое общество было разделено на рабов и рабовладельцев.
12) Самолеты делятся на монопланы и бипланы.
13) Изложение материала в учебниках обычно подразделяете на введение, основные главы и заключение.
14) Градусная сеть Земли состоит из параллелей и меридианов.
15) Географические карты бывают многоцелевые и специальные.
16) Доход делится на потребление и сбережения.
17) Формы познания: политика, наука, искусство, религия, право.
1. Охарактеризуйте определения.
1) Сделка – это достигнутое и оформленное в соответствии с нормами соглашение между двумя юридическими лицами.
2) Скульптор – художник, который работает в области скульптуры.
3) Тетрадь – сшитые листы бумаги в обложке, на которых студенты записывают материал лекций.
4) Точка – это знак препинания.
5) Тригонометрическое уравнение – трансцендентное уравнение, в котором не используются иррациональные степени.
6) Устав – свод правил, регулирующих деятельность общественной организации.
7) Феодализм – общественный строй, основанный на эксплуатации.
8) Фотон – частица, не обладающая массой покоя.
9) Человек – это мера всех вещей (Сократ).
10) Школьник – ребёнок, который посещает школу.
11) Якобинство – революционное течение, возглавляемое якобинцами.
СИЛЛОГИСТИКА
2. Сформулируйте атрибутивные высказывания, учитывая предложенные термины и их распределенность.
1) Крестьянское восстание (S +); событие, закончившееся победой (Р +).
2) Русский феодал (S -); сторонник реформ Петра I (Р +).
3) Комета (S - ); тело Солнечной системы (Р -).
4) Звезда (S +); мощный источник радиоизлучений (Р -).
5) Верующий (S - ); буддист (Р +).
6) План (S + ); программа действий (Р -).
7) Моральная норма (S - ); правовая норма (Р +).
8) Прилагательное (S +); существительное (P +).
9) Военнослужащий (S - ); коллекционер (Р+).
3. Сделайте заключение из посылки при помощи превращения, обращения и противопоставления предикату.
1) Некоторые камни являются недрагоценными предметами.
2) Все то, что не запрещено, разрешено.
3) Некоторые компьютерные игры не являются интересными.
4) Всякая привычка является отработанным навыком.
5) Это решение суда является необоснованным.
6) Всё хорошее даётся нам недешево.
4. Установите вид и проверьте правильность следующих непосредственных выводов.
1) Некоторые юристы не относятся к судебным исполнителям, следовательно, некоторые несудебные исполнители являются юристами.