Практикум по логике

Содержимое

Работа 1. Понятие: отношения между понятиями и логические операции с понятием

Задание 1. Подберите понятия, находящиеся в логических отношениях с данным понятием. Перед тем как приступить к решению данного задания ответьте на следующие вопросы:

Понятие – это форма мышления, отражающая предметы в их существенных признаках

Структурными элементами понятия являются объем и содержание.

Содержание понятия – это совокупность существенных признаков предмета, мыслимого в понятии

Объем понятия – это совокупность (класс) предметов, которая мыслится в данном понятии. 

Связь между объемом и содержанием понятия выражается законом обратного отношения

Сравнимыми называют понятия, в содержании которых имеются некоторые общие признаки

Несравнимыми называют понятия, в содержании которых нет общих признаков.

Совместимыми называют понятия, объемы которых частично или полностью совпадают

Несовместимыми называют понятия которых не содержат в себе общих элементов

К отношениям совместимости относят следующие отношения: равнозначности (тождества), пересечения (частичного совпадения) и подчинения (субординации).

К отношениям несовместимости относят следующие отношения: соподчиненнисти общему родовому понятию, противоположности (контрарности) и противоречия (контрадикторности).

А теперь приступим к решению задания. Выпишите понятие, соответствующее вашему варианту для задания 1 из Приложения «Экспертиза». Обозначим это понятие символом А.

Отношение подчинения Если понятие А – «Экспертиза», то подчиняющее понятие В – «Исследование».

Проверяем образовавшиеся отношения между понятиями А и В по следующей схеме: «Всякий элемент объема понятия А является элементом объема понятия В, но не наоборот». «Всякий элемент объема понятия А «Экспертиза» является элементом объема понятия В «Исследование», но не наоборот». Полученное высказывание является истинным, следовательно, понятия подобраны правильно.

Если понятие А – «Экспертиза», то подчиненное понятие В1 – «Судебная экспертиза». Проверяем образовавшиеся отношения между понятиями А и В1 по следующей схеме: «Всякий элемент объема понятия В1 является элементом объема понятия А, но не наоборот». «Всякий элемент объема понятия В1«Судебная экспертиза» является элементом объема понятия А «Экспертиза», но не наоборот. Полученное высказывание является истинным, следовательно, понятия подобраны правильно.

Отношение перекрещивания Чтобы правильно подобрать к понятию А «Экспертиза» перекрещивающееся понятие В2, необходимо работать в объеме подчиняющего понятия В «Исследование », которое было подобрано ранее. Понятие В2 «Психологическое исследование» будет иметь некоторые общие элементы объема с понятием А «Экспертиза» и одновременно подчиняться понятию В «Исследование ». Проверяем образовавшиеся отношения между понятиями А и В2 по следующей схеме: «Некоторые элементы объема А (но не все) являются элементами объема В2, и наоборот» «Некоторые элементы объема понятия А «Экспертиза» (но не все) являются элементами объема понятия В2 «Психологическое исследование», и наоборот». Полученное высказывание является истинным, следовательно, понятия подобраны правильно.

Отношение соподчинения Чтобы подобрать к понятию А «Экспертиза» соподчиненное понятие В3,необходимо работать в объеме подчиняющего понятия В «Исследование», которое было подобрано ранее. Понятие В3 «Учебное исследование студента» не имеет ни одного общего элемента объема с понятием А «Экспертиза» и одновременно подчиняться понятию В «Исследование». Проверяем образовавшиеся отношения между понятиями А и В3 по следующей схеме: «Ни один элемент объема Ане является элементом объема В3, и наоборот, а вместе они не исчерпывают объем родового понятия В». «Ни один элемент объема понятия А «Экспертиза» не является элементом объема понятия В3«Учебное исследование студента», и наоборот, а вместе они не исчерпывают объем родового понятия В «Исследование». Полученное высказывание является истинным, следовательно, понятия подобраны правильно.

Отношение противоречия Чтобы подобрать к понятию А «Экспертиза» противоречащее понятие В4,необходимо работать в объеме подчиняющего понятия В «Исследование», которое было подобрано ранее. Понятие В4 «Не-экспертное исследование» не имеет ни одного общего элемента объема с понятием А «Экспертиза» и одновременно подчиняться понятию В «Исследование». Проверяем образовавшиеся отношения между понятиями А и В4 по следующей схеме: «Ни один элемент объема Ане является элементом объема В4, и наоборот, а вместе они исчерпывают объем родового понятия В». «Ни один элемент объема понятия А«Экспертиза» не является элементом объема понятия В4«Неэкспертное исследование», и наоборот, а вместе они исчерпывают объем понятия В «Исследование». Полученное высказывание является истинным, следовательно, понятия подобраны правильно.

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

А – «Квартира»

В- «Комната»

С- «Двухкомнатная квартира»

D – «Новая квартира»

Изобразим отношения графически с помощью кругов Эйлера:

Определим отношения между понятиями.

Между понятиями А и В – отношение несовместимости,

между понятиями А и С – отношение подчинения,

между понятиями А и D – отношение подчинения,

между понятиями В и С – отношение несовместимости,

между понятиями В и D – отношение несовместимости,

между понятиями С и D – отношение пересечения.

Задание 3. Проведите последовательную многоступенчатую операцию обобщения и ограничения понятия. Перед тем как приступить к решению данного задания ответьте на следующие вопросы:

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

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

Операция обобщения или ограничения признается правильной, если в их основе лежат родовидовые отношения.

А теперь приступим к решению задания. Выпишите понятие, соответствующее вашему варианту для задания 3 из Приложения «Идентификация». Обозначим это понятие символом А. Произведем логическую операцию обобщения, постепенно подбирая подчиняющие понятия и выполняя при этом правила обобщения.

Понятие А: «Идентификация»

Понятие В: «Процедура с объектами»

Понятие С: «Способ познания внешнего мира»

Проверяем образовавшиеся отношения между понятиями Аи В: «Всякий элемент объема понятия А «Идентификация» является элементом объема понятия В «Процедура с объектами», но не наоборот. Полученное высказывание является истинным, следовательно, понятия подобраны правильно. Проверяем образовавшиеся отношения между понятиями Ви С: «Всякий элемент объема понятия В «Процедура с объектами» является элементом объема понятия С «Способ познания внешнего мира», но не наоборот. Полученное высказывание является истинным, следовательно, понятия подобраны правильно. Данная операция обобщения проведена правильно, так как каждое следующее понятие является родовым по отношению к предыдущему.

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

>

Доступа нет, контент закрыт

Работа 2. Суждения: виды, формализация суждений

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

Суждение – это форма мышления, отражающая предметы в их связях и отношениях.

По форме суждения бывают простыми и сложными

Простое суждение – это суждения, в которых выражается связь двух понятий.

Виды простых суждений: атрибутивное; релятивные; экзистенциальные.

Субъект суждения – это термин, выражающий понятие, о которром нечто утверждается или отрицается (логическое подлежащее)

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

Виды простых категорических суждений: общеутвердительное (А), общеотрицательное (Е), частноутвердительное (I), частноотрицательное (О).

Распределенным называют термин, взятый в полном объеме в суждении.

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

Алгоритм решения 1. Определить субъект и предикат высказывания, обозначив их соответственно S и Р. 2. При определении предиката следует иметь в виду следующее: а) если предикат в своем составе содержит родовое понятие по отношению к субъекту, или является видовым понятием по отношению к субъекту, то в данном случае предикат остается без изменения.

Доступа нет, контент закрыт

Работа 3. Правильность демонстративных умозаключений

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

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

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

Виды демонстративных умозаключений: все виды дедуктивных умозаключений, некоторые виды индуктивных умозаключений (полная индукция)

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

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

Для разных типов суждений (А, Е, I, О) имеются схемы вывода.

Запишите схему обращения

А	Е	I	О
Все S есть Р Некоторые Р есть S	Ни один S не есть Р Ни один Р не есть S	Некоторые S есть Р Некоторые Р есть S	Не обращаются

Запишите схему превращения

А	Е	I	О
Все S есть Р Ни один S не есть не-Р	Ни один S не есть Р Все S есть не-Р	Некоторые S есть Р Некоторые S не есть не-Р	Некоторые S не есть Р Некоторые S есть не Р

Запишите схему противопоставления предикату

 

 

 

А	Е	I	О
Все S есть Р Ни одно не-Р не есть S	Ни один S не есть Р Некоторые не-Р есть S	Не производится операция противопоставления предикату	Некоторые S не есть Р Некоторые не-Р есть S

Запишите схему противопоставления субъекту

А	Е	I	О
Все S есть Р Ни одно Р не есть не-S	Ни один S не есть Р Все Р есть не-S	Некоторые S есть Р Некоторые Р не есть не-S	Не производится операция противопоставления субъекту

Запишите схему умозаключения по логическому квадрату:

А→I;А→¬О; А→¬Е; Е→¬А; Е→О; Е→¬I; I→¬Е; О→¬А; ¬I→О; ¬О→I/

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

Алгоритм решения

1. Определить в высказывании субъект и предикат, квантор и логическую связку. 2. Записать логическую форму суждения. 3. Из суждения выполняя правила непосредственного умозаключения или по правильному модусу умозаключения вывести заключение. 4. По форме заключения сформулировать высказывание.

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

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

1. Субъект суждения: «существо» (S).
2. Предикат суждения: «право на жизнь» (P)
3. Квантор суждения – «Каждый».
4. Логическая связка – «есть» (выражена термином «имеет»).

Логическая форма посылки – «Все S есть Р» (общеутвердительное суждение)

5.1. Выведем форму заключения путем превращения: «Все S есть Р» → «Ни один S не есть не-Р»

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

Данное высказывание по содержанию является общеотрицательным (Е).

5.2. Выведем форму заключения путем обращения (если это возможно): «Все S есть Р» → «Некоторые Р есть S».

Запишем заключение посредством естественного языка: «Часть из тех, кто имеет право на жизнь – живые существа».

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

5.2. Выведем форму заключения путем противопоставления предикату (если это возможно): «Все S есть Р» → «Ни одно не-Р не есть S»

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

Данное высказывание по содержанию является общеотрицательным (Е).

5.2. Выведем форму заключения путем противопоставления субъекту (если это возможно): «Все S есть Р» → «Некоторые Р не есть не-S»

Запишем заключение посредством естественного языка: «Часть тех, кто имеет право на жизнь, не есть неживые существа».

Данное высказывание по содержанию является частноотрицательным (Е).

5.2. Выведем все возможные формы заключения путем умозаключения по логическому квадрату:

а) А→I

Запишем заключение посредством естественного языка: «Некоторые существа имеет право на жизнь».

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

б) А→¬О

Запишем заключение посредством естественного языка: «Неверно, что некоторые не имеет права на жизнь».

Данное высказывание по содержанию является отрицанием частноотрицательного суждения (¬О)

в) А→¬Е

Запишем заключение посредством естественного языка: «Неверно, что никто не имеет права на жизнь».

Данное высказывание по содержанию является отрицанием общеотрицательного суждения (¬Е)

 

Доступа нет, контент закрыт

Скачать