ФИЛОСОФСКАЯ ЛОГИКА

- весьма широкая область логических исследований, ориентированных на философские проблемы и требующих применения философских, содержательных методов и категориального аппарата. Ф.л. не является ни особой философской дисциплиной, ни особым разделом логики, но может быть охарактеризована как специфический "срез" анализа на стыке собственно логической и философской проблематики. Термин "Ф.л." появился в англоязычной литературе и стал широко применялся в 50-60-е годы, когда были получены и потребовали философского осмысления важные результаты в области неклассических, интенсиональных логик. Однако он не стал общепринятым и в настоящее время  встречается реже. Толкования Ф.л. достаточно разноречивы, и даже в том случае, когда она понимается как особая дисциплина, определить ее предмет и методы однозначно не удается. Но есть проблемы, которые все авторы, принимающие этот термин, относят именно к компетенции Ф.л.: проблема истины, смысл и значение  высказываний, сущность отрицания, природа логического следования и др. Характерной чертой развития логики в XIX - начале XX в. от Дж. Буля до Фреге было применение математических методов. Возникновение математической логики, фундаментальные результаты Д. Гильберта, Гёделя, Генцена и других математиков подняли логические исследования на новый, более высокий уровень. Фактически именно математики заняли ведущие позиции в области формальной логики. Укрепление и сохранение в течение длительного времени ярко выраженной "математической тенденции", имея свои неоспоримые преимущества, тем не менее как бы скрадывало значимость тех аспектов логических исследований, которые были неразрывно связаны с философской проблематикой. Своеобразной реакцией на такое положение дел можно считать и появление Ф.л., что в определенной степени оправдывалось возникновением новых ветвей логической науки, в первую очередь модальных, релевантных и временных логик, открывавших новые взаимосвязи эпистемологических, лингвистических и логических проблем.

Существует также взгляд, что Ф.л. есть в некотором смысле философия, но не противопоставленная логике, а "логически оснащенная", ориентированная на логику. В данном случае в Ф.л. включается теория пропозиций, теория дескрипций, общая теория квантификации, отношения между аналитическими и синтетическими суждениями, теория смысла языковых выражений, их верификации и применения. Значительная часть проблематики Ф.л. в таком понимании относится к теории истины, причем к компетенции Ф.л. причисляют когерентные и прагматические теории истины, а также анализ отношений между ними, редукционистские и корреспондентные теории истины (correspondence theory) и, в числе прочих, логико-семантическую теорию Тарского. Сюда же относится также анализ онтологических допущений, проблемы, связанные с предикатом существования.

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

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

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

П.И. Быстров, В.А. Смирнов

Смирнова Е.Д. Логика и философия. М., 1995; Philosophical Logic. Oxford, 1967; Contemporary Philosophical Logic. N.Y., 1978; A.C. Grayling. Introduction to Philosophical Logic. Oxford, 1982; Handbook of Philosophical Logic. V. 1-3. Dordrecht, 1983-86.