В Степин - Новая философская энциклопедия. Том четвёртый Т—Я

246

ТДТ- Т* Т>Г ГТигиЛЛТТТА /f\ Т* TT Г\ Г* Г\ rt% r*V ТЖ TT ГЛТГ TTTTT/^TD А Т/Г V ОЛЛМ/'ТЛТД IIb XI 1 bJlIll IlV»4jll47_4*'IlJ14/V/4/,*'V/lVIlU1 w .....¦«. . 1.1_»IV II 1V1 J /1V1VI1 В отличие от философии логики первоначально философской логикой называлась модальная логика, т. е. логический анализ таких философских понятий, как «возможность» и «необходимость». Исторически эти два понятия, особенно начиная с Аристотеля, привлекали к себе постоянное внимание философов, а с развитием символической логики появилась возможность проанализировать указанные модальности и их взаимоотношения точными методами. То же самое случилось с такими философскими понятиями, как «будущее» и «прошлое». С развитием модальной логики в сферу логических исследований стали попадать все новые виды модальностей: временные, модально-временные (не механическое соединение, а синтез модальных и временных операторов), физические или причинные, деонтические, эпистемические и др. С выходом на английском языке в 80-е гг. «Справочника по философской логике» в 4 томах подведен некоторый итог ее развития. 2-й и 3-й тома есть не что иное, как рассмотрение различных неклассических логик и, конечно, таких, как модальная логика, временная, многозначная, интуиционистская, релевантная и др. И вообще возникает целый ряд новых логических теорий, таких, как логические теории квантовой механики, логика существования, логики, свободные от экзис- тенциональных допущений, логика обязательности и позволения (правовые и этические контексты), логика действий, команд, оценок, намерений и предпочтений, логика знания, веры, убеждения, сомнения, восприятия, предвидения, логика вопросов, формальная онтология и т. д. Однако только с появлением семантики возможных миров (см. Возможных миров семантика) в сер. 50-х гг. (С. Кангер, С. Крипке, А. Прайор, Я. Хинтикка) стало возможным провести логический анализ многих центральных философских понятий: наряду с указанными модальностями также таких, как «знание», «вера», «восприятие», «обязательства» и др. Обратим внимание, что в каждой из этих логик возникает своя философия логики, а значит, и философские проблемы, перечисленные выше, потому что определение истинности формулы, логического следования, понятия высказывания и смысл логических операций в большинстве логик различные. Кроме этого в каждой философской логике возникает своя дополнительная философская проблематика. Напр., в модальных логиках таковыми являются проблема референции, кросс- идентификации, т. е идентификации объектов в различных возможных мирах, и в связи с этим возникает проблема кван- тификации. В многозначных логиках стоит сложнейшая философская проблема интерпретации множества истинностных значений, обычно выраженного числами: рациональными, натуральными, целыми, действительными. Много философских проблем ставит интуиционистская логика, напр., наличие у нее двух разнородных и несводимых друг к другу классов семантик: реализуемостей и моделей Крипке. Философская логика имеет языковый и технический аппарат более богатый и, главное, более гибкий, чем символическая логика, что позволило приступить к анализу и реконструкции чисто философских проблем, и даже таких фундаментальных, как проблема фатализма и свободы воли, детерминизма и случайности, времени и асимметрии времени, существования и всеведения Бога и т. д. Вообще, понятие философской логики противоречиво. С одной стороны, сюда относятся все те логические исследования, которые не являются чисто математическими и как бы не имеют отношение к символической логике, понимаемой многими логиками-философами как «игра в символы». С другой стороны, современное развитие модальной логики, временной, интуиционистской и особенно многозначной и некоторых других, есть не что иное, как разделы символической логики: те же методы символизации и аксиоматические способы построения и, главное, во многом те же чисто технические задачи и проблемы. Показательным здесь является построение новых множеств теорий на основе неклассических логик, являющихся по своему происхождению чисто философскими, а именно появились многозначные, модальные, релевантные, паранепротиворечивые теории множеств. Стоит подчеркнуть, что есть то, что объединяет такие направления в современной логике, как символическая логика, философская логика, философия логики, неклассические логики. Имеется в виду фундаментальный философский вопрос конца 20 в.: что есть логика? Наконец, в сер. 90-х гг. появился еще один термин, имеющий прямое отношение к теме нашего рассмотрения, а именно — «логическая философия». Начиная с 1993 в Польше начал выходить журнал «Logic and Logical Philosophy». Определить, что такое «логическая философия», еще сложнее, чем что такое философская логика. Скорее всего, это все то, где можно применить логику в любом ее виде. Поэтому сюда попадают работы и из области философской логики, и из области символической логики. Начиная с 1972 под эгидой международной ассоциации символической логики издается самый известный сейчас журнал в области философской логики — «Journal of Philosophical Logic». Лит.: Витгенштейн Л. Философские работы, ч. I, ч. И. Книга 1. М., 1994; Вригт Г. Л. фон. Логико-философские исследования.— Избр. труды. М, 1986; Он же. Логика и философия в XX веке.— «ВФ», 1992, № 8, с. 80—91; Быстрое П. #., Смирнов В. А. Философская логика. Современная западная философия. Словарь. М., 1991, с. 349—352; Карпенко А. С. Фатализм и случайность будущего: логический анализ. М., 1990; Он же. Логика на рубеже тысячелетий.— Логические исследования, вып. 7. М., 2000; Смирнова Е. Д. Логика и философия. М., 1996; Философия и логика. Философия в современном мире. М., 1974; Хинтикка Я. Логико-эпистемологические исследования. М., 1980; Contemporary philosophical logic, eds. I. M. Copi, J. A. Gould. N. Y, 1978; Contemporary philosophy. A survey. V. 1. Logic and foundation mathematics, ed. R. Klibansky. Firenze, 1968; Contemporary philosophy. \o\. 1. Philosophy of language. Philosophical logic. Dordrecht, 1982; Engel P. Norm of truth: An introduction to the philosophy of logic. University of Toronto Press, 1992; Grayling A. C. Introduction to philosophical logic. Blackwell Publishers, 1997; HaackS. Deviant logic: Some philosophical issues. L., 1974. Idem. Philosophy of logic. Cambr., 1979; Handbook of philosophical logic, v. I—IV, eds. D. Gabbay, F. Guenthner. Dordrecht, 1983—89; Lewis D. Papers in philosophical logic. Cambr, 1998; Philosophical logic, eds. J. W. Davis, et al. Dordrecht, 1969; Philosophical logic, ed. P. F. Strawson. Oxf, 1977; Philosophical logic and artifical intelligence, ed. R. H. Thomason. Dordrecht, 1989; Philosophical logic in Poland, ed. J. Wolenski. Dordrecht, 1994; Putnam H. Phuosophy of logic. N. Y, 1971; Quine W. V. Phuosophy of logic. N. Y, 1970; Quine W. V. Phuosophy of logic. Harward University Press, 1986; ReadS. Thinking about logic: An introduction to the phuosophy of logic. Oxf., 1995; Bescher N. Topics in phuosophical logic. Dordrecht, 1968; Sainsbury M. Logical forms: An introduction to philosophical logic. Blackwell Publishers, 1991; Wans Hao. Logical journey from Godel to philosophy. MIT Press, 1996; What is logical system? Ed. Dov M. Gabbay. N. Y, 1994; Wolfram S. Philosophical logic. An introduction. L.-N. Y, 1989. А. С. Карпенко ФИЛОСОФСКИЕ И РЕЛИГИОЗНО-ФИЛОСОФСКИЕ ОБЩЕСТВА И КРУЖКИ. Первые в России общества философского характера были созданы в кон. 19 в.

247