Суждение как логико-структурная форма мышления
МИНИСТЕРСТВО ВНУТРЕННИХ ДЕЛ РОССИЙСКОЙ ФЕДЕРАЦИИ
БЕЛГОРОДСКИЙ ЮРИДИЧЕСКИЙ ИНСТИТУТ
Кафедра гуманитарных и социально-экономических дисциплин
Дисциплина: "Логика"
ЛЕКЦИЯ
по теме: " Суждение как логико-структурная форма мышления "
Подготовил:
Слушатель 555 группы
факультета юриспруденция
Моргунов И.Т.
Белгород – 2008
Содержание
Вопрос № 1. Простые категорические суждения и их структура. Отношения между простыми суждениями.................................................................................... 3
Вопрос № 2. Сложные суждения и их виды. Методика анализа сложных суждений 11
Вопрос № 3. Понятие модальности суждения. Классификация видов суждений по модальности.................................................................................................. 31
Список используемой литературы............................................................... 39
Вопрос № 1. Простые категорические суждения и их структура. Отношения между простыми суждениями
Мир вещей не только существует как реальность, но вещи в мире всегда находятся во взаимной связи друг с другом. В этом смысле форма мышления, отражающая связи вещей, называется суждением. Логически связи вещей выражаются в том, что в суждении они либо утверждаются, либо отрицаются. Таким образом, суждение есть форма мышления, в которой утверждается или отрицается сам факт существования предмета, а также утверждаются или отрицаются отношения между предметами. При этом данные высказывания могут выступать как истинные или ложные. Предметно суждения выражаются с помощью повествовательных предложений (не вопросительных и не восклицательных!).
Нетрудно увидеть, что любая связь есть как минимум связь двух предметов. Следовательно, суждение есть как минимум связь двух по"то"(p Ù q)
И
И
И
И
л
Л
Л
и
л
л
л
Образно отношение в конъюнктивном суждении можно выразить высказыванием: "В огороде бузина (p), в Киеве дядька (q)" (p Ù q).
Разделительные суждения иначе называются дизъюнктивными (от лат. disjunctio – разделяю). Разделение здесь осуществляется посредством союза "или". Записывается разделение как p Ú q, что и называется логической операцией "дизъюнкция". Дизъюнкция при этом бывает как строгая (сильная), так и нестрогая (слабая). Строгая дизъюнкция (записывается как p q) употребляется только в разделительном смысле. Члены строгой дизъюнкции называются в логике альтернативами.
Пример:
"Преступления могут быть либо неумышленными, либо умышленными".
Нетрудно видеть, что в приведенном сложном суждении дизъюнктивно связаны два простых суждения:
1) Преступления могут быть неумышленными (p);
2) Преступления могут быть умышленными (q).
Здесь две альтернативы.
Таким образом, указанное сложное суждение с учетом выявленных простых суждений может быть записано в виде следующей формулы:
p q.
Вновь обратим внимание, что не всякое строгое разделение суждений дает устойчиво истинный результат. Как это выглядит, видно из приведенной ниже таблицы:
"или""или"q | "то"(p q) | |
И | И | Л |
И | л | И |
Л | и | И |
Л | л | л |
Образно отношение в строгом дизъюнктивном суждении можно выразить высказыванием: "Или пан (p), или пропал (q)" (p q).
Нестрогая дизъюнкция (записывается как p Ú q) употребляется уже не в чисто разделительном, а в разделительно-соединительном смысле.
Пример:
"В уголовном праве ошибка может быть обозначена либо как фактическая, либо как логическая".
Нетрудно видеть, что в приведенном сложном суждении дизъюнктивно объединены два простых суждения, что по отдельности дает три смысла:
1) В уголовном праве ошибка может быть обозначена как фактическая (p);
2) В уголовном праве ошибка может быть обозначена как логическая (q).
3) В уголовном праве ошибка может быть обозначена как одновременно фактическая и логическая (p Ùq).
Таким образом, указанное сложное суждение с учетом выявленных простых суждений может быть записано в виде следующей формулы:
p Ú q.
Обратим внимание, что не всякое нестрогое разделение суждений дает устойчиво истинный результат. Как это выглядит, видно из приведенной ниже таблицы:
p"или" ("и") q | "то" (p Ú q) | |
И | И | И |
И | л | И |
Л | и | И |
Л | л | л |