Помощь по Теле2, тарифы, вопросы

Простые и сложные суждения

Простые суждения - суждения, составными частями которых являются понятия . Простое суждение можно разложить только на понятия.

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

Состав простого суждения

Простое (атрибутивное) суждение - это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения - субъект, предикат, связка, квантор.

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

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

Импликационные суждения образуются с помощью импликации , (эквивалентно союзу «если …, то»). Записывается как или . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

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

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Классификация простых суждений

По качеству

• Утвердительные - S есть P. Пример: «Люди пристрастны к самим себе».
• Отрицательные - S не есть P. Пример: «Люди не поддаются лести».

По объёму

• Общие - суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
• Частные - суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

• Категорические - суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
• Условные - суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
  • Основание - это (предыдущее) суждение, которое содержит условие.
  • Следствие - это (последующее) суждение, которое содержит следствие.

По отношению между подлежащим и сказуемым

Логический квадрат, описывающий отношения между категорическими суждениями

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

• Распределено - когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
• Не распределено - когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

• Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

• Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

• Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

• Прим.: «Некоторые книги полезны»

• Прим.: «Некоторые животные суть Позвоночные»

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

• Прим.: «Некоторые животные не суть позвоночные (S)»

• Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

таблица распределения подлежащего и сказуемого

Общая классификация:

• общеутвердительные (A ) - одновременно общие и утвердительные («Все S + суть P - »)
• частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - ») Прим: «Некоторые люди имеют черный цвет кожи»
• общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + ») Прим: «Ни один человек не всеведущ»
• частноотрицательное (O ) - частное и отрицательное («Некоторые S - не суть P + ») Прим: «Некоторые люди не имеют черного цвета кожи»

Другие

• Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

• Суждения тождества - понятия субъекта и предиката имеют один и тот же объём. Пример: «Всякий равносторонний треугольник есть равноугольный треугольник».
• Суждения подчинения - понятие с менее широким объёмом подчиняется понятию с более широким объёмом. Пример: «Собака есть домашнее животное».
• Суждения отношения - именно пространства, времени, отношения. Пример: «Дом находится на улице».

• Экзистенциальные суждения или суждения существования - это такие суждения, которые приписывают только лишь существование.
• Аналитические суждения - суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.
• Синтетические суждения - суждения, расширяющие познание. В них не раскрывается содержание подлежащего, а присоединяется нечто новое.

Модальность суждений

Модальные понятия , или модальности - понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.

В зависимости от модальности выделяются следующие основные виды суждений:

• Суждения возможности - «S, вероятно, есть Р» (возможность ). Пример: «Возможно падение метеорита на Землю».
• Ассерторические - «S есть P» (действительность ). Пример: «Киев стоит на Днепре».
• Аподиктические - «S необходимо должно быть P» (необходимость ). Пример: «Две прямые линии не могут замыкать пространства».

Примечания

См. также

Литература

• Г. Челпанов. «Учебник логики». 9-е издание. Москва 1998 г.
• А. Д. Гетманова Логика // Изд. Книжный дом «Университет». 1998. - 480с.

Wikimedia Foundation . 2010 .

• Краснозаводск
• Солнечногорский район Московской области

Смотреть что такое "Суждение" в других словарях:

СУЖДЕНИЕ - мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия

Суждение - Суждение ♦ Jugement Мысль, имеющая ценность или притязающая на обладание ценностью. Вот почему всякое суждение оценочно, даже если предметом оценки служит истина (притом, что истина сама по себе не является ценностью). Суждение… … Философский словарь Спонвиля

суждение - Суд, отзыв, отчет, мнение, рассуждение, соображение, понимание, взгляд; усмотрение, благоусмотрение, уразумение, глазомер, прозорливость, проницательность. Представить на чье усмотрение (благоусмотрение). В мои года не должно сметь свое суждение… … Словарь синонимов

СУЖДЕНИЕ - СУЖДЕНИЕ, суждения, ср. 1. только ед. Действие по гл. судить в 1 знач., обсуждение (книжн. устар.). «С общего сужденья приговорили.» Крылов. Длительное суждение о деле. 2. Мнение, заключение. «Не смею моего сужденья произнесть.» Грибоедов. «В мои … Толковый словарь Ушакова

суждение - одна из логических форм мышления (см. также понятие, умозаключение). С. есть связь между двумя понятиями (субъектом и предикатом). В логике разрабатываются классификации С. Психология изучает разви … Большая психологическая энциклопедия

СУЖДЕНИЕ - СУЖДЕНИЕ, суженый, см. судить Толковый словарь Даля. В.И. Даль. 1863 1866 … Толковый словарь Даля

суждение - СУЖДЕНИЕ (нем. Urteil; англ., франц. Judgement) мыслительный акт, выражающий отношение лица к содержанию высказываемой им мысли. В форме утверждения или отрицания С. необходимо сопровождается той или иной модальностью, сопряженной, как… … Энциклопедия эпистемологии и философии науки

суждение - СУЖДЕНИЕ, предположение СУДИТЬ, предполагать … Словарь-тезаурус синонимов русской речи

СУЖДЕНИЕ - 1) то же, что высказывание.2) Умственный акт, реализующий отношение говорящего к содержанию высказываемой мысли и связанный с убеждением или сомнением в ее истинности или ложности … Большой Энциклопедический словарь

Суждение - выражение элементов чувственного опыта в общезначимой словесной форме … Психологический словарь

Книги

• Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени , Добрянский-Сачуров. Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени / Соч. ... Галицко-рус. деятеля и патриота Адольфа Ивановича…

Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика - это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в IVвеке до н.э. До сих пор она остаётся одной из самых понятных, приближенных к естественному языку и лёгких для изучения логических систем. Одно их главных её достоинств - возможность применения в повседневных ситуациях без особых усилий.

Суждения и высказывания

Что такое рассуждение? Можно было бы сказать: вывод, умозаключение, размышление, доказательство и т.д. Всё это верно, но, пожалуй, самым очевидным ответом было бы: рассуждение - это последовательность суждений, которые в идеале должны быть связаны между собой согласно правилам логики. Поэтому обучение правильному рассуждению нужно начинать с того, что такое суждения и как ими корректно пользоваться.

Суждение - это мысль об утверждении или отрицании наличия некоторой ситуации в мире.

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

Поскольку высказывания посредством суждений фиксируют какое-то положение дел в мире, в отличие от понятий и определений, мы можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “Microsoft”» - истинное, а высказывание «Апельсины фиолетовые» - ложное.

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

Что касается отношений равнообъёмности и обратного подчинения, то может возникнуть вопрос, почему они тоже представляют собой условия истинности для частноутвердительных высказываний, если на картинках, обозначающих их, чётко видно, что не только некоторые S есть P, но все S есть P. Правда, естественный язык толкает нас к идее, что если некоторые S есть P, то ещё существуют и другие S, которые не есть P: некоторые грибы съедобны, а некоторые несъедобны. Для логиков такое заключение неверно. Из высказывания «Некоторые S есть P» нельзя вывести заключение, что некоторые S не есть P. Зато из высказывания «Все S есть P» можно заключить, что и некоторые S есть P, потому что если что-то верно относительно всех элементов объёма термина, то оно будет верно и относительно некоторых отдельных элементов. Поэтому в силлогистике слово «некоторые» употребляется в значении «по крайней мере некоторые», но не в значении «только некоторые». Таким образом, из высказывания «Все папоротники размножаются спорами» можно смело вывести и высказывание «Некоторые папоротники размножаются спорами», а из высказывания «Все ученики пятого класса являются пионерами» - высказывание «Некоторые ученики пятого класса являются пионерами».

Частноутвердительные высказывания будут ложными, только если термины S и P находятся в отношении противоречия или соподчинения: «Некоторые тракторы - это самолёты», «Некоторые ложные высказывания истинны».

Типа «Некоторые S не есть P» истинны, если термины S и P находятся в следующих :

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

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

Частноотрицательные высказывания будут ложными, только если термины S и P находятся в отношениях равнообъёмности и обратного подчинения. Примеры ложных высказываний: «Некоторые рыбы не умеют дышать под водой», «Некоторые яблоки не являются фруктами».

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

Игра "Пересечение множеств"

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

Упражнения

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

• Всё действительное разумно, всё разумное действительно.
• Соль - это яд.
• Яд - это соль.
• Все музыканты имеют хороший слух.
• Некоторые музыканты имеют хороший слух.
• Все люди, имеющие хороший слух, - музыканты.
• Некоторые люди, имеющие хороший слух, - музыканты.
• Некоторые вампиры опоздали на работу.
• Волколаки - это разновидность оборотней.
• Все круглые квадраты не имеют углов.
• Никто не любит, когда у него болят зубы.
• Ни один попугайчик не пьёт виски.
• Некоторым не нравится их работа.
• Иван Иванович поссорился с Иваном Никифоровичем.
• Фильмы Тарковского считаются классикой русского кино.
• Достоевский никогда не играл в карты.
• Некоторые куздры совсем не глокие.
• Каждый сотрудник мечтает о повышении.
• Некоторые псы умеют читать.
• Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему.
• Некоторые акулы - это рыбы.
• Некоторые люди не летали на Марс.

Проверьте свои знания

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

Виды суждений и логические отношения между ними

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

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

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

Рассмотрим виды простых суждений, которые классифицируются по следующим основаниям.

1. По объему субъекта (по количеству).

Единичные - суждения, включающие утверждение или отрицание об одном предмете. Формула такого суждения:

Это S есть (не есть) P.

Так, суждение "Эрмитаж в Санкт-Петербурге - крупнейший музей России" - единичное суждение, так как объем субъекта включает конкретное учреждение культуры.

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

В неопределенных суждениях логическая схема такова: "Некоторые 8 есть Р". Слово "некоторые" придает им неопределенность. Например: "Некоторые проблемы политологии носят философский характер".

Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему:

"Только некоторые S есть Р".

Например: "Только некоторые проблемы языкознания носят философский характер".

Общие- суждения, в которых что-либо утверждается или отрицается в каждом предмете данного класса. Логическая схема таких суждений имеет вид:

"Все S есть Р" или "Ни одно S не есть Р"

Например, цитата из "Евгения Онегина" А.С. Пушкина: "Мы все учились понемногу" - является общим суждением, так как объем субъекта включает весь класс отображаемых предметов.

2. По качеству связки суждения могут быть утвердительные или отрицательные.

Утвердительные суждения, выражающие принадлежность предмету некоторого признака: например, "Научная организация труда повышает эффективность деятельности инженера".

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

При этом следует различать отрицательное суждение и негативную форму выражения утвердительного суждения: например, "Захватническая война не имеет законного основания" и "Захватническая война - незаконна". Такого вида суждения не всегда идентичны.

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

Суждения отношения выражают различные связи между предметами мысли по месту, времени, величине и прочее: например, суждение "Эверест выше Монблана" - определяется отношением (через сравнение) одной горы с другой; или "Л.Н. Толстой был современником И.С. Тургенева и А.М. Горького".

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

Любое суждение имеет и количественную, и качественную характеристики. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству. В результате получаем четыре вида суждений; общеутвердительные, общеотрицательные,частноутвердительныеичастноотрицательные.Рассмотрим их более подробно.

Общеутвердительное суждение - общее по объему и утвердительное по качеству связки. Его структура: "Все S есть Р ",а символом служит латинская буква " А " . Примером может служить следующее суждение: "Всякое изучение иностранных язы ков развивает ум, сообщая ему гибкость и способность проникать в чужое миросозерцание" (Д.И. Писарев). Второй пример: "Все окуни - рыбы". В этих суждениях объем предиката шире объема субъекта и является его подчиняющим понятием. Объемные отношения субъекта и предиката в таких суждениях можно изобразить в виде указанной круговой схемы. Из нее видно, что объем S составляет только часть объема Р , так что кроме S в объем Р могут входить объемы других понятий (в первом примере это могут быть "изучение истории", "изучение философии" и т.д.).

Во многих общеутвердительных суждениях (во всех определениях) субъект и предикат будут равнозначными понятиями. Например: "Богатство языка есть богатство мыслей" (Н.М. Карамзин). Или другой пример: "Все квадраты - равносторонние прямоугольники". В таких суждениях объемы терминов полностью совпадают

Таким образом, в общеутвердительных суждениях субъект подчинен предикату или оба термина - равнозначные понятия.

	Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его структура: "Ни одно S не есть Р " . Символом общеотрицательных суждений служит буква" Е " . Примером может быть следующее суждение: "Ни один тигр не есть травоядное животное". Полная несовместимость субъекта и предиката характерна для всех общеотрицательных суждений, т.е. их объемы полностью исключают друг друга.
	Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его структура: "Некоторые S есть Р " . Символом частноутвердительных суждений служит буква " I " . Примером могут служить следующие суждения: "Некоторые студенты - книголюбы"; "Некоторые техники - филателисты".
	В этих суждениях субъект и предикат - перекрещивающиеся понятия, их объемы, как показано на схеме, частично совпадают. Однако в некоторых частноутвердительных суждениях объем субъекта шире объема предиката: например, "Некоторые актеры - ветераны Великой Отечественной войны"; "Некоторые писатели - герои России". Объем предиката здесь входит в объем субъекта, но объем субъекта только частично совпадает с объемом предиката. Таким образом, в частноутвердительных суждениях субъект и предикат - перекрещивающиеся понятия или предикат подчинен субъекту.

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

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

Анализ объема понятий - терминов суждения связан в дальнейшем с выяснением их распределенности.

Распределенным термин считается тогда, когда он взят в полном объеме. Если термин взят в части объема, он считается нераспределенным. Исследование распределенности терминов суждения - это не формальная логическая операция, а подтверждение правильной связи данных субъекта и предиката в суждении, т.е. ее соответствия объективному отношению самих предметов.

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

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

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

В частноутвердительных суждениях оба термина не распределены, если они выражаются перекрещивающимися понятиями: например, "Некоторые студенты - изобретатели". Если же в частноутвердительном суждении предикат подчинен субъекту, тогда предикат будет распределен: например, "Некоторые летательные аппараты - космические ракеты".

В частноотрицательных суждениях субъект не распределен, а предикат всегда распределен. Таким образом, субъект распределен в общих суждениях и не распределен в частных суждениях; предикат распределен в отрицательных суждениях и нераспределен в утвердительных суждениях. Исключение составляют общеутвердительные и частноутвердительные суждения, у которых предикат распределен.

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

Соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например: "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Москве и учится в МГУ".

Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или".

Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.

Условные суждения(импликативные)- это такие суждения, которые образованы из двух посредством логических союзов: "если...то", "там...где", "постольку... поскольку". В качестве примера можно использовать мысль, высказанную таджикским поэтом XI в. Кабусом: "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.

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

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

Значение изучения темы для практической деятельности сотрудников ОВД: знание логических союзов, умение выявлять логическую форму того или другого правового закона может значительно помочь при истолковании законодательства. Можно даже утверждать, что без знания логической формы закона выяснить его смысл вообще невозможно. Если юрист хочет не только прочитать закон, выучить его, но и понять, о чем в нем идет речь, тогда внимание нужно уделять не только анализу содержания этого документа. Не менее важна роль логической экспертизы любых юридических документов, поскольку только логический закон, включенный в юридический закон, даст возможность последнему быть выполненным в полном объеме.

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

Основное содержание: приступая к изучению темы «Суждения, виды, состав, логические отношения», прежде всего следует дать определение понятию «суждение» как форме мышления.

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

Как и понятие, суждение имеет свою специфическую структуру, которую можно изобразить при помощи следующей формулы:

Например: Все курсанты являются знающими логику людьми.

Таким образом: логическая структура суждения состоит из субъекта «S», предиката «Р» и логической связки «есть / не есть» или «являются/не являются».

Схематично это записывается в виде такой формулы:

«S есть Р» или «S не есть Р» – Где: «S» и «Р» называются терминами суждения.

Проводя аналогию с понятием, можно утверждать, что суждение имеет несколько видов. Когда мы высказываемся об окружающем мире или говорим о внутреннем мире, мы, так сказать, «судим» о нем – отсюда происходит и название этой логической формы. Дескриптивное суждение может быть истинным или ложным. Истинное суждение соответствует действительности: «Российская Федерация является федерацией». Ложное суждение не соответствует действительности: «Российская Федерация является монархией». Логика не определяет истинность или ложность суждений – это дело конкретных наук или практики. Задача логики состоит в обеспечении формальных условий и методов сохранения истины на протяжении всего процесса рассуждения.

Первое из таких условий состоит в дифференциации простых и сложных суждений.

Рассмотрим все многообразие простых суждений, которые можно классифицировать по следующим основаниям:

1. По объему субъекта: единичные, общие и частные.

3. По количеству связки: отрицательные, утвердительные и отрицающие.

4. По модальности: объектные (суждения действительности, суждения возможности, суждения необходимости) и логические (суждения достоверные и суждения проблематичные).

Рассмотрим более подробно суждения по характеру признаков, которые представлены предикатом суждения.

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

Суждением с отношением называется такой вид простого суждения, в котором предикатом выступает отношение (Например: Мой приятель не знает моего брата. В суждении идет отрицание отношения знания между моим приятелем и моим братом).

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

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

Атрибутивные суждения делятся на виды по количеству и качеству.

По качеству выделяют: утвердительные и отрицательные атрибутивные суждения (Например: Преступление является общественно опасным поступком – утвердительное суждение).

По количеству различают: единичные, общие и частные атрибутивные суждения.

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

Общим называется такое атрибутивное суждение, в котором субъектом выступает общее понятие (Например: Преступление общественно опасное деяние).

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

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

· общеутвердительные,

· частноутвердительные,

· общеотрицательные,

· частноотрицательные атрибутивные суждения.

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

Частноутвердительным суждением называется такое атрибутивное суждение, которое по количеству является частичным, а по качеству – утвердительным (Например: Некоторые преступления являются должностными. Логическая структура частноутвердительного суждения имеет такой вид: «Некоторые S есть Р». Обозначается это суждение буквой «І»). Общеотрицательным называется атрибутивное суждение, которое по количеству является общим, а по качеству – отрицательным (Например: Ни один мой знакомый не был среди участников преступления. Логическая структура общеотрицательного суждения имеет такой вид: «Ни один S не есть Р». Обозначается это суждение буквой «Е»).

мысли, или схема, по которой они строятся. Существует всего три формы мышления:

понятие, суждение и умозаключение.

Каждое понятие имеет содержание и объем.

Объем понятия – это множество предметов,которые имеют эти существенные признаки.

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

Понятия бывают сравнимые («город» и «населенный пункт»,

«спортсмен» и «россиянин») и несравнимые («романс» и «кирпич», «истина» и «нитка»).

2. Форма суждения. Субъект и предикат суждения, кванторы и логические связки. Логическое значение суждения.

Суждение – форма мышления, в которой что–либо утверждается или

отрицается о предметах, их свойствах или отношениях между ними.

Суждение характеризуется содержанием и формой.

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

В суждении выделяют субъект S (логическое подлежащее ) – это по-

нятие, о котором идет речь в суждении; предикат P (логическое сказуемое )

– это понятие, с помощью которого что–либо утверждается или отрицается

о субъекте и связку – словаесть ,является ,называется (часто отсутствует).

Простым называется суждение, в котором присутствуют только один

субъект и один предикат.

Суждение называется сложным , если оно образовано из простых с

помощью логических операций (связок).

По качеству простые суждения делятся на утвердительные (связка

есть ) иотрицательные (связкане есть ).

Пример 1. Дано суждение "Земля является планетой ".

В нем субъект S – "Земля", предикат P – " планета", связка – слово

"является ". Следовательно, суждение простое, утвердительное.

Пример 2. Суждение "Лекция по логике сегодня не состоится ".

Субъект S – "лекция по логике", предикат P – "сегодня состоится",

связка в суждении опущена, есть частица не . Следовательно, это суждение

простое, отрицательное.

Количественная характеристика суждений передается с помощью кванторов. Единичные суждения относятся к общим.

– квантор общности заменяет слова «все», «любой», "каждый» и т.п.

S P(S) означает, что "для всякого S верно Р(S)" , «Все S есть P » .

 – квантор существования заменяет слова «некоторые» , «существует»,

«часть» и т.п.

S P(S) означает, что "существует S, для которого верно P (S)", «Некото-

рые S есть P » .

3. Классификация суждений-высказываний по количеству и качеству, логический квадрат.

По количеству суждения делятся на общие ,частные . Количество

определяется объемом субъекта суждения. Объем субъекта может быть пол-

ным (все ,ни один ) или частичным (некоторые ).

Пример . Все студенты являются учащимися (общее).Некоторые живот-

ные являются хищниками (частное). Солнце – это небесное тело (общее,

так как речь идет о всем объеме понятия «солнце», конкретном Солнце).

Простое суждение можно записать в виде формулы. Количественная ха-

рактеристика суждений передается с помощью кванторов. Единичные суж-

дения относятся к общим.

Классификация простых суждений

Пример 6. Исходное суждение «Все книги сданы в библиотеку ». Необхо-

димо построить его отрицание. Определим вид суждения и запишем его

формулу. S – «книги», P – «сданы в библиотеку». Есть слово «все », отсут-

ствует «не ». Получаем, что суждение по количеству общее и по качеству

утвердительное: общеутвердительное (вид А).

Берем данные из таблицы 2 и записываем его формулу:

Строим отрицание сначала в символическом виде, а затем, запишем его

словами. Работаем по приведенному выше правилу.

Меняем квантор на противоположный: был , стал .

Отрицание переходит на предикат.

Цепочка преобразований: Р(S) S= Р(S) S(вид О).

Запишем суждение словами: «Некоторые книги не сданы в библиотеку ».

Пример 7. Дано суждение «Некоторые студенты не посещают лекции ».

Построить его отрицание.

S – «студенты», P – «те, кто посещает лекции». Суждение по количеству

частное («некоторые »), по качеству отрицательное (частица «не »). Полу-

чаем частноотрицательное (вид О).

Запишем формулу Р(S) S. Строим отрицание по правилу. Квантор ме-

няем с на . Над предикатом появилось двойное отрицание: одно было

по формуле, второе появилось в результате преобразования. Двойное

отрицание просто убирается.

S Р(S) SP(S) SP(S) (вид А).

Теперь словами: «Все студенты посещают лекции».

Как видно из примеров суждения (А) и (О) находятся в отношении проти-

воречия. То есть, отрицая суждение одного вида, всегда получаем сужение

другого вида. Аналогичная картина для суждений (E) и (J).

По логическому значению любое суждение может быть истинным , а мо-

жет быть ложным . Если исходное суждение истино, то суждение

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

Это хорошо видно из приведенных выше примеров.

Если рассмотреть все четыре вида суждений (A, E, J, O), образованных на

одной паре понятий «субъект-предикат», то зная логическое значение од-

ного из них, нередко можно указать значения трех других суждений. Дан-

ную зависимость между значениями в логике называют «логическим квад-

ратом». Он представляет собой систему парных отношений между логиче-

скими значениями:

Пары A-O и J-E находятся в отношении противоречия , как выше уже было

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

«истина», то другое «ложь» и наоборот.

Пара общих суждений A-E – в отношении противоположности, что озна-

чает невозможность одновременно принимать значение «истина», но не

исключает одновременную «ложь».

Пара частных суждений J-O – в отношении подпротивности (подпротиво-

положности) , что, напротив предудущему отношению, означает невоз-

можность одновременной «лжи», но допускает одновременную «истину».

Пары утвердительных суждений A-J и отрицательных суждений E-O нахо-

дятся в отношении подчинения : если первое есть «истина», то второе также

«истина» и напротив, если второе есть «ложь», то и первое также «ложь».