Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
1501.pdf
Скачиваний:
17
Добавлен:
07.01.2021
Размер:
1.23 Mб
Скачать

ПРИМЕРЫ РЕШЕНИЯ И ОФОРМЛЕНИЯ ЗАДАНИЙ

Задания к теме «Логика как наука»

1. Укажите, какие из приведенных высказываний имеют одинаковую логическую форму.

Все люди хотят счастья. Многие девушки любят сладкое. Все бабочки насекомые. Каждый солдат мечтает стать генералом. Некоторые студенты не изучают логику.

Решение:

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

2. Выражаем данные суждения в логической форме: Все люди хотят счастья – ВсеИS суть P.

Многие девушки любят сладкое – Некоторые S суть P.

Все бабочки насекомыеД– Все S суть P.

Каждый солдат мечтает стать генералом – Все S суть P. Некоторые студенты не изучают логику – Некоторые S не суть P.

3. Выбираем суждения с тождественной логической формой.

1.Выделяем пропозибц ональные переменные и обозначаем их буквами: «студентСИванов сдаст сессию» – «А», «его не отчислят» – «¬B», «его не заберут в арм ю» – «¬C».

2.Фиксируем логический оператор, связывающий переменные друг с другом. В данном случае перед нами условное, импликативное суждение.

3.Выражаем сложное суждение в символической форме:2. Выразите суждение в символическойА форме.

А→(¬B˄¬C).

Задания к теме «Понятие как форма мышления. Логические операции с понятиями»

3. Дайте полную логическую характеристику понятиям (определите вид понятий по содержанию и объему).

Газета, неуверенность, акция.

Решение:

103

Руководствуясь

видовой

характеристикой

понятий,

характеризуем данные понятия по объему и содержанию.

 

Неряха.

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

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

Преступная группа.

По объему: непустое (обозначается реально существующий предмет), общееСибАДИ(существует больше, чем одна группа, к которому

это понятие применимо), нерегистрирующее (все количество преступных групп не поддается учету).

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

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

Гласная буква (А), буква (B), буква А (C), буква Б (D), знак (E).

Решение:

1. Каждому понятию присваиваем буквенное

значение.

2. С помощью кругов Эйлера выстраиваем графические схемы в соответствии с объемами понятий и присвоенным буквенным значением.

3.При решении данного задания

руководствуемся отношениями между совместимыми и несовместимыми понятиями.

Орудие. Орудие взлома. Орудие преступления. Топор.

Решение:

Отметим каждое из понятий буквами латинского алфавита:

104

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

5. Заштрихуйте области, соответствующие сложным

классам.

 

 

 

 

 

 

 

 

A – множество четных чисел.

B –

 

 

 

 

множество чисел, делящихся на 5. С –

 

 

 

 

множество чисел, делящихся на 3.

 

И

D

 

 

 

Решение:

 

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

1. С помощью кругов Эйлера фиксируем

 

 

 

 

С

 

 

 

 

 

 

Д

 

 

 

 

 

 

 

 

А

 

 

 

 

 

 

 

объемы и отношения между представленными

 

 

 

понятиями.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. В соответствии с операцией

над

 

 

 

 

 

 

А

 

 

 

 

 

классом (умножение, сложение или вычитание) фиксируем области,

соответствующие операции

 

 

 

 

 

 

 

 

б

 

(A*B)-C

 

 

 

 

A*B*C

 

 

 

 

 

 

и

 

 

 

 

 

 

 

С

 

 

 

 

 

 

 

 

6. Установите, является ли определение корректным, а если нет, укажите, какие правила нарушены?

Человек есть животное, строящее жилище.

Решение:

1. Выделяем в структуре определения, определяющее (Dƒd) и определяемое (Dƒn). «Человек» – это определяемое. «Животное, строящее жилище», – это определяющее.

2. Определяем разновидность определения и проверяем по правилам определения понятий. Данное определение раскрывает содержание определяемого понятия через указание на род и видовое отличие.

105

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

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

Решение:

В логике высказывания законом является формула (a→b)≡(⌐a˅b). Можно составить таблицу истинности, чтобы продемонстрировать равносильность предложенных сложных суждений.

b

c

⌐b

b→c

(⌐b˅c)

(b→c)≡(⌐b˅c)

и

и

л

и

и

и

и

л

л

л

л

и

л

и

и

и

и

и

л

л

и

и

и

и

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

1.ЗафиксируемСибАДИпропозициональные переменные и выразим связь между ними с помощью логических операторов:

Путь кометы есть эллипс – «a». Путь кометы есть парабола – «b». Символическая форма: a˅b.

2.Пользуясь формулой равносильности дизъюнкции (законы де Моргана (a˅b) ≡ ⌐(⌐a˄⌐b), равносильным утверждением будет «Неверно, что путь кометы не есть эллипс и не парабола».

Символическая форма: ⌐(⌐a˄⌐b)).

3.Пользуясь законом коммутативности дизъюнкции (avb≡b˅a), предложенное сложное суждение можно свести: Путь кометы есть парабола или эллипс.

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

Волки похожи на собак.

Решение:

Приведем суждение к стандартной форме: «Все волки похожи на собак». Это общеутвердительное суждение вида A («Все S суть P»). Если допустить, что данное суждение будет истинным, то суждения:

111

«Некоторые волки похожи на собак» («SiP») (отношение подчинения) – будет истинным.

«Ни один волк не похож на собаку» (« SeP») (отношение противоположности) будет ложным.

«Некоторые волки не похожи на собак» («SoP») (отношение противоречия) будет ложным.

Если допустить, что исходное суждение («SaP») будет ложным, то суждения:

«Некоторые волки похожи на собак» («SiP») (отношение подчинения) – будет неопределенным.

«Ни один волк не похож на собаку» («

SeP») (отношение

противоположности) будет неопределенным.

 

 

«Некоторые волки не похожи на

собак» («SoP»)

(отношение противоречия) будет истинным.

 

 

19. При помощи логического квадрата выведете все возможные

 

 

 

Д

 

 

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

отношения и истинностное значение посылки и заключений:

 

 

А

 

 

Некоторые модусы силлогизма не обеспечиваютИ

истинности

заключения.

 

 

 

 

Решение:

б

 

 

 

1.

Определим характер суждения. Данное простое,

атрибутивное

суждение по количеству частное, по качеству отрицательное. По

и

суждений является частноотрицательным

объединённой класс ф кац

 

суждением вида O (Некоторые S не суть P).

 

2. Если пр нять

сходное суждение за

истинное, то по

С

 

логическому квадрату (рисунок) можно

 

вывести следующие

заключения и

 

охарактеризовать их истинность:

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

Общеутвердительное суждение вида A: Все модусы силлогизма обеспечивают истинности заключения»

(находится в отношение противоречия) будет ложным.

112

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

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

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

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

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

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

113

Задания к теме «Дедуктивные умозаключения»

21. Постройте непосредственные умозаключения – обращение, превращение, противопоставление предикату.

Все инженеры имеют высшее образование.

Решение:

1. Определяем качество, количество, субъект и предикат суждения.

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

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

Противопоставление предикату (последовательно превращаем, а

затем обращаем исходное суждение): Ни один человек без высшего

образования не является инженером.

И

 

22. Определите фигуру категорического силлогизма.

 

Д

Все люди смертны. Иванов – человек. Иванов – смертен.

1. Определяем термины Акатегорического силлогизма (S,P,M).

Субъект заключен я называется «меньший термин» (S). Предикат

заключения называетсяб«больший термин» (P). Термин,

осуществляющий лог ческую связь S и P, называется «средний

и

 

термин» (М). Посылка категорического силлогизма, в которой

расположен большийСтермин, называется «большей посылкой». Посылка, в которой расположен меньший термин, называется «меньшей посылкой».

2. По положению среднего термина определяем фигуру категорического силлогизма.

Все люди (М) смертны (P).

Иванов (S) – человек (М).

Иванов (S) смертен (P).

Данный категорический силлогизм построен по первой фигуре.

23. Запишите простой категорический силлогизм в стандартной форме. Определите фигуру и модус силлогизма, проверьте, соблюдены ли правила. Каждый инженер имеет высшее

114

образование. Иванов не имеет высшего образования. Иванов не является инженером.

Решение:

1.Определяем термины категорического силлогизма (S,P,M).

2.По положению среднего термина определяем фигуру категорического силлогизма и фиксируем распределенность терминов.

Каждый инженер (P+) имеет высшее образование (M-). Иванов (S+) не имеет высшего образования (M+).

Иванов (S+) не является инженером (P+).

3.Проверяем по правилам категорического силлогизма. Категорический силлогизм построен по второй фигуре. Модус

категорического силлогизма «АEE». Модус правильный. Правила фигуры не нарушены. Правила терминовИне нарушены. Правила посылок не нарушены. Умозаключение правильное. Д

24. Подыщите средний термин и постройте силлогизм. Укажите фигуру и модус.

Лошадь − позвоночное.

Решение:

Примем исходное суждение за меньшую посылку: «Лошадь» −

средний термин, «Позвоночное» − меньший термин.

Все лошади (M+) парнокопытные животные (P-) – большая посылка.

и

Все лошади (M+) позвоночныеАживотные (S-) – меньшая посылка.

Некоторые позвоночные ж вотные (S-) – парнокопытные (P-) –

С

бзаключение.

 

Умозаключен е построено по 3 фигуре (правило соблюдено), модус AAI – корректный. Правила терминов и посылок – соблюдены. Умозаключение корректное, вывод следует с необходимостью.

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

Решение:

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

115

2. Определяем фигуру категорического силлогизма. Всякая кража (M+) карается законом (P-).

Угон автомобиля (S+) – кража (M-). Угон автомобиля (S+) карается законом (P-).

3. Проверяем по правилам категорического силлогизма.

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

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

контрапозиции.

Решение:

 

Условно-категорический силлогизм по утверждающему

модусу:

И

 

«Если заявление о преступлении является письменным (p), то

 

Д

оно должно быть подписано лицом, от которого оно исходит (q). Заявление о преступлении является письменным (p). Следовательно, оно должно быть подписано лицом, от которого оно исходит (q)».

1. Отметим пропозициональные переменные и выразим связь

между ними с помощью логических операторов: ((p→q)˄p)→q.

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

строится от утверждения основания к утверждению следствия.

 

и

Условно-категорическийАсиллогизм по отрицающему

модусу:

С

«Если убийство совершенобс целью сокрытия преступления (p),

то оно признаётся совершенным при отягчающих обстоятельствах (q). Убийство гражданина Н-ва не является преступлением, совершённым при отягчающих обстоятельствах (¬q). Поэтому убийство гражданина Н-ва не совершено с целью сокрытия преступления (¬p)».

1. Отметим пропозициональные переменные и выразим связь между ними с помощью логических операторов: ((p→q)˄¬q )→¬p.

Рассуждение построено в форме условно-категорического умозаключения по отрицающему модусу. Данное умозаключение является правильным, поскольку можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.

Простая контрапозиция:

Если данный треугольник равносторонний (p), то он равноугольный (q). Если данный треугольник не равноугольный (¬q), то он не равносторонний (¬p).

116

Закон простой контрапозиции: (p→q)≡ (¬q→¬p).

 

Сложная контрапозиция:

 

Если у меня будут деньги (p) и я буду здорова (

q), то я на

каникулы поеду домой (s). Если у меня были деньги (

p) и я на

каникулы не поехала домой (¬s), то, следовательно, я не была здорова

(¬q).

Закон сложной контрапозиции: ((p˄q)→s)≡((p˄¬s)→¬q).

27. Провести анализ умозаключения.

«Не могут служить доказательством фактические данные, сообщаемые свидетелем, если он не может указать на источник своей осведомленности. Фактические данные, сообщаемые свидетелем, могут служить доказательством. Следовательно, он может указать на

источник своей осведомленности».

И

Решение:

 

Для удобства приведем рассуждение к стандартной форме:

 

Д

Если свидетель не может указать на источник своей осведомленности (¬p), то фактические данные, сообщаемые свидетелем, не могут служить доказательством (¬q). Фактические данные, сообщаемые свидетелем, могут служить доказательством (q). Следовательно, он может указать на источник своей осведомленности (p).

 

Данное

рассуждение

является

условно-категорическим

умозаключением,

в котором одна посылка представлена сложным,

 

 

 

и

 

 

импликативным,

условным суждениемА

(«Если свидетель не может

указать на источн к своей осведомленности (¬p)», то фактические

 

С

 

 

данные, сообщаемые св бдетелем, не могут служить доказательством

(¬q).

Вторая

 

посылка представлена

простым категорическим

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

Символическая форма рассуждения ((¬p→¬q)˄q)→p.

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

117

28. Определите вид дилеммы. Сделайте вывод, постройте схему. Определите характер вывода.

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

Решение:

Запишем умозаключение в форме условно-разделительного умозаключения: «Если нарушить условия, установленные ст. 15 и 16 Семейного кодекса(p) , то брак может быть признан недействительным (q), а также если зарегистрировать брак без намерения создать семью (фиктивный брак)(s),то брак тоже может быть признан недействительнымСибАДИ(q). В э том случае или нарушены условия, установленные 15 -16 Семейного кодекса (p), или брак зарегистрирован без намерения создать семью (s). Следовательно, брак может быть признан недействительным (q).

Символическая форма: (p→q)^(s→q)^(p˅s)→q.

Простая конструктивная дилемма. Вывод следует с необходимостью.

29. Являются ли правильными следующие умозаключения:

Мировоззрение может ыть идеалистическим (p), либо материалистическ м (q), л о религиозным (s). Поскольку Михаил придерживается деал ст ческого мировоззрения (¬p), то он тем самым не разделяет матер ал зма и не религиозен (¬q).

Решение:

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

((p˅q˅s)˄q)→(¬p˅¬q).

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

30. Правильно ли сделано заключение в следующих разделительно-категорических умозаключениях. Если нет, то почему?

118

Этот человек – инженер (p) или рабочий (q). Он не инженер (¬p). Значит, он рабочий (q).

Решение:

Отметим пропозициональные переменные и выразим связь между ними с помощью логических операторов: (p˅q)˄¬p→q.

Данное разделительно-категорическое умозаключение построено по отрицающе-утверждающему модусу. Заключение построено логически корректно. Разделительная посылка представлена строгой дизъюнкцией. В один и тот же момент времени «этот человек» не может быть рабочим и инженером.

31. Приведите примеры разделительно-категорических умозаключений, в которых союз «или» был бы употреблен:

а) в соединительно-разделительном смысле;

Решение:

Иванов мастерСибАДИспорта (p) или студент медицинской академии (q) (нестрогая дизъюнкция (p˅q));

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

Иван или внук (p), или сын (q) Андрея Ивановича (строгая дизъюнкция (p˅q)).

Задания к теме «Индуктивные умозаключения»

32. Привести пр мер индуктивного, дедуктивного рассуждений и рассужден я по аналогии. Пояснить, чем они отличаются друг от друга.

Решение:

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

Пример дедуктивного рассуждения:

«Если много не знаешь(¬p), то приходится придумывать(q). Ребенок многого не знает (¬p). Следовательно, ребенку приходится придумывать ( q)». Отметим пропозициональные переменные и зафиксируем символическую форму рассуждения: (¬p→q)˄¬p→q.

Данное дедуктивное рассуждение построено в форме условно-категорического силлогизма (по утверждающему модусу). Утверждение основания ведет к утверждению следствия.

119

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

Пример индуктивного рассуждения:

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

В данном рассуждении имеет место метод научной индукции,

называемый методом различия. Метод различия –

это способ

И

различия –

установления причинно-следственных связей. Метод

метод, основанный на сравнении двух случаев, в одном из которых

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

исследуемое явление наступает, а в Ддругом не наступает и при этом

исследуемого явления. А Схема метода:

При обстоятельствахб, В, С происходит явление d. При обстоятельствах В, С не происходит явление d. Вероятно,иобстоятельство А является причиной d.

Пример неполной ндукции:

СОлово (S1) − твердое тело (P). Медь (S2) − твердое тело (P).

Алюминий (S3) − твердое тело (P). Олово, медь, алюминий ... – металлы. Все металлы – твердые тела.

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

Аналогия − это умозаключение о принадлежности предмету

определенного признака (свойства, отношения)

на основе

его

сходства в существенных признаках с другим

предметом;

это

120

приписывание предмету свойства или перенос на него отношений, присущих другому предмету.

Пример рассуждения по аналогии:

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

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

основе он строитСибАДИиндуктивное умозаключение, в котором признак, выявленный у совокупности единичных объектов, приписывается всему классу.

преступники.

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

знание. Основой ндукц является опыт, эксперимент и

наблюдение, в ходе которых собираются отдельные факты. Затем

изучая, анализируют факты, исследователь находит общие,

повторяющиеся черты у объектов определенного класса. На этой

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

121

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

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

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

Решение:

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

1. a,б,в,г, вызывает Х 2. a1,б,в,г, вызывает Х1

3. a2,

,в,г, вызывает Х2

4. a3,

,в,г, вызывает Х3

Вероятно, обстоятельство а (разреженность воздуха) вызывает

явление Х (кислородное голодание).

 

Задания к теме

«Логические основы теории аргументации»

34. В приведенныхСибАДИтекстах найдите тезис, аргументы и

установите, в форме

какого умозаключения протекает

доказательство. Определите вид доказательства (прямое или косвенное):

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

Решение:

Тезис «Земля не является плоскостью». В качестве аргументов используются удостоверенные факты. Данное косвенное

122

доказательство (обосновывается ложность антитезиса) построено в форме условно-категорического умозаключения по отрицающему модусу: (p→q)˄¬q)→¬p

Петров болен. Об этом свидетельствует повышенная температура. Известно, что у здоровых людей температура колеблется от 36 до 37. У Петрова температура 38. Следовательно, Петров не может считаться здоровым. Кроме того, у Петрова плохое самочувствие. У здорового человека не может быть такого самочувствия. Это говорит, что Петров болен.

Решение:

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

умозаключений (отрицающе-утверждающий модус).

Если человекСибАДИздоров, то его температура колеблется от 36 до 37. У Петрова температура 38. Следовательно, Петров не здоров.

Символическая форма: ((p→q)˄¬q)→¬p).

Если человек здоров (s), то у него хорошее самочувствие (t). У Петрова плохое самочувствие (¬t). Следовательно, Петров не здоров (болен) (¬s).

Символическая форма: ((s→t)˄¬t)→¬s).

35. Определите тезис доказательства и те ошибки, которые имеются в его обосновании:

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

Возможно, доктор Тель так и думал. Его дед был матросом, корабль которого был поражен в морском бою снарядом. Матрос засунул свою голову в дыру, проделанную снарядом в корпусе корабля, и почувствовал себя в безопасности, «потому что, − рассуждал он, − очень невероятно, чтобы снаряд попал в одно и то же место дважды» (Пойа Л. «Математика и правдоподобные рассуждения»).

123

Решение:

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

«Да как же это может быть, ты подумай, Николаша? Как же это может быть, чтобы Бога не было? И мы сами, ты подумай, откуда, если Бога нет, как ты говоришь?» (Павел Нилин «Только характер»).

Решение:

Тезис «Бог есть». Имеет место ошибка в форме доказательства –

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

грамотной» и обоснуемСибАДИего ложность, используя отрицающий модус условно-категорического силлогизма. Если современная молодежь является грамотной, то она знает историю своей страны. Современная

36. Подберите четыре тезиса, докажите их, используя

каждый из видов двух способов доказательства.

Современная молодежь не является грамотной.

Решение:

Прямое доказательство:

Построим доказательство в форме простого категорического

силлогизма:

Все грамотные люди (P+) читали классиков литературы (M-). Современная молодежь (S+) не читала классиков литературы (M+). Современная молодежь (S+) не является грамотной (P+).

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

следует с необход мостью.

Косвенное доказательство:

Возьмем антитезис «Современная молодежь является

молодежь не знает историю своей страны. Следовательно, современная молодежь не является грамотной.

37. Постройте деструктивную (прямое опровержение тезиса) и конструктивную критику тезиса.

Россия – унитарное государство.

Решение: Конструктивная критика:

124

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

Деструктивная критика:

Допустим, что суждение «Россия — унитарное государство» соответствует действительности. Следовательно, части России являются административно-территориальными единицами и не имеют статуса государственного образования, не обладают

признаками суверенитета, не имеют собственного

образования, обладаютСибАДИпризнаками суверенитета. На основании этого противоречия можно заключить, что Россия – не унитарное государство.

института гражданства, герба и т. д. Однако в составе России 85 субъектов, из которых 22 республики. В отличие от прочих субъектов

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

38. С помощью та лицы истинности решите логическую задачу.

По обвинен ю в ограблении перед судом предстали Иванов, Петров, Сидоров. ледств ем установлено, что если Иванов невиновен или Петров виновен, то Сидоров виновен. Если Иванов невиновен, то идоров невиновен. Виновен ли Иванов?

Решение:

Выделим простые высказывания: p – Иванов виновен;

q – Петров виновен; s – Сидоров виновен.

Запишем выражения, соответствующие условию задачи:

(¬p˅q)→s; ¬p→¬q.

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

125

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]