Логіко-семантичні ідеї М. Фреге

Аналітична філософія виникла на хвилі інтересу до формальної логіки, яка, збагатившись нові методи, з середини XIX століття починає бурхливо розвиватися. До цього необхідно додати, що вплив логіки не обмежувалося лише аналітичної філософією; в другій половині XIX століття представники усіх філософських напрямків від позитивістів до неогегельянцев писали "логічні дослідження", на цій же хвилі виникла і феноменологія Гуссерля. Виключне увагу до логікою на рубежі століть важко обгрунтувати лише посиланням на те, що логіка є філософською наукою. Скоріше, пояснення цьому треба шукати в її взаємодії з тими галузями знання, які виходили за рамки філософського. І тут особливу роль зіграли психология и математика. Поява психології стимулював розвиток логічної думки в тому відношенні, що з привнесенням у філософію позитивного природничо духу виникала ілюзія, що теорія пізнання знайде нарешті так бракує їй міцні підстави, і у цьому відношенні психологічне пояснення логіки, як ядра теорії пізнання, повинно було зіграти свою провідну роль. Мета психологізації, по суті, зводилась до прагненню пояснити логічні структури природними процесами, що відбуваються в індивідуальному людській свідомості, а не здібностями трансцендентального субєкта або самовизначенням обєктивного духу. Однак психологізація не приводила до позитивного розширення меж логіки як науки, з точки зору змісту вона так само розумілася, за словами Канта, "цілком закінченою і завершеною". І, не дивлячись на те, що рефлексія над основами логіки не раз призводила до радикальної зміни філософських установок, в даному випадку був дан фальстарт. Психологічне обгрунтування не принесло відчутною користі, міцний фундамент так і не був закладений, а позитивне розширення меж логічного обмежилося розробкою субєктивних умов застосування тих обєктивних законів і норм, які й так давно були відомі.

Інша річ вплив на математики логіку, не лише розширила межі формальної логіки, а й вчинила справжню революцію як у розумінні природи логічного, так і в розумінні перспектив застосування філософських методів. Остання обставина дозволила Б. Расселу би мовити, що формальна логіка із середини XIX століття кожні десять років створює більше, ніж було створено за весь період від Аристотеля до Лейбніца. Математизація логіки - процес прямо протилежний її психологізації і, мабуть, характеризують один з найбільш цікавих колізій у розвитку науки.

У ряду відомих філософів логіків кінця і XIX - початку XX століття Г. Фреге посідає особливе місце. Його роль у сучасної логіки, яку він значною мірою створив, порівняти хіба що з роллю Арістотеля в логіці традиційною. Фреге, зокрема, заклав основи тієї галузі знання, яка отримала назву основ математики, уперше чітко звязавши проблему формального єдності змісту математики з прийнятими в ній способами міркування і заклавши тим самим, основи теорії формальних систем. Це стало можливим тільки тому, що ім було здійснено один з перших аксіоматизації логіки висловлень і логіки предикатів, причому остання фактично вперше зявилася в його працях. Г. Фреге заклав основи логічної семантики, відокремивши в логічній теорії засоби вираження (синтаксис) від того, що вони означають. Зрештою, він висунув програму прояснення основних понять математики, що і спробував здійснити за допомогою процедури зведення математики до логіки, реалізуючи одну з можливих методик прояснення специфіки математичного знання.

Сукупність результатів, досягнутих ним в логіці передбачала зовсім певний концептуальний зрушення, яке відображає вплив Фреге на розвиток сучасної думки в цілому. На чому ж заснований цей концептуальний зсув? Він заснований на новому розумінні ролі мови, яка починає розглядатися як перелічені, аналогічне математичним теоріям