Виды совместимости между суждениями

Логические отношения между суждениями (логический квадрат)

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

Несравнимыми среди простых являются суждения, имеющие:

    1. различные субъекты или
    2. различные предикаты.

Таковы, например, два суждения:

«Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».

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

«Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».

Среди сравнимых различают совместимые и несовместимые суждения.

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

Логический квадрат

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

Вершины логического квадрата символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями:

  • Противоположность ( контрарность)
  • Противоречие (контрадикторность)
  • Частичная совместимость (субконтрарность)

Отношение совместимости

К совместимым относятся суждения, которые одновременно могут быть истинными.

Виды совместимости:

    1. эквивалентность (полная совместимость);
    2. частичная совместимость (субконтрарность);
    3. подчинение.

Эквивалентные суждения имеют одинаковые логические характеристики:

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

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

Подробнее

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

Например, различными словами могут быть выражены кванторы: «некоторые», «иногда», «как правило» и т.п.; использованы синонимы для выражения субъекта или предиката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table».

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

Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

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

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

Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости:

1) При истинности общего сyждения частное всегда будет иcтинным: А→1, Е→0.

Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права».

При истинности суждения «Ни один кооператив не относится к государственным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям».

2) При ложности частного сyждения общее сyждение также будет ложным

Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».

При подчинении остаются неопределенными следующие зависимости:

    1. при ложности общего суждения подчиненное частное может быть как истинным, так и ложным;
    2. при истинности подчиненного частного общее может быть как истинным, так и ложным.

Отношение несовместимости

Несовместимыми являются суждения

    1. А и E,
    2. А и О,
    3. Е и I,

которые одновременно не могут быть истинными.

Виды несовместимости:

    1. противоположность;
    2. противоречие.

Противоположными (контрарными) являются суждения А и Е, которые одновременно

  • не могут быть истинными, но
  • могут быть одновременно ложными.

Истинность одного из противоположных суждений определяет ложность другого. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим».

При ложности же одного из противоположных суждений другое остается неопределенным — оно может быть как истинным, так и ложным. Так, например, при ложности суждения «Все птицы улетают зимой в теплые края» ему противоположное «Ни одна птица не улетает зимой в теплые края» тоже оказывается ложным. В другом случае при ложности суждения «Ни один судья не является юристом» ему противоположное «Все судьи — юристы» будет истинным.

Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.

Для противоречия характерна строгая, или альтернативная несовместимость:

    • при истинности одного из суждений другое всегда будет ложным;
    • при ложности первого второе будет истинным.

Отношения между такими суждениями регулируются законом исключенного третьего.

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

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

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

Повышение оригинальности

План

Введение

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

1. Основные виды отношений между суждениями

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

    совместимости по истинности;
    совместимости по ложности;
    логической эквивалентности;
    подчинения;
    контарности (противоположности);
    контрадикторности (противоречащие);
    субконтрарности (подконтрарности);
    логической независимости.

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

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

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

    Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Различают три вида совместимости:
    Разнозначащие (эквивалентные) суждения выражают одну и ту же мысль: например, «для того, чтобы всегда говорить правду, требуется сила духа»; и «Правдивые люди — сильные духом; «Студент Петров А.И. сделал ошибку по логике» и «Причина ошибки по логике заключается в действиях студента Петрова А.И.». Это две пары разнозначащих суждений, каждое из которых имеет одно и то же смысловое содержание, но их логическое построение различно. Отношения между такого рода суждениями по их истинности или ложности характеризуются взаимно однозначным соответствием: они или одновременно истинны, или одновременно ложны.
    В отношении частичной совместимости (субконтрарности) находятся два таких совместимых суждения, которые имеют одинаковые субъекты и одинаковые предикаты, но различаются по качеству.

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

    Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения, это значит, что из истинности подчиняющего высказывания логически следует истинность подчиненного, и из ложности подчиненного следует ложность подчиняющего. Например: «Все промышленно развитые страны на современном этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся стран» и «Некоторые промышленно развитые страны на современном этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся стран». В данном случае первое суждение будет подчиняющим, а второе — подчиненным. При истинности подчиняющего — подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости:
    при истинности общего суждения частное всегда будет истинным;
    при ложности частного суждения общее суждение также будет ложным;
    при ложности общего суждения частное неопределенно;
    при истинности подчиненного частного суждения общее неопределенно.
    Несовместимыми являются суждения, которые одновременно не могут быть истинными. Такие суждения делятся на следующие виды:
    Контрарными (противоположными) называются общие суждения, выражающие противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например: «Все люди имеют врожденные пороки» ложное и «Ни один человек не имеет врожденных пороков» ложное; «Все люди обладают второй сигнальной системой» (л) и «Ни один человек не обладает второй сигнальной системой» (л). Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждений «Все студенты — учащиеся» сразу же дает ответ, что суждение «Ни один студент не является учащимся» – ложно, и если высказывание «Все металлы не являются газами» истинно, то высказывание «Все металлы – газы» ложно. При ложности же одного из противоположных суждений, другое остается неопределенным. Оно может быть как истинным, так и ложным. Например, при ложности суждения «Все войны справедливы» ему противоположное «Ни одна война не является справедливой» тоже оказывается ложным.

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

Отношения между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата. Логический квадрат (квадрат противоположностей) — это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.
Вершины квадрата обозначают вид суждения по объединенной классификации А, Е, 0, I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть отношение А и Е — противоположность (контрарность); нижняя сторона — отношение между I и O — частичная совместимость (субконтрарность); две вертикальные стороны — отношения между А и I (левая), Е и О (правая) — подчинение; диагонали — отношения между А и О, Е и I- противоречие (контрадикторность).

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

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

    Транзитивные (или переходные отношения). Если, например, 1 предмет эквивалентен 2-му, а 2-й эквивалентен 3му, то и 1-й эквивалентен 3-му. Это могут быть также отношения величины (больше – меньше), пространственные (дальше – ближе) и др. Например: “Иван – брат Петра”, “Петр – брат Елены”, значит, “Иван — брат Елены”. Такие суждения либо одновременно истинны, либо одновременно ложны.
    Нетранзитивные (непереходные) отношения обладают обратной зависимостью по сравнению с предыдущей. Так, если “Иван – отец Степана”, а “Степан – отец Николая”, то это не значит, что “Иван – отец Николая”. Он ему дед, следовательно, такие суждения не могут быть одновременно истинными.
    Рефлексивные отношения характеризуются тем, что каждый из член отношения, находятся в таком же отношении к самому себе. Если два события произошли одновременно, то они одновременны между собой. Оба суждения могут быть либо истинными, либо ложными.
    Нерефлексивные таковы, что если 2 меньше 3, то это не значит, что 2 меньше 2 и 3 меньше 3. Из истинности одного следует ложность другого.

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

    Сравнимые среди сложных — это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание: например, «Норвегия или Швеция являются членами НАТО» и «Неверно, что Норвегия и Швеция являются членами НАТО». Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них дизъюнктивное суждение (это связь двух и более простых суждений с помощью логических связок «или», «либо»), второе — отрицание конъюнкции (связь двух и более простых суждений с помощью логической связки «и»). Наличие общих составляющих позволяет сопоставлять их по смыслу и установить зависимости по истинности.
    Несравнимыми среди сложных суждений являются суждения, которые частично или полностью различаются составляющими их суждениями. Например, нельзя сравнивать следующие два суждения: «Слух обо мне пройдет по всей Руси великой, и назовет меня всяк сущий в ней язык, и гордый внук славян, и финн, и ныне дикой тунгус, и друг степей калмык» и «Чем дальше в лес, тем больше дров». Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями.

Между сложными суждениями складываются такие же виды отношений, как и между простыми. Характер этих отношений определяется с помощью таблиц истинности.

СЛОЖНЫЕ СУЖДЕНИЯ
Совместимые суждения Несовместимые суждения
эквивалентность подчинение частичная совместимость противоположность противоречие
А В А В А В А В А В
и и и и и и -и и- -и и-
-и л-* -и л- и л и л и л
-л и- л и л и л и л и
л л л л -л л- л л л л

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

2. Значение суждений по истинности в рамках логического квадрата

Логический квадрат — схема, выражающая отношения с т. зр. истинности и ложности между общеутвердительным, общеотрицательным, частноутвердительным и частноотрицательным суждениями традиц. логики, имеющими один и тот же субъект и один и тот же предикат и обозначаемыми соответственно буквами А, Е, I, О; предложен в 11 в. Михаилом Пселлом.
Отношение п о д ч и н е н и я характеризуется тем, что истинность подчиняющего суждения (А или Е) обусловливает истинность соответствующего подчиненного суждения (I или О), а ложность подчиненного суждения обусловливает ложность подчиняющего суждения; отношение п о д п р о т и в н о с т и (субконтрарности) характеризуется тем, что ложность одного из подпротивных суждений обусловливает истинность другого.

(Об отношениях противности и противоречия см. Контрарное отношение и Контрадикторное отношение).

Логический квадрат предполагает, что связка «есть» («суть») суждения употребляется в экзистенциальном смысле, согласно к-рому суждения A, I, E, О предполагают существование предметов класса S (т.е. непустоту субъекта) и слово «нек-рые» имеет смысл «нек-рые, а может быть и все».
Если отказаться от последнего условия и понимать «нек-рые» как «только нек-рые» (что соответствует одному из смыслов употребления этого слова в естеств. языке), то условия истинности I и О совпадают и отношения между А, I, Е, О выражаются уже логич. треугольником (предложенным рус. логиком H. A. Васильевым), в к-ром буквы I и О отмечают одну и ту же вершину; здесь отношения между А, Е и О (равнозначного I) характеризуются тем, что из трех суждений одно и только одно может быть истинным.
Схема логический квадрат с присущей ей системой отношений истинности и ложности применяется также для выражения отношений между модальными суждениями.
Соединение суждений ЛОГИЧЕСКИЙ КВАДРА?Т ?p и ЛОГИЧЕСКИЙ КВАДРА?Т N ЛОГИЧЕСКИЙ КВАДРА?Т p союзом «и» (знак &) порождает суждение случайности («Случайно, что p») и получающаяся в результате этого система отношений между тремя модальными суждениями выражается логич. треугольником.

3. Логический треугольник Н.Васильева и логический шестиугольник Ю.Ивлева

Н.А. Васильев создал «воображаемую» логику (1910), предвосхитив в ней некоторые идеи и принципы неклассических логик. В своей статье «О частных суждениях, о треугольнике противоположностей, о законе исключенного четвертого»Н.А.Васильев предлагает положить в основу силлогистики не четыре (как у Аристотеля) стандартных типа категорических высказываний, а три: общеутвердительные, общеотрицательные и определенно-частные («акцидентальные») — высказывания вида «Только некоторые S есть P». В этой теории имеют место особые модусы категорического силлогизма, а вместо законов логического квадрата действуют так называемые законы треугольника противоположностей.
Кроме того, Н.А. Васильев предложил неформальную теорию возможных миров, на базе которой им было разработано специфическое исчисление имён альтернативное аристотелевскому, где ни «закон противоречия», ни «закон исключённого третьего» не являются общезначимыми. «Считается, что Васильеву удалось создать более простую систему исчисления имён, — пишет А.Н. Шуман, — чем аристотелевская силлогистика, самую элементарную из всех существующих сегодня. В его теории имеется только один вид синтаксических имён: А, В, С, D, …, и три логических константы: а — (все … есть …), е — (все … не есть …), и m — (некоторые, но не все … есть …). Введение функтора «m», который заменяет собой два функтора аристотелевской силлогистики (некоторые … есть …) и (некоторые … не есть …), обусловлено обоснованием нового типа частного суждения, которое интерпретируется двояко. Во-первых, как неопределённое частное суждение: «некоторые, а может быть все А есть В», а во-вторых, как собственное частное суждение «некоторые, но не все А есть В». Аристотель понимал частное суждение только в первом смысле, хотя оно и имеет вид гипотезы (предположения), где субъект суждения оказывается неопределённым. Васильевское (второе) высказывание оказывается индифферентным «А есть и не есть В», или «А есть В или не есть В», или «А может быть В».

Итогом логических изысканий Н.А. Васильева, по мнению А.Н. Шумана, стало — определение им закона исключённого четвёртого: «Три логических константы формируют три атомарных предложения: общеутвердительное (АаВ), общеотрицательное (АеВ) и индифферентное (АmВ). Эти высказывания попарно связываются отношением противности (контрарности): оба суждения не могут быть вместе истинными, но оба могут быть ложными, и трипарно связываются отношением противоречия (контрадикторности): три суждения не могут быть вместе истинными и не могут быть вместе ложными. Подобные отношения описываются особой схемой – логическим треугольником, вершинами которого выступают константы а, е, m. Данная схема выражает основной закон логики Васильева – закон исключённого четвёртого: «истинным является или АаВ, или АеВ, или АmВ, четвёртого не дано». Аналог такого трёхзначного решения Васильев усматривает в геометрии Лобачевского, в которой две линии либо пересекаются (сводные), либо не пересекаются (разводные), либо параллельны.
Логический шестиугольник Ю.В. Ивлеваиспользуется для иллюстрации отношений между модальными суждениями (рис.1).
Вершинам шестиугольника соответствуют утвердительные и отрицательные суждения: аподиктические «Необходимо р» (?р) и «Необходимо не-р» (?р), ассерторические «Действительнор» (р) и «Действительно не-р» (р) и проблематические «Возможно р» (?р) и «Возможно не-р» (?р).

Рис. 1. Логический шестиугольник
Отношения подчинения устанавливаются между положительными аподиктическим и ассерторическим, аподиктическим и проблематическим, ассерторическим и проблематическим суждениями, а также между отрицательными аподиктическим и ассерторическим, аподиктическим и проблематическим, ассерторическим и проблематическим суждениями.
Таким образом, отношение подчинения связывает суждения «Необходимо р» и «Действительно р», «Необходимо р» и «Возможно р», «Действительно р» и «Возможно р»: ?p и р, ?р и ?р, р и ?р; «Необходимо не-р» и «Действительно не-р», «Необходимо не-р» и «Возможно не-р», «Действительно не-р» и «Возможно не-р»: ?p ир, ?p и ?р, р и ?р.При этом аподиктические суждения «Необходимо р» (?р) и «Необходимо не-р» (?p) являются всегда подчиняющими, а проблематические суждения «Возможно р» (?р) и «Возможно не-р» (?р) — всегда подчиненными. Утвердительное ассерторическое суждение «Действительно р» (р) может быть как подчиняющим — относительно утвердительного проблематического суждения «Возможно р» (?р), так и подчиненным — относительно утвердительного аподиктического суждения «Необходимо р» (?p).
Отрицательное ассерторическое суждение «Действительно не-р» (р) также может быть как подчиняющим — относительно отрицательного проблематического суждения «Возможно не-р» (?р), так и подчиненным — относительно отрицательного аподиктического суждения «Необходимо не-р» (?р).
В рамках отношения подчинения, так же, как и в логическом квадрате, действует мнемоническое правило: истинность субординативного суждения передается вниз — от подчиняющего к подчиненному суждению, анеистинностъ — вверх— от подчиненного к подчиняющему суждению.

Отношение подпротивоположности (субконтрарности) устанавливается между различными по качеству проблематическими суждениями, а также между различными по качеству ассерторическим и проблематическим суждениями.
В отношении подпротивоположности (субконтрарности) находятся утвердительное и отрицательное проблематические суждения «Возможно р» (?р), «Возможно не-р» (?р); утвердительное ассерторическое суждение «Действительно р» (р)и отрицательное проблематическое суждение «Возможно не-р» (?р); отрицательное ассерторическое суждение «Действительно не-р» (р) и утвердительное проблематическое суждение «Возможно р» (?р). Эти суждения могут быть одновременно истинными, но не могут быть одновременно неистинными.
Отношение противоположности (контрарности) устанавливается между различными по качеству аподиктическими суждениями, а также между различными по качеству аподиктическим и ассерторическим суждениями.
В отношении противоположности (контрарности) находятся утвердительное и отрицательное аподиктические суждения «Необходимо р» (?р), «Необходимо не-р» (?p); утвердительное аподиктическое суждение «Необходимо р» (?р) и отрицательное ассерторическое суждение «Действительно не-р» (р); отрицательное аподиктическое суждение «Необходимо не-р» (?р) и утвердительноеассерторическоесуждение «Действительно р» (р). Эти суждения могут быть одновременно неистинными, но не могут быть одновременно истинными.
Отношение противоречия (контрадикторности) устанавливается между различными по качеству аподиктическим и проблематическим суждениями, а также между различными по качеству ассерторическими суждениями.
В отношении противоречия (контрадикторности) находятся утвердительное и отрицательное ассерторические суждения «Действительно р» (р) и «Действительно не-р» (р); утвердительное аподиктическоесуждение «Необходимо р» (?р) и отрицательное проблематическое суждение «Возможно не-р» (?р); отрицательное аподиктическое суждение «Необходимо не-р» (?р)и утвердительное проблематическоесуждение «Возможно р» (?р). Эти осуждения не могут быть одновременно истинными и одновременно неистинными.

    4. Задача: Дайте полную логическую характеристику следующим понятиям – «Созвездие Большой медведицы», «Море», «Наука».
    Созвездие Большой Медведицы – единичное, конкретное, собирательное, положительное, безотносительное.
    Море – общее, конкретное, несобирательное, положительное, безотносительное.
    Наука – общее, абстрактное, несобирательное, положительное, безотносительное.

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

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *