- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 1. Общая характеристика логики как науки
- •1.1. Предмет и функции логического знания
- •1.2. Основные законы логики
- •Тема 2. Понятие
- •2.1. Понятие как мысль о классе предметов
- •2.2. Понятия и языковые знаки
- •2.3. Объем и содержание понятий
- •2.4 Виды понятий
- •2.5. Отношения между сравнимыми понятиями
- •2. 6. Логические операции с понятиями
- •2.6.1 Определение понятия
- •2.6.2. Обобщение и ограничение понятия
- •2.6.3. Деление понятия
- •Тема 3. Суждение
- •3.1. Понятие суждения и его структурные элементы
- •3.2. Разновидности суждения
- •3.3 Простое атрибутивное суждение
- •3.3.1. Виды простых атрибутивных суждений
- •3.3.2. Логические отношения между простыми атрибутивными
- •3.3.3. Распределенность терминов простого атрибутивного
- •3.4. Сложные суждения
- •3.4.1. Структура сложного суждения. Основные логические
- •3.4.2. Формализация и исчисление сложных суждений
- •Тема 4. Умозаключение
- •4.1. Понятие умозаключения, его структура и основные
- •Иванов - человек.
- •4.2. Непосредственные дедуктивные умозаключения
- •Умозаключение по правилам логического квадрата базируется на учете законов отношений между простыми суждениями а, е, I, o, о которых шла речь ранее.
- •4.3 Простой категорический силлогизм
- •4.3.1 Структура и разновидности простого категорического
- •4.3.2. Общие правила простого категорического силлогизма
- •4.3.3 Правила фигур пкс. Графический способ проверки
- •4.4 Энтимемы, полисиллогизмы и сориты
- •4.5.Силлогизмы, имеющие сложные суждения в посылках
- •4.6 Формальный способ проверки правильности выводов из
- •4.7 Индуктивные умозаключения
- •4.7.1. Полная индукция
- •4.7.2.Неполная индукция. Популярная индукция
- •4.7.3. Индукция Милля
- •4.8 Аналогии
- •Тема 5. Доказательство и опровержение
- •5.1. Понятие доказательства, его структура и разновидности
- •5.2. Правила доказательства и ошибки в доказательствах
- •Правила демонстрации.
- •5.3 Опровержение
- •Раздел 2. Словарь логических терминов
- •Аналогия отношений – аналогия, в которой переносимым признаком является структура предмета или его связи с другими предметами.
- •Вербальное определение - определение, в котором и определяемое, и определяющее понятия выражены словами.
- •Выводы умозаключения – суждения, получаемые в результате умозаключения.
- •Закон инверсии – логическое значение отрицательного суждения противоположно логическому значению суждения, которое в нем отрицается.
- •Крайние термины простого категорического силлогизма - термины, образующие вывод простого категорического силлогизма.
- •Лишний делитель - нарушение правила соразмерности для деления понятия: сумма объемов делителей, полученных в результате деления понятия, больше объема делимого понятия.
- •Логическая форма – способ строения мысли, специфическая связь между ее содержательными компонентами.
- •Меньший термин простого категорического силлогизма – термин, являющийся в простом категорическом силлогизме субъетом его вывода
- •Непрерывности правило – в одном делении нельзя получать видовые и подвидовые понятия в отношении к исходному делимому понятию.
- •Несравнимые понятия - понятия, не имеющие в своем содержании ни одного общего признака, помимо признака существования.
- •Обращение суждения – непосредственное умозаключение, в основе которого лежит установление отношения предиката посылки к ее субъекту.
- •Определяемое понятие – понятие, содержание которого раскрывается в определении.
- •Превращение суждения - непосредственное умозаключение, в основе которого лежит установление отношения субъекта посылки к понятию, находящемуся в отношении противоречия с ее предикатом.
- •Противопоставление предикату - непосредственное умозаключение, в основе которого лежит установление отношения понятия, находящегося в отношении противоречия с предикатом посылки к субъекту посылки.
- •Равнообъемность понятий - разновидность отношения совместимости между понятиями: понятия равнообъемны, если, имея разное содержание, выделяют один и тот же класс предметов.
- •Содержание понятия - набор мыслимых в понятии признаков, необходимых и достаточных для выделения и обобщения предметов в единый класс.
- •Теоретическое понятие – понятие, объединяющее предметы в класс по признакам, недоступным чувственному восприятию, обнаруживаемым в процессе мыслительного анализа.
- •Термины простого категорического силлогизма – понятия, входящие в структуру простого категорического силлогизма. Термины суждения – понятия, входящие в состав суждения.
- •Четвертая фигура простого категорического силлогизма - разновидность простого категорического силлогизма, в которой средний термин играет роль предиката большей посылки и субъекта меньшей посылки.
- •Элемент объема понятия – конкретный предмет, входящий в объем понятия.
- •Раздел 3. Тестовые задания по курсу «Логика»
- •3.1. Тестовые задания по теме «Общая характеристика логики
- •3.2. Тестовые задания по теме «Понятие»
- •3.3. Тестовые задания по теме «Суждения»
- •3.4. Тестовые задания по теме «Умозаключение»
- •3.5. Тестовые задания по теме «Доказательство и опровержение»
- •Раздел 4. Ключ к вопросам тестов и пояснения
- •4.1. Тема «Общая характеристика логики как науки»
- •4.2. Тема «Понятие»
- •4.3 Тема «Суждение»
- •4.4. Тема «Умозаключение»
- •4.5. Тема "Доказательство и опровержение"
- •Литература
- •Содержание
- •Традиционная логика
4.3 Тема «Суждение»
4.3.1. Правильный ответ - в, согласно определению суждения как логической формы.
4.3.2. Правильный ответ - б.
4.3.3. Правильный ответ - г. Восклицательные предложения в отдельных случаях могут выражать суждения, а именно, когда восклицание усиливает утверждение или отрицание. Например: "Никакая сила не сломит нас!"
4.3.4.Правильный ответ - а. Суждение может быть выражено грамматически только предложением, но некоторые предложения (вопросительные, например) не содержат суждений.
4.3.5. Правильные ответы - б, д, е.
4.3.6. Правильный ответ - б. Поскольку суждение - это мысль, а субъект - составная часть суждения, постольку ни человек (в), ни другой любой реальный предмет (а) не может быть субъектом.
4.3.7. Правильный ответ - б. Так же как и субъект суждения, предикат является мысленным образованием. Признак же предмета (а) - реальная характеристика. Любое отношение (б) - разновидность признака.
4.3.8. Правильные ответы - а, в. Вариант а характеризует простое атрибутивное суждение, в - простое релятивное суждение. Наличие более одного предиката в суждении говорит о его сложном характере, даже если грамматической его формой является простое предложение. Например: "Мы умны и храбры".
4.3.9. Правильный ответ - в, согласно определению логической связки.
4.3.10.Правильные ответы - в, г. Суждения, приведенные в вариантах а и б, являются сложными. См. п.4.3.8.
4.3.11.Правильные ответы - а, б. Эти термины используются в логике как синонимы.
4.3.12.Правильный ответ - в, согласно определению релятивного суждения.
4.3.13.Правильный ответ - б.
4.3.14.Правильные ответы - б и в, поскольку суждения этих вариантов образованы утвердительными логическими связками.
4.3.15. Правильный ответ - в, согласно определению количества как логического понятия.
4.3.16. Правильный ответ - в.
4.3.17. Правильный ответ - а. Смысловое значение, приведенное в варианте б, характерно для использования слова "некоторые" в сложных суждениях: "Некоторые реки текут на север, а некоторые - не текут на север".
4.3.18.Правильный ответ - б. Например: "Люди разумны".
4.3.19.Правильный ответ - а. Так называемые единичные суждения следует считать общими, поскольку в них характеризуется весь класс предметов, состоящий из одного элемента, а не часть класса.
4.3.20.Правильные ответы - а, д. Вариант ж содержит единичное суждение, которое считается общим (см. п. 4.3.19). Суждения б и е не содержат кванторного слова, а значит также являются общими (см. п.4.3.18). На частный характер суждения в, казалось бы, указывают слова "временами бывают". Но субъектом этого суждения является понятие "юноши" и, поскольку квантор в суждении отсутствует, данное суждение также является общим. Его чистая логическая форма: "Все юноши суть таковы, что временами они бывают в некоторой степени сентиментальными". Другое дело - суждение варианта д, в котором характеризуются времена, и слово "бывают" выступает как кванторное слово частного суждения.
4.3.21.Правильные ответы - а, в, г. См. п. 4.3.18,4.3.19.
4.3.22.Правильный ответ - в, согласно определению распределенности терминов.
4.3.23.Правильный ответ - б. Согласно закону распределенности терминов, распределены субъекты общих и предикаты отрицательных суждений. Поэтому, если предикат суждения распределен, то суждение может оказаться как общим (отрицательным), так и частным (отрицательным).
4.3.24.Правильный ответ - в. По закону распределенности терминов таким суждением могут оказаться и частноутвердительное, и частноотрицательное суждения.
4.3.25.Правильные ответы - б, в. У общеотрицательного суждения оба термина распределены, у частноутвердительного - не распределены.
4.3.26.Правильный ответ - в, согласно определению сравнимости суждений.
4.3.27.Правильные ответы - а, д. См. п.4.3.26.
4.3.28.Правильный ответ - в. Противоречивыми считаются суждения, различные и по количеству, и по качеству.
4.3.29.Правильный ответ - а. Противоположными считаются общие суждения, различные по качеству.
4.3.30.Правильный ответ - б. Разные по количеству суждения одного качества находятся в отношении подчинения.
4.3.31.Правильный ответ - в. Исходное суждение - общеутвердительное. Противоположное ему суждение будет общеотрицательным (в). Суждение (б) частноотрицательное и, значит, находится в отношении противоречия с исходным суждением. Суждение (а) является несравнимым с исходным суждением, поскольку у них различаются предикаты.
4.3.32.Правильный ответ - в, поскольку первое суждение является общеотрицательным, а второе (если привести его к чистой логической форме) - частноотрицательным.
4.3.33.Правильные ответы - а и б, согласно законам логического квадрата.
4.3.34. Правильные ответы - а, в, г, согласно законам логического квадрата.
4.3.35.Правильный ответ - в. Суждения находятся в отношении подчинения. Согласно закону подчинения, истинность частного суждения не обусловливает с необходимостью ни истинность, ни ложность общего суждения.
4.3.36.Правильный ответ - в. Суждения являются противоположными. Противоположные суждения не могут быть одновременно истинными, но могут быть (а могут и не быть) одновременно ложными.
4.3.37.Правильный ответ - а. Суждения являются противоречивыми, а значит, имеют разное логическое значение: если одно истинно, то другое ложно.
4.3.38.Правильный ответ - а. Сложное отрицательное суждение может включать в свою структуру одно простое суждение и логический союз отрицания.
4.3.39.Правильный ответ - б. Сложное суждение может быть выражено простым предложением с несколькими подлежащими или несколькими сказуемыми.
4.3.40.Правильные ответы - б, в, г, д. Суждение варианта а является простым, поскольку в нем есть только одно утверждение.
4.3.41.Правильный ответ - б. Логический союз в отличие от грамматического не передает смыслового оттенка фразы. Поэтому один и тот же логический союз может фиксироваться несколькими грамматическими союзами, количество которых в любом языке достигает нескольких сотен. Логических же союзов - всего шестнадцать. Причем в практике обычных рассуждений из них используются только шесть.
4.3.42.Правильные ответы - а и б.
4.3.43.Правильный ответ - в, согласно определению логического союза.
4.3.44.Правильные ответы - а, г.
4.3.45.Правильный ответ - а, согласно закону конъюнкции.
4.3.46.Правильный ответ - а. Для истинности дизъюнктивного суждения достаточно, чтобы истинным было хотя бы одно из простых суждений, входящих в его состав.
4.3.47.Правильный ответ - б.
4.3.48.Правильный ответ - а. Логические условия истинности строгой дизъюнкции более "суровы" по сравнению с дизъюнкцией. Поэтому в условиях грамматической неопределенности лучше исходить из "презумпции слабости".
4.3.49.Правильные ответы - а и б. Не случайно, что элементы импликации имеют разное название.
4.3.50. Правильные ответы - б, в, согласно таблиц истинности логических союзов.
4.3.51. Правильный ответ - г.
4.3.52. Правильные ответы - б, в. При истинном консеквенте и ложном антеце денте импликативное суждение будет истинным. См. таблицу истинности импликации.
4.3.53.Правильный ответ - б. При ложном антецеденте импликативное суждение будет истинным независимо от логического значения консеквента.
4.3.54. Правильные ответы - в, г. См. п.4.3.53.
4.3.55. Правильный ответ - б. Предположим, что и антецедент, и консеквент импликации являются истинными. В этом случае импликативное суждение будет истинным и оно останется истинным, если антецедент и консеквент поменяются местами. Но возьмем случай, когда антецедент истинный, а консеквент ложный. Импликация в этом случае ложна. Поменяв же местами антецедент и консеквент, мы сделаем антецедентом ложное суждение, а значит, импликация в этом случае станет истинной.
4.3.56.Правильные ответы - а, в. См. таблицы истинности логических союзов.
4.3.57.Правильный ответ - б. По закону инверсии логическое значение отрицательного суждения противоположно логическому значению отрицаемого суждения.
4.3.58.Правильный ответ - б.