Ключевой фигурой в создании современной математической логики был немецкий математик и философ Готлоб Фреге (Gottlob Frege, 1848-1925). К его известным работам по философии языка принадлежит труд О смысле и значении (Ober Sinn und Bedeutung, 1892). Одним из наиболее влиятельных логиков в современной философии является американец Уиллард ван Орман Куайн (Willard van Orman Quine, 1908) [1].
Первоначально термин "логический позитивизм" использовался для обозначения группы ориентирующихся на науку философов, которые жили в Вене в 1920-1930-е гг. (Венский кружок). Она включала таких философов, как Мориц Шлик (Moritz Schlick, 1882- 1936, Отто Нейрат (Otto Neurath, 1882-1945) и Рудольф Карнап (Rudolf Carnap, 1891-1970). В эту группу входили и другие немецкоязычные философы (в частности, Карл Гемпель, Carl Hempel, 1905- 1998, и Ганс Рейхенбах, Hans Reichenbach, 1891-1953).
Логических позитивистов объединяло их дистанцирование от спекулятивной философии. Время метафизики давно прошло! То, на что мы должны опираться, это логика (включая математику) и эмпирические науки с физикой в качестве образца. Поэтому логические позитивисты единственной философией признавали лишь аналитическую философию науки в том виде, в каком они ее разрабатывали.
Похожее критическое отношение к традиционной философии характеризовало и британскую философию того времени. Отчасти она являлась концептуальной критикой, основанной на обыденном языке (Джордж Эдуард Мур, George Edward Moore, 1873-1958). Отчасти же использовала логические формальные методы, как это делали Бертран Рассел (Bertrand Russel, 1872-1970) и Алфред Уайт-хед (Alfred..North Whitehead, 1861-1947), завершившие в 1910 г. известный труд по математической логике Principia Mathematica.
В течение некоторого времени Рассел был одним из видных британских защитников логического позитивизма. (Другим был Алфред Джулиус Айер, Alfred Jules Ayer, 1910-1989) [2]. Рассел отстаивал тезис о взаимно-однозначном соответствии языка и действительности. Язык состоит частично из атомарных словесных
1 См. работы Куайна Two Dogmas of Empiricism, Philosophical Review. 1951, 60 и Word and Object. - Cambridge, 1960 (Перевод М.Кронгауза I и V глав см. У.В. О.Куайн. Слово и объект. - В кн. Новое в зарубежной лингвистике. Выпуск XVIII. - М., 1986. - С. 24-98. По современной логике см., например, B.Mates. Elementary Logic. - Oxford, 1962 (second edition 1972) и W.O.Quine. Methods of Logic. - New York, 1950 (fourth edition, 1972).
2 A.Ayer. Language, Truth and Logic. - London, 1936. Перевод А.Яковлевым шестой главы этой книги см. Аналитическая философия. Избранные тексты. - М., 1993. - С. 50-65.
705
(вербальных) выражений, которые соотносятся с атомарными фактами, и частично из логических взаимосвязей между этими словесными выражениями. Причем логические связи описываются формальной логикой. Рассмотрим, например, слова "кот" и "циновка". Эти слова используются как атомарные словесные выражения, которые относятся к атомарным фактам, то есть к определенному коту и к определенной циновке. Предложение "этот кот лежит на этой циновке" взаимно-однозначно соотносится с определенным сложным состоянием вещей, заключающемся в том, что кот лежит на циновке, так как входящие в это предложение простые (атомарные) лингвистические выражения описывают простые состояния вещей. В то же самое время синтаксическая форма рассматриваемого предложения правильно выражает отношение между котом и циновкой.
Итак, имеется тезис о том, что действительность состоит из простых, отдельных фактов и что таким же образом эпистемически осмысленный язык состоит из простых, отдельных выражений, которые соотносятся с этими фактами. При этом правильные логические связи между этими лингвистическими выражениями соответствуют отношениям, существующим между фактами, на которые указывают эти выражения.
Интересными словесными выражениями являются предложения, которые утверждают нечто о том, что имеет место. Такие предложения или утверждения могут находиться во взаимно-однозначном соответствии с действительностью и тем самым быть эпистемически осмысленными. Другие виды словесных выражений (восклицания, команды, вопросы, оценочные суждения, метафорические высказывания и т.п.) не обладают подобным свойством и не представляют познавательного интереса.