Георгий Челпанов

Формальный характер законов мышления . Рассмотренные нами законы мышления в логике имеют такое же значение, какое в математике имеют аксиомы. Они так же непосредственно очевидны, как эти последние, как, например, аксиомы: «целое больше части», «между двумя точками можно провести только одну прямую».
Эти законы называются также формальными законами мысли, потому что они не касаются содержания мысли. Закон тождества не указывает, какие именно представления, понятия, суждения должны оставаться тождественными; закон противоречия также не указывает, какие именно мысли не должны сами себе противоречить; закон исключённого третьего ничего не говорит, между какими именно противоречащими суждениями не может быть третьего, но они не говорят этого потому, что их утверждение справедливо по отношению ко всякому представлению, ко всякому суждению: всякая мысль должна подчиняться этим законам, совершенно так, как алгебраические формулы не показывают, в применении к каким числам они справедливы, и именно потому, что в них можно подставить какие угодно числа и величины.

Вопросы для повторения

Что называется законами мышления? Какие существуют законы мышления? Как формулируется закон тождества? Как формулируется закон противоречия? Объясните применение закона противоречия. Как формулируется закон исключённого третьего? Объясните применение закона исключённого третьего. Как формулируется закон достаточного основания? Какое различие между основанием и причиной? Почему законы мышления называют формальными законами?

Глава XII

О непосредственных умозаключениях

Определение умозаключения . Теперь мы рассмотрим умозаключение, или рассуждение, которое представляет собой наиболее совершенное логическое построение. Умозаключение получается из суждений, и именно таким образом, что и в двух или больше суждений с необходимостью выводится новое суждение. Это последнее обстоятельство, именно выведение нового суждения, особенно характерно для процесса умозаключения.
Итак, умозаключение есть вывод суждения из других суждений, которые в таком случае называются посылками или предпосылками (praemissae). Вообще умозаключение является результатом сопоставления ряда посылок. Но есть вид умозаключений, основывающихся на одной посылке; это так называемые умозаключения в несобственном смысле, или умозаключения непосредственные. Например, у меня есть суждение: «ни один металл не есть сложное тело»; имея такое суждение, я могу сделать вывод, что «ни одно сложное тело не есть металл». Это есть непосредственное умозаключение. Умозаключение это есть потому, что, допустив одно суждение, мы из него выводим другое.
В зависимости от числа посылок умозаключения делятся на две группы: 1) умозаключения в несобственном смысле, или непосредственные умозаключения; 2) умозаключения в собственном смысле. К этой последней группе относятся следующие виды умозаключений: 1) индукция , 2) дедукция , 3) аналогия и т.п.