
- •Логика учебно-практическое пособие
- •Оглавление
- •Введение
- •1. Предмет и значение логики
- •1.1. Этимологическое знкачение термина «логика»
- •1.2. Роль мышления в познании
- •1.3. Истинность мысли и формальная правильность рассуждений
- •1.4. Логическая форма и логический закон
- •1.5.Язык логики
- •Упражнение Укажите, какие из представленных выражений являются знаками, а какие нет.
- •2. Понятие
- •2.1.Понятие и предмет. Основные логические приемы образования понятий
- •2.1. Виды понятий
- •1. Единичные и общие понятия
- •2. Конкретные и абстрактные понятия
- •3. Положительные и отрицательные понятия
- •4. Безотносительные и соотносительные понятия
- •5.Собирательные и несобирательные
- •Отношения между понятиями
- •Одно и то же понятие может быть как видовым, так и родовым, за исключением единичных понятий: единичные понятия родовыми быть не могут. Например, «русский» /а/- «славянин»/в/ - «человек» /с/.
- •2. 4. Определение понятий
- •2.5. Деление понятий
- •3.Суждение
- •3.1. Суждение и предложение
- •3.2. Простые суждения
- •3.3. Отношения между простыми суждениями. Логический квадрат
- •I частичная совместимость o
- •3.4. Сложные суждения
- •Условия истинности эквиваленции.
- •Упражнение
- •Только кое-где мерцали на бегущих струях отражения звезд, да порой игривая волна вскакивала на берег и бежала к нам.
- •4.Законы логики (основные формально-логические законы)
- •5.Умозаключение
- •5.1. Непосредственные умозаключения
- •5.2. Простой категорический силлогизм
- •1 Фигура, модус ааа
- •6.Умозаключение (выводы из сложных суждений)
- •6.1. Условно-категорический силлогизм
- •6.2. Разделительно-категорический силлогизм
- •6.3. Леммы и иные виды дедуктивных умозаключений
- •7. Индуктивные умозаключения
- •7.1. Полная индукция
- •7.2. Неполная индукция
- •7.3. Методы Бэкона- Милля
- •Метод сходства
- •Метод различия
- •Метод сопутствующих изменений
- •Метод остатков
- •8. Доказательство и опровержение
- •8.1. Общая характеристика доказательства
- •8.2. Опровержение
- •8.3. Требования к элементам доказательства
- •Рациональный спор
- •Список рекомендуемой литературы (для тех, кто решил дальше самостоятельно продолжить изучение логики)
3.2. Простые суждения
Простое суждение – это суждение, в котором нельзя выделить правильную часть, т.е. не совпадающую с целым, в свою очередь, являющуюся суждением.
Среди простых суждений выделяют атрибутивные (категорические) суждения, реляционные (суждения об отношениях) и экзистенциальные (суждения существования).
Структура атрибутивного суждения.
Атрибутивное суждение имеет субъект, предикат и связку.
Субъект суждения – это понятие о предмете суждения.
Предикат суждения – это понятие о признаке предмета, рассматриваемого в суждении.
Связка – это само утверждение или отрицание мыслимого в предикате содержания.
Квантор – это слово, указывающее на количество элементов класса S, о которых идет речь в данном суждении (все, ни одно, некоторые).
Атрибутивные суждения выражаются формулой:
S есть / не есть/ Р
Атрибутивные (категорические) суждения делятся:
-по качеству – на утвердительные и отрицательные
Утвердительные суждения – это суждения, в которых признак, указанный в классе Р, принадлежит элементам класса S. Например, Все киты – млекопитающие. Некоторые медведи – белые.
Отрицательные суждения - это суждения, в которых признак, указанный в классе Р, принадлежит элементам класса S. Например, Некоторые растения не являются лекарственными.
- по количеству – на общие (+ единичные) и частные.
Общие суждения - это суждения, в которых всем элементам класса S принадлежит или не принадлежит признак, указанный в классе Р. Кванторы общности: все, ни одно. Например, Все киты - млекопитающие. Ни один страус не летает. Антарктида – материк.
Частные суждения – суждения, в которых только некоторым элементам класса S принадлежит или не принадлежит признак, указанный в классе Р. Квантор частности: некоторые. Например, некоторые растения являются хищниками. Некоторые студенты не ходят на лекции.
В логике принята объединенная классификация суждений по количеству и качеству:
общеутвердительные суждения (А): «Все S есть Р» – всем элементам класса S принадлежит признак, указанный в классе Р.
общеотрицательные суждения (Е): «Ни одно S не есть Р» - ни одному элементу класса S принадлежит или не принадлежит признак, указанный в классе Р.
частноутвердительные суждения (I): «Некоторые S есть Р» – некоторым элементам класса S принадлежит признак, указанный в классе Р.
частноотрицательные суждения (О): «Некоторые S не есть Р» – некоторым элементам класса S не принадлежит признак, указанный в классе Р.
Чтобы правильно понимать смысл суждений и правильно оперировать ими, необходимо знать распределенность терминов – субъекта и предиката.
Распределенным (+) считается термин, мыслимый во всем объеме; нераспределенным (-) – если он мыслится не во всем объеме, а частично.
В общих суждениях всегда распределены субъекты, в отрицательных – предикаты.
Распределенность терминов в суждениях А, Е, I, О может быть представлена в виде следующей таблицы:
Термины |
Виды суждения |
|||
|
А |
Е |
I |
О |
S |
+ |
+ |
- |
- |
P |
- |
+ |
- |
+ |
С помощью кругов Эйлера это можно изобразить следующим образом:
общеутвердительные суждения (А)
Все студенты юридических вузов (S) изучают логику (Р)
Все S есть Р
общеотрицательные суждения (Е)
Ни один римский раб (S) не обладал гражданскими правами (Р)
Ни одно S не есть Р
частноутвердительные суждения ( I )
Некоторые государства (S) являются демократическими (Р)
Некоторые S есть Р
частноотрицательные суждения (О)
Некоторые виды акул (S) не опасны для человека (Р)
Некоторые S не есть Р
Суждения существования (экзистенциальные). В отличие от атрибутивных суждений, отражающих связь предметов и их признаков, суждения существования отражают факт существования или несуществования предметов. Например, Есть в графском парке старый пруд.
Суждения об отношениях (реляционные) – раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким). Они не имеют субъектно-предикатной структуры. Структура этих суждений выражается формулой – А R B, где А и В обозначают понятия о предметах, R – отношение между предметами. Формула А R B читается так: Между предметами А и В существует отношение R. Например, мораль возникла раньше религии.
Упражнение
Определите виды следующих суждений, запишите их структуру в виде формул. Суждения с отношениями и суждения существования выразите в форме атрибутивных суждений.
Пример: 1. Москва – столица России. Атрибутивное суждение: S есть Р.
2. Александр старше Михаила. Суждение с отношением: А R B. В форме атрибутивного суждения оно может быть выражено следующим образом: Александр является старшим братом Михаила. Формула: S есть Р.
3. Существует обширная литература о творчестве А.С. Пушкина. Суждение существования. В форме атрибутивного суждения: Обширная литература о творчестве А.С. Пушкина есть то, что существует.
Роща спит над отуманенной рекою.
Троицкая башня Московского Кремля построена раньше всех остальных башен.
Все сделки, не соответствующие требованиям закона, считаются недействительными.
Некоторые люди считают рассвет лучшим временем суток.
Комната матери и ребенка существует при каждом железнодорожном вокзале.
Клесты высиживают птенцов в декабре.
В некоторых странах существует расовая дискриминация населения.
Мышления без языка не существует.
Некоторые люди знают японский язык лучше, чем английский.
«Глупость не входит в число моих талантов» (П. Валери).
Упражнение
Дайте объединенную классификацию суждений, изобразите отношения между терминами с помощью кругов Эйлера, установите распределенность субъекта и предиката.
Пример: Суждение – форма мышления. – Общеутвердительное суждение (А). Субъект (S) распределен, предикат (Р) – не распределен.
Некоторые факты являются вполне убедительными доказательствами.
Над чувствами не шутят.
Атаман Кольцо с товарищами бил челом царю.
Ничто не возникает из ничего.
Лодырю всегда нездоровится.
Маршал Жуков – выдающийся полководец второй мировой войны.
Никакой лимон сладким не сделаешь.
Многие деревья цветут весной.
Зависть ни о ком хорошего слова не скажет.