Аналитическая философия возникла на волне интереса к формальной логике, которая, обогатившись новыми методами, с середины XIX века начинает бурно развиваться18. К этому необходимо добавить, что влияние логики не ограничивалось лишь аналитической философией; во второй половине XIX века представители всех философских направлений от позитивистов до неогегельянцев писали “логические исследования”, на этой же волне возникла и феноменология Гуссерля. Исключительное внимание к логике на рубеже веков трудно обосновать лишь ссылкой на то, что логика является философской наукой. Скорее, объяснение этому надо искать в ее взаимодействии с теми отраслями знания, которые выходили за рамки философского. И здесь особую роль сыграли психология и математика. Появление психологии стимулировало развитие логической мысли в том отношении, что с привнесением в философию позитивного естественнонаучного духа возникала иллюзия, что теория познания обретет наконец так недостающие ей прочные основания, и в этом отношении психологическое объяснение логики, как ядра теории познания, должно было сыграть свою ведущую роль. Цель психологизации, по существу, сводилась к стремлению объяснить логические структуры естественными процессами, протекающими в индивидуальном человеческом сознании, а не способностями трансцендентального субъекта или самоопределением объективного духа. Однако психологизация не приводила к позитивному расширению границ логики как науки, с точки зрения содержания она все так же понималась, по словам Канта, “вполне законченной и завершенной”. И, несмотря на то, что рефлексия над основаниями логики не раз приводила к радикальному изменению философских установок, в данном случае был дан фальстарт. Психологическое обоснование не принесло ощутимой пользы, прочный фундамент так и не был заложен, а позитивное расширение границ логического ограничилось разработкой субъективных условий применения тех объективных законов и норм, которые и так давно были известны.

Иное дело воздействие математики на логику, не только расширившее границы формальной логики, но и совершившее подлинную революцию как в понимании природы логического, так и в понимании перспектив применения философских методов. Последнее обстоятельство позволило Б.Расселу сказать, что формальная логика с середины XIX века каждые десять лет создает больше, чем было создано за весь период от Аристотеля до Лейбница19. Математизация логики – процесс прямо противоположный ее психологизации и, пожалуй, характеризует одну из наиболее интересных коллизий в развитии науки.

В ряду известных философов и логиков конца XIX – начала XX века Г.Фреге занимает особое место. Его роль в современной логике, которую он в значительной степени создал, сравнима разве что с ролью Аристотеля в логике традиционной. Фреге, в частности, заложил основы той области знания, которая получила название оснований математики, впервые отчетливо связав проблему формального единства содержания математики с принятыми в ней способами рассуждения и заложив тем самым, основы теории формальных систем. Это стало возможным только потому, что им была осуществлена одна из первых аксиоматизаций логики высказываний и логики предикатов, причем последняя фактически впервые появилась в его трудах. Г.Фреге заложил основы логической семантики, отделив в логической теории средства выражения (синтаксис) от того, что они обозначают. Наконец, он выдвинул программу прояснения основных понятий математики, которую и попытался осуществить с помощью процедуры сведения математики к логике, реализуя одну из возможных методик прояснения специфики математического знания.

Совокупность результатов, достигнутых им в логике, предполагала совершенно определенный концептуальный сдвиг, который отражает влияние Фреге на развитие современной мысли в целом. На чем же основан этот концептуальный сдвиг? Он основан на новом понимании роли языка, который начинает рассматриваться как исчисление, аналогичное математическим теориям20.

Семантика занимается концептуальным исследованием значений языковых выражений. Одним из ее центральных понятий является понятие имени. Фреге принадлежит заслуга такого уточнения этого термина, которое позволило ему стать одним из основных понятий математической логики. В основе классической концепции имен собственных, сформулированной Фреге, лежат понятия значения и смысла. Согласно этой концепции, всякое имя обозначает (называет, именует) некоторый предмет (называемый значением, денотатом или референтом имени) (нем. Bedeutung, англ. reference) и выражает некоторый смысл (нем. Sinn, англ. meaning), определенным образом характеризующий значение имени.

В статье «О смысле и значении» Фреге дает следующее истолкование имени: «Под „знаком“ или „именем“ я понимаю любое обозначение, выступающее в роли имени собственного, значением которого является определенный предмет (в самом широком смысле этого слова), а не понятие и не отношение... Обозначение одного предмета может состоять также из нескольких слов и иных знаков. Для краткости каждое такое обозначение может быть названо именем собственным»21.

Примерами имен собственных могут служить следующие выражения: (1) «Аристотель»; (2) «Учитель Александра Македонского»; (3) «Утренняя звезда»; (4) «Вечерняя звезда»; (5) «точка пересечения прямых a и b».

Следовательно, всякое имя, с одной стороны, обозначает свой предмет, а с другой – выражает свой смысл, который определенным образом характеризуетзначение имени. Поскольку смысл позволяет