Сложное суждение и его основные виды

Размещено на http://www.allbest.ru/

Содержание

Круговые схемы Эйлера и диаграммы Венна для выражения отношений между понятиями

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

Задача

Список литературы

Круговые схемы Эйлера и диаграммы Венна для выражения отношений между понятиями

Отношения между понятиями

сложное суждение логическая связка

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

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

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

Сравнимые понятия делятся на совместимые и несовместимые.

Совместимые понятия

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

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

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

Так, отношение между двумя равнообъемными понятиями должно быть изображено в виде двух полностью совпадающих кругов А и В (рис. 2).

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

В отношении пересечения находятся понятия «юрист» (А) и «преподаватель» (В): некоторые юристы являются преподавателями (как некоторые преподаватели -юристами).

Рис.2 Рис.3

С помощью круговых схем это отношение изображается в виде двух пересекающихся кругов (рис. 3).

В совместившейся части кругов А и В (заштрихованная часть схемы) мыслятся те юристы, которые являются преподавателями, а в несовместившейся части круга А -- юристы, не являющиеся преподавателями, в несовместившейся части круга В -- преподаватели, не являющиеся юристами. 3. В отношении подчинения (субординации) находятся понятия, объем одного из которых полностью входит в объем другого, составляя его часть. В таком отношении находятся, например, понятия «суд» (А) и «городской суд» (В). Объем первого понятия шире объема второго понятия, кроме городских существуют и другие виды судов -- краевые, областные, районные и т.д. Понятие «городской суд» полностью входит в объем понятия «суд» (рис. 4). Понятие, имеющее больший объем и включающее объем другого понятия, называется подчиняющим (А), понятие, имеющее меньший объем и составляющее часть объема другого понятия, -- подчиненным(В).

Рис.4 Рис.5

Если в отношении подчинения находятся общее и единичное (индивидуальное) понятия, то общее (подчиняющее) понятие является видом, а единичное (подчиненное) индивидом. В таком отношении будут находится, например, понятия «адвокат» и «Ф.Н. Плевако».

Несовместимые понятия

Понятия, объемы которых не совпадают ни полностью, ни частично, называются несовместимыми (или внеположными). Эти понятия содержат признаки, исключающие совпадение их объемов.

Существуют три вида отношений несовместимости: 1) соподчинение (координация), 2)противоположность (контрарность), 3) противоречие (контрадикторность).

1. В отношении соподчинения (координации) находятся два или больше неперекрещивающихся понятий, подчиненных общему для них понятию. Например: «областной суд» (В), «городской суд» (С), «суд» (А). Понятия, находящиеся в отношении подчинения к общему для них понятию, называются соподчиненными.

В круговых схемах это отношение изображено на рис. 6.

2. В отношении противоположности находятся понятия, одно из которых содержит некоторые признаки, а другое -- признаки, не совместимые с ними. Такие понятия называются противоположными (контрарными). Объемы двух противоположных понятий составляют в своей сумме лишь часть объема общего для них родового понятия, видами которого они являются и которому они соподчинены. Таковы, например, отношения между понятиями «черный» и «белый», «отличник» и «неуспевающий», «дружественное государство» и «враждебное государство» (рис. 7). Пунктиром изображено родовое понятие «государство», так как оно не дано, но может быть образовано.

Понятие В содержит признаки, не совместимые с признаками понятия А. Объемы этих понятий не исчерпывают в своей сумме всего объема родового понятия «государство»: существуют и другие межгосударственные отношения.

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

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

В отношении противоречия находятся положительные и отрицательные понятия: «четный» и «нечетный», «успевающий» и «неуспевающий», «дружественное государство» и «недружественное государство». Отношение между противоречащими понятиями изображено на рис. 8

Рис.6 Рис.7 Рис.

Из схемы видно, что положительное понятие А и отрицательное понятие не-А исчерпывают весь объем понятия «государство»: любое государство является дружественным или недружественным. Между двумя противоречащими понятиями не может быть никакого третьего понятия.

Отношения между понятиями представлены обобщающей схемой (рис. 9)

[1, с. 40 - 44] Рис.9

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

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

Виды сложных суждений. Сложные суждения делятся:

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

Символически обозначается следующим образом: А^В, где А, В - переменные, обозначающие простые суждения, ^ - символическое выражение логического союза конъюнкции.

Определению конъюнкции соответствует таблица истинности:

Слабая и сильная дизъюнкция. Различают слабую дизъюнкцию, когда союз «или» имеет соединительно-разделительное значение и не придаёт исключающего смысла входящим в сложное суждение составляющим. Например: «Писатели могут быть или поэтами, или прозаиками (или тем и другим одновременно)».

Нестрогой дизъюнкции соответствует таблица истинности:

Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз «либо», имеющий исключающее -разделяющий смысл. Например: «Данное число либо кратно, либо не кратно пяти».

Символически записывается А v В.

Логическое значение строгой дизъюнкции соответствует таблице истинности:

Условные (импликативные) суждения - это такие суждения, которые образованы из двух посредством логических союзов; «если…то», «там…где», «постольку…поскольку». Например: «Если число делится на 9, то оно делится и на 3».Аргумент, начинающийся словом «если», называется основанием, а составляющая, начинающаяся словом «то» - следствием.

Символически импликация записывается А> В (если А, то В).

Логическое значение представлено в таблице истинности:

[2, c.46-47]

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

Символически эквивалентность записывается А « В («если и только если А, то В»).

Логическое значение эквивалентности соответствует таблице истинности:

Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое: (А> В)^(В> А).

Отрицание - это логическая операция, с помощью которой из одного высказывания получают новое, при этом простое суждение Pпревращается в сложное, и если исходное простое суждение истинно, то новое сложное суждение ложно - «неверно, что P» или «высказывание А ложно тогда, когда высказывание А? истинно»

[1, c. 80-82]

Задача

Суждение «Бога нет» является:

а) релятивным;

б) атрибутивным;

в) экзистенциональным;

г) конъюнктивным.

Ответом на данный вопрос будет являться ответ в, т.к. экзистенциональное суждение происходит от латинского слова existential- «существование»,т. е.выражается сам факт существования или не существования предмета суждения .Например: « Существуют статистические законы»; «На Земле уже нет многих видов животных». Предикатами этих суждений являются понятия о существовании или не существовании предмета; связка как правило, в языке не выражается, но путём преобразования грамматической формы суждения она может быть выражена словами «есть», «не есть», «является» и т.п. Например: «Статистические законы (S) есть (связка) то, что существует (Р)».

Список литературы

1. Батурин В.К. Логика: учебное пособие. - М.: КУРС : ИНФРАМ, 2012.

2. Кириллов В.И., Старченко А.А. Логика: учебник. - М.: Юристъ, 2008.

Размещено на Allbest.ru