- •Формальная логика
- •Формальная логика
- •Предисловие
- •Раздел 1. Организационно-методический раздел
- •Тема 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).
§5. Зависимость познавательного значения суждения от его формы
Значение или важность суждения для знания зависит во многом от его формы. Так, условные и разделительные суждения становятся ценными для знания лишь в связи с категорическими суждениями.
Вместе с тем, наибольшее значение для знания имеют общие суждения. В них, несомненно, гораздо больше знания, чем в частных суждениях или единичных. Всякая наука стремится к доказательству общих суждений, используя единичные и частные суждения в качестве вспомогательных средств для проверки общих суждений. Действительно, ни одному физику или химику не придет в голову печатать в виде теоретической научной работы лабораторные журналы или дневники наблюдений, но используют их данные для подтверждения своих гипотез или научных выводов.
Естествознание пользуется единичными и частными суждениями для оправдания заключений по поводу какого-либо опыта. При этом оно стремится выяснить законы природы и причины явлений природы. Законы же природы мыслятся всегда в виде общих суждений. Например: «Всякое тело, погруженное в жидкость, теряет столько веса, сколько весит вытесненный им объем жидкости». Знание причин явлений природы также мыслится в виде общих суждений. Если же причина всегда производит одно и то же действие, то всякое повторение этого обстоятельства сопровождается данным явлением природы, что отражается в общем суждении.
Чем точнее наука, тем больше общих суждений заложено в фундамент ее знания. Это касается не только естественных наук, но и наук гуманитарных.
По своему составу общие суждения делятся на аналитические и синтетические. В аналитических суждениях предикатом является такое понятие, содержание которого образует часть содержания понятия, лежащего в основе субъекта, поэтому понятие субъекта может быть найдено путем разделения, анализа (от греч.«analysis» - разложение) содержания субъекта. Например, в суждении «квадрат есть прямоугольник» содержание предиката составляет лишь некоторую часть содержания субъекта и может быть найдено путем расчленения содержания понятия «квадрат».
В синтетических суждениях понятие, содержащееся в предикате, еще не находится полностью в составе субъекта, как часть его содержания, и поэтому не может быть найдено путем одного лишь расчленения содержания субъекта. Например, понятие тяжести в суждении «все тела тяжелы» не служит признаком, образующим содержание понятия тела.
Расчленив понятие физического тела, мы увидим, что в нем мыслится нечто, наполняющее своим протяжением часть пространства, но не мыслится, будет ли это нечто тяжелым или нет. Поэтому мы без всякого противоречия можем допустить существование невесомых тел. Прежняя физика так и поступала, введя в научный оборот целый ряд невесомых жидкостей: «теплород», «световой эфир», «электрическая жидкость». Отголосок последней остался в выражении «ток течет по проводам».
Чтобы легче понять разницу между утвердительным аналитическим и синтетическим суждениями, покажем это на следующем примере. Возьмем суждение «S есть Р», где под S и Р можно подразумевать любые понятия. Если Ѕ = P + a, причем а может быть равно и нулю, то есть суждение превращается в тавтологию Р есть Р (простое повторение в предикате того, что уже было сказано в субъекте), то наше суждение Ѕ есть P будет аналитическим, поскольку в его предикате нет ничего такого, чего не было в содержании его субъекта. Но если Ѕ = x + a, а P = x + b, то наше суждение «Ѕ есть Р» будет уже синтетическим, потому что в его предикате есть то, чего нет в содержании субъекта (признак b).
Знание расширяется всегда только при помощи синтетических суждений, тогда как аналитические суждения разъясняют его.
Вопросы для самопроверки
Что такое суждение?
Что является предметом суждения?
Из каких элементов состоит суждение?
Что выражает логический квадрат?
В чем разница между аналитическим и синтетическим суждениями?
Упражнения