ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 15.12.2019
Просмотров: 930
Скачиваний: 3
II. По количеству суждения делятся на единичные, частные, общие.
Единичным
называется
суждение, в котором что-либо утверждается
или отрицается об одном предмете.
Например: «Это здание памятник архитектуры»
(Это S есть P).
Частным
называется
суждение, в котором что-либо утверждается
или отрицается о части предметов
некоторого класса, что выражается при
помощи слов: некоторые, многие, немногие,
большинство, меньшинство, часть. Например:
«Большинство студентов не имеют
пропусков» («некоторые
S не суть
P»).
В зависимости от значения слова «некоторые» различают 2 вида частных суждений: неопределенные и определенные.
В
неопределенном частном суждении
слово «некоторые»
употребляется
в значении «некоторые, а может быть и
все» или «по крайней мере некоторые».
Например: «Некоторые свидетели дали
показания».
В
определенном частном суждении
слово «некоторые» употребляется в
значении «только некоторые». Например:
«Некоторые студенты ходят на дискотеку».
III. Объединенная классификация простых категорических суждений по количеству и качеству.
Любое суждение имеет количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация, по которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.
Общеутвердительные суждения (A) – это суждения, общее по количеству и утвердительное по качеству. Например: «Каждый, совершивший преступление», (S) должен быть подвергнут справедливому наказанию (P). Все S суть P. В символичной логике: " x (S (x) ® P (x)), то есть для всех x, если x присуще свойство S, то x присуще свойство P.
Общеотрицательное суждение (E) – это суждение, общее по количеству и отрицательное по качеству. Например: «Ни один студент (S) не должен опаздывать на занятия (P)». Ни одно S не есть P. (" x (S (x) ® ù P (x)) – ни одному x, которому присуще свойство S, не присуще свойство P.)
Частноутвердительное суждение (I) – это суждение, частное по количеству и утвердительное по качеству. Например: «Некоторые студенты (S) являются отличниками (P)». Некоторые S суть P. ($ x (S (x) Ù P (x)) – существуют x , которым присуще свойство S и свойство P.)
Частноотрицательные суждения (O) – суждения, частные по количеству и отрицательные по качеству. «Некоторые студенты не посещают занятия». Некоторые S не суть P. ($ x (S (x) Ù ù P (x)) – существует x, которым присуще свойство S и не присуще свойство P.)
13. Распределенность терминов в простых категорических суждениях.
Термин распределенный, если то, что о нем высказывается в суждении, относится ко всему классу предметов.
Терминами категорического суждения называются субъект и предикат этого суждения. Термин распределён, если он рассматривается в данном суждении во всём объёме, т.е., если он полностью включается в объём другого понятия или полностью исключается из него. В противном случае термин не распределён.
Распределенность терминов обозначается знаками «+» и «-»: S+, P+ – распределенные термины; S-, P- – нераспределенные термины.
Существует правило распределенности терминов в категорических суждениях: субъекты распределены в общих и не распределены в частных суждениях; предикаты распределены в отрицательных и не распределены в утвердительных суждениях.
14. Отношение между категорическими суждениями по логическому квадрату.
Простое категорическое суждение- простое суждение, в котором что-то утверждается и отрицается относительно предмета мысли, а между субъектом и предикатом устанавливается категорическая (утвердительная, отрицательная) связь: отношение тождества, подчинения, частичного совпадения, противоречия, противоположности, соподчинения.
Вершины
квадрата обозначают вид суждения по
объединенной классификации А , Е , 0 , I.
Стороны и диагонали символизируют
логические отношения между простыми
суждениями (кроме эквивалентных). Верхняя
сторона есть О отношение А и Е -
противоположность (контрарность); нижняя
сторона - отношение между I и O - частичная
совместимость(субконтрарность);две
вертикальные стороны - отношения между
А и I (левая), Е и О (правая) - подчинение;
диагонали - отношения между А и О, Е и I-
противоречие(контрадикторность).
Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными.
Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот.
Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений. Ложность подчинённых, обуславливает ложность общих
Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.
15. Сложные суждения, их виды.
Сложные суждения образуются из простых путем их соединения. Так же, как и простые, сложные суждения могут быть истинными или ложными. Но в отличие от простых суждений, истинность или ложность которых определяется их соответствием или несоответствием действительности, истинность или ложность сложного суждения зависит прежде всего от истинности или ложности составляющих его суждений. Логическая структура сложных суждений также отличается от структуры простых суждений. Основными структурообразующими элементами здесь являются уже не понятия, а простые суждения, составляющие сложное суждение. При этом связь между ними осуществляется не с помощью связок «есть», «не есть» и т. п., а посредством логических союзов «и», «или», «либо», «если [...], то» и др.
По характеру логической связи выделяют пять основных видов сложных суждений: соединительные (конъюнктивные), разделительные (дизъюнктивные), условные (импликативные), эквивалентные, отрицаемые.
-
Соединительное или конъюнктивное суждение – это сложное суждение, образованное из исходных суждений посредством логического союза «и», обозначаемого символом «». Например, суждение: «Сегодня я пойду на лекцию по логике и в кино» является конъюнктивным суждением, состоящим из двух простых суждений
-
Разделительное или дизъюнктивное суждение – это сложное суждение, образованное из исходных суждений посредством логического союза «или», обозначаемого символом «». Например, суждение: «Право может способствовать экономическому развитию или препятствовать ему» является дизъюнктивным суждением, состоящим из двух простых
-
Условное или импликативное суждение – это сложное суждение, в котором суждения объединяются логическим союзом «если..., то» (символ «»), например: «Если правительство нарушает закон, то порождает неуважение к нему»
-
Эквивалентное суждение – это сложное суждение, в котором объединяются суждения с взаимной условной зависимостью. Поэтому они также называются двойной импликацией. Они образуются с помощью логического союза «если и только если..., то»
-
Отрицаемое суждение – это сложное суждение, образованное с помощью логического союза «неверно, что...»
16. Таблица истинности для сложных суждений.
17) ЗАКОН ТОЖДЕСТВА
Предмет мысли понимается на всем протяжении суждения в одном и том же содержании его признаков. Требованиями закона тождества являются определенность и однозначность. Им запрещается многозначное использование терминов.
Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а = а, где под а понимается любая мысль).
Закон тождества может быть выражен формулой
р ? р (если р, то р),
где р– любое высказывание,
? – знак импликации.
Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.
Например, два суждения «Н. совершил кражу» и «Н. тайно похитил чужое имущество», выражают одну и ту же мысль (если, разумеется, речь идет об одном и том же лице). Предикаты этих суждений – равнозначные понятия: кража и есть тайное хищение чужого имущества. Поэтому было бы ошибочным рассматривать эти мысли как нетождественные.
С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом «штраф» обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.
Отождествление различных мыслей нередко связано с различиями в профессии, образовании и т. д. Так бывает в следственной практике, когда обвиняемый или свидетель, не зная точного смысла некоторых понятий, понимает их иначе, чем следователь. Это нередко приводит к путанице, неясности, затрудняет выяснение существа дела. Отождествление различных понятий представляет собой логическую ошибку – подмену понятия, которая может быть как неосознанной, так и преднамеренной.
Соблюдение требований закона тождества имеет большое значение в работе юриста, требующей употребления понятий в их точном значении.
При разбирательстве любого дела важно выяснить точный смысл понятий, которыми пользуется обвиняемый или свидетели, и употреблять эти понятия в строго определенном смысле. В противном случае предмет мысли будет упущен и вместо выяснения дела произойдет его запутывание.
Таким образом, закон тождества представляет закон человеческого мышления, гласящий, что в процессе рассуждения значение понятий и рассуждений изменять запрещается. Они должны оставаться тождественными сами себе, иначе свойства одного объекта незаметно окажутся приписанными совершенно другому объекту.
Данное требование является справедливым не только в русле логики, но и в других науках, поэтому данный закон носит всеобщий характер.
18) Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными. По крайней мере, одно из них ложно[1].
Математическая запись:
P \wedge \neg P = 0,
где \wedge — знак конъюнкции, \neg — знак отрицания.
Закон противоречия является фундаментальным логическим законом, на котором построена вся современная математика. Он является тавтологией классической логики, а также большинства неклассических логик, в том числе интуиционистской логики. Всё же, существуют нетривиальные логические системы, в которых он не соблюдается, например логика Клини.
Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Например, два суждения: «Сократ высокий» и «Сократ низкий» (одно из них нечто утверждает, а другое то же самое отрицает, ведь высокий — это не низкий, и наоборот), — не могут быть одновременно истинными, если речь идёт об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении, то есть, если Сократ по росту сравнивается не с разными людьми одновременно, а с одним человеком. Понятно, что когда речь идет о двух разных Сократах или об одном Сократе, но в разное время его жизни, например в 10 лет и в 20 лет, или один и тот же Сократ и в одно и то же время его жизни рассматривается в разных отношениях, например он сравнивается одновременно с высоким Платоном и низким Аристотелем, тогда два противоположных суждения вполне могут быть одновременно истинными, и закон противоречия при этом не нарушается. Символически он выражается следующей тождественно-истинной формулой: ¬ (а Λ ¬ а), (читается: «Неверно, что а и не а»), где а — это какое-либо высказывание.
19) ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО
Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание. Противоречащими (контрадикторными) называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом – отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно, и наоборот. Например, если суждение «Каждому гражданину РФ гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. Например: «П. привлечен к административной ответственности» и «П. не привлечен к административной ответственности». Одно из этих суждений необходимо истинно, другое – необходимо ложно. Этот закон можно записать с помощью дизъюнкции: