Материал: 1501
Данное определение не является корректным, поскольку оно в одном смысле узкое (человек – это не только (и не столько) животное, строящее жилище), а в другом – широкое (жилище строит не только человек, его могут строить и другие животные).
7. Соблюдены ли правила деления в примерах, а если нет, то какое правило нарушено?
Проволоки бывают медные, серебряные, толстые, тонкие, телеграфные.
Решение:
1.Характеризуем структуру и вид деления понятий.
2.Проверяем по правилам деления понятий.
Данное деление не является корректным. В данном делении
допущена логическая ошибка «смешение оснований». Медные и |
|
|
И |
серебряные проволоки – результат деления по одному основанию, |
|
толстые и тонкие – по другому, телеграфные – по третьему. |
|
8. Ограничьте понятие. |
Д |
|
|
Водоплавающее.
Решение:
9. Обобщите понятие. |
А |
|
Стул. |
б |
|
Решение: |
||
На основании выбранного признака осуществляем логический
переход от родового понятия к видовому: водоплавающие / водоплавающие млекопитающие / китообразные / хищные китообразные / дельфины.
ОсуществляемСилог ческую операцию, обратную ограничению,
когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака: стул / предмет, предназначенный для сидения / предмет мебели / предмет, созданный человеком / предмет.
Задания к теме «Суждение как форма мышления»
10. В данных суждениях найдите субъект, предикат и связку. Установите количество и качество суждения и придайте ему стандартную форму одного из четырёх типов: А, Е, I, О. Определите распределенность терминов.
Некоторые студенты СибАДИ изучают логику.
106
Решение: |
|
|
1. Определяем субъект и предикат суждения. |
S- |
P- |
2. Определяем вид суждения и придаем ему |
|
|
стандартную форму. «Некоторые S суть P». Данное |
|
|
суждение по количеству – частное, по качеству – утвердительное. Суждение частноутвердительное, обозначается с помощью буквы I.
3. Определяем характер отношений между субъектом и предикатом.
4. На основании правил распределенности терминов в суждении фиксируем их распределенность. Субъект и предикат в данном суждении не распределены, так как только часть студентов СибАДИ
изучает логику и часть изучающих логику – студенты СибАДИ. |
|||||
|
|
|
|
|
И |
«Не все студенты выполняют контрольную работу |
|||||
самостоятельно». |
|
|
|
Д |
|
Решение: |
|
|
|
||
|
|
|
|
|
|
В данном суждении имеет место внешнее отрицание. В отличие |
|||||
от отрицательной связки, |
которая отрицает отношение между |
||||
|
|
|
А |
|
|
субъектом и предикатом при внутреннем отрицании, внешнее |
|||||
отрицание («неверно, что», |
«не») относится ко всему суждению и |
||||
|
|
б |
|
|
|
подвергает отрицанию как его качество, так и количество, т.е. связку |
|||||
|
и |
|
|
|
|
С |
|
|
|
|
|
и квантор суждения оно изменяет на обратные. Это позволяет нам
отнести данное суждение к частноотрицательным (по объединённой классификации O), которое в стандартной логической форме может быть выражено так: «Некоторые студенты не выполняют контрольную работу самостоятельно». Его формула в традиционной логике – Некоторые S не суть P или SоP. Отношения между терминами в данном частноотрицательном невыделяющем суждении при помощи кругов Эйлера изображаются следующим образом:
11. Произведите отрицание данного суждения таким образом, чтобы результаты отрицания не содержали внешних знаков отрицания (по логическому квадрату).
Все студенты нашей группы учатся хорошо.
107
Решение:
1. Изучаем отношения между суждениями по логическому квадрату.
2. Определяем субъект, предикат и вид данного суждения (А, Е,
I, O).
3.На логическом квадрате фиксируем противоречащее суждение.
4.Записываем это суждение в логической и в явной формах. Логическая форма искомого суждения «Все S суть P». Данное
суждение является общеутвердительным «А». Для суждения типа «А» противоречащим является суждение типа «О» – «Некоторые S не суть P»: «Некоторые студенты нашей группы не учатся хорошо».
12. Придумайте примеры алетической, эпистемической, |
||
|
И |
|
деонтической и аксиологической модальностей. |
||
Решение: |
Д |
|
Алетическая модальность: |
||
|
||
Возможно, человек научится извлекать уроки из истории.
Эпистемическая модальность:
Доказано, что онтогенез естьАповторение филогенеза.
Деонтическая модальность:
Запрещаются любыебформы ограничения прав граждан по признакам социальной, расовой, национальной, языковой или религиозной принадлежностии.
Аксиологическая модальность:
Плохо бытьСбелой вороной.
13. Определ те модальность суждения, запишите суждения с помощью модальных операторов:
«С изменением причины изменяется следствие».
Решение:
Данное выражение представляет собой фактическое алетическое модальное суждение (модальный оператор не выражен, но указывает на онтологическую необходимость): 
A(S суть P).
«Приговоры районного суда могут быть обжалованы в суде второй инстанции».
Решение:
Данное выражение представляет собой фактическое алетическое модальное суждение (модальный оператор выражен словом «могут быть / возможно»): 
A(S суть P).
108
Задания к теме «Сложные суждения и логика исчисления высказываний»
14. Приведите примеры сложных суждений, которые содержали бы конъюнкцию, дизъюнкцию, импликацию или эквиваленцию; запишите эти суждения в символической форме, установите условия их истинности.
Решение: Конъюнкция:
Некоторые продукты используются в пищу в соленом ( p) и вареном (q), консервированном (s) и свежем виде (t).
Сложное конъюнктивное суждение: (p q s t).
|
p |
q |
s |
t |
(p q s |
t) |
||
|
|
|
|
|
|
|
|
|
|
и |
и |
и |
и |
|
и |
|
|
|
и |
и |
и |
л |
|
л |
|
|
|
|
|
|
|
Д |
|
||
|
и |
и |
л |
и |
|
л |
|
|
|
и |
и |
л |
л |
|
л |
|
|
|
|
|
А |
|
И |
|||
|
и |
л |
и |
и |
|
л |
||
|
и |
л |
и |
л |
|
л |
|
|
|
б |
|
л |
|
|
|||
|
и |
л |
л |
и |
|
|
|
|
|
и |
л |
л |
л |
|
л |
|
|
|
л |
и |
и |
и |
|
л |
|
|
С |
л |
|
|
л |
|
л |
|
|
|
л |
|
л |
и |
|
л |
|
|
|
л |
|
л |
л |
|
л |
|
|
и |
|
|
|
|
|
|
||
|
л л |
и |
и |
|
л |
|
|
|
|
л |
л |
и |
л |
|
л |
|
|
|
л |
л |
л |
и |
|
л |
|
|
|
л |
л |
л |
л |
|
л |
|
|
Дизъюнкция:
Он сейчас находится в Минске (p) или в Москве(q). Сложное строго дизъюнктивное суждение: (p˅q).
p |
q |
(p q)(строгая) |
||
|
|
|
|
|
и |
и |
|
|
л |
и |
л |
|
|
и |
л |
и |
|
|
и |
|
|
|
|
|
л |
л |
|
|
л |
|
|
|
|
|
109
Импликация:
Вам никогда не удастся создать мудрецов (⌐q), если будете убивать в детях шалунов (p) (Ж.Ж. Руссо).
Сложное импликативное суждение: (p→⌐q).
|
p |
|
q |
⌐q |
(p→⌐q) |
|
|
|
|
|
|
|
|
|
|
|
и |
|
и |
л |
л |
||
|
и |
|
л |
и |
и |
|
|
|
л |
|
и |
л |
и |
|
|
Эквиваленция: |
л |
|
л |
и |
и |
|
|
|
|
|
|
|
|
|
|
Если и только если пойдет снег (p), тогда сложатся все |
|||||||
необходимые метеорологические условия (q). |
|||||||
|
|
|
p |
q |
(p≡q) |
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
и |
и |
||
|
|
|
и |
л |
л |
|
|
|
|
|
л |
и |
л |
|
|
|
|
|
л |
л |
и |
|
|
Сложное эквивалентное суждение: p≡q.
15. Правильно ли построено рассуждение? Выразите в символической форме и постройте таблицу истинности.
Если Иванов был в Омске, то он не мог быть в это время в Москве, а значит, совершить это преступление. А он не был в Омске в это время. Значит, он мог совершить преступление.
Решение:
1. Выделяем пропоз ц ональные переменные и обозначаем их буквами.
2. Фиксируем логические операторы, связывающие переменные
друг с другом. |
|
|
|
3. ЗапишемСибАДИэто рассуждение на символическом языке: |
|||
((А→¬В) |
|
(¬В→¬С) ¬А)→С. |
|
4. Для того, чтобы |
проверить, является ли данная формула |
||
|
|
|
|
логическим законом, необходимо построить таблицу истинности. Если данная формула является логическим законом, значит, рассуждение правильное.
16. Равносильны ли между собой (и почему) формулы сложных суждений:
(b→c) и (⌐b˅c).
110