- •Формальная логика
- •Формальная логика
- •Предисловие
- •Раздел 1. Организационно-методический раздел
- •Раздел I I. Теоретический курс Глава 1. Предмет логики
- •§ 1. История логики (краткая справка)
- •§ 2. Логика и язык
- •§ 3. Связь между мышлением и языком
- •§ 4. Логическое и психологическое
- •§ 5. Семантические категории
- •Вопросы для самопроверки
- •§ 6. Процесс мышления и формы мысли
- •Глава 2. Понятие как форма мысли
- •§ 1. Общая характеристика понятия
- •§ 2. Понятие и представление
- •§ 3. Признаки понятия
- •§ 4. Виды понятий
- •§ 5. Закон обратного отношения между содержанием и объемом понятия
- •§ 6. Функции понятий
- •Вопросы для самопроверки
- •§ 1. Определение понятий
- •§ 2. Неявные определения
- •§ 3. Ограничение и обобщение понятий
- •§ 4. Деление понятий
- •§ 5. Классификация понятий
- •§ 1. Общая характеристика суждения
- •§ 2. Структура суждения
- •§3. Модальность суждений
- •§4. Классификация суждений
- •§5. Зависимость познавательного значения суждения от его формы
- •1). Определите модальность суждения. Приведите их схемы.
- •2). Составьте схемы сложных суждений.
- •3). Выделите три группы суждений: а) совместимые, б) несовместимые, в) частично совместимые.
- •§6. Логические операции с суждениями
- •§ 1. Общая характеристика умозаключения
- •§ 2. Непосредственные умозаключения
- •§ 3. Силлогизм
- •§4. Индуктивные умозаключения
- •§5. Методы установления причинной связи явлений
- •1). Метод сходства
- •2). Метод различия
- •3). Соединенный метод сходства и различия
- •4). Метод сопутствующих изменений
- •5) Метод остатков
- •§6. Аналогичные умозаключения
- •§ 1. Понятие доказательства
- •§2. Правила доказательства и опровержения
- •§ 3. Виды доказательств
- •§1. Понятие гипотезы и условия её появления
- •§2. Классификация гипотез
- •§3. Построение гипотезы
- •§4. Развитие гипотезы
- •§5. Подтверждение гипотезы
- •§ 1. Закон тождества
- •§ 2. Закон противоречия
- •§ 3. Закон исключенного третьего
- •§ 4. Закон достаточного основания
- •Общие правила силлогизма
- •Правила терминов
- •Оглавление
§4. Классификация суждений
В зависимости от количества субъектов и предикатов суждения делятся на простые и сложные. Простые состоят из субъекта и предиката и имеют формулу S – Р. Сложные состоят из нескольких простых, у которых:
а) при одном субъекте есть несколько предикатов, не исключающих и не обусловливающих друг друга, S есть Р(Р1, Р2, Р3,…Рn), например: « Иван есть швец и жнец и на дуде игрец»;
б) при нескольких субъектах, не исключающих и не обусловливающих друг друга, есть один предикат S(S1, S2, S3,…Sn) есть Р, например: «Проказница Мартышка, Осел, Козел, да Косолапый Мишка затеяли сыграть квартет»;
в) при нескольких субъектах есть несколько предикатов: S(S1, S2, S3,…Sn) есть Р(Р1, Р2, Р3,…Рn), например: «студенты Иванов, Петров и Сидоров любят спорт, музыку и охоту»;
г) два простых связаны между собой связкой и получают название по имени связки. При этом связки могут быть разнообразные и в любом сочетании, а цепочки связок сколь угодно длинными (в зависимости от текста).
Наше мышление представляет сложный процесс образования мыслей, которые связаны друг с другом и образуют длинные цепочки, в которых появляются то одни субъекты мысли с предикатными свойствами, то другие. Эти цепочки соединяются с другими цепочками и в конечном счёте образуют текст. Текст, образованный этими цепочками, имеет логическую последовательность. В этом вы можете убедиться, если заглянете в оглавление книги. Но даже если это и не книга, а статья, например, в газете, то вы и там обнаружите последовательность мыслей, заданных заголовком.
Насколько правильно, по правилам выстроены эти тексты, можно выяснить лишь при логическом анализе их структуры и проверив истинность или ложность их с помощью специальных таблиц – матриц истинности или ложности этих цепочек, разбив их на отдельные звенья – простые суждения.
Таблица связок сложных суждений
|
Название связки
|
Символ
|
Обыденная речь
|
Логико-математическая формула
|
|
Отрицание (внешнее, внутреннее) связка не
|
¯ ¬ ~
|
не р
|
~ p
|
|
Конъюнкция (логическое умножение) связка а, но, и
|
Λ & x
|
p и q
|
p Λ q
|
|
Дизъюнкция (логическое сложение) связка или (нестрогая), либо(строгая)
|
V + |
p или q p либо q
|
p V q p V* q * - символ строгости |
|
Импликация (условие) связка если…..то….
|
→ >
|
если р, то q
|
P q
|
|
Эквиваленция (биусловие) связка тогда и только тогда, когда |
≡
|
p тогда и только тогда, когда q
|
p ≡ q
|
Простые суждения еще называют категорическими, поскольку они состоят из понятий, образующих безусловное неделимое целое: субъект и предикат ( S – P).
