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

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

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

Суждение всегда повествовательное предложение. По структуре мо-

жет быть простымили сложным.

В суждении выделяют субъект S (логическое подлежащее ) – это понятие, о котором идет речь в суждении;предикат P (логическое сказуемое )

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

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

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

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

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

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

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

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

Субъект S – "лекция по логике", предикат P – "сегодня состоится", связка в суждении опущена, есть частица не . Следовательно, это суждение простое, отрицательное.

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

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

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

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

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

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

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

Пример 4. Дано суждение " Некоторые студенты сдают экзамены до-

срочно ". Это простое суждение, выделим в нем логическое подлежащее и логическое сказуемое. S – "студент", P – "сдающий экзамены досрочно". Суждение по качеству является утвердительным, так как характер взаимосвязи субъекта и предиката выражен глаголом без частицы "не ". По количеству суждение частное, так как используется слово "некоторые ". Следовательно, суждение с помощью логических символов запишется в виде формулы S P(S).

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

Вид суждения, обозначение, формула и структура

Общеутвердительное (A):S

Все S есть P

Общеотрицательное (E):S

Ни одно S не есть P

Частноутвердительное (J):S

Некоторые S есть P

Частноотрицательное (O):S

Некоторые S не есть P

Отношения объемов понятий

S и P

Все фиалки (S) являются цветами (P) Дождливые дни (S) наводят скуку (P)

Ни один человек (S)

не любит нравоучений (P) Мушкетеры (S)

не уклоняются от дуэлей (P)

Некоторые люди (S)

играют в шахматы (P)

Среди людей (S)

встречаются флегматики (P)

Некоторые люди (S)

не знают вкус форели (P)Многие мушкетеры (S)не любили

кардинала (P)

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

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

димо построить его отрицание. Определим вид суждения и запишем его формулу. S – «книги», P – «сданы в библиотеку». Есть слово «все », отсутствует «не ». Получаем, что суждение по количеству общее и по качеству утвердительное:общеутвердительное (вид А).

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

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

Меняем квантор на противоположный: был, стал. Отрицание переходит на предикат.

Цепочка преобразований:

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

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

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

S – «студенты», P – «те, кто посещает лекции». Суждение по количеству частное («некоторые »), по качеству отрицательное (частица «не »). Получаемчастноотрицательное (вид О).

Запишем формулу

Строим отрицание по правилу. Квантор ме-

няем с на. Над предикатом появилось двойное отрицание: одно было по формуле, второе появилось в результате преобразования. Двойное отрицание просто убирается.

S Р(S) SP(S) SP(S)

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

Как видно из примеров суждения (А) и (О) находятся в отношении противоречия. То есть, отрицая суждение одного вида, всегда получаем сужение другого вида. Аналогичная картина для суждений (E) и (J).

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

Если рассмотреть все четыре вида суждений (A, E, J, O), образованных на одной паре понятий «субъект-предикат», то зная логическое значение одного из них, нередко можно указать значения трех других суждений. Данную зависимость между значениями в логике называют «логическим квадратом». Он представляет собой систему парных отношений между логическими значениями:

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

Пара общих суждений A-E – в отношении противоположности, что означает невозможность одновременно принимать значение «истина», но не исключает одновременную «ложь».

Пара частных суждений J-O – в отношенииподпротивности (подпротивоположности) , что, напротив предудущему отношению, означает невозможность одновременной «лжи», но допускает одновременную «истину». Пары утвердительных суждений A-J и отрицательных суждений E-O находятся в отношенииподчинения : если первое есть «истина», то второе также «истина» и напротив, если второе есть «ложь», то и первое также «ложь».

Данные шесть пар отношений можно изобразить на схеме в виде 4-х вершинного полного графа.

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

2.1. Ни один эгоист не может быть великодушным.

2.2. Всякий хирург является по образованию врачом.

2.3. Среди студентов встречаются инициативные люди.

2.4. Некоторые сообщения не соответствуют действительности.

2.5. Всем людям приходится рисковать.

2.6. Некоторые студенты не занимаются спортом.

2.7. Ни одно слово не должно остаться без внимания.

2.8. Некоторые люди владеют несколькими иностранными языками.

2.9. У некоторых больных нет температуры.

2.10. Не все предприниматели имеют высшее образование.

2.11. Некоторые океаны имеют пресную воду.

2.12. Некоторые студенты не являются отличниками.

2.13. Ни один студент нашей группы не живет в общежитии.

2.14. Каждый солдат мечтает стать генералом.

2.15. Все электроны являются элементарными частицами.

2.16. Ни один человек не застрахован от неудач.

2.17. Каждый студент КузГТУ изучает математику.

2.18. Часть военнослужащих являются офицерами.

2.19. Ни один прокурор не является адвокатом.

2.20. Все студенты рады окончанию сессии.

2.21. Некоторые растения не переносят сухую землю.

2.22. Всем спортсменам необходимы тренировки.

2.23. Есть певцы с великолепными голосами.

2.24. Каждый математик должен разбираться в логике.

2.25. Некоторые политики являются писателями.

2.26. Некоторые жители нашей страны имеют двойное гражданство.

2.27. Некоторые животные являются насекомыми.

2.28. Ни один поклонник не откажется от встречи с кумиром.

2.29. Некоторые растения не цветут в Сибири.

2.30. Никто из родителей не желает зла своим детям.

2. Свинцов В.И. Логика. Элементарный курс для гуманитарных специальностей. - М.: Скорина, Весь мир, 1998. - 351 с.

3. Оселедчик М.Б. Логика. Программа, планы семинарских занятий, задания для контрольных работ, методические указания. Для всех специальностей. - М.: Изд-во МГУП, 2007. - 108 с.

Дополнительная

1. Брюшинкин В.Н. Логика: Учебник. 3-е изд., доп. и исправ. - М.: Гардарики, 2001. -334 с.

2. Гетманова А.Д. Учебник логики. Со сборником задач. - 7-е изд., стер. - М.: КНОРУС, 2008. - 368 с.

3. Горский Д.П. Определение. - М.: Мысль, 1974.

4. Кириллов В.И., Орлов Г.А., Фокина Н.И. Упражнения по логике/Под ред. В.И.Кириллова. - 4-е изд., перераб. и доп. - М.: МЦУПЛ, 1999. - 160 с.

5. Малахов В.П. Формальная логика. - Учебник. - М.: Академический Проект, 2001. - 384 с.

6. Современный словарь по логике. - Мн.: «Современное слово», 1999. - 768 с.

7. Чуешов В.И. Основы современной логики: Учебное пособие/В.И. Чуешов. - Мн.: Новое знание, 2003. - 207 с.

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

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

Как более сложная форма мышления (по сравнению с понятием), суждение имеет определённую структуру, в которой можно выделить четыре элемента:

Субъект (S) - то, о чём идёт речь в суждении;

Предикат (Р) - то, что говорится о субъекте;

Связка (слова «есть», «является») - то, что соединяет субъект и предикат;

Квантор (слова «все», «некоторые», «ни один») - указатель на объём субъекта.

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

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

В зависимости от того, что утверждается или отрицается в суждении - принадлежность признака предмету или отношения между предметами, или факт существования предметов, -суждения делятся на три вида:

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

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

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

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

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

Каждый из видов простого суждения имеет своё название и условное обозначение:

- общеутвердительные суждения (обозначаются латинской буквой A ) - это суждения с общим объёмом субъекта и утвердительной связкой. Его формула: «Все S есть Р». Например: «Все студенты нашей группы изучают логику».

- частноутвердительные суждения (I) - это суждения с частным объёмом субъекта и утвердительной связкой: «Некоторые S есть Р». Например: «Некоторые студенты являются отличниками».

- общеотрицательные суждения (E) - это суждения с общим объёмом субъекта и отрицательной связкой: «Все S не есть Р (или «Ни одно S не есть Р»). Например: «Все планеты не являются звёздами» («Ни одна планета не является звездой»).

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

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

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

Имеет место и дополнительная классификация суждений:

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

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

Модальные суждения - это суждения, в которых дается дополнительная информация о типе зависимости между субъектом и предикатом.

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

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

Если в суждении речь идёт обо всех объектах, входящих в объём термина (то есть субъекта или предиката), то этот термин называется распределённым (взятым в полном объёме). Распределённый термин обозначается знаком «+», а на схемах Эйлера изображается полным кругом (кругом, который не содержит в себе другого круга и не пересекается с другим кругом).

Термин называется нераспределённым (взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в объём этого термина. Нераспределённый термин обозначается знаком «-», а на схемах Эйлера изображается неполным кругом (кругом, который содержит в себе другой круг или пересекается с другим кругом). Например, в суждении «Все акулы (S) являются хищниками (Р)» речь идёт обо всех акулах, значит, субъект этого суждения распределён. Однако в данном суждении речь идёт не обо всех хищниках, а только о части хищников (именно о тех, которые являются акулами), следовательно, предикат указанного суждения нераспределён. Изобразите отношения между объемами субъекта и предиката кругами и увидите, что распределённому термину (субъекту «акулы») соответствует полный круг, а нераспределённому (предикату «хищники») - неполный (попадающий в него круг субъекта как бы вырезает из него какую-то часть).

Обратите внимание, что распределённость терминов в простых суждениях может быть различной в зависимости от вида суждения. Субъект всегда распределён в суждениях вида A и E и всегда не распределён в суждениях вида I и O, а предикат всегда распределён в суждениях вида E и O, но в суждениях вида A и I он может быть как распределённым, так и нераспределённым в зависимости от характера отношений между ним и субъектом в этих суждениях.

Запоминать все случаи распределённости терминов в суждении совсем не обязательно. Достаточно уметь определять вид отношений между субъектом и предикатом в предложенном суждении и изображать их круговыми схемами. Полный круг, как уже говорилось, будет соответствовать распределённому термину, а неполный - нераспределённому.

3. Между простыми суждениями можно устанавливать отношения. Но при этом необходимо помнить, что простые суждения делятся на сравнимые и несравнимые. Устанавливать отношения можно только между сравнимыми понятиями.

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

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

Сравнимые суждения бывают, как и понятия, совместимыми и несовместимыми.

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

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

Совместимые суждения могут находиться в отношениях:

Равнозначности (это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают);

Подчинения (это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода).

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

Несовместимые суждения могут находиться в отношениях:

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

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

Рассмотренные отношения между простыми сравнимыми суждениями изображаются схематически с помощью логического квадрата. Посмотрите по учебнику, что собой представляет логический квадрат. Вершины квадрата обозначают четыре вида простых суждений (A, I, E, O), а его стороны и диагонали - отношения между ними.

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

Необходимо также иметь в виду, что истинностные значения каждого из сравнимых суждений определённым образом связаны с истинностными значениями остальных. Так, если суждение вида A является истинным или ложным, то три других сравнимых с ним суждения (I, E, O) тоже будут истинными или ложными. Например, если суждение вида A «Все тигры - это хищники» является истинным, то суждение вида I «Некоторые тигры - это хищники» также является истинным, а суждение вида E «Все тигры не являются хищниками» и суждение вида O «Некоторые тигры не являются хищниками» будут ложными.

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

- конъюнктивное суждение (конъюнкция) . Оно может состоять из двух и большего числа простых суждений. Например, суждение «Сверкнула молния, и загремел гром, и пошёл дождь». Его формула: (), где a, b, с -простые суждения, а символ «опред-е">дизъюнктивное суждение (дизъюнкция) может быть строгим и нестрогим и состоять из двух и большего числа простых суждений.

Формула нестрогой дизъюнкции : формула" src="http://hi-edu.ru/e-books/xbook912/files/f3.gif" border="0" align="absmiddle" alt="» обозначает разделительные союзы «или», «либо», «то ли» в неисключающем (соединительно-разделительном) значении. Примером такого суждения будет: «Он изучает английский, или он изучает немецкий». Эти два простых суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно.

Формула строгой дизъюнкции: формула" src="http://hi-edu.ru/e-books/xbook912/files/f6.gif" border="0" align="absmiddle" alt="» обозначает разделительные союзы «или», «либо», «то ли» в исключающем (разделительном) значении. Примером такого суждения будет: «Он изучает английский язык или он не изучает английский язык». Эти два простых суждения друг друга исключают, ведь невозможно одновременно делать и не делать одно и то же.

- импликативное суждение (импликация) всегда состоит из основания и вытекающего из него следствия. Например, суждение «Если вещество является металлом, то оно электропроводно»..gif" border="0" align="absmiddle" alt="» обозначает условные союзы «если … то», «когда…тогда». Отметьте, что поменять местами основание и следствие нельзя.

- эквивалентное суждение (эквиваленция) состоит из двух равнозначных (тождественных) суждений, поэтому в нем, в отличие от импликации, не может быть ни основания, ни следствия. Например, суждение «Если число является чётным, то оно делится без остатка на 2»..gif" border="0" align="absmiddle" alt="» обозначает союзы «если и только если … то», «когда и только когда…тогда». Нетрудно заметить, что простые суждения «Число является чётным» и «Число делится без остатка на 2» связаны так, что из первого вытекает второе, а из второго - первое.

- отрицательное суждение (отрицание) представляет собой сложное суждение с союзом «неверно, что…», который обозначается символом «формула" src="http://hi-edu.ru/e-books/xbook912/files/f11.gif" border="0" align="absmiddle" alt="a , где a - этопростое суждение (какое-то утверждение), а знак «пример">простым отрицательным суждением . Например, «Земля не является шаром». Если же отрицание внешним образом присоединяется к суждению («Неверно, что земля шар»), то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.

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

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

Например, чтобы формализовать следующее высказывание: «В.В.Маяковский родился в 1891 г. или в 1893 г. Однако известно, что он родился не в 1891 г. Следовательно, он родился в 1893 г.», - надо сначала выделить входящие в него простые суждения и установить вид логической связи между ними. В приведённое высказывание входят два простых суждения: «В.В.Маяковский родился в 1891 г.», «В.В. Маяковский родился в 1893 г..gif" border="0" align="absmiddle" alt=". И, наконец, из этой конъюнкции вытекает утверждение второго простого суждения («он родился в 1893 г.»), и получается импликация: ">

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

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

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

Если в результате формализации какого-либо рассуждения получается тождественно-истинная формула, то такое рассуждение является логически безупречным. Если же результатом формализации будет тождественно-ложная формула, то рассуждение следует признать логически неверным (ошибочным). Выполнимая (нейтральная) формула свидетельствует о логической корректности того рассуждения, формализацией которого она является.

Теперь составим таблицу истинности для формулы опред-е">2n , где n - число переменных (простых высказываний) в формуле. Поскольку в нашей формуле только две переменных, то в таблице должно быть четыре строки. Количество колонок в таблице равно сумме числа переменных и числа логических союзов, входящих в формулу..gif" border="0" align="absmiddle" alt=" a. Пятая колонка - это истинностные значения конъюнкции, состоящей из вышеуказанной строгой дизъюнкции и отрицания, и, наконец, шестая колонка - это истинностные значения всей формулы, или импликации. Рассматриваемая формула принимает здесь значение «истинно» при всех наборах истинностных значений входящих в неё переменных, следовательно, она является тождественно-истинной, а сложное суждение, формализацией которого она выступает, логически безупречно.

Для выполнения упражнений по теме «Суждение» следует пользоваться следующим алгоритмом:

1) Определить тип анализируемого языкового выражения, является ли оно вопросительным, побудительным или повествовательным предложением.

2) Если предложение повествовательное или представляет собой риторический вопрос, восклицание, то содержит суждение. Определить, является ли суждение простым или сложным.

3) Если суждение простое, определить, является ли оно экзистенциальным, реляционным или атрибутивным.

4) Если суждение атрибутивное, определить его тип по соединенной классификации по качеству и количеству (частноутвердительное, частноотрицательное, общеутвердительное, общеотрицательное).

5) Указать, является ли оно выделяющим или исключающим.

6) Определить модальность суждения.

7) Выделить термины (субъект и предикат) суждения и определить их распределенность в суждении.

8) Если суждение сложное, определить входящие в него простые суждения и типы соединяющих их логических связок.

9) выявить логическую форму суждения, записав ее в виде соответствующей формулы.

10) Проверить логическую правильность сложного суждения, построив таблицу истинности.

1. Определите, какие из следующих предложений являются суждениями:

1) «Как хочется спать!»; 2) «Поспать бы!»; 3) «Хочется спать»; 4) «Который час?»; 5) «Вселенная бесконечна»; 6) «Это не случится никогда!»; 7) Кода же наступит этот день?».

2. Определите качество и количество следующих суждений. Приведите эти суждения к одной из четырех форм- А, Е, I или О.

1) Имена собственные пишутся с большой буквы.

2) Слова могут быть разделены на слоги.

3) Остальные слоги называются неударными.

4) Некоторые современники динозавров не вымерли до сих пор.

5) Никто его не понял.

6) В русском языке не все слова имеют ударения.

7) Один в поле не воин.

3. Установите распределенность субъекта и предиката в следующих суждениях и изобразите отношения между ними с помощью кругов Эйлера.

1) Туча мглою небо кроет.

2) Не все студенты являются отличниками.

3) Ни один страус не летает.

4) Многие люди не говорят по-английски.

5) Каждый охотник желает знать, где сидит фазан.

4. Определить, в каком отношении находятся следующие суждения:

1) Все киты дышат легкими. Некоторые киты не дышат легкими.

2) Некоторые животные являются беспозвоночными. Некоторые животные не являются позвоночными.

3) Ни один человек не является бессмертным. Некоторые люди не являются бессмертными.

4) Некоторые люди любят танцевать. Некоторые люди любят петь.

5) Каждый человек желает быть счастливым. Некоторые люди не желают быть счастливыми.

5. Запишите на языке логики высказываний следующие сложные суждения:

1) Если у данной геометрической фигуры все углы прямые и стороны равны, то это квадрат.

2) В этом году в лесу много грибов: подосиновиков, сыроежек, белых, рыжиков.

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

6. Укажите, в каких примерах союзу «или» придается смысл слабой дизъюнкции, а в каких строгой.

1) Петров - спортсмен или студент.

2) Петров виновен или невиновен.

3) Это блюдо вкусное или сладкое.

4) Он будет слушать музыку или танцевать.

5) Он будет работать или отдыхать.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

	+	-
Все	Аsp	Esp
Некоторые	Isp	Osp

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

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

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

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

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

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

1)субъекта суждения – это понятие о предмете суждения. Субъект суждения обозначается буквой S (от латинского слова subjectum );

2)предиката суждения – понятия о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum ) ;

3)связки , выражаемой в русском языке словами «есть», «является», «суть».

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

ВИДЫ ПРОСТЫХ СУЖДЕНИЙ

1. Суждения свойства (атрибутивные):

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

Схемы этого вида суждения: « S есть Р » или « S не есть Р».

Примеры : «Мед сладкий», «Шопен не является драматургом».

2. Суждения с отношениями:

суждения, отражающие отношения между предметами.

Формула , выражающая суждение с двуместным отношением, записывается как а Rb или R (а, b ), где а и b – имена предметов (члены отношения), а R – имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не только о двух, но и о трех, четырех или большем числе предметов, например: «Москва находится между Санкт-Петербургом и Киевом». Такие суждения выражаются формулой R (a , a , a ,…, a ).

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

3. Суждения существования (экзистенциальные):

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

Схемы этого вида суждения: « S есть Р » или « S не есть Р».

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

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

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

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

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

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

Структура общего суждения : «Все S суть (не суть) Р». Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.

Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только». Примеры выделяющих суждений: «Брэгг пил только дистиллированную воду»; «Смелый человек не боится правды. Ее боится только трус» (А. К. Дойл).

Среди общих суждений имеются исключающие суждения, например: «Все металлы при температуре 20°С, за исключением ртути, твердые». К числу исключающих суждений относятся и те, в которых выражены исключения из тех или иных правил русского или иных языков, правил логики, математики, других наук.

Частные суждения имеют структуру : «Некоторые S суть (не суть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые ягоды ядовиты» – неопределенное частное суждение. Мы не установили, обладают ли признаком ядовитости все ягоды, но не установили и то, что признаком ядовитости не обладают некоторые ягоды. Если мы установили, что «только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S суть (не суть) Р». Примеры: «Только некоторые ягоды ядовиты»; «Только некоторые фигуры являются сферическими»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.

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

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

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

1.Определить квантор, субъект и предикат высказывания.

2.Поставить кванторные слова «все» («ни один») или «некоторые» в начале высказывания.

3.Поставить субъект высказывания после кванторного слова.

4.Поставить логическую связку «есть» («суть») или «не есть» («не суть») после субъекта высказывания.

5.Поставить предикат высказывания после логической связки.

При выполнении последней операции следует иметь в виду следующее:

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

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

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

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

1. А – общеутвердительное суждение.

Структура: «Все S суть Р».

Пример: «Все люди хотят счастья».

2. I – частноутвердительное суждение.

Структура: «Некоторые S есть Р».

Пример: «Некоторые уроки стимулируют творческую активность учащихся».

ü Условные обозначения для утвердительных суждений взяты от слова affirmo , или утверждаю; при этом берутся две первые гласные буквы: А – для обозначения общеутвердительного и I – для обозначения частноутвердительного суждения.

3. Е – общеотрицательное суждение.

Структура: «Ни одно S не есть Р».

Пример: «Ни один океан не является пресноводным».

4. O – частноотрицательное суждение.

Структура: «Некоторые S не есть Р».

Пример: «Некоторые спортсмены не являются чемпионами Олимпийских игр».

ü Условное обозначение для отрицательных суждений взяты от слова nego , или отрицаю.

В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным , если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным , если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).

1. Суждение А – общеутвердительное . Его структура: «Все S суть Р ».

Рассмотрим два случая:

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

Пример 2 . В суждении «Все квадраты – равносторонние прямоугольники» термины такие: S – «квадрат», Р – «равносторонний прямоугольник» и квантор общности – «все». В этом суждении S распределен и P распределен, ибо их объемы полностью совпадают. Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.

2. Суждение I – частноутвердительное . Его структура: «Некоторые S суть Р ». Рассмотрим два случая.

Пример 1 . В суждении «Некоторые подростки – филателисты» термины такие: S – «подросток», Р – «филателист», квантор существования – «некоторые». Субъект не распределен, так как в нем мыслится только часть подростков, т.е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками). Если понятия S и Р перекрещиваются, то Р не распределен.

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

3. Суждение Е – общеотрицательное . Его структура: «Ни одно S не суть Р ». Например : «Ни один лев не есть травоядное животное». В нем термины такие: S – «лев», Р – «травоядное животное» и кванторное слово – «ни один». Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S , и Р распределены.

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

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

Представим это в таблице распределенности терминов :

Термины/ Вид суждения	A	E	I	O
S
P
P выделяющих суждений

Субъект распределен в общих и не распределен в частных суждениях. Предикат распределен в отрицательных и не распределен в утвердительных суждениях. В выделяющих суждениях предикат распределен.

Обозначения: + – распределенность термина;

– – нераспределенность термина

· СУЖДЕНИЯ С ОТНОШЕНИЯМИ суть такие суждения, в которых взаимосвязь между двумя терминами – субъектом и предикатом выражается не с помощью связки («есть», «является» и т.п.), а с помощью отношения, в котором что-либо утверждается или отрицается в отношении двух (нескольких) терминов. В такого типа суждениях предикат – отношение, а субъект – два (или несколько) понятий. По количеству понятий, входящих в субъект, определяется местность отношения.

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

• Отношение называется симметричным (от лат. «соразмерность»), если оно имеет место как между предметами x и y , так и между предметами y и x (если х равно (сходно с, одновременно) y , то и y равно (сходно с, одновременно) х .
• Отношение называется рефлексивным (от лат. «отражение»), если каждый член отношения находится в таком же отношении к самому себе (если х =у , то х =х и у =у ).
• Отношение называется транзитивным (от лат. «переход»), если оно имеет место между х и z , тогда, когда оно имеет место между х и у и между у и z (если х равно у и у равно z , то х равно z ).

Всякое суждение выражается в предложении, но не всякое предложение выражает суждение.

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

Ø Вопросительные предложения не содержат в своем составе суждения, так как в них ничего не утверждается и не отрицается. Они не истинны и не ложны. Например: «Когда ты начнешь работать в саду?» или «Эффективен ли этот метод изучения иностранного языка?». Если в предложении выражен риторический вопрос, – например: «Кто не хочет счастья?», «Кто из вас не любил?» или «Есть ли что-нибудь чудовищнее неблагодарного человека?» (В. Шекспир), или «Есть ли человек, который смотрит в минуту раздумья на реку и не вспоминает о постоянном движении всех вещей?» (Р. Эмерсон), – то в нем содержится суждение, так как налицо утверждение, уверенность, что «Все хотят счастья» или «Все люди любят» и т. п.

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

Побудительные предложения не содержат в своем составе суждений: («Следите за здоровьем»; «Не разводите костры в лесу», «Иди не на каток, а в школу!»). Но предложения, в которых сформулированы воинские команды и приказы, призывы или лозунги, выражают суждения, однако не ассерторические, а модальные (модальные суждения включают в свой состав модальные операторы, выраженные словами: возможно, необходимо, запрещается, доказано и пр.). Например: «Берегите мир!», «Приготовьтесь к старту!», «Мой друг! Отчизне посвятим души прекрасные порывы» (А.С. Пушкин). Эти предложения выражают суждения, но суждения модальные, включающие в себя модальные слова. Как отмечает А.И. Уемов, выражают суждения и такие побудительные предложения: «Берегите мир!», «Не кури!», «Выполняй взятые на себя обязательства!». «Перед любым приемом пищи ешьте салат из сырых овощей или сырые фрукты» и «Не вредите себе перееданием» – эти советы (призывы) знаменитого американского ученого Поля Брэгга, взятые из его книги «Чудо голодания», являются суждениями. Является суждением и призыв: «Люди мира! Соединим усилия в решении общечеловеческих, глобальных проблем!».

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

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

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

II . Виды и логическая вероятность сложных суждений

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

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

Союз "и" употребляется в разных значениях. Например, предложения "Петров изучил английский язык, и он изучил французский язык" и "Петров изучил французский язык, и он изучил английский язык" выражают одно и то же суждение, а предложения "Петров окончил университет и поступил в аспирантуру" и "Петров поступил в аспирантуру и окончил университет" выражают разные суждения.

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

1. (Неопределенно) конъюнктивные суждения образуются из двух суждений посредством союза, обозначаемого символом & (читается "и") и называемого знаком (неопределенной) конъюнкции. Определением знака конъюнкции является таблица, показывающая зависимость истинности конъюнктивного суждения от истинности составляющих его суждений.
2. Последовательно конъюнктивные суждения. В этих суждениях утверждается последовательное возникновение или существование двух или более ситуаций. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами & ® 2 , & ® 3 и т. д. в зависимости от числа суждений, из которых они образованы. Эти символы называются знаками последовательной конъюнкции и соответственно читаются «…, а затем..», "..., затем..., а затем..." и т.д. Индексы 2,3 и т.д. указывают на местность союза. Форма суждения со знаком двухместной последовательной конъюнкции: & ® 2 (А,В) или (А& ® 2 В). Пример суждения этой формы: "Покупатель оплатил стоимость товара, а затем продавец выдал товар". Вместо выражения "а затем" чаще всего употребляется союз "и": "Покупатель оплатил стоимость товара, и продавец выдал товар". Форма суждения с трехместным союзом. Пример : "Петров заложил квартиру, затем внес деньги в пирамиду, а затем стал человеком без определенного места жительства".
3. Одновременно конъюнктивные суждения. Эти суждения образуются из двух суждений посредством союза "и", называемого знаком одновременной конъюнкции. Обозначение - & = . В этих суждениях утверждается одновременное существование двух ситуаций. Пример: "Идет дождь, и светит солнце".

1. Дизъюнктивные, или нестрого-разделительные, или соединительно-разделительные, суждения. В этих суждениях утверждается наличие по крайней мере одной из двух ситуаций. Они образуются из двух суждений посредством союза "или", обозначаемого знаком v (читается "или"), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции).
2. Строго-дизъюнктивные, или строго-разделительные, суждения. В этих суждениях утверждается наличие ровно одной из двух, трех или более ситуаций. Они образуются из двух, трех и т.д. суждений посредством союзов "или..., или..." ("либо..., либо..."), "или..., или..., или..." и т.д. Иногда союз "или..., или..." заменяется союзом "или", а его разделительный смысл определяется контекстом. Союзы, посредством которых образуются строго-дизъюнктивные суждения, обозначаются знаком v .

III . Условные суждения выражаются как правило, предложениями с союзом "если …, то …". В них утверждается, что наличие одной ситуации обусловливает наличие другой. Пример: "Если солнце находится в зените, то тени от него являются самыми короткими". В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится между словом "если" и словом "то". Часть условного суждения, которая находится после слова "то", называется следствием . В суждении "Если идет дождь, то крыши домов мокрые" основанием является простое суждение "идет дождь", а следствием - "крыши домов мокрые".

Более строго условное суждение определяется посредством понятия достаточного условия. Условие является достаточным для какого-либо события, какой-либо ситуации, если, и только если, всегда, когда имеется это условие, имеется и событие (ситуация). Так, наличие свободных электронов в веществе является достаточным условием для того, чтобы вещество было электропроводным. Условным называется суждение, в котором ситуация, описываемая основанием, является достаточным условием для ситуации, описываемой следствием. Условный союз "если..., то…" обозначается стрелкой (® ).

IV . Контрфактические суждения. Пример: "Если бы Петров был президентом, то не ездил бы по городу на автобусе". Как и в условных суждениях, в этих суждениях выделяют основание и следствие. Союз "если бы…, то…" обозначается знаком É , который называется знаком контрфактической импликации. Суждение имеет такой смысл ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие

V . Эквивалентные суждения. В суждениях эквивалентности утверждается взаимная обусловленность двух ситуаций. Эти суждения выражаются, как правило, посредством предложений с союзом "если, и только если, ..., то..." ("тогда, и только тогда, …, когда..."). В них тоже можно выделить основания и следствия. Основание в них выражает достаточное и необходимое условие для ситуации, описываемой следствием (Условие называется необходимым для данного события (ситуации, действия и т.д.), если, и только если, при его отсутствии это событие не происходит.) Союз "если, и только если, …, то ", употребляемый в описанном смысле, обозначается символом º

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

VI . Суждение с внешним отрицанием. Это такое высказывание, в котором утверждается отсутствие некоторой ситуации.

Внешнее отрицание обозначается символом «l» (знаком отрицания). Данному знаку в естественном языке соответствует отрицание «не» или выражение «неверно, что», которые обычно стоят в начале предложения. Располагая выражение «неверно, что» перед произвольным ложным высказыванием, получаем истинное высказывание, а из истинного высказывания посредством подстановки к нему выражения «неверно, что», образуем ложное высказывание. Суждение с внешним отрицанием относится к сложным суждениям и образуется из простого посредством отрицания.

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

Итак, конъюнкция (а b ) истинна тогда, когда оба простых суждения истинны. Строгая дизъюнкция (a b ) истинна тогда, когда только одно простое суждение истинно. Нестрогая дизъюнкция (a b ) истинна тогда, когда хотя бы одно простое суждение истинно. Импликация (a É b ) истинна во всех случаях, кроме одного - когда а - истинно, b - ложно. Эквиваленция (a º b ) истинна тогда, когда оба суждения истинны или оба ложны. Отрицание (ù a ) истины дает ложь, и наоборот.

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

Ø Сложное суждение, логическая форма которого принимает значение «истина» при всех наборах значений составляющих его переменных, называется логически необходимым . Другими словами, сложные суждения, которые во всех строках результирующего столбца таблиц истинности принимают значение «истина» являются логически необходимыми (логически истинными) суждениями. Логическая форма логически необходимого суждения выражается тождественно-истинной формулой, которая при любом истинностном значении переменных принимает значение «истина», то есть ее результирующий столбец состоит только из «И». Тождественно-истинные формулы являются основой логически правильных высказываний. Каждая такая формула рассматривается как закон логики (логическая тавтология).

Ø Сложное суждение, логическая форма которого принимает значение «ложь» при всех наборах значений составляющих его переменных, называется логически невозможным . Другими словами, сложные суждения, которые со всех сторон результирующего столбца таблицы истинности принимают значение «ложь» являются логически невозможными (логически ложными) суждениями. Логическая форма логически невозможного суждения выражается тождественно-ложной формулой, которая принимает значение «ложь» при любом истинностном значении переменных, то есть ее результирующий столбец состоит только из «Л». Тождественно-ложные формулы называются противоречиями .

Ø Сложное суждение, логическая форма которого в результирующем столбце таблицы истинности принимает значения как «истина», так и «ложь», называется логически случайным . Логическая форма логически случайного суждения выражается нейтральной (собственно выполнимой) формулой, результирующий столбец которой состоит как из «И», так и из «Л».

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

III . Отрицание суждений

ОТРИЦАНИЕ СУЖДЕНИЯ – это операция, состоящая в преобразовании логического содержания отрицаемого суждения, конечным результатом которой является формулирование нового суждения, находящегося в отношении противоречия к исходному суждению.

При отрицании простых атрибутивных суждений :

1)общее суждение меняется на частное, и наоборот;

2)утвердительное суждение меняется на отрицательное, и наоборот.

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

ù А равнозначно О ù О равнозначно А

ù Е равнозначно I ù I равнозначно Е

Отрицание сложных суждений производится согласно следующим эквивалентностям:

ù (А & В) равнозначно ù А v ù В; по закону де Моргана

ù (А vВ) равнозначно ù А & ù В;

ù (А É В) равнозначно А & ù В;

ù (А º В) равнозначно (ù А & В) v (А & ù В);

ù (А v В) равнозначно А º В

IV . Отношение между суждениями

Отношения между суждениями по истинности принято схематически изображать в виде «логического квадрата»:

ЛОГИЧЕСКИЙ КВАДРАТ

ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ

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

Отношения

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

МОДАЛЬНОСТЬ – это выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.

Ассерторические суждения, то есть атрибутивные и реляционные суждения, а также образованные из них сложные высказывания можно рассматривать как суждения с неполной информацией. Основной функцией атрибутивного суждения является отражение связей между предметом и его признаками. О предмете S можно просто сказать, что он имеет свойство P . Такое атрибутивное суждение является просто утверждением. Наряду с просто утверждением (отрицанием) выделяют так называемые сильные и слабые утверждения и отрицания, которые являются модальными суждениями.

ОСНОВНЫЕ ВИДЫ МОДАЛЬНОСТЕЙ:

Ø АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженная в суждении посредством модальных понятий «необходимо», «обязательно», «непременно», «случайно», «возможно», «может быть», «не исключается», «допускается» и др. информация о логической или фактической детерминированности суждения. В алетической группе выделяют онтологическую (фактическую ) модальность, которая связана с объективной детерминированностью суждений, когда их истинность или ложность определяется ситуацией, имеющей место в реальной действительности , и логическую модальность , которая связана с логической детерминированностью суждения, когда истинность или ложность определяется формой или структурой суждения .

Ø ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ – это выраженная в суждении посредством модальных операторов «известно», «неизвестно», «доказуемо», «опровержимо», «предполагается» и т.д. информация об основаниях принятия и степени его обоснованности.

Ø ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям. К деонтическим относят и нормы права (здесь можно выделить следующие операторы: «обязан», «должен», «надлежит», «признается», «запрещается», «не может», «не допускается», «имеет право», «может иметь», «может принять» и др.).

Модальность суждения (р ) представляется с помощью оператора М , по схеме Мр (например, «возможно Р»). Истинность модального суждения зависит от истинности суждения, стоящего под модальным оператором, и от типа модального оператора.

Модальные простые суждения

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

p É q ); M (p º q ).

Пример: Из сложного высказывания «Если температура выше 100 градусов, то вода превращается в пар» можно получить модальное высказывание «Физически необходимо, что если температура выше 100 градусов, то вода превращается в пар».

VI . Понятие логического закона

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

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

Как уже отмечалось, логической формой мысли является строение мысли, то есть способ связи ее составных частей. Так, между мыслями, логические формы которых представлены выражениями «Все S есть Р» и «все Р есть S » имеется связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от конкретного содержания этих мыслей. Связи между мыслями, при которых истинность одних с необходимостью обусловливают истинность других, определяют формально-логические законы, или законы логики.

§ ЗАКОНЫ ЛОГИКИ – это такие выражения, которые являются истинными только в силу своей логической формы, то есть только на основании связи их составляющих. Другими словами, логическим законом является сама логическая форма, гарантирующая истинность выражения при любом содержании.

§ ЗАКОН ЛОГИКИ – это выражение, содержащее только константы и переменные и являющееся истинным в любой (непустой) предметной области (так, любой закон логики высказываний или логики предикатов является примером логического закона). Это так называемые законы связи между мыслями . Логические законы принято называть также тавтологиями .

§ ЛОГИЧЕСКАЯ ТАВТОЛОГИЯ – это «всегда истинное выражение», то есть остающееся истинным независимо от того, о какой области объектов идет речь. Любой закон логики является логической тавтологией.

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

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

аº а (в логике высказываний) и Аº А (в логике классов, в которой классы отождествляются с объемами понятий).

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

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

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

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

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

Отождествление (или идентификация) широко используется в следственной практике, например, при опознании предметов, людей, отождествлении почерков, документов, подписей на документе, отождествлении отпечатков пальцев.

2. Закон непротиворечия: Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его . Если же человек, утверждая что-либо, отрицает то же самое или утверждает нечто несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия – это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира.

Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама – приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой – автор романа «Воскресение» и «Лев Толстой не является автором романа «Воскресение».

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

Не могут быть одновременно истинными следующие четыре типа простых суждений:

∧ ā. Закон непротиворечия читается так: «Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том отношении». К противоположным суждениям относятся: 1) противные (контрарные) суждения А и Е , которые оба могут быть ложными, поэтому не являются отрицающими друг друга, и их нельзя обозначить как а и ā; 2) противоречащие (контрадикторные) суждения А и О , Е и I , а также единичные суждения «Это S есть P » и «Это S не есть Р», которые являются отрицающими, так как если одно из них истинно, то другое обязательно ложно, поэтому их обозначают а и ā.

Формула закона непротиворечия в двузначной классической логике а ∧ ā отражает лишь часть содержательного аристотелевского закона непротиворечия, так как она относится только к противоречащим суждениям (а и не-а) и не распространяется на противные (контрарные суждения). Поэтому формула а∧ ā неадекватно, не полностью представляет содержательный закон непротиворечия. Следуя традиции, мы за формулой а∧ ā сохраняем название «закон непротиворечия», хотя оно значительно шире, чем данная формула.

Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, отрицается и считается ложным. Поэтому в полемике при опровержении мнения оппонента широко используется метод «приведения к абсурду».

3. Закон исключенного третьего: Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано . Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Если одно из противоречащих суждений обозначить переменной а , то другое следует обозначить ā . Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного – суждения не может быть.

Отрицающими являются следующие пары суждений:

1) «Это S есть Р» и «Это S не есть Р» (единичные суждения).

2) «Все S есть Р» и «Некоторые S не есть Р» (суждения А и О ).

3) «Ни одно S не есть Р» и «Некоторые S есть Р» (суждения Е и I ).

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

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

Закон исключенного третьего и в содержательном, и в формализованном виде охватывает один и тот же круг суждений – противоречащие, т.е. отрицающие друг друга. Формула закона исключенного третьего: А v ù А

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

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

Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика - это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в 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 вариант. После выбора вами одного из вариантов, система автоматически переходит к следующему вопросу. На получаемые вами баллы влияет правильность ваших ответов и затраченное на прохождение время. Обратите внимание, что вопросы каждый раз разные, а варианты перемешиваются.