Логика

Можно сделать из всего сказанного и другой вывод: ввиду невозможности для поездов столь высоких скоростей, они вообще не ходят на экваторе, и железных дорог там нет. Оба этих вывода, очевидно, являются не только ложными, но и нелепыми, однако они вполне вытекают из вышерассмотренного рассуждения, которое, таким образом, представляет собой софизм, содержащий хорошо спрятанную ошибку. Если Вы предложите этот софизм своему собеседнику, он, скорее всего, сразу же скажет, что выводы о поездах на экваторе ложны. Однако задача разоблачения софизмов заключается не в том, чтобы констатировать ложность их выводов (которую софисты не только не скрывают, но и, наоборот, подчеркивают), а в том, чтобы выяснить, в чем именно заключается логическая ошибка рассуждения, какой подвох в нем содержится, как нарушается закон тождества (т.е. надо установить, что чем незаметно подменяется, что с чем неявно отождествляется, будучи нетождественным). Вряд ли Ваш собеседник сможет быстро справиться с этой задачей. Обратите его внимание на формальную правильность выводов предложенного рассуждения, на то, что они неизбежно следуют из исходных утверждений. Для большей убедительности можете завершить софизм о вращающейся Земле и движущемся поезде следующим сравнением.

Допустим, что эскалатор движется вниз, а человек бежит по нему вверх. Если его скорость меньше скорости эскалатора, его будет постоянно сносить вниз. Если его скорость равна скорости эскалатора, он будет бежать на месте. Для того, чтобы добраться до верха эскалатора, человеку надо бежать со скоростью большей, чем скорость движения эскалатора. Точно так же и поезду, идущему по экватору на запад, против вращения Земли, надо двигаться со скоростью большей, чем скорость вращения планеты (т.е. надо преодолевать в час более 1600 км).

Рассматривая этот софизм, следует обратить внимание на то, что пункт, из которого выехал поезд и пункт, в который он должен прибыть, движутся вместе с Землей в одном и том же направлении и с одинаковой скоростью, т.е. их взаимное расположение, а значит, и расстояние между ними, не меняется. Таким образом, оба данных пункта можно рассматривать как неподвижные друг относительно друга. Следовательно, с какой бы скоростью не передвигалось некое тело, оно всегда покинет один из них и обязательно достигнет другого. Почему же в нашем софистическом рассуждении получилось, что поезду, идущему с востока, надо развить очень большую скорость, чтобы добраться до западного пункта своего назначения? Потому что в софизме этот западный пункт рассматривается как неподвижный, не принимающий участия во вращении Земли. Действительно, если предположить некую точку где-нибудь над земной поверхностью, которая является неподвижной, то движущемуся к ней против вращения Земли телу, конечно же, требуется развить скорость большую, чем скорость движения планеты. Однако эта точка (или пункт) является движущейся вместе с Землей, а не неподвижной. В рассуждении факт ее движения хитро и незаметно подменяется неявным утверждение о ее неподвижности, в результате чего и достигается требуемый в софизме эффект (закон тождества нарушается путем отождествления нетождественных явлений: движения и неподвижности). Точно так же в рассуждении про эскалатор, движущийся вниз, и человека, бегущего по нему наверх. Для того, чтобы достичь верхней, неподвижной части эскалатора, человеку действительно надо бежать быстрее, чем движется эскалатор. Если же ему надо добраться не до верхней, неподвижной части эскалатора, а до пассажира, который, стоя на эскалаторе, движется к нему навстречу, то в этом случае, с какой бы скоростью не перемещался бегущий наверх, он в любом случае достигнет того, кто движется навстречу ему. В софизме западный пункт, к которому направляется поезд, нарочно и неверно сопоставляется с неподвижной частью эскалатора, в то время как он должен сопоставляться с каким-либо объектом, который движется вместе с эскалатором (факт движения незаметно подменяется утверждением о неподвижности).

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

2.3.Логические парадоксы. Антиномии

От софизмов следует отличать логические парадоксы (греч. paradoxos -- неожиданный, странный). Парадокс в широком смысле слова -- это нечто необычное и удивительное, то, что расходится с привычными ожиданиями, здравым смыслом и жизненным опытом. Логический парадокс -- это такая необычная и удивительная ситуация, когда два противоречащих суждения не только являются одновременно истинными (что невозможно в силу логических законов противоречия и исключенного третьего), но еще и вытекают друг из друга, друг друга обуславливают. Если софизм -- это всегда какая-либо уловка, преднамеренная логическая ошибка, которую в любом случае можно обнаружить, разоблачить и устранить, то парадокс представляет собой неразрешимую ситуацию, своего рода мыслительный тупик, «камень преткновения» в логике: за всю ее историю было предложено множество разнообразных способов преодоления и устранения парадоксов, однако ни один из них, до сих пор, не является исчерпывающим, окончательным и общепризнанным.

Наиболее известный логический парадокс -- это парадокс «лжеца». Часто его называют «королем логических парадоксов». Он был открыт еще в Древней Греции. Существует несколько различных формулировок данного парадокса. Наиболее коротко и просто он формулируется в ситуации, когда человек произносит простую фразу: «Я лжец». Анализ этого элементарного и бесхитростного, на первый взгляд, высказывания приводит к удивительному результату. Как известно, любое высказывание (в том числе и вышеприведенное) может быть истинным или ложным. Рассмотрим последовательно оба случая, в первом из которых высказывание «Я лжец» является истинным, а во втором - ложным.

Допустим, что фраза «Я лжец» истинна, т.е. человек, который произнес ее, сказал правду, но в этом случае он действительно лжец, следовательно, произнеся данную фразу, он солгал.

Допустим, что фраза «Я лжец» ложна, т.е. человек, который произнес ее, солгал, но в этом случае он не лжец, а правдолюб, следовательно, произнеся данную фразу, он сказал правду. Получается нечто удивительное и даже невозможное: если человек сказал правду, то он солгал; а если он солгал, то он сказал правду (два противоречащих суждения не только одновременно истинны, но и вытекают друг из друга).

Другой известный логический парадокс, обнаруженный в начале XX в. английским логиком и философом Бертраном Расселом, -- это парадокс «деревенского парикмахера». Представим себе, что в некой деревне есть только один парикмахер, бреющий тех ее жителей, которые не бреются сами. Анализ этой незамысловатой ситуации приводит к необыкновенному выводу. Зададимся вопросом: может ли деревенский парикмахер брить самого себя? Рассмотрим оба варианта, в первом из которых он сам себя бреет, а во втором -- не бреет.

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

Допустим, что деревенский парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни, которые не бреются сами и которых бреет парикмахер, следовательно, в этом случае, он сам себя бреет. Как видим, получается невероятное: если деревенский парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не бреет, то он сам себя бреет (два противоречащих суждения являются одновременно истинными и взаимно обуславливают друг друга).

Парадоксы «лжеца» и «деревенского парикмахера» вместе с другими подобными им парадоксами также называют антиномиями (греч. antinomia -- противоречие в законе, противозаконие -- то, чего не должно быть, но, тем не менее, имеет место), т.е. рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого. Считается, что антиномии представляют собой наиболее резкую форму парадоксов. Однако, довольно часто термины «логический парадокс» и «антиномия» рассматриваются как синонимы.

2.4.Парадоксы-апории

Отдельной группой парадоксов являются апории (греч. aporia -- затруднение, недоумение) -- рассуждения, которые показывают противоречия между тем, что мы воспринимаем органами чувств (видим, слышим, осязаем и т.п.) и тем, что можно мысленно проанализировать (проще говоря -- противоречия между видимым и мыслимым). Наиболее известные апории выдвинул древнегреческий философ Зенон Элейский, который утверждал, что движение, наблюдаемое нами повсюду, невозможно сделать предметом мысленного анализа, т.е. движение можно видеть, но нельзя мыслить. Одна из его апорий называется «Дихотомия» (в пер. с греч. -- деление пополам).

Допустим, некоему телу надо пройти из пункта А в пункт В. Нет никакого сомнения в том, что мы можем увидеть, как тело, покинув один пункт, через какое-то время достигнет другого. Однако давайте попробуем не доверять своим глазам, которые говорят нам о том, что тело движется, и попытаемся воспринять движение не глазами, а мыслью, постараемся не увидеть его, а помыслить. В этом случае у нас получится следующее. Прежде, чем пройти весь свой путь из пункта А в пункт В, телу надо пройти половину этого пути, ведь если оно не пойдет половину пути, то, конечно же, не пройдет и весь путь. Но прежде, чем тело пройдет половину пути, ему надо пройти 1/4 часть пути. Однако до того, как оно пройдет эту 1/4 часть пути, ему надо пройти 1/8 часть пути; а еще раньше ему требуется пройти 1/16 часть пути, а перед этим -- 1/32 часть, а прежде того -- 1/64 часть, а до этого -- 1/128 часть и так до бесконечности. Значит, чтобы пройти из пункта А в пункт В, телу надо пройти бесконечное количество отрезков этого пути. Возможно ли пройти бесконечное количество отрезков пути? Невозможно! Следовательно, тело никогда не сможет пройти свой путь. Таким образом, глаза свидетельствуют, что путь будет пройден, а мысль, наоборот, отрицает это (видимое противоречит мыслимому).

Другая известная апория Зенона Элейского -- «Ахиллес и черепаха» -- говорит о том, что мы вполне можем увидеть, как быстроногий Ахиллес догоняет и перегоняет медленно ползущую впереди него черепаху; однако мысленный анализ приводит нас к необычному заключению, что Ахиллес никогда не сможет догнать черепаху, хотя он и движется в 10 раз быстрее нее. Когда он преодолеет расстояние до черепахи, то она за это же время (ведь она тоже движется) пройдет в 10 раз меньше (т.к. движется в 10 раз медленнее), а именно 1/10 часть того пути, который прошел Ахиллес, и на эту 1/10 часть будет впереди него. Когда Ахиллес пройдет эту 1/10 часть пути, то черепаха за это же время пройдет в 10 раз меньшее расстояние, т.е. 1/100 часть пути и на эту 1/100 часть будет впереди Ахиллеса. Когда он пройдет 1/100 часть пути, разделяющую его и черепаху, то она за это же время пройдет 1/1000 часть пути, все равно оставаясь впереди Ахиллеса, и так до бесконечности. Итак, мы вновь убеждаемся в том, что глаза говорят нам об одном, а мысль -- о совершенно другом (видимое отрицается мыслимым).

Еще одна апория Зенона -- «Стрела» -- предлагает нам мысленно рассмотреть полет стрелы из одной точки пространства в другую. Наши глаза, конечно же, говорят о том, что стрела летит, или движется. Однако что будет, если мы попытаемся, отвлекаясь от зрительного впечатления, помыслить ее полет? Для этого зададим себе простой вопрос: где сейчас находится летящая стрела? Если, отвечая на данный вопрос, мы скажем, что она в настоящий момент находится там-то, или где-то, то в этом случае у нас получится, что стрела не летит, а покоится, ведь находиться где-то, или быть в каком-то определенном месте, -- это как раз и означает находиться в неподвижности, или покоиться. Таким образом, единственное, что мы можем ответить на вопрос о том, где сейчас находится летящая стрела, -- это следующее: «Везде и нигде конкретно». Но разве возможно быть везде и нигде одновременно? Итак, при попытке помыслить полет стрелы мы натолкнулись на логическое противоречие, на нелепость -- стрела находится везде и нигде. Получается, что движение стрелы вполне можно увидеть, но его нельзя помыслить, вследствие чего оно невозможно, как и любое движение вообще. Иначе говоря, двигаться, с точки зрения мысли, а не чувственных восприятий, означает быть в некоем месте и не быть в нем одновременно, что, конечно же, невозможно.

3.Социальное назначение и функции логики

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

Под культурой вообще понимается совокупность ценностей, накопленных человечеством. При этом имеются в виду не только результаты материальной и духовной деятельности людей, но и средства этой деятельности, и способы ее осуществления. Логика, как это очевидно, относится к духовному компоненту культуры и лишь через него так или иначе воплощается в тех или иных элементах материальной культуры. Но какое она занимает здесь место ? Будучи одной из наиболее старых и важных наук в истории человечества, она входит неотъемлемой составной частью в систему наук, образующих интеллектуальное ядро духовной культуры, и вместе с ними выполняет многообразные и ответственные функции в обществе. В этих социальных функциях логики проявляется ее сущность и глубокая специфика как науки. Основными из таких функций выступают следующие.

1). Познавательная функция. Как и всякая наука вообще, логика имеет дело с открытием и исследованием объективных законов, с той лишь существенной разницей, что это законы не внешнего мира, а мышления. В этом смысле, занимая важное место в общей системе познания мира, она выполняет, прежде всего, общенаучную -- познавательную функцию, т. е. объяснительную и предсказательную. Она дает более или менее точное объяснение определенной группы явлений и процессов мышления, а на этой основе -- предсказание, при каких условиях возможно достижение истинных знаний и каковы последствия неправильного хода рассуждения.

2). Мировоззренческая функция. Логика, как отмечалось выше, особая наука. Если в естественных и общественных науках мышление служит лишь средством познания действительности, то в логике -- непосредственной целью познания. Поэтому, раскрывая закономерности мышления как одной из важнейших сфер исследования наряду с природой и обществом, эта наука тем самым вносит свой, и притом весомый, вклад в то или иное решение фундаментальной философской проблемы -- отношения мышления к бытию. Следовательно, она активно участвует в формировании мировоззрения людей -- более или менее стройной совокупности их обобщенных взглядов на мир в целом и на отношение человека к этому миру. Вот в каком смысле говорится о ее мировоззренческой функции.

3). Методологическая функция. Как и любая теория вообще, логическая теория, будучи результатом предшествующего познания своего объекта, становится средством, а следовательно, методом его дальнейшего познания. Но как весьма широкая теория, которая исследует процесс мышления, проявляющийся во всех науках без исключения, логика обеспечивает и их определенным методом познания. Это справедливо уже по отношению к традиционной формальной логике, основу которой составляет теория умозаключений и доказательств, обслуживающая науки методами получения выводного знания. Это еще более справедливо в отношении символической логики, разрабатывающей все новые, специальные математические методы решения мыслительных задач. И конечно, это особенно справедливо относительно диалектической логики, требования которой и есть, по существу, требования наиболее общего, диалектического метода, используемого многими науками.