Приглашаем посетить сайт
ЛОГИКА
ЛОГИКА (греч. λογική - наука о мышлении, от λόγος - слово, речь, разум, рассуждение) - наука о законах, формах и приемах познания мира на ступени абстрактного мышления, а также о языке как средстве такого познания. Основная цель Л.- выяснение условий истинности познания, выработка эффективных логич. аппаратов и правильного метода познания. Слово "Л." употребляется также для обозначения закономерностей развития и взаимосвязей предметов и явлений объективной действительности (в этом смысле говорят об "объективной Л.", "Л. классовой борьбы" и т.п.) и закономерностей рассуждения ("Л. мышления", "Л. доказательства").
Совр. Л. как наука представляет собой совокупность ряда разделов и направлений, главными из к-рых являются диалектич. и формальная Л. Это разделение обусловлено наличием двух аспектов мышления.
По своему существу мышление есть процесс развития знания, формирования понятий, суждений, теорий, в к-ром действуют как общие для всех предметов и явлений, так и специфич. для познания законы диалектики и обусловленные ими приемы познания. Совокупность этих законов и приемов входит в предмет диалектич. Л.: на основе их исследования формируется научный диалектико-материалистич. метод познания с учетом диалектики как самих объектов познания, так и процесса отражения мира в мышлении.
Вместе с тем всякий процесс мышления представляет собой оперирование сложившимися понятиями и суждениями (определение, обобщение, ограничение и деление понятий, в к-рых выделены изучаемые предметы, преобразование суждений из одних форм в другие, логич. выведение одних суждений из других, обоснование или опровержение одних суждений посредством других и т.п.). Совокупность этих форм и операций составляет формально-логич. аппарат познания. Подобные формы и операции и лежащие в их основе специфич. (формальные) законы связи между понятиями и суждениями составляют предмет формальной Л.
Проблемы диалектич. и формальной Л. возникли в древнем мире в рамках филос. проблем о сущности познания, его источниках и отношении к объективному миру. Формальная Л. как наука сложилась в 4 в. до н.э. в трудах Аристотеля.
В силу неразрывной связи ее проблем с основным вопросом философии формальная Л. рассматривалась обычно как один из разделов философии, что оправдывалось, в частности, постоянной борьбой материализма и идеализма, диалектики и метафизики вокруг ее понятий и существованием различных филос. направлений внутри самой Л.
Развитие осн. идей диалектич. Л. осуществлялось в рамках теории познания. Начало формированию диалектич. Л. как системы знания положил Гегель, у к-рого она получила, однако, идеалистич. истолкование. Действительно науч. ее основы создали Маркс, Энгельс и Ленин. В настоящее время она является частью диалектич. материализма.
Формальная Л. и диалектика составили осн. рациональное содержание философии. Как писал Энгельс, в результате выделения из философии конкретных наук "... из всей прежней философии самостоятельное существование сохраняет еще учение о мышлении и его законах - формальная логика и диалектика" (Маркс К. и Энгельс Ф., Соч., 2 изд., т. 19, с. 207).
Со 2-й пол. 19 в. формальная Л. в виде символич. (или математич.) Л. выделяется в самостоятельную науку, исследующую в основном формы выводов и доказательств и лежащие в их основе логич. законы. Развитие символич. Л. открыло путь важному направлению в области исследований теоретического мышления (см. Метатеория) и положило начало ряду новых логических дисциплин (см. Металогика, Семантика). Полученные на этом пути результаты еще более подтвердили связь Л. и философии; не случайно их широко используют (с соответствующим истолкованием) совр. позитивизм и другие идеалистич. направления совр. бурж. философии. Между тем наиболее важные из этих результатов свидетельствуют о правильности диалектико-материалистич. понимания процесса познания. Диалектич. материализм является единственно возможной научно-методологич. основой всей совр. Л. (см. Логика диалектическая, Формальная логика).
Е. Войшвилло. Москва.
Логические журналы появились в начале 30-х гг. 20 в., что было связано с изменением предмета Л., сферы ее применения, ее методологии и технич. аппарата. Это изменение шло в основном по двум направлениям, каждое из к-рых, взаимно обогащаясь, использовало результаты другого. С одной стороны, Л. "математизировалась", т.е. в Л. все в большей степени проникали математич. методы и средства исследования и доказательства. С другой стороны, с начала века мн. философов и логиков стали интересовать проблемы т.п. Л. науки, т.е. проблемы, связанные с исследованиями логич. средств и приемов, используемых в процессе научного рассмотрения, с изучением структуры научного рассуждения, с возможностями и пределами формализации ряда содержательных областей, и т.д.
В соответствии с этими двумя линиями развития все осн. логич. журналы условно можно разбить на две группы: журналы по "широко понимаемой" Л. (Л. науки) и журналы по математической логике, интересы к-рой преимущественно сосредоточиваются вокруг технич. проблем, связанных с разработкой аппарата, или вокруг содержательных проблем, связанных с основаниями математики. При характеристике журналов первой группы необходимо учитывать, что те из них, к-рые издаются в капиталистич. странах, по вопросам общефилос. разработка логич. исследований идут в осн. русле бурж. мировоззрения, тогда как логич. исследования, публикуемые в журналах социалистич. стран, основываются на принципах диалектич. материализма.
Предшественником первой группы журналов является довольно известный "Erkenntnis". На страницах этого журнала публиковали свои работы почти все крупные зарубежные логики. К настоящему времени в первую группу логич. журналов входят: 1) "Synthese; an international journal for the logical and psychological study of the foundations of sciences". Основан в 1936 в Амстердаме. Выходит 4 раза в год. С 1940 по апрель 1946 не выходил. Является офиц. органом ин-та по единству науки, международ. общества сигнифики, франц. социологич. ин-та, франц. и голл. секций международной ассоциации по Л. и философии науки. Несмотря на то, что журнал публикует статьи по философии, психологии и социологии, основное внимание все же уделяется Л. науки. Хотя в работе журнала принимают участие авторы самых различных филос. течений и школ, на его страницах печатаются преим. статьи т.н. аналитич. философов: логич. позитивистов, неореалистов, операционалистов и др. Статьи печатаются в основном на английском, французском и немецком языках. 2) "Philosophy of Science". Основан в 1934 в Балтиморе. Офиц. орган амер. ассоциации философии науки, ин-та по единству науки и секции Л. амер. ассоциации по развитию науки. Осн. задача журнала - публикация исследований по "философии и логике науки". Она распадается на следующие конкретные задачи: исследования по анализу значения, определения, основных принципов символизации; исследование логич. принципов, аксиом, постулатов, положений науки; изучение методов науки; исследование природы теоретич. принципов и их формулировок; исследование структуры науки, классификации различных наук; исследование роли и значения науки в различных аспектах (см. "Philosophy of Science", 1934, v. 1, No 1, p. 3-4). Филос. основой для таких исследований служат, как правило, концепции прагматизма, логич. эмпиризма, операцио-нализма и т.н. лингвистич. анализа. Хотя журнал американский, в нем принимают участие мн. видные бурж. логики, философы и ученые из др. стран (Англии, Франции, Голландии, Бельгии и др.). 3) "Studia Logica". Единственный в социалистич. странах спец. ежегодник по Л. Основан в 1953 в Варшаве филос. комитетом Польской академии наук. Наряду со специальными исследованиями по формальной и математич. Л. публикуются работы по различным разделам общей Л. Освещается применение Л. в различных областях практич. жизни, обсуждаются программы обучения Л. в школах и др. меры, направленные на повышение общей логич. культуры общества. Много внимания уделяется взаимоотношениям между Л. и психологией, анализу логич. правильности методов мышления и систематич. исследованию явлений т.н. нелогичности, истории Л. Одной из осн. задач ежегодника является также публикация исследований о применении Л. и логич. средств к анализу понятий в естеств. и обществ. науках, к теории автоматич. устройств. Как правило, все статьи публикуются на польском яз. с обязательным резюме на одном из четырех языков: рус., англ., франц. и нем. 4) "Logique et Analyse". Основан в 1958 в Брюсселе и является продолжением основанного в 1950 бюллетеня, издаваемого бельгийским национальным центром логич. исследований. Выходит 3 раза в год (январь, апрель, август). Освещаются проблемы общей Л., связь Л. с философией, специальные проблемы математич. Л., а также логич. проблемы в области права и языкознания.
Журнал преим. неопозитивистского толка. Фактически является международным журналом, публикует статьи на франц. (преимущественно), англ. и нем. яз. 5) "Methodes". Основан в 1949 при Миланском ун-те. Выходит 4 раза в год. До 1960 носил подзаголовок "Rivista trimestrale di metodologia e di logica simbolica" и распадался по содержанию на две секции: секция по методологии, руководимая итальянским центром методологии и анализа языка (при Миланском ун-те), и секция символич. Л. С 1960 журнал несколько изменил свою тематику, носит подзаголовок "Linguaggio e cibernetica" и издается центром по кибернетике и лингвистич. деятельности при Миланском ун-те, группой по автоматизации науч. информации при Евратоме и итал. операционной школой. Наряду со специальными статьями по кибернетике, программированию и лингвистике журнал по-прежнему большое внимание уделяет проблемам общей и математич. Л., связи Л. с философией, психологией и лингвистикой, логич. проблемам кибернетики, теории информации, информационно-поисковых систем и техники программирования. Предоставляет возможность печататься авторам самых различных филос. направлений (от неотомистов типа Ю. Бохеньского до теоретиков генетической эпистемологии типа Ж. Пиаже). Статьи в основном печатаются на итал. и англ. яз. Фактически является международным.
Вторую группу составляют журналы по математич. Л.: 1) Осн. международным журналом по математич. Л. является "Journal of Symbolic Logic". Основан в 1936. Выходит 4 раза в год. Является офиц. органом ассоциации символич. Л. - международной организации математич. логиков. Журнал поддерживается ЮНЕСКО и секцией Л., методологии и философии науки при международном объединении истории и философии науки (сокр. ICSU). В нем сотрудничают почти все крупнейшие зарубежные логики и математики. Журнал является фактически единств, полным специальным библиографич. указателем по Л. (как общей, так и формальной). В четвертых номерах первого (1936, р. 121-218) и третьего (1938, р. 178-212) томов помещена широко известная "Библиография математич. логики", составленная А. Чёрчем. В ней дается свод всей лит-ры по математич. Л. со времени зарождения этой науки (т.е. с 1666 - года опубликования работы Лейбница "Dissertatio de arte combinatoria") до 1935 включительно. С 1935 в разделе "Рецензии" ("Reviews") реферируются все логич. работы (включая и выходящие в СССР). Каждые 4 года в последнем номере журнала дается именной и предметный указатель всех прореферированных работ, так что в журнале можно найти указания почти на все работы, появившиеся в мировой логич. литературе. 2) "Zeitschrift für mathematische Logik und Grundlagen der Mathematik". Основан в 1955 в Берлине (ГДР). Выходит 4 раза в год. Издается Ин-том математич. Л. им. Гумбольдта. Международный журнал; публикует статьи на рус, нем., англ. и франц. яз. по проблемам математич. Л. и оснований математики, а также освещает результаты смежных с ними областей. При этом особое внимание уделяется применению математич. Л. и теории рекурсивных функций к проблемам построения вычислительных машин, алгебры переключений и техники программирования. Публикуются статьи преимущественно математич. характера. В журнале активное участие принимают советские математики и математич. логики (Марков, Шанин, Успенский, Кабаков и др.). 3) "Archiv für mathematische Logik und Grundlagenforschung". Основан в 1950 в г. Штутгарте (ФРГ). Задуман как квартальный журнал, но выходит крайне нерегулярно.
Осн. внимание уделяется сугубо "техническим" проблемам математич. Л. и проблемам оснований математики. Фактически является международным журналом; публикует статьи на нем., англ. и франц. языках.
Кроме вышеперечисленных, логич. проблематике уделяют место почти все крупные международные и нац. филос журналы (см. раздел о журналах в ст. Философия).
И. Добронравов. Москва.