Жар холодных числ и пафос бесстрастной логики - [16]
(6) РА = РАВ — формула частного суждения «Некоторые A являются В» («Некоторые металлы имеют меньшую плотность, чем вода»). Здесь β — знак «неопределенного количества»; РА означает какую-то (неопределенную, но фиксированную) часть класса A.
В процессе дедукции в теории Джевонса используются законы тождества, противоречия и исключенного третьего. Закон тождества, в наиболее общей формулировке утверждающий требование неизменности понятий и суждений в процессе рассуждения, передается формулой A = A, где A —любое множество. Закон противоречия, запрещающий признание истинным высказывания и его отрицания, записывается, по Джевонсу, как AA' = Λ (результат пересечения произвольного класса A со своим дополнением есть пустой класс; здесь Λ — знак пустого множества, то есть множества, не содержащего ни одного элемента). Закон исключенного третьего, утверждающий, что если дано высказывание и его отрицание, то по крайней мере оно из них верно (верность того и другого запрещается законом противоречия), Джевонс записывает в виде разделительного суждения A = АВ ∪ АВ'. Эту запись можно иллюстрировать суждением «Вода бывает соленая или пресная (то есть несоленая)» («Вода = соленая вода или пресная вода»). Очевидно, это суждение истинно.
Приведем примеры логических выводов в исчислении Джевонса:
1. Дана посылка A = АВ (например, «Все металлы — элементы», то есть «Все металлы = металлы, являющиеся элементами»); покажем, что из нее выводится суждение AС = ABC («Все жидкие металлы — жидкие элементы»). Возьмем суждение АС = AC, верное по закону тождества.
Поскольку в посылке об A утверждается, что этот класс равен AB, мы можем, пользуясь «принципом замещения», заменить в данном суждении второе вхождение A на AB. и результате получится требуемое заключение.
2. Из B = ВС' и A = АВ следует A = ABC', а отсюда (по действующему в системе Джевонса правилу, позволяющему зачеркнуть в последней формуле букву В) получается A = AС'. Это — модус аристотелевского силлогизма Celarent: «Ни одно B не есть С, все A суть B; значит, ни одно A не есть С».
3. Из посылки «Все A суть B» следует заключение «Ни одно не-B не есть A». В самом деле, из A=AB, присоединяя суждение B' = B'A ∪ B'A'; (по закону исключенного третьего), получает B' = B'AB ∪ B'A'; использование комутативности операции пересечения дает B' = ABB' ∪ A'B'. Поскольку BB' = Λ ( по закону противоречия) и AΛ = Λ (пересечение любого множества с пустым множеством пусто), оказывается, что ABB' = Λ, откуда (в силу того, что Λ ∪ A'B' = A'B') вытекает формула B' = A'B', выражающая рассматриваемое заключение.
Очерченное логическое исчисление и было положено Джевонсом в основу работы его машины. Последняя представляла собой механическое устройство с клавиатурой {и поэтому получила название «логического пианино»). Ее работа основывалась на той идее, что всякое высказывание-посылку можно рассматривать как исключение альтернативных-вариантов; получение заключения из системы посылок состоит в отборе незабракованных альтернатив и в их компактном представлении, удобном для понимания.
Пусть даны три класса A, В и С. Мы можем ввести в рассмотрение класс A, а можем рассматривать дополнение к нему, то есть класс А'; в первом случае мы можем ввести в рассмотрение класс В и взять его пересечение с A, а можем взягь класс В' и т. д. Делая тоже самое для С, мы получим альтернатива (они носят название конституэнт): AВС, AВС', AВ'С, AВ'С',A'ВС, A'ВС', A'В'С, A'В'С'. Если соединить, все конституэнты знаком ∪ то мы получим формулу, выражающую универсальный класс: AВС ∪ ABC' ∪ AB'C ∪ AB'C' ∪ A'BC ∪ A'BC' ∪ A'B'C ∪ A'B'C' = V[16]. теперь пусть нам даны посылки из приведенного выше примера 2 (модус Celarent): В = ВС' и A = AВ. Их можно записать в другом виде: ВС = Λ (поскольку, если ни одно В не есть С, то пересечение классов В и С пусто) и AB' = Λ (так как если все A суть В, то пересечение A с дополнением к В не может быть не пустым).
Это означает, что альтернативы AВС и A'ВС обращаются в пустой класс в силу первой посылки (поскольку пересечение любого класса с пустым классом дает пустой класс), а альтернативы АВ'С и AВ'С'— в силу второй посылки. Таким образом, мы получаем: (*) AВС' ∪ A'ВС' ∪ A'В'С ∪ A'В'С' = V. Теперь очевидно, что AС должно быть пустым классом (что и будет означать A = AС', то есть «Ни одно A не есть С») — ведь конституэнты AВС и А В'С, объединение которых совпадает с AС, отсутствуют в выражении (*) (поскольку, как мы видели, они «бракуются» нашими посылками).
Набор на клавиатуре машины Джевонса посылок этого умозаключения (клавиатура содержит клавиши для четырех переменных и их отрицаний) приводит к тому, что на ее выходном табло получается заключение. Но на этой машине можно решать и задачи другого рода: представлять логическое выражение в виде набора конституэнт; проверять равносильность выражений; упрощать логические формулы; устанавливать, какие утверждения о данном классе можно выразить в терминах некоторых других классов; определять гипотезы, из которых следует данное выражение; проверять правильность силлогизмов и т. д.
В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.
Бирюков Борис Владимирович — доктор философских наук, профессор, руководитель Межвузовского Центра изучения проблем чтения (при МГЛУ), вице-президент Русской Ассоциации Чтения, отвечающий за её научную деятельность.Сфера научных интересов: философская логика и ее история, история отечественной науки, философия математики, проблемы оснований математики. Автор и научный редактор более пятисот научных трудов, среди них книги, входящие в золотой фонд отечественной историко-научной и логической мысли. Является главным научным редактором и вдохновителем научного сборника, издаваемого Русской Ассоциацией Чтения — «Homo legens» («Человек читающий»).
Новая книга В.Н. Тростникова, выходящая в издательстве «Грифон», посвящена поискам ответов на судьбоносные вопросы истории России.За последнее десятилетие мы восстановили и частную собственность, и свободу слова, ликвидировали «железный занавес»… Но Запад по-прежнему относится к нам необъективно и недружественно.Ожесточаться не нужно. Русские – самый терпеливый народ в мире, и мы должны перетерпеть и несправедливое отношение к себе Запада. Ведь придёт час, когда Запад сам поймёт необходимость заимствовать у нас то, что он потерял, а мы сохранили, – Христа.Книга рассчитана на широкий круг читателей.
Автор книги – известный религиозный философ – стремится показать, насколько простая, глубокая и ясная вещь «настоящая философия» – не заказанное напористой и самоуверенной протестантской цивилизацией её теоретическое оправдание, а честное искание Истины – и как нужна такая философия тем русским людям, которые по своей натуре нуждаются в укреплении веры доводами разума.В форме увлекательных бесед показаны не только высоты и бездны европейской философии, но и значительные достижения русской философской школы, уходящей своими корнями в православное мировосприятие.
Виктор Николаевич Тростников (род. 1928 г.), писатель, ученый, философ. Профессор Российского Православного Университета им. св. Иоанна Богослова. Автор более ста работ по различным разделам физики и математики, а также книг по научной апологетикеКнига содержит размышления автора об опыте осмысления Вечных Истин в свете современного знания.
Цель «Трактата о любви» В.Н. Тростникова – разобраться в значении одного-единственного, но часто употребляемого нами слова «любовь». Неужели этому надо посвящать целое исследование? Да, получается так, потому что слово-то одно, а значений у него много. Путь истинной любви обрисован увлекательно, понятно и близко молодому и просвещенному современному читателю, который убедится, что любовь в ее высшем проявлении есть любовь к Богу. Это книга – для всех любящих сердец.
В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.
Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.
Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.
Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.
На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.