- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
В языке логики суждений (ЯЛС), который мы рассматривали в § 3 главы 8 суждения рассматриваются как неделимые целые, их внутренняя структура не подвергается анализу. Этот язык достаточен для формализации умозаключений логики суждений, поскольку там не надо вникать во внутреннюю структуру суждений. Однако умозаключения, основанные на внутренней структуре суждений, не могут быть формализованы в этом языке.
Если мы хотим записывать в нашем языке единичные, частные и общие суждения, которые необходимы нам для обсуждения умозаключений, основывающихся на внутренней структуре высказываний, то мы должны несколько расширить наш язык и превратить его из языка логики суждений в так называемый язык логики предикатов. Язык логики предикатов был изобретен для формализации дедуктивных умозаключений. В частности, при его помощи можно выразить логические формы силлогизмов, т. е умозаключений, которые основываются на внутренней структуре суждений. Кроме того, язык логики предикатов позволяет формализовать большой класс рассуждений, которые выходят за пределы силлогистики, но широко применимы как в математических доказательствах1, так и в обычной жизни. Мы не будем строить этот язык формально, для наших целей достаточно только показать способ записи единичных, частных и общих суждений на этом языке.
В § 3 главы 1 мы уже описывали возможность записи единичных суждений при помощи обозначений индивидуальных предметов: a, b, c, d, a1, b1 , c1 ..., и знаков для свойств и отношений этих предметов, которые мы впредь бсдем называтьпредикатами этих предметов:M,P, Q, R, S, и т.п. Сейчас я введу этот язык более систематически. На языке логики предикатов (ЯЛП) можно записывать наши суждения об объектах, выявляя при этом внутреннюю структуру суждений. Такое более глубокое, чем это делает ЯЛС, проникновение в суждения, позволяет создавать модели тех рассуждений, которые не могли быть построены на языке логики суждений. Для начала рассмотрим несколько суждений и их возможные способы записи на ЯЛПе.
Пример. Рассмотрим суждение "Этот лебедь белый". Если обозначить "этот лебедь" при помощи символаа, а признак "быть белым" при помощи символаР, то единичное суждение "Этот лебедь белый" будет выглядеть так:
Р(а)
Эту запись можно прочесть так: «Признак Р принадлежит предмету а", “Предикат Р принадлежит предмету” аили "а есть Р", или, если вспомнить обозначение функций в математике, «Рота»
Чтобы говорить о более, чем одном предмете, при помощи частных и общих суждений, нам нужно ввести в язык знаки, которые могут обозначать сразу много предметов.
В языке логики предикатов это делается при помощи предметных переменных, т.е. знаков, которые обозначают не отдельный предмет, а могут обозначать любой предмет из некоторого множества. В качестве множества, из которого заимствуются значения таких знаков может быть выбрано любое множество: стульев, людей, баянистов, лягушек, сонат, русалок, всех предметов. В логике иногда говорят, что предметная переменная "пробегает" по этому множеству. В качестве нредметных переменных мы будем использовать маленькие буквы из конца латинского алфавита:x, y, z, x1 , y2 , z1, ... , набранные курсивом.В дальнейшем мы будем говорить, что эти предметные переменные могут обозначать любой предмет из нашего универсума рассуждения, если, конечно, не оговорено какое-нибудь специальное условие, например, что в данном суждении или рассуждении они будут обозначать только натуральные числа, людей и т.п.
Теперь нам осталось только ввести специальные обозначения, позволяющие записывать на нашем языке количество суждений: т.е. указывать частное это суждение или общее. В качестве таких обозначений мы будем использовать специальные знаки для слова "существует"1, и для слова "все"2. Знак "", соответствующий слову «существует», мы будем называть квантор существования, а знак "", соответствующий слову «все», - квантор общности. При помощи знака "" мы будем записыватьчастные суждения, а при помощи знака "" -общие.
Запись "хР(х)" будет означать, что «существует предмет, назовем его х, который имеет признак Р», или «по крайней мере один х имеет признак Р», или «некоторые х имеют признак Р».
Запись "хР(х)" будет означать, чтодля всякого предмета х верно, что этот предмет имеет признак Р, или «каждому х присуще свойство Р» и т. п.
Запись "хy R(х,у)" означает, что для всякого предметахсуществует такойу, что междухиуимеется отношениеR.
Нетрудно заметить, что наши знаки P, Q, R, Sмогут применяться к разному числу предметов. Это зависит от того, какие свойства или отношения обозначаются при помощи данных знаков.
Пример. Пусть х,у- предметные переменные, "пробегающие" по множеству натуральных чисел. Тогда запись ху(ху)будет означать "существует наибольшее натуральное число". (Буквальное прочтение: «существует такое натуральное число х, что для всякого натурального числа у число х больше или равно y.)
После этих предварительных соображений можно ввести алфавит языка логики предикатов:
a, b, c, d, a1 b1, c1, d1, a2, ... - предметные константы, служащие именами для конкретных предметов.
x, y, z, x1 , y1 , z1,x2, ... – предметные переменные, о которых речь шла раньше.
M, P, Q, R, S, M1, P1, Q1, R1, S1, P2, …- знаки предикатов (признаков).
- знаки для кванторов общности и существования.
Для предметных констант и предметных переменных мы введем общее имя – терми будем обозначать ихt1, t2, t3и т п.
Чтобы научиться строить выражения языка логики предикатов и записывать суждения при помощи ЯЛП надо построить определение суждения в языке логики предикатов подобное тому, которое мы построили для ЯЛС в § 3 главы 6.
Пусть Р обозначает произвольный предикат (т. е. знаки из п. 3 нашего алфавита). Тогда
Если Pестьn-местный предикатный знак, аt1,t2,…,tn– термы, тоP(t1,t2,…,tn)– суждение логики предикатов.
Если А и В есть суждения логики предикатов, то (АВ), (AB), (AB), (AB), (AB), () — суждения логики предикатов1.
Если А есть суждение логики предикатов, то хА и хА – суждения логики предикатов.
Ничто иное не является суждением логики предикатов.
Несложно заметить, что ЯЛП является расширением ЯЛСа, т. е. все суждения, которые можно записать в ЯЛСе можно записать и в ЯЛПе, но не наоборот.
Пример. В соответствии с этим определением, если P– двухместный предикатный знак,а1– предметная константа, ах1– предметная переменная, тоP(a1, x1)– суждение логики предикатов.
Пример. P(a1) Q(x2, x4)– суждение логики предикатов.
Пример. х2х4(P(a1) Q(x2, x4)) – суждение логики предикатов2.
Пример. х1P(x1)y2Q(y2) – суждение логики предикатов3.
С помощью языка логики предикатов легко записывать суждения, в которых определено их количество.
Пример. «Каждый юноша любит какую-нибудь девушку» – это суждение можно перевести на язык логики предикатов следующим образом:
Обозначим предикат «быть юношей» черезР, предикат «быть девушкой» – черезQ, предикат «любить» черезR, выберем две предметные переменныехиус областью измененияD= {люди}. Тогда наще суждение можно записать следующим образом:
хy((P(x)Q(y)→R(x, y))
Заметим, что мы интерпретируем «какую-нибудь» в смысле «существует». Если бы мы проинтепретировали «какую-нибудь» при помощи квантора общности, то получилось бы следующее суждение:
хy((P(x)Q(y)→R(x, y)),
которое можно было бы перевести на русский язык как “Все юноши любят всех девушек” или «Каждый юноша любит каждую девушку», что было бы некоторым преувеличением.
Этот пример наводит нас на мысль, что ЯЛПе можно записать и наши категорические суждения, которые мы описывали в § 2 главы 8 и использовали в силлогизмах.
Общеутвердительное суждение А:Все S есть P.
Мы помним, что для истинности этого суждения достаточно, чтобы его термины вступали в следующее отношение:
P
S
Рис. 1
В таком случае мы можем выразить это соотношение терминов общеутвердительного суждения следующим образом: Для всякого предмета если мн есть S, то он есть P. Правильность такого истолкования видна непосредственно из рисунка. Эту фразу уже легко выразить при помощи ЯЛП:
Это выражение ЯЛП мы будем считать переводом общеутвердительного суждения1.
Общеотрицательное суждение Е:Ни один S не есть P.
Мы помним, что для истинности этого суждения достаточно, чтобы его термины вступали в следующее отношение:
Рис. 2
В таком случае мы можем выразить это соотношение терминов общеотрицательного суждения следующим образом: Для всякого предмета если он есть S, то он есть не-P. Правильность такого истолкования видна непосредственно из рисунка. Эту фразу уже легко выразить при помощи ЯЛП:
Частноутвердительное суждение I:Некоторые S есть P.
Мы помним, что для истинности этого суждения достаточно, чтобы его термины вступали в следующее отношение:
Рис. 3
В таком случае мы можем выразить это соотношение терминов частноутвердительнмго суждения следующим образом: Существует по крайней мере один такой предмет, что он есть S и он есть P. Правильность такого истолкования видна непосредственно из рисунка. Эту фразу уже легко выразить при помощи ЯЛП:
Частноотрицательное суждение О: Некоторые S не есть P.
Здесь даже не прибегая к схемам можно сказать, что это суждение переформулируется следующим образом: Существует по крайней мере один S, который есть не-P. А суждение в такой форме уже легко записать на ЯЛПе:
.
Мы получили запись на языке логики предикатов наших категорических суждений. Это довольно интересный способ записи, поскольку он вообще иллюстрирует характер перевода с одного языка на другой. В данном случае мы имеем дело с двумя логическими языками. Язык силлогистики и категорических суждений основан на следующей схеме анализа выражений:
(СП) субъект – связка – предикат.
Язык логики предикатов основан на другой схеме анализа выражений:
(ФА) функтор – аргумент,
где функтор есть знак функции. Функтор вместе с аргументом обозначает функцию. Это – не только два языка, но в каком-то смысле две концептуальные системы, т. е. системы понятий, основывающиеся на разных предпосылках о структуре мира. Поэтому и получается, что простое суждение с точки зрения силлогистики превращается в сложное суждение с точки зрения логики предикатов. При этом приходится явно вводить логические связки логики суждений (импликация, конъюнкция), которые обозначают связи между суждениями. При таком переводе изменяется логическая форма высказывания, а это влияет и на его смысл. Перевод категорических суждений на ЯЛП иллюстрирует тот общий лингвистический факт, что при переводе с одного языка на другой наши суждения изменяются. Перевод всегда творческое дело.
При помощи ЯЛСа мы не могли записать наши силлогизмы, потому что последние основываются на анализе внутренней структуры высказываний, тогда как ЯЛС не принимает ее во внимание. ЯЛП позволяет записать силлогистические умозаключения.