Введение в логику и научный метод

С помощью данного словаря все принципы, истинные относительно классов, могут быть сформулированы в иных символах и будут также истинны относительно суждений.

Несмотря на то что данный подход позволяет проявить формальные аналогии между двумя исчислениями, он, тем не менее, имеет несколько недостатков. Во-первых, как уже упоминалось, существует несколько теорем, которые являются истинными в случае, если термины обозначают суждения, и ложными, если они обозначают классы. Рассмотрим следующую теорему: если р имплицирует q или r, то р имплицирует q или р имплицирует r. Символически она записывается как [ p ( q r )] [( p q ) ( p r )] и является истинной для суждений. Однако если рассматривать ее применительно к классам, то она будет ложной. Например, неверно, что если все англичане являются либо мужчинами, либо женщинами, то все англичане являются мужчинами и все англичане являются женщинами.

Более серьезное возражение проистекает из того факта, что при разработке исчисления суждений мы хотим перечислить все используемые принципы вывода. Если мы будем развивать теорию суждений систематическим и дедуктивным образом, начиная с ряда недоказанных принципов для суждений, мы сможем доказать любой другой принцип. Если мы будем при этом достаточно осмотрительны, то сможем уберечь себя от опасности использования какого-либо принципа вывода, который мы не доказали бы ранее или не ввели в качестве допущения. Следовательно, действуя таким образом, мы можем достигнуть удовлетворительной систематизации логических принципов. Однако если мы используем исчисление классов в качестве основы для разработки теории суждений, то мы не сможем использовать данный метод получения всех принципов вывода.

Как и в исчислении классов, где все последние рассматривались относительно своих объемов, в исчислении суждений все суждения анализируются только относительно своих истинностных значений, а не относительно конкретного значения, которое в них утверждается. Читателю следует это четко уяснить, с тем чтобы не совершать грубых ошибок.

Проиллюстрируем сказанное на примере анализа определения термина «импликация», которое часто приводится в дискуссиях по символической логике, ( p q ) определяется как то, что эквивалентно ( p ' q ) или ( p . q ')'. Словами: « p имплицирует q » истинно, если «

или q » истинно.

Но «

или q» истинно в любом из перечисленных случаев: 1) р истинно и q истинно; 2) р ложно и q ложно; 3) р ложно и q ложно. Единственное, что может сделать данное суждение ложным, это ситуация, в которой р является истинным, a q ложным. Из этого следует, что «р имплицирует q» истинно в любом из первых трех перечисленных случаев. Однако если мы рассмотрим данные случаи подробнее, то должны будем признать, что до тех пор пока р ложно, «р имплицирует q» будет истинным безотносительно того, истинно или ложно q; и до тех пор, пока q истинно, «р имплицирует q» будет истинным безотносительно того, истинно или ложно р. Все это можно сформулировать несколько парадоксальным образом, сказав, что ложное суждение имплицирует любое суждение и что любое суждение имплицирует истинное суждение. Следовательно, каждое из следующих суждений должно быть истинным: «„2 + 2 = 5" имплицирует „Сакко и Ванцетти были казнены за убийство"» и «„Альфред Смит проиграл президентские выборы в 1928 году" имплицирует „углы у основания равнобедренного треугольника равны"».