«Куда мне девать все эти подарки, которыми летнее утро награждает меня и только меня? Отложить для будущих книг? Употребить немедленно для составления руководства: «Как быть счастливым»? Или глубже, дотошнее: понять, что скрывается за всем этим, за игрой, за блеском? А что-то ведь есть, что-то есть», — так писал В. В. Набоков в романе «Дар».
ПРИЛОЖЕНИЕ
ЛОГИЧЕСКАЯ ИГРА Л. КЭРРОЛЛА
НА КОМПЬЮТЕРЕ
«Методы эти позволят вам обрести ясность мысли, способность находить собственное решение трудных задач, выработают у вас привычку к систематическому мышлению…»
Исторически первой дедуктивной теорией была силлогистика, которую построил основатель логики древнегреческий философ Аристотель. Даже аксиоматическая система геометрии была создана позже Евклидом в ее духе. Силлогистика является наиболее доступным средством приобщения учащихся к логике благодаря ее простоте, элегантности и близости к естественному языку.
Приведем основные определения по «Учебнику логики» Г. И. Челпанова, который был отмечен премией Петра Великого и выдержал девять дореволюционных изданий. Умозаключением называется выведение нового суждения из нескольких данных суждений, называемых посылками. Выводимое суждение называется заключением. «Силлогизм есть такая форма умозаключения, в которой из двух суждений необходимо вытекает третье.»
Посылки и заключение силлогизма представляют собой суждения. К ним относятся следующие суждения:
1. «Все х суть Z» — общеутвердительное суждение.
2. «Ни один хне есть z» — общеотрицательное суждение.
3. «Некоторые х суть z» — частноутвердительное суждение.
4. «Некоторые х не есть z» — частноотрицательное суждение.
Например, суждение «Все ученые смертны» является общеутвердительным, а суждение «Некоторые ученые смертны» является частноутвердительным. При арифметизации будем кодировать утверждение числом +1, отрицание числом —1. В дальнейшем часто будем просто ставить «+» и «—". Отсутствие информации будем обозначать числом 0.
Частноутвердительному суждению соответствует положительный вектор, а общеотрицательному суждению — отрицательный вектор. Если обозначить: мученые, у = люди, z = смертные, то вектор (+ 0 +) будет обозначать частноутвердительное суждение «Некоторые ученые смертны» = «Некоторые х суть z», а вектор — (+ 0 —) — общеотрицательное суждение «Ни один ученый не бессмертен» = «Ни один х не есть не — z». Эти два вектора дают общеутвердительное суждение «Все ученые смертны» = «Все х суть z».
Получение логического заключения сводится к исключению термина-посредника «у» (среднего термина силлогизма). Приведем пример силлогизма, который состоит из общеутвердительных суждений:
«Все люди смертны»
«Все ученые — люди»
«Все ученые смертны»
В векторных обозначениях приведенный выше силлогизм может быть записан в следующем виде:
При решении проблемы разрешимости силлогизмов решающую роль играет принцип аннигиляции. Заключение следует из данных посылок при условии ровно одной аннигиляции при сложении или вычитании векторов.
В заключение получаем положительный вектор как разность (1,1,0) — (0,1, —1)= = (1,0,1), а отрицательный вектор — как знак суммы отрицательных частей (0,1, —1) + (1, _1,0) = (1,0, —1). Заключение принимается, когда сумма отрицательных частей или хотя бы одна перекрестная разность дает ровно один нуль.
Другая разность (0,1,1) — (1, -1,0) = (-1,2,1) отвергается (ибо число 2 в заключение указывает на несовместность утверждения +1 и отрицания —1).