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

Чисто условные умозаключения:

Если педагог ударил ребенка, то он преступил нормы морали

Если педагог преступил нормы морали, то он должен быть наказан.

Если педагог ударил ребенка, то он должен быть наказан.

((А → В) ^ (В → С)) → (А → С)

Если будет солнечный день, пойдем купаться.

Пойдем купаться, если будет хорошая погода.

Если не будет хорошей погоды, то не будет солнечного дня.

((А → В) ^ (В → С)) → (¬ С → ¬ А)

Условно-категорические умозаключения:

правильные модусы

утверждающий:

Если человек совершает кражу, то он нарушает закон.

Данный человек совершил кражу.

Данный человек нарушил закон.

((А → В) ^ А) → В

отрицающий:

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

Закисание не началось.

У молока не появился кислый привкус.

((А → В) ^ ¬ В) → ¬ А

неправильные модусы:

утверждающий:

Если пациенту лечением причинен вред, то данный пациент признается потерпевшим..

Петров признан потерпевшим.

Значит, ему лечением причинен вред.

((А → В) ^ В) → А

отрицающий:

Если этот человек воспитанный, то он знает законы этики.

Этот человек невоспитанный.

Этот человек не знает законов этики.

((А → В) ^ ¬ А) → ¬В

Вопрос 9. Приведите примеры различных видов энтимем и восстановите их до полных умозаключений.

Виды энтимем:

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

Все студенты- учащиеся. (с пропущенной меньшей посылкой)

Все студенты сдают экзамены. (с пропущенным заключением)

Полные умозаключения:

Все студенты- учащиеся, поэтому все учащиеся сдают экзамены

Все учащиеся сдают экзамены, поэтому все студенты сдают экзамены.

Все учащиеся сдают экзамены, а все студенты – учащиеся.

Вопрос 10.Постройте эпихейрему и проверьте ее правильность.

Эпихейрема записывается в виде схемы таким образом:

S1 есть Р, т.к. S1 есть M

S есть S1, т.к. S есть M1

S есть P

Ложь заслуживает презрения, т.к. она безнравственна.

Лесть есть ложь, т.к. она есть умышленное извращение истины.

Лесть заслуживает презрения.

Проверка:

Ложь безнравственна.

Ложь заслуживает презрения.

Лесть- умышленное извращение истины.

Лесть есть ложь.

Вопрос 11.Постройте разделительно-категорические умозаключения по различным модусам и сделайте их символическую запись. Укажите условия их правильности и приведите примеры ошибок.

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

Спектакль был сыгран недостаточно профессионально не из-за неопытности молодого режиссера .

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

(А v В v С) ^ А

¬ В ^ ¬ С

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

Он здоров или богат..

Он здоров.

Он не богат.

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

Растения бывают однолетними и многолетними.

Дано растение однолетнее.

Данное растение не многолетнее.

(( А v В) ^ А) → ¬ В

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

Диссертацию могли защитить петров или Иванов.

Объявлено, что петров не защищал диссертацию.

Диссертацию защитил Иванов.

Но на самом деле претендентом был еще кто-то. В этом случае информация может быть недостоверной.