18. Атрибутивные суждения, суждения с отношениями, суждения существования.

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

Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. На­пример, «Благополучие государства зависит от законов» (Аристотель).

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

19. Сложные суждения. Язык исчисления высказываний.

Выделяют следующие виды сложных суждений: 1)соединительные (конъюнкция);

2) разделительные (дизъюнкция);

3) условные (импликация);

4) эквивалентные.

5) отрицательные 1) Конъюнкция – образуется из нескольких простых, связанных логической связкой «и». Например, «Никто не забыт и ничто не забыто» .Символическая запись – «А˄В», (а и в)

Для конъюнкции свойственна взаимозаменяемость положения членов конъюнкции

2)Дизъюнкция состоит из нескольких простых, связанных логической связкой «или»: А V В.

Выделяют две разновидности разделительного суждения:

1) нестрогую (слабую) дизъюнкцию;

2) строгую (сильную) дизъюнкцию.

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

Сильная дизъюнкция – образуется логической связкой «либо», и ее составляющие исключают друг друга. Строгая дизъюнкция истинна только тогда, когда одно из суждений истинно, а другое – ложно. (символ V.) «Он учится или в 9 классе, или в 11 классе»

3) Импликация – суждения объединяются на основе логической связки «если... то», например: «Если будет хорошая погода, то соревнования состоятся». Символ «→»

4)Эквивалентные суждения – это суждения с взаимной условной зависимостью, выражаемые логической связкой «если и только если..., то...». Например, если и только если человек достиг пенсионного возраста, то он имеет право на получение пенсии по возрасту. Символ «↔». 5)Отрицательные суждения - суждение, образованное с помощью союза «не». Например, имеем суждение: «Человек совершил преступление» (р). Его отрицанием будет: «Неверно, что человек совершил преступление» p). Смысл отрицания состоит в следующем: если какое-то суждение (р) - истинно, то его отрицание (p) будет ложным. Если p - ложно, то его отрицание p - истинно. Союз «не» меняет значение истин­ности на противоположное. Символ «¬»

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

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

Существует большое разнообразие модальностей, которые разделены на классы. Но мы рассмотрим только вида модальностей, которые считаются наиболее часто употребляемыми в познавательном процессе: алетическую, эпистемическую и деонтическую.

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

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

Операторы таких суждений: доказуемо, недоказуемо, неразрешимо, опровержимо.

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

III. Деонтическая модальность (слово «деонтический» означает в греческом языке «обязанность») – это выраженная в суждении информация, побуждающая людей к определенным поступкам. В естественном языке высказывание строится в форме совета, пожелания, команды, правила поведения или приказа. В таких суждениях часто присутствуют операторы запрещено, разрешено, имеет право, обязан, должен. Например: «Лекции по логике желательно слушать с большим вниманием»; «Не рекомендуется пропускать семинарские занятия по логике». «Граждане нашей страны имеют право на отдых; запрещено посещать библиотеку без читательского билета»; «В нашей стране разрешено получать паспорт с 14-ти лет, а водительские права – с 18-ти».

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

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

21.Таблицы истинности для сложных суждений

1 .Конъюнктивное суждение истинно, если истинны все его члены, и ложно, если хотя бы один из них ложен.

2. Нестрогая дизъюнкция истинна, если истинен хотя бы один ее член, и ложна, если ложны все члены.

3. Строгая дизъюнкция истинна, если истинен только один ее член, в остальных случаях она ложна.

4 . Условное суждение истинно во всех случаях, кроме одного: когда из истинного основания вытекает ложное следствие. Некоторое затруднение вызывает третья строка, когда при ложном основании и истинном следствии сложное суждение оказывается истинным. Разберем это подробнее. Например: "Если информация была недостоверной, то и решение найдено неверно". Но ведь решение могло быть неверным и по другим причинам: вследствие ошибок в методологии принятия решений, логических ошибок при оперировании вполне достоверной информацией и т.п. Таким образом, истинность В при ложности А не опровергает идею о наличии условной связи между ними.

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

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