Александр Ивин - Логика

Примеры софизмов, ставших знаменитыми ещё в древности: «Что ты не терял, то имеешь; рога ты не терял; значит, у тебя рога», «Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит», «Этот пёс твой; он отец; значит, он твой отец».

А вот софизмы, использующие уже современный материал: «Одна и та же вещь не может иметь какое-то свойство и не иметь его. Собственность предполагает самостоятельность, заинтересованность и ответственность. Заинтересованность – это, очевидно, не ответственность, а ответственность – не самостоятельность. Получается вопреки сказанному вначале, что собственность включает самостоятельность и несамостоятельность, ответственность и безответственность», «Компания, получившая когда-то кредит от банка, теперь ничего ему уже не должна, так как она стала иной: в её правлении не осталось никого из тех, кто просил ссуду».

Все эти и подобные им софизмы являются логически неправильными рассуждениями, выдаваемыми за правильные. Софизмы используют многозначность слов обычного языка, сокращения и т.д. Нередко софизм основывается на таких логических ошибках, как подмена тезиса доказательства, несоблюдение правил логического вывода, принятие ложных посылок за истинные и т.п. Говоря о мнимой убедительности софизмов, древнеримский философ Сенека сравнивал их с искусством фокусников: мы не можем сказать, как совершаются их манипуляции, хотя твёрдо знаем, что все делается совсем не так, как нам кажется. Бэкон сравнивал того, кто прибегает к софизмам, с лисой, которая хорошо петляет, а того, кто раскрывает софизмы, – с гончей, умеющей распутывать следы.

Нетрудно заметить, что в софизме «рогатый» обыгрывается двусмысленность выражения «то, что не терял». Иногда оно означает «то, что имел и не потерял», а иногда просто «то, что не потерял, независимо от того, имел или нет». В посылке «Что ты не терял, то имеешь» оборот «то, что ты не терял» должен означать «то, что ты имел и не потерял», иначе эта посылка окажется ложной. Но во второй посылке это значение уже не проходит: высказывание «Рога – это то, что ты имел и не потерял» является ложным.

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

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

Индуктивными являются, к примеру, следующие два умозаключения:

Алюминий проводит электрический ток. Железо, медь, цинк, серебро, платина, золото, никель, барий, кадмий, свинец – также проводят электрический ток.

Следовательно, все металлы проводят электрический ток.

Алюминий – твёрдое тело.

Железо, медь, цинк, серебро, платина, золото, никель, барий, кадмий, свинец – тоже твёрдые тела.

Следовательно, все металлы – твёрдые тела.

Оба эти умозаключения построены по одной и той же схеме, не являющейся законом логики. И в первом, и во втором все посылки истинны. Но если в первом заключение тоже истинно, то во втором оно ложно, поскольку ртуть – единственный из металлов – жидкость. Индукция может вести от истинных посылок как к истинному, так и к ложному заключению. В отличие от дедукции, опирающейся на логический закон, она не гарантирует получения истинного заключения из истинных посылок. Заключение индуктивного умозаключения всегда только предположительно , или вероятно .

Подчёркивая это различие между дедукцией и индукцией, иногда говорят, что дедукция представляет собой демонстративное, доказательное умозаключение , в то время как индукция – это

недемонстративное, правдоподобное рассуждение . Получаемые индуктивно предположения всегда нуждаются в дальнейшем исследовании и обосновании.

Характерным примером индуктивных рассуждений являются обобщения, т.е. переходы от единичного или частичного знания к общему.

«Все живые многоклеточные организмы смертны», «Все тела, имеющие массу, притягиваются друг к другу», «Все преступления совершаются теми, кому это выгодно» – это типичные индуктивные обобщения. Убедившись в смертности определённого числа многоклеточных существ, человек распространил это знание на все такие существа, в том числе и на те из них, которые ещё не появились на свет. Подытожив наблюдения над некоторыми телами, обладающими массой, Ньютон высказал мысль о всеобщем законе притяжения, относящемся и к тем объектам, которые никогда и никем не наблюдались. Юристы, анализировавшие разного рода преступления, постепенно пришли к убеждению, что преступления совершаются, как правило, теми, кому это в том или ином отношении выгодно.

Рассуждения, ведущие от знания о части предметов к общему знанию обо всех предметах, – это типичные индукции, поскольку всегда остаётся вероятность того, что обобщение окажется поспешным и необоснованным.

Нельзя, однако, отождествлять всякое индуктивное рассуждение с переходом от частного к общему.

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

Из обычной жизни и из опыта научных наблюдений мы хорошо знаем, что в мире существует определённая повторяемостьсостояний и событий. За днём всегда следует ночь. Времена года повторяются в том же самом порядке. Лёд всегда ощущается как холодный, а пламя неизменно жжёт. Предметы падают, когда мы их роняем, и т.д.

Наиболее важные регулярные, постоянные связи, исследованные наукой, называются законами .

Закон свободного падения тел, открытый Г.Галилеем, закон всемирного тяготения И.Ньютона, закон Бойля-Мариотта и т.п. – это утверждения о повторяемости физических явлений и их характеристик. Законы биологии говорят о повторяемости в мире живых существ, законы мышления – о повторяющихся «схемах», или «фигурах», наших рассуждений и т.д.

Закон устанавливает устойчивое и повторяющееся отношение между явлениями, их необходимую и существенную связь .

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