О РАЗЛИЧЕНИИ ФИЛОСОФСКОЙ ЛОГИКИ И ФИЛОСОФИИ ЛОГИКИ
РАЙХЕРТ Константин Вильгельмович,
кандидат философских наук, доцент кафедры
философии естественных факультетов Одесского
национального университета имени И. И. Мечникова
Аннотация
Пытаясь развести понятия «философская логика» и «философия логики», логик А. С. Карпенко показывает, что тенденции развития современной философской логики таковы, что они не позволяют предложить критерий чёткого различения философской логики и философии логики. Более того, современное развитие философской логики и философии логики идёт в направлении математизации логики и растворения логики в математике в целом, что обессмысливает какое бы то ни было употребление терминов «философская логика» и «философия логики», так как первая может быть просто обозначена как математическая логика, а вторая - как философия математики. В то же время логик Р. Т. Кук устанавливает различие между философской логикой и философией логики: философия логики представляет собой такого рода исследование, объектом которого являются формальные системы как модели отношений следования, то есть как модели отношений между посылками и выводами в правильных рассуждениях, в то время когда философская логика выступает как использование формальных систем как инструмента решения философских проблем. Таким образом, различие между философией логики и философской логикой кроется в объекте исследования: в случае философии логики это - логика, а в случае философской логики это - философия. Автор статьи предлагает простое решение. Традиционную логику следует полагать философской дисциплиной, а современную логику (классические и неклассические логики) - математической дисциплиной. Отсюда: философская логика - это логика как философская дисциплина, а математическая логика - это логика как математическая дисциплина. В силу того, что логика является наукой о рассуждении, а проблемы истинности и доказуемости входят в круг интересов гносеологии, философия логики возможна только тогда, когда раскрывается сущность логики как таковой, а не отдельные её аспекты, как в случаях социологии логики, психологии логики и семиотики логики.
Ключевые слова: философия, логика, философия логики, философская логика, математическая логика, традиционная логика, классическая логика.
Annotation
RAYHERT Konstantin Wilhelmovich, Candidate of Sciences (Philosophy), Associate Professor of the Department of Philosophy of Natural Sciences faculties, Odessa I. I. Mechnikov National University
ON THE DISTINGUISHING OF PHILOSOPHICAL LOGIC FROM PHILOSOPHY OF LOGIC
Introduction. The practice of the usage of the word-combinations “philosophical logic ” and “philosophy of logic” in modern logical studies does not allow differentiating the notions “philosophical logic” and “philosophy of logic” because virtually the both study the similar objects with the similar methods. Purpose is to clarify the distinction between “philosophical logic ” and “philosophy of logic ”. Methods. For the attainment of the purpose the author uses the logical-conceptual analysis of content of notions. Results. In the course of research it turned out that in general the inability to tell the difference between philosophical logic and philosophy of logic was closely related to the mathematization of logic and the solubilization of logic within mathematics entirely, which makes senseless any use of the terms of philosophical logic and philosophy of logic because the former could be identified as a mathematical logic and the latter could be identified as a philosophy of mathematics. Conclusion and originality. To clarify the difference between philosophical logic and philosophy of logic, it is necessary to abandon the practice of considering the word-combinations “philosophical logic” and “philosophy of logic” in modern logical studies and to take hypothetically that traditional logic should be considered as a philosophical logic and classical and non-classical logics should be considered as mathematical logics. That is to say that philosophical logic is a branch of philosophy and mathematical logic is a branch of mathematics. At the same time, in a view of the understanding of logic as a study of arguments and the problems of validity and demonstrability as epistemological ones, philosophy of logic comes to be possible only when it's considered as a philosophy which studies the essence of logic; in other words philosophy of logic attempts to explain what makes logic a logic in fact.
Key words: philosophy, logic, philosophy of logic, philosophical logic, mathematical logic, traditional logic, classic logic.
Анотація
Райхерт К. В. Про розрізнення філософської логіки та філософії логіки.
Намагаючись розрізнити поняття «філософська логіка» та «філософія логіки», логік О. С. Карпенко показує, що тенденції розвитку сучасної філософської логіки такі, що вони не дозволяють чітко та напевно розмежувати філософську логіку та філософію логіки. Більше того, сучасний стан розвитку філософської логіки та філософії логіки демонструє певну математизацію логіки та, через це, розчинення логіки у математиці в цілому, що робить недоречним будь-яке використання слів «філософська логіка» та «філософія логіки» в сучасному лексиконі логіків через те, що перша може бути позначена як «математична логіка», а друга - як «філософія математики». У той самий час логік Р. Т. Кук визначає різницю між філософською логікою та філософією логіки: філософія логіки є таким дослідженням, об'єктом якого є формальні системи як моделі відносин слідування, тобто як моделі відносин між засновками та висновками у правильних міркуваннях, у той час коли філософська логіка є використанням формальних систем як інструмента розв'язання філософських проблем. Таким чином, різниця між філософією логіки та філософською логікою полягає в об'єкті дослідження: у випадку філософії логіки цей об'єкт - логіка, а у випадку філософської логіки цей об 'єкт - філософія. Автор статті пропонує просте рішення. Традиційну логіку слід вважати філософською дисципліною, а сучасну логіку (класичні та некласичні логіки) - математичною дисципліною. Звідси: філософська логіка - це логіка як філософська дисципліна, а математична логіка - це логіка як математична дисципліна. Внаслідок того, що логіка є наукою про міркування, а проблеми істинності та довідності входять до кола інтересів гносеології, філософія логіки можлива тоді та лише тоді, коли розкривається сутність логіки як такої, а не окремі її аспекти, як у випадках соціології логіки, психології логіки та семіотики логіки.
Ключові слова: філософія, логіка, філософія логіки, філософська логіка, математична логіка, традиційна логіка, класична логіка.
Постановка проблемы
В литературе по современной логике часто смешиваются два понятия - «философская логика» и «философия логики». Это может показаться странным в силу очевидности различия между словосочетаниями, с помощью которых обозначаются эти понятия: философскую логику можно вполне помыслить, как такого рода систематические логические исследования, в которых любая проблема разрабатывается с философской точки зрения, в то время когда философию логики можно помыслить, как такого рода систематические философские исследования, которые направлены на раскрытие сущности логики. Другими словами: философская логика - это логика, которая проводит исследования в философском аспекте, а философия логики - это философия, которая изучает логику. В таком случае складывается интересная ситуация: известно, что с исторической точки зрения логика является дисциплиной философии, поэтому, когда речь заходит о философской логике, может сложиться такое впечатление, что такая логика содержит в себе какие-то нелогические философские элементы, а когда речь заходит о философии логики, то может показаться, что часть (логика) здесь изучается с позиций целого (философии).
Действительность указывает совершенно не на то, что было обрисовано выше. Так, например, в монографии американского логика Дженнифер Фишер «О философской логике» [1] наряду с проблематикой того, что можно считать логикой (логическими системами), например, модальной логикой, логикой кондиционалов или квантовой логикой, можно найти проблематику, которую скорее всего следовало бы отнести к философии, например, метафизику логики, эпистемологию логики или проблему соотнесённости логики и рациональности, - здесь налицо явное неразличение философской логики и философии логики.
Цель статьи
Как можно видеть, в современной логике возникла такая ситуация, которая требует прояснения различия между философской логикой и философией логики. Собственно, целью предлагаемого исследования является прояснение этого различия. Для реализации поставленной цели понадобится прояснить содержание самих понятий «философская логика» и «философия логики». Это будет сделано на основании определений понятий «философская логика» и «философия логики», предложенных российским логиком А. С. Карпенко и американским философом и логиком Р. Т. Куком. Также я попытаюсь предложить своё понимание того, что может считаться философской логикой, а что - философией логики. Это - задачи предлагаемого исследования.
Изложение основного материала
Наиболее простой способ разобраться в содержании того или иного понятия - это обратиться к его словарному определению. Так, в «Энциклопедии эпистемологии и философии науки» понятие «философская логика» определяется следующим образом: «широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики» [2, с. 1084]. Что можно понять из этого пассажа? В логике есть определённая область логических исследований, которая требует осмысления её понятий и получаемых результатов. Разве это можно считать логическими исследованиями? Скорее здесь нужно говорить о философии логики. Автор приведённого определения - российский логик Александр Степанович Карпенко в определённой степени чувствует некий подвох в определении, поэтому отмечает: «На самом деле термин «философская логика» весьма неопределён, разноречив и единого употребления не имеет. Различными специалистами в математике, в современной логике и в самой философии философская логика понимается по-разному. Даже если она понимается как особая научная дисциплина, определить её предмет, границы применения и методы однозначно не удаётся» [2, а 1084]. Как можно видеть, в действительности нет общепринятого понимания того, что такое философская логика. Более того, получается, что логики, чья работа строится на строгости, точности, ясности и чёткости, не могут дать строгого, точного, ясного и чёткого определения того, что такое философская логика.
Между тем проблема ещё шире, чем может показаться на первый взгляд: А. С. Карпенко указывает, что «не удаётся строго разделить, казалось бы, два разных направления исследований: философскую логику и философию логики. Зачастую одно подменяется другим, а порой их вообще не считают нужным различать» [2, а 1084]. А. С. Карпенко замечает, что «область исследований, которая получила название «философия логики», требует уточнения. Для логиков-математиков философией логики является развитие теории множеств и соответствующие вопросы о способе образования множеств и о природе числа» [2, а 1084]. Далее А. С. Карпенко показывает, что в результате разработки теории множеств возникают такие направления в философии математики, как логицизм, интуитивизм и формализм. Заметьте, что для так называемых «логиков-математиков» вся философия логики оказывается сведённой к философии математики: философия логики сводится либо к решению проблем теории множеств, которая является математической дисциплиной, либо к решению проблемы природы числа, кстати, одной из ключевых проблем философии математики, либо же к решению проблемы образования и оперирования математическими конструкциями (логицизм, интуитивизм и формализм, каждый по своему решает эту проблему). Если дело обстоит именно так, как его демонстрирует А. С. Карпенко, тогда у профессионального философа, не математика, может возникнуть вполне законный вопрос о том, как же математики, занимающиеся вопросами логики, представляют себе философию.