Логика (стр. 10 )

Широкое распространение логики в России началось в XIX веке, когда с развитием высшего светского, университетского образования, где логика была обязательной учебной дисциплиной, стали чаще издаваться учебники и учебные пособия по логике. Можно говорить даже о формировании университетской логики в первой половине XIX века, она представлена именами П. Любовского, И. Любачинского, П. Лодия, А. Галича, Н. Рождественского и др. Однако, подлинный расцвет, связанный и с новаторскими разработками логики, падает на вторую половину этого века, на его конец и начало века ХХ. Он представлен именами , , С. О .Шатуновского, , и некоторых др. Этот период характерен еще и тем, что учебная литература по логике издавалась не только для вузов и гимназий, но и для самообразования, а это свидетельство ее широкого вхождения в общественное сознание. Однако, длилось сие недолго.

Послереволюционный период истории логики в советской России был неблагоприятен для формальной логики, она искусственно противопоставлялась диалектической, объявлялась метафизической, буржуазной наукой, и надолго была изъята из школьного учебного процесса. Лишь в 1947/48 учебном году была восстановлена, однако постоянно испытывала прессинг со стороны логики диалектической, в которую официально включалась как элементарный ее раздел, наподобие вхождения элементарной математики в высшую. Что касается математической логики, то она еще долгие годы существовала вне и независимо от формальной, в рамках математики, тем и спасая себя от идеологического давления. Хотя генетическое и историческое развитие их имеет много общего, однако на сегодняшний день математическая логика далеко отошла от традиционной, она часто, так же как в свое время и диалектическая, претендует на включение традиционной в себя в качестве элементарного учения. Ее развитие в единстве с формальной стало возможно лишь с 60-х гг., но все таки они слабо состыковываются. Для здравого смысла символика математической логики слишком сложна, необходимость же придавать естественным языковым выражениям символический вид (для достижения строгой однозначности), усложняет ее использование прежде всего гуманитариям, поэтому математическая логика так и не получила широкого распространения в среде гуманитариев. Эта логика, все таки, более ориентирована на "искусственный интеллект". Многие современные задачи логики и связаны сейчас с компьютеризацией образования.

Глава 1

ПРИНЦИПЫ (ОСНОВНЫЕ ЗАКОНЫ) И ЭЛЕМЕНТАРНЫЕ МЕТОДЫ МЫСЛИТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ

Каждой науке соответствуют определенные положения, при­нимаемые в этой науке без доказательства, без обоснования — в силу их фундаментальной простоты, а поэтому и умозрительной очевидности. Такие положения называ­ются принципами, а в некоторых дедуктивного характе­ра науках - аксиомами (постулатами). Своей простотой и монолитностью они выполняют роль основания (фундамента) всего здания науки. Имеет такие положения и логика. Их называют обычно основными законами логики: закон тож­дества, закон противоречия, закон исключенного третьего и за­кон достаточного основания. Но представляется, что это не совсем точно, поскольку законы открываются в рамках науки, исследуются и только потом формулируются ею. Принципы же - лишь принимаются. Аристотель, кстати, относился к этим законам как к основоположениям, определениям, принципам. Ведь, в самом деле, разве эти положения логикой исследуются, открываются ею - они в ней всего лишь формулируются, оговариваются и принимаются.

Другое дело, когда, учитывая особенности предметной области логики, эти принципиальные положения в ней могут быть конкретизированы тем или иным законом. Поэтому, с нашей точки зрения, хотя в логике обычно и формулируются четыре основных закона, но опираются они всего лишь на три принципа: принцип тождества, принцип противоречия и принцип достаточности. Название "основные законы логики" (основные законы мышления) порой дезориентирует студентов и они считают, что логика и есть наука об этих четырех законах. Конечно же, это значительное упрощение. Свести всю науку к исследованию всего лишь четырех, пусть и основных, законов не верно. Неверно потому, что эти законы логика не исследует. Далее, собственно логическими законами, т. е. законами, открываемыми данной наукой относительно форм мысли, являются, в частности, законы структуры этих форм мысли и законы связи их между собой. Закон, являясь самым существенным признаком научного знания, отражает общее, коренное, внутреннее, сущностное, не лежащее на поверхности, не дающееся исследованию непосредственно; закон обнаруживается в процессе познания, в процессе, идущем от отражения внешнего к отражению внутреннего, скрытого. Открытие и формулировка законов — показатель качественного развития нау­ки, ее проникновения вглубь изучаемого, исследуемого пред­мета. Поэтому, говоря о логике как науке о формах и законах мысли, под законами следует понимать те, которые отражают сущность, внутренне необходимое, закономерное в структуре отдельных форм мысли или в их связи между собой.

Осваивая принципиальные положения (основные законы) логики, важно знать особенности исторического их осознавания и формулировки, зависимость их от философии и практической стороны деятельности человека. Здесь без знакомства с историей фило­софии, историей логики не обойтись, В таких случаях рекомен­дуем обращаться к энциклопедиям, словарям, либо к работам по истории философии и логики, среди которых можно выде­лить работу «История логики» (М., 1967), и «Краткий очерк истории общей и математической логики в России» (М., 1962), наконец - «Логический словарь-справочник» (М., 1975).

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

Что такое принцип, закон, тождество (единство), противоречие (борьба) и т. п. категории, логикой (да и другими науками) заимствуется из философии, поскольку только она имеет своим предметом предельно общее, универсальное, даже беспредельное. Эти категории, применительно к специфике логической предметной области, трансформируются в более узкие, однако, крайне важные, значимые в этой предметной области положения, такие как противоречащие и тождественные понятия, противоречащие суждения и т. п. Некоторые же философские положения, например, принцип развития, принцип историзма, несмотря на их универ­сальность, все же, учитывая специфику предмета формальной логики, в ней не «работают», ибо логика, анализируя свой предмет - формы мысли, отвлекается от их развития во времени, от истории их формирования. В логике работает другой принцип: всякая мысль тождественна самой себе. Этот принцип исторически формулируемый задолго до Аристотеля вна­чале для предметного мира (всякая вещь тождественна сама себе), был последним преобразован в принцип, относящий­ся к мыслям, в принцип мышления, и с той поры рассматриваемый как неотъем­лемое положение логики. Понятно, что это положение не нуждается в специаль­ном обосновании в силу своей и простоты, и достаточной умозрительной само­очевидности.

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

§ 1. ПРИНЦИП ТОЖДЕСТВА

Итак, первым принципом логики как науки является положение: всякая мысль тождественна сама себе. В виде формулы этот принцип записывается - "А есть А", или "А=А", где символом А обозначена любая мысль. На этот принцип опираются многие логические положения. В частности, если мы установили, что по каким-то показателям, по каким-то признакам мысль "А" тождественна мысли "В", то можно определенно утверждать, что и мысль "В" по тому же признаку будет тождественна мысли "А". Далее, если А по какому-то показателю равна В, а В при этом так же равна С, то необходимо, что и А по тому же показателю будет равна С. Например, мысль "Это - столица России" (А) тождественна по объему мысли "Это - крупнейший российский город" (В), поскольку обе эти мысли отражают один и тот же объект (предмет). Мысль В, в свою очередь тождественна мысли "Это - город России с 9-ти миллионным населением" (С), то понятно, что и мысль А будет по объемному показателю тождественна мысли С. Другими словами, на принципы опираются и в них находят свое обоснование многие другие, более частные положения логики, свойства форм мысли, в частности, свойства транзитивности, симметричности, коммутативности и др.

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

Противоречит ли закон тождества диалектическим законам? Учитывая своеобразие предмета логики, легко установить, что между ними нет того противоречия, на которое часто ссылаются для иллюстрации «метафизичности», антидиалектичности фор­мальной логики. Формальная логика рассматривает свой пред­мет не в движении, не в развитии, не в истории, а сам по себе, как таковой, ставший, неизменный по своей структуре. Диалектика, поскольку она пронизывает собой все, находит свое проявление в логике по-иному, она обнаруживается во внутреннем содержании ее. И верно, поскольку про­тиворечива сама природа (мир вещей), то противоречиво и отражение его, т. е. противоречиво мышление, противоречива, диалектичная по своему строению сама мысль. Так, понятие как форма мысли пред­ставляет собой единство своих составных элементов - объема и содержания. Объем и содержание понятия и есть несовпадающие, противоположные, противоречивые элементы данной формы мысли, диалектическое единство которых и определяет целостность понятия как формы мысли. Так же диалектичны по своему строению и другие формы мысли: суждение, умозаключение и др., что легко обнаруживается в самом содержании логического учения о них. (Подробнее об этом см.: Кобзарь формальной логики // Логика и развитие научного знания. Л., 1991).