Формальная логика с элементами теории познания

Серия
• Высшее образование •






С. К. Абачиев




ФОРМАЛЬНАЯ ЛОГИКА С ЭЛЕМЕНТАМИ ТЕОРИИ ПОЗНАНИЯ



Рекомендовано для студентов ВПО, обучающихся по направлениям подготовки бакалавров 030000 «Гуманитарные науки».
Регистрационный номер рецензии № 062 от 17.02.2011 ФГУ «ФИРО» Министерства образования и науки РФ







Ростов-на-Дону «Феникс»
2012

УДК 16(075.8)
ББК 87.4я73
КТК 003
     А13


Рецензенты:
доктор философских наук, профессор В. И. Аршинов;
доктор философских наук, профессор А. С. Анисимов;
доктор философских наук, профессор Л. П. Шиповская



       Абачиев С. К.
А13 Формальная логика с элементами теории познания : учебник / С. К. Абачиев. — Ростов н/Д : Феникс, 2012. — 635 с. : ил. — (Высшее образование).

       ISBN 978-5-222-18656-5

          Пособие представляет собой новую учебную версию введения в формальную логику. В нем систематически показывается своеобразная опытная природа этой науки. Освещается только традиционная формальная логика, поскольку только она реально имела и имеет базисное общекультурное значение. Предлагаемая версия учебного курса выполняет свою самостоятельную инновационную миссию в деле современного просвещения в вопросах формальной логики. Вместе с тем, она даёт концептуально-методический ключ к освоению эволюционной теории познания как веками искомой логики наиболее общего типа. Данное пособие вместе с книгой автора «Эволюционная теория познания: опыт систематического построения» (М.: Едиториал УРСС, 2004) даёт первую систематическую версию учебного курса современной логики. Эта версия образует концептуальное ядро наиболее эффективной подачи тематик учебного курса «История и философия науки», так как представляет строгие законы рационального человеческого мышления в разных фазах познавательных циклов, а также наиболее общие законы материализации рациональных знаний в технологических процессах и в их инженерно-техническом оформлении.
          Новаторский учебный курс адресуется студентам высших учебных заведений любого профиля, аспирантам, преподавателям, а также всем интересующимся вопросами логики, общеметодологическими вопросами фундаментального и прикладного познания, технического творчества.

ISBN 978-5-222-18656-5                   УДК 16(075.8)
ББК 87.4я73
                        ©Абачиев С. К., 2012
                        © Оформление: ООО «Феникс», 2012

        Предисловие





   В классическом образовании логика веками была одной из основополагающих учебных дисциплин. И это понятно: её законы лежат в основе человеческой мыследеятельности в любой частной области естествознания и обществоведения. История европейской культуры последних двух тысячелетий характеризуется стремительным развитием науки и техники, но начиналась она именно с закладки основ науки логики гигантом античной философии Аристотелем (384—322 гг. до н. э.). Классическое образование веками следовало духу этой реальной истории европейской культуры: сначала обучаемым необходимо освоить науку логики, а уж потом на основе этих знаний можно изучать конкретные дисциплины, которые оформились на более поздних этапах истории европейской культуры.
   В 20—30-х гг. XX в. в нашей стране эта многовековая методическая традиция классической высшей школы была утрачена. Во главу угла блока общемировоззренческих и общегуманитарных дисциплин был поставлен диалектический материализм как «единое и единственно правильное» научное мировоззрение и как «единственно научная и единственно верная» методология познания.
   Тем не менее уже к рубежу 30—40-х гг. XX в. советское руководство нашей страны стало осознавать, что такое новшество в образовании приводит к засилию «диалектико-материалистической» схоластики в общемировоззренческих и обществоведческих вопросах, к массовому общеметодологическому бескультурью под вывеской диалектической логики. И в начале 1941 г. И.В. Сталин потребовал возврата к традиции классического образования и возвращения учебному курсу логики его исконно базисной роли. Сразу же после войны, в 1946 г. особым постановлением ЦК ВКП(б) учебный курс «Логика и психология» был введён в старших классах средней школы,

I ФОРМАЛЬНАЯ ЛОГИКА С ЭЛЕМЕНТАМИ ТЕОРИИ ПОЗНАНИЯ

а традиционная формальная логика вновь стала объектом систематического внимания учёных и педагогов¹.
   Эта акция была вопиюще непоследовательной. Она эклектично дополнялась идеологической «канонизацией» школярской статьи того же Сталина «О диалектическом и историческом материализме» для «Краткого курса истории ВКП(б)» в неизменной версии 1938 г. Но всё же эта акция была шагом в правильном направлении.
   Десталинизация советского общества по-хрущёвски в начале 60-х гг. проводилась по принципу: всё, что исходило лично от Сталина, плохо, и всё это долой. В русле этого политизированного нигилизма сталинская попытка восстановить в своих исконных правах учебный курс логики была упразднена. В результате до 1991 г. в роли общемировоззренческого и общеметодологического базиса высшего образования любого профиля продолжал господствовать всё тот же диалектический материализм. И было бы полбеды, если бы это была эффективная учебная версия профессиональной марксистской философии по Б.М. Кедрову, П.В. Копнину, Э.В. Ильенкому, Л.Б. Баженову или Э.М. Чудинову. Однако это было развитием всё того же «сталинского диамата» в ключе статьи «О диалектическом и историческом материализме» для «Краткого курса истории ВКП(б)».
   С падением советской государственной идеологии в 1991 г. положение стало выправляться. Отечественная высшая школа сразу же отбросила диалектический материализм в его вульгарной сталинской версии. Стал восстанавливаться в своих правах учебный курс формальной логики. Но всё это по сей день далеко от оптимального положения дел. Учебный курс формальной логики восстановлен в своих правах лишь отчасти, половинчато. Он до сих пор не узаконен Государственным образовательным стандартом как общеобязательный для вузов любого профиля с общеобязательным экзаменом. Между тем наука логики имеет общекультурное значение того же элементарно

¹ По поводу этой истории см. в предисловии к книге: Асмус В.Ф. Лекции по истории логики: Авиценна. Бэкон. Гоббс. Декарт. Паскаль.— М.: URSS, 2007. — С. 10-12, 30. Тогда же этот «реабилитированный» учебный курс был обеспечен учебником по традиционной формальной логике, который считается одним из классических отечественных учебников: Лемус В.Ф. Логика. — М.: URSS, 2001.

ПРЕДИСЛОВИЕ 5

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

I ФОРМАЛЬНАЯ ЛОГИКА С ЭЛЕМЕНТАМИ ТЕОРИИ ПОЗНАНИЯ

дискуссий и полемик в несовершенных понятиях естественного языка лучше оперировать чётко определёнными понятиями и символическими аналогами математических формул — логическими исчислениями. У Лейбница сразу же нашлись многочисленные сторонники², и их поиски в середине XIX в. увенчались первыми успехами — закладкой основ нетрадиционной (символической) формальной логики. Развитие науки логики по этому направлению особенно интенсифицировалось в XX в. в связи с разработкой электронно-вычислительных автоматов, с кризисом оснований математики, в результате чего символическая формальная логика во многом сомкнулась с логикой математической.
   Сторонники рассматриваемой позиции ратуют за возвращение логике статуса базисного общеметодологического учебного курса. Но при этом традиционная формальная логика представляется ими как нечто старинное, существенно превзойдённое логикой нетрадиционной. И в своих учебниках они делают основной упор на вторую³. Эти учебники заполонены логическими символами, формулами, исчислениями, соответствующими утончёнными переинтерпретациями понятий традиционной логики, множеством новых понятий и др.

² Великий английский мастер художественного слова и сатирик Дж. Свифт (1667-1745) усмотрел в этих заявках логиков и философов профессиональное чудачество. В одном из путешествий его Гулливер оказался в Академии наук города Лагадо. Помимо прочих «завиральных» научных идей и проектов, он увидел также борьбу некоторых лагадских учёных с «научной неполноценностью» естественного языка. Они критикой не ограничились, предложив и культивируя «достойную конструктивную альтернативу»: вместо нечётких и расплывчатых понятий в своих головах они носили с собой огромные мешки с самими предметами, о которых шла речь. Обсуждая те или иные научные вопросы, они просто раскрывали свои мешки и показывали друг другу сами предметы. Получалось несколько громоздко, но зато всё было просто и однозначно...

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

ПРЕДИСЛОВИЕ 7

   Эта позиция остро противоречит реальным потребностям общества в массовой пропаганде науки логики. Во-первых, нетрадиционная формальная логика чётко показала свою адекватность не столько мышлению людей, сколько «мышлению» запрограммированных людьми бездушных компьютеров. Никакого общекультурного значения, подобного таковому традиционной формальной логики, она не приобрела и вряд ли приобретёт. Во-вторых, огромное большинство естественных наук, не говоря об обществоведении, философии и др., упорно продолжает изъясняться на естественном языке и не стремится овладеть искусственными языками и исчислениями символической логики. В-третьих, то, что сторонники такой позиции считали и считают слабостью естественного языка, подавляющим большинством лингвистов, культурологов и др. считается его величайшей силой.
   Естественный язык обладает исключительно богатой и гибкой системой понятий, обобщающих самый разный исторический опыт человечества. Традиционная формальная логика методологически дисциплинирует и окультуривает именно человеческое мышление на полнокровном, естественном языке не только в науке, но и в других областях человеческого познания — в философии, в богословии, в литературном творчестве, наконец — в бытовой сфере. Именно в этом заключается её элементарно-основополагающее общекультурное значение того же качества, что и общекультурное значение грамматики. Именно поэтому мы освещаем почти исключительно традиционную формальную логику.
   Эта исходная нацеленность данной книги на современное освещение почти исключительно традиционной формальной логики требует дальнейшего разъяснения именно в предисловии.
   У математики и у теоретической науки современного исторического типа существенно разные понимания доказательности своих умопостроений, их достоверности. Математика имеет своим предметом отвлечённые количественные отношения и пространственные формы материального мира. Эта специфическая отвлечённость предмета математики позволяет ей пользоваться чисто теоретическими методами обоснования своих принципов и выводов. Её методы не нуждаются в систематической опоре на опытные знания. Нетрадиционная формальная логика в этом плане не просто родственна логике математической, но и смыкается с ней.

I ФОРМАЛЬНАЯ ЛОГИКА С ЭЛЕМЕНТАМИ ТЕОРИИ ПОЗНАНИЯ

   Отцы теоретического естествознания современного исторического типа — Ф. Бэкон, Р. Декарт, Г. Галилей и И. Ньютон — чётко понимали качественное различие между разработкой теорий чистой математики и описанием на языке математики реального физического мира. Максимально надёжная, «абсолютная» математическая доказательность была принята ими не более чем за идеал для заведомо половинчатых подражаний. Основным методом научных теоретизирований современного исторического типа тогда стал и поныне является гипотетико-дедуктивный метод. Своё многовековое проникновение в теоретическую физику, химию, биологию и обществоведение он в XVII в. начинал с теоретической механики. Этот метод неотделим от поэтапного индуктивного абстрагирования содержательных понятий из достоверных опытных знаний. Он неотделим от обоснования ими основных законов научных теорий. Он неотделим от систематического контроля и периодических коррекций такими знаниями развития научных теорий. Он неотделим от периодических глубокихреформирований зрелых научных теорий.
   Данное пособие каждой своей темой и почти каждым своим параграфом показывает, что традиционная формальная логика соответствует не столько математическому стилю доказательного обоснования человеческих умопостроений, сколько научно-теоретическому стилю. Именно учебный курс традиционной формальной логики даёт должную базу для освоения эволюционной теории познания, которая обобщает, в первую очередь, многовековой опыт развития экспериментально-теоретической науки современного исторического типа. Именно традиционная формальная логика призвана методологически окультурить научное обществоведение и философию, которые пользовались и пользуются, в основном, естественным языком. Именно она призвана методологически окультурить обыденное человеческое мышление, которое тем более не собирается переходить на язык математики и на искусственные формально-логические исчисления.
   И вообще, подчеркнём ещё раз: в плане своего общекультурного значения традиционная формальная логика и нетрадиционная формальная логика соотносятся по типу соотношения между общекультурными значениями естественного языка и специфического языка математики. Конечно, кто-то из мате

ПРЕДИСЛОВИЕ 9

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

I ФОРМАЛЬНАЯ ЛОГИКА С ЭЛЕМЕНТАМИ ТЕОРИИ ПОЗНАНИЯ

   Представляемая версия учебного курса «Логика» опирается на ранее изданные экспериментальные учебные пособия⁴. Дополненная нашей электронной книгой по «Концепциям современного естествознания»⁵, она конкретно реализует авторскую программу базисной фундаментализации и гуманитаризации высшего образования любого профиля⁶. Знания, полученные на основе этих двух учебников, в дальнейшем позволят читателям эффективно освоить учебные курсы религиоведения и философии, которые также обеспечены нашими экспериментальными учебными пособиями⁷ во исполнение программы базисной фундаментализации и гуманитаризации высшего образования любого профиля.
   Данное экспериментальное учебное пособие включает в себя словарь-справочник, статьи которого подробно раскрывают содержания и объёмы нескольких десятков важнейших понятий, используемых в современной логике и методологии познания. Отчасти он служит для концептуально-методического соединения данного учебного курса традиционной формальной логики с эволюционной теорией познания, систематическая версия которой представлена в книге «Эволюционная теория познания: опыт систематического построения» (см. в примечании 4). Ссылки на статьи словаря-справочника как в основном тексте, так и в самом словаре осуществляются выделением соответствующих понятий полужирным наклонным шрифтом Arial. Например: альтернативные логики, иерархичность, структурно-генетическое единство, эксперимент и т.п.

⁴ Абачиев С.К. Эволюционная теория познания: опыт систематического построения. — М.: Едиториал УРСС, 2004. — 520 с.; Он же. Традиционная логика в современном освещении. Формальная логика как опытная наука: учебный курс. — М.: КомКнига, 2006. — 269 с.

⁵ Абачиев С.К. Концепции современного естествознания. Конспект лекций. Словарь-справочник. Современная наука в картинах, в красках и в лицах: электронная книга в 2-х ч. — М.: ИГУПиТ, 2011. — 753 с.

⁶ Абачиев С.К. К проблеме фундаментализации и гуманитаризации высшего образования //Университетская книга. 2001. № 1; Он же. К проблеме общемировоззренческого и общеметодологического базиса современного высшего образования // Этносоциум и межнациональная культура. 2009. № 6 (22).

⁷ Абачиев С.К. Православное введение в религиоведение: курс лекций. — М.: Едиториал УРСС, 2004. — 435 с.; Он же. Современное введение в философию. Методы философии, её предметы и реальные возможности: курс лекций. — М.: КомКнига, 2006. — 538 с.