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

Подберите понятия, находящиеся в логических отношениях с данным понятием.

1.10 Кража
Решение:
...

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

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

2.10 Преступник  преступная группа  банда  преступление.

Алгоритм решенияОпределить субъект и предикат высказывания, обозначив их соответственно S и Р (составные S и Р подчеркнуть одной сплошной чертой).При определении предиката следует иметь в виду следующее:а) если предикат выражен существительным или словосочетанием с существительным, то в данном случае предикат остается без изменения.Пример: Некоторые юристы (S) - адвокаты (Р).б) если предикат выражен прилагательным или причастием, которое может быть представлено одним словом или словосочетанием, то в этом случае к предикату следует добавить родовое понятие для субъекта высказывания. Пример: Некоторые розы (S) красивы (Р). – Некоторые розы (S) – красивые цветы (Р).с) если предикат выражен глаголом или словосочетанием с глаголом, то в таком случае к предикату следует добавить родовое понятие для субъекта высказывания, а глагол превратить в соответствующее ему причастие.Пример: Некоторые студенты нашей группы (S) сдали сегодня зачет по логике (Р). - Некоторые студенты нашей группы (S) есть учащиеся, сдавшие сегодня зачет по логике (Р). Определить кванторное слово («все», «некоторые», «ни одно», «это»). Определить логическую связку («есть», «не есть»)Записать суждение в канонической форме естественным языком: а именно, квантор – субъект (S) – связка – предикат (Р).Записать форму суждения в символической записи, определить количественно-качественную характеристику суждения.Графически изобразить отношения между терминами суждения.Определить распределенность терминов. 5.10 . Некоторые спортсмены не являются мастерами спорта. Решение: Запишите выражение: "Некоторые спортсмены не являются мастерами спорта. "1. Субъект суждения: Некоторые спортсмены.(S)Предикат суждения: не являются мастерами спорта (P)2. Приводим предикат к канонической форме. Для этого подбираем к субъекту суждения (« некоторые спортсмены») родовое понятие («некоторые люди занимающиеся спортом»). В канонической форме предикат будет выражен словосочетанием "некоторые люди занимающиеся спортом не есть мастера спорта".3. Квантор суждения – «некоторые». 4. Логическая связка – «не есть». Качество суждения - частноотрицательное5. Каноническая форма суждения: «некоторые люди занимающиеся спортом не есть мастера спорта».6. Формула суждения в символической записи некоторые S не суть P.7.Графически изображаем отношения между терминами суждения. Рисунок 11-спортсмены2-мастера спорта3-спортсмены-мастера спортаЖелтым - спортсмены, не мастера спортаЗАДАНИЕ 6.Установите вид сложного суждения, приведите его символическую запись. Алгоритм решенияОпределить и записать все простые суждения, из которых состоит предложение. Обозначить их символами.Определить логическую связь между простыми суждениями посредством выявления логических связок.Записать формулу сложного суждения в символической записи. Если суждение условное, то необходимо определить основание и следствие. Составить и заполнить истинностную таблицу сложного суждения.6.10. Суд отказывает в иске истцу, если его исковые требования являются незаконными. 1. Сложное суждение состоит из простых суждений. 1-е простое суждение: Суд отказывает истцу 2-е простое суждение: исковые требования являются незаконными. обозначено символом Sобозначено символом P2. Союз «если» между первым и вторым суждением утверждаетЛогическая связка в данном суждении - истец.3. Формула сложного суждения в символической записи:_S-P-S-PЗАДАНИЕ 7.Определите вид и проверьте правильность непосредственного умозаключения.Алгоритм решения1. Выявить в рассуждении структуру умозаключения. Для этого необходимо определить в составе рассуждения посылки, заключение и далее расположить их по порядку: а именно, посылку записать с новой строки, под ней – заключение, отделяя посылку от заключения чертой. 2. Определить в составе простых суждений умозаключения субъект и предикат, квантор и логическую связку. Перенести обозначения S и P в заключение.3. Записать логическую форму умозаключения в символической записи.4. Определить вид непосредственного умозаключения.5. Проверить выполнение правил непосредственного умозаключения.7.10. Большинство неумных людей не считает себя таковыми. Значит, некоторые люди, считающие себя умными, на самом деле неумны. Решение: Записываем рассуждение в форме умозаключения. Посылка: Большинство неумных людей не считает себя таковымиЗаключение:некоторые люди, считающие себя умными, на самом деле неумны 2. Понятие «Большинство неумных людей» - субъект (S) в посылке; понятие «Не считают себя таковыми.» - предикат (Р) в посылке. Переносим обозначения S и P в заключение.3. Логическая форма умозаключения в символической записи: Некоторые S - не есть P4. Из анализа структуры посылки и заключения делаем вывод, что данное непосредственное умозаключение – верно5. Проверка правил умозаключения: Глупые люди не считают себя глупыми, значит некоторые умные люди не умныДанное умозаключение является: а) правильным и заключение истинным / б) неправильным и заключение с необходимостью не следует (нужное подчеркнуть). ЗАДАНИЕ 8.Проведите анализ силлогизма. Проверьте его правильность умозаключения.Алгоритм решенияВыявить в рассуждении структуру умозаключения. Для этого необходимо определить в составе рассуждения посылки, заключение и далее расположить их по порядку: а именно, каждую посылку записать с новой строки, под ней – заключение, отделяя посылку от заключения чертой. Суждения, которые не являются посылками и заключением в умозаключение не записываются.Определить субъект и предикат заключения, обозначив их соответственно буквами S (меньший термин) и Р (больший термин).Перенести обозначения S и Р в посылки и определить средний термин, обозначив его буквой М. Если необходимо, то следует преобразовать посылки и заключение так, чтобы их грамматическая форма соответствовала логической.Проверить идентичность терминов в посылках и заключении. Если терминов больше трех, анализ силлогизма прекращается и делается вывод, что умозаключение неправильное, поскольку нарушено правило силлогизма (произошло учетверение термина). Если термины выражены противоречащими понятиями (например: М и не-М), то необходимо произвести с одной из посылок операцию превращения, либо операцию противопоставление предикату (субъекту). Если термины идентичны в обеих посылках, то анализ продолжается.Записать логическую форму умозаключения в символической записи, проверив при этом последовательность посылок (большая посылка должна стоять первой). Если необходимо, то следует поменять посылки местами.Определить фигуру и модус силлогизма. Определить распределенность терминов в силлогизме, и проверить все общие правила силлогизма. Определить отношение между терминами в посылках силлогизма с помощью круговых схем.Если а) модус соответствует правильному модусу полученной фигуры, б) все общие правила силлогизма выполнены, и с) полученное отношение между терминами в посылках силлогизма соответствует отношению между терминами в заключение силлогизма, то делается вывод о правильности силлогизма.Если а) модус не соответствует правильному модусу полученной фигуры, б) нарушено хотя бы одно из общих правил силлогизма и с) полученное отношение между терминами силлогизма не соответствует отношению между терминами в заключение силлогизма, то делается вывод о неправильности силлогизма.8.10. Каждый участник общей долевой собственности имеет право на отчуждение своей доли другому лицу. Гражданин N. не является участником общей долевой собственности, так как он не имеет права на отчуждение своей доли другому лицу. Решение: Записываем рассуждение в форме умозаключения:Посылка: Каждый участник общей долевой собственности имеет право на отчуждение своей доли другому лицу Посылка: Гражданин N. не имеет права на отчуждение своей доли другому лицу Заключение: Гражданин N. не является участником общей долевой собственности 2. «Гражданин N» - субъект заключения – меньший термин силлогизма (S), «не является участником общей долевой собственности» - предикат заключения – больший термин силлогизма (Р)3.Перенесем обозначения S и Р в посылки и определим средний термин: «другому лицу» (М)4.Проверим идентичность среднего термина в посылках. 5.Логическая форма умозаключения в символической записи.М-P-S-MДля определения фигуры силлогизма графически изобразим структуру посылок:М-PS-MПо положению среднего термина в посылках определяем фигуру: 1 фигураУстановив количественно-качественную характеристику простых суждений, стоящих на месте посылок и заключения определяем модус силлогизма: АААДанный модус является правильным/ неправильным (нужное подчеркнуть): модусом 1 фигуры силлогизма7.Определим распределенность терминов в посылках и заключении, и проверим общие правила силлогизма.Все общие правила силлогизма выполнены. Определим отношение между терминами в посылках силлогизма:ЗАДАНИЕ 9.Сделайте заключение из посылок и проверьте правильность полученного умозаключения.Алгоритм решенияЗаписать суждения в качестве посылок умозаключения. Определить средний термин, обозначив его буквой М.Сделать вывод из посылок и получить заключение. Для этого исключить средний термин из посылок силлогизма и соединить оставшиеся понятия в простое суждение, которое и будет являться заключением.