- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 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. Тема "Доказательство и опровержение"
- •Литература
- •Содержание
- •Традиционная логика
Тема 3. Суждение
3.1. Понятие суждения и его структурные элементы
Суждение - это мысль, в которой нечто утверждается или отрицается о классе предметов. Примерами суждения являются такие выраженные в словах русского языка мыслительные конструкции, как "Сократ - философ", "Свиньи не летают", "Иванов старше Петрова" и др. Поскольку, утверждая или отрицая что-либо относительно класса предметов, мы всегда фиксируем наличие или отсутствие у предметов тех или иных признаков, суждение может быть определено также и как мысль о связи предметов с определенными признаками.
В зависимости от соответствия суждения с реальной действительностью оно может быть или истинным (то есть соответствующим действительности), или ложным (то есть действительности не соответствующим). Суждение "Сократ - древнегреческий философ" является истинным, так как Сократ действительно был древнегреческим философом. Суждение "Сократ - лошадь" является ложным, поскольку Сократ был человеком, а не лошадью. Свойство суждения быть истинным или ложным называется логическим значением суждения. Логическое значение суждения является его важной специфической характеристикой, отличающей суждение, в частности, от понятия. Понятия ("Сократ", "грек", "лошадь"), будучи удачными или малоудачными фиксациями признаков предметов определенного класса, тем не менее, сами по себе не могут, считаться ни истинными, ни ложными. Истинность или ложность возникает лишь при их соединении в суждении.
Языковая оболочка суждения – предложение. Суждение выступает идеальным содержанием предложения, его инвариантом при переводе с одного языка на другой. Но, если любое суждение фиксируется предложением, то не всякое предложение содержит суждение. В любом суждении утверждается или отрицается нечто о классе предметов. Некоторые же разновидности предложений (побудительные, вопросительные и большая часть восклицательных) фиксируют не информацию о предмете, а просьбы, вопросы, эмоциональные переживания. Поэтому не соотносимы с суждениями и не содержат в себе суждений, например, такие предложения: "Вперед, в атаку!", "Что делать?", "Отлично, Григорий!" и др. Грамматической формой суждения являются предложения повествовательные и восклицательные; причем последние - только в тех случаях, когда восклицание в них усиливает утверждение или отрицание (например, «Прекрасен наш союз!»), а не выражает всего лишь эмоциональный отклик на явление действительности (например, «Да здравствует разум! Да скроется тьма!»).
В своем структурном аспекте суждение представляет собой связь между понятиями. Понятия, из которых состоит суждение, называются терминами суждения . В суждении "Человек свободен" терминами являются понятия "человек" и "свободное существо"; в суждении "Дети любят мороженое" термины - "дети", "мороженое", любят".
Суждение может включать в себя разное количество терминов, но не менее двух. Дело в том, что термины суждения функционально разнородны. Хотя бы один из них должен обозначать характеризуемый в суждении предмет (предметы). В наших примерах такова функция понятий "человек" (в первом суждении), "дети", "мороженое" (во втором), поскольку именно о человеке, детях и мороженом идет речь в суждениях (во втором примере устанавливается отношение между детьми и мороженым). Термин, обозначающий предмет, характеризуемый в суждении, называется субъектом суждения (при составлении формальной записи суждения этот термин принято обозначать большой латинской буквой S).
С другой стороны, хотя бы один из терминов должен указывать на признаки, которые имеются или отсутствуют у предмета. Термин, выполняющий в суждении эту функцию, называется предикатом суждения. В наших примерах предикатами являются понятия "свободное существо" и "любят". Принятое в логике обозначение термина предиката – большая латинская буква Р.
Связь между субъектом и предикатом в разных суждениях может быть различной. В одних суждениях предмету приписывается определенный признак, в других - наличие этого признака отрицается.
Характер связи между предметом мысли и его признаком в суждении выражается логической связкой, которая может быть или утвердительной (ее грамматические эквиваленты – словесные выражения «является», «являются», «есть», «суть»), или отрицательной (грамматические эквиваленты – «не является», «не являются», «не есть», «не суть»). В большей части предложений утвердительные логические связки присутствуют не явно, будучи опущенными (например, «Люди смертны»), либо замененными знаком «тире» (например, «Телевизоры – технические устройства»). Отрицательные логические связки в предложениях часто имеют сокращенную форму – частицу «не», стоящую перед предикатом (например, «Люди – не ангелы»). В любом случае логическую связку следует признать наряду с субъектом и предикатом обязательным третьим структурным элементом суждения, без которого оно не может быть образовано.