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

Наконец, из этого размышления Фреге становится ясно, почему именно предложение, а не имя собственное, является первичным носителем значения. Дело в том, что каждый из приводимых Фреге примеров имен собственных является однозначно идентифицирующим описанием определенного предмета. Значением знака является поэтому тот предмет, который соответствует этому описанию. (Причем в языке науки каждому имени собственному должен соответствовать только один предмет). Знак выделяет предмет в качестве своего значения только в том случае, когда определенное предложение, в котором утверждается или отрицается нечто относительно значения имени, является истинным по отношению к этому предмету. Например, «Аристотель - это тот ученик Платона, который был учителем Александра Великого».Теперь становится ясно, почему предложение следует считать исходным носителем значения. Эта особенность Фрегевой семантики обусловлена тем, что постижение (нем. Fassen , англ. grasping ) предметного значения имени собственного или описательного выражения включает в себя, по Фреге, согласие с истинностью предложения, согласно которому определенный предмет соответствует определенному описанию. До тех пор, пока мы не признаем возможность формулировки истинных предложений, в которых что-то утверждается или отрицается по поводу предметов, мы не сможем установить «значения» имен собственных; иными словами, мы не сможем идентифицировать выделить предметы, которые они обозначают.

Согласно семантической концепции Фреге, толкующей предложения как своеобразные имена собственные, смысл повествовательного предложения, или мысль, определяется только смыслами его частей, а не их значением. Если бы нас интересовала только мысль как смысл предложения, то не было бы никакой необходимости интересоваться значением предложения. В частности, выраженная в предложении об Одиссее мысль не изменится оттого, имеет ли слово «Одиссей» значение или нет. В действительности же мы стремимся узнать и значение составляющих его имен. Это указывает на то, что мы признаем значение и за самим предложением. Фреге спрашивает: «Почему же мы хотим, чтобы каждое имя собственное имело не только смысл, но и значение? Почему нам недостаточно мысли? Потому и лишь потому, что нас интересует ее истинностное значение. ... Именно стремление к истине и заставляет нас двигаться вперед, от смысла предложения к его значению»[43] .

Вывод, к которому приходит Фреге, заключается в том, что значением повествовательного предложения является его истинностное значение (нем. Wahrheitswert , англ. truth value). Под истинностным значением предложения Фреге понимает то, что оно является истинным или ложным. Других истинностных значений, говорит Фреге, нет. (Это справедливо для стандартной двузначной логики, но неприемлемо для возникших в XX веке многозначных логик). Для краткости одно он называет истинностью, а другое - ложностью. Фреге пишет: «Всякое повествовательно предложение, в зависимости от значения составляющих его слов, может, таким образом, рассматриваться как имя, значением которого, если, конечно, оно имеется, будет либо истина, либо ложь. Оба этих абстрактных предмета признаются, хотя бы молчаливо, всеми, кто вообще выносит хоть какие - либо суждения или считает хоть что нибудь истинным, то есть даже скептиком»[44] .

Истинность и ложность рассматриваются Фреге как абстрактные предметы. Такая трактовка истинности и ложности нашла себе широкое применение в современной математической логике. Так, при табличном построении исчисления высказываний функции этого исчисления обычно трактуются как определенные на области, состоящей из двух предметов - предмета «истина» и предмета «ложь», которые принимают значение также на этой области. Следует, однако, отметить, что современные последователи Фреге и, в частности, Черч, предпочитают говорить об истине и ложности как о постулированных, а не как о идеально существующих предметах. В этом они видят способ избежать далеко идущих следствий логического реализма Фреге, согласно которому абстрактные предметы обладают специфическим модусом существования.

Если предложение имеет истинностное значение, то оно, в свою очередь, определяется мыслью, выраженной в данном предложении. Фреге пишет: «Истинностное значение (Wahrheitswert) является значением (Bedeutung) предложения, смыслом (Sinn) которого является мысль (Gedanke)»[45] . Соответственно, только смыслы предложений, которые могут быть истинными или ложными, являются мыслями. Предложения, выражающие приказы, вопросы, «восклицания, которыми выражаются чьи-то чувства», обладают смыслами, но эти смыслы не являются мыслями. Мысль является смыслом предложений, «в которых выражается сообщение или утверждение»[46] .

Если значением предложения является его истинностное значение, то все предложения распадаются на два класса:

(1) на класс предложений, смысл которых определяет их истинностное значение «истинность», и

(2) на класс предложений, смысл которых определяет их истинностное значение «ложность».

Мысль есть смысл имени истинности или ложности. Истинное предложение - это имя истинности, а ложное предложение - это имя ложности. Можно понимать мысль, выраженную в некотором предложении, но не знать, каково определяемое ею истинностное значение.

Высказывая предложение, говорящие стремятся выразить не просто мысли, которые в них выражены, но претендуют на истинность высказывания. Но в предложении как имени истинности или ложности утверждения не содержится. Поэтому значение само по себе нас не интересует; однако и голая мысль, то есть смысл сам по себе, тоже не несет в себе нового знания. Нас интересует только соединение мысли и ее значения, т. е. истинностного значения. Согласно Фреге, переход от уровня смыслов (интерсубъективный уровень) к уровню значений (объективный уровень) осуществляется в суждении.

По поводу логической природы суждения Фреге утверждает: «Суждение (Urteil) есть для меня не голое постижение некоторой мысли, но признание ее истинности»[47] . Пока предложение рассматривается просто как имя истины и лжи, в нем еще нет никакого утверждения. Оно появляется только в том случае, когда к предложению присоединяется указание на его истинность. В обычных языках и в языке науки высказываемое кем-либо предложение рассматривается как утверждение истины; утверждение истины в этом случае выражается самим фактом высказывания предложения.

Заметим еще раз, что мысль и истинностное значение - два совершенно разных элемента в отношении наименования; второе не является частью первого (так же, как, например, само Солнце не является частью мысли о Солнце). Поскольку истина и ложь - не смысл, но предметы, стало быть, характеристика предложения как истинного или ложного ничего не добавляет к содержащейся в нем мысли. Это отчетливо видно, когда мы сравниваем предложения “5 - простое число” и “Мысль, что 5 - простое число, истинна”. Второе предложение не содержит никакой информации сверх той, что может быть усвоена из первого, а значит, приписывание мысли истинностного значения - это отношение иного рода, чем отношение между функцией и аргументом, из которых состоит мысль. Функция и аргумент находятся на одном уровне, дополняя друг друга, они создают целостную мысль, которая может функционировать, даже если мы ничего не знаем о ее истинности. Вопрос об истине возникает только тогда, когда мы переходим к утверждению мысли.

С точки зрения Фреге, в структуре утвердительного предложения необходимо различать: 1) схватывание мысли - мышление 2) признание истинности мысли - суждение 3) демонстрация этого суждения - утверждение[48] . Первый этап соответствует усвоению содержания предложения. Признание истинности заключено в форме утвердительного предложения и соответствует переходу от содержания предложения к его истинностному значению. Необходимость разведения мысли и суждения обосновывается тем, что усвоение содержания предложения не связано однозначно с возможным признанием его истинным или ложным, тот же самый смысл может быть усвоен в форме вопроса. Более того, очень часто случается так, что между усвоением мысли и утверждением ее истинности лежит значительный промежуток времени, как, например, происходит в научных исследованиях. Признание истинности выражается в форме утвердительного предложения. При этом совсем не обязательно использовать слово `истинный'. Даже в том случае, если это слово все же употребляется, собственно утверждающая сила принадлежит не ему, а форме утвердительного предложения.

В естественном языке различие между содержанием предложения и его утверждением скрыто самой формой выражения. В структуре повествовательного предложения нет ничего такого, что позволило бы отличить простую констатацию мысли от признания ее истинной. В естественном языке это противопоставление скрыто, в частности, тем обстоятельством, что отсутствует особый знак суждения, подобный `?' и `!'. Однако выделение особой утвердительной силы, основанное на противопоставлении запроса и суждения, необходимо, как считает Фреге, ввести в формальный язык описания логических структур, в котором все различия должны быть явно артикулированы. Для этого он использует особый знак суждения `?? '. Различая суждение и саму мысль, он пишет: «В простом равенстве еще нет утверждения; “2+3=5” только обозначает истинностное значение, не говоря о том, какое из двух. Кроме того, если я написал “(2+3=5)=(2=2)” и предполагается, что мы знаем, что 2=2 есть истина, я тем самым все еще не утверждал, что сумма 2 и 3 равна 5; скорее я только обозначил истинностное значение “2+3=5” означает то же самое, что и “2=2”. Нам, следовательно, требуется другой, особый знак, для того чтобы мы могли утверждать нечто как истинное. Для этой цели я предпосылаю знак `?? ' имени истинностного значения, так что, например, в “?? 2 2=4” утверждается, что 2 в квадрате равно 4. Я отличаю суждение от мысли следующим образом: под суждением я понимаю признание истинности мысли»[49] .

Своеобразие формальной системы, созданной Фреге, состоит в том, что на ее языке можно выразить как предложения, высказанные с утвердительной силой, так и простую констатацию. В последнем случае немецкий логик использует знак `? ', который помещает перед предложением. Этот знак является составной частью знака суждения `?? ', и только вертикальная черта превращает констатацию в признание истинным. Различие констатации и суждения позволяет избавиться от традиционной классификации суждений на положительные и отрицательные. С точки зрения Фреге, нет никакой специфической отрицательной силы, для формальной системы достаточен только знак утверждения. Отрицание не затрагивает акт суждения и интегрировано в формальную запись на уровне констатации, поскольку, как указывалось выше, отрицание представляет собой одноместную истинностно-истинностную функцию. Знак суждения служит для утверждения, что истинностным значением предложения является истина, но «нам не нужен специальный знак, для того чтобы объявить, что истинностным значением является ложь, поскольку мы обладаем знаком, посредством которого истинностное значение изменяется на противоположное; это также необходимо и по другим основаниям. Теперь я ставлю условием: значением функции `? ~ p ' будет ложь для каждого аргумента, для которого значением функции `? p ' будет истина; и будет истина для всех других аргументов. Соответственно, в `? ~ p ' мы имеем функцию, значением которой всегда является истинностное значение; это - понятие, под которое подпадет каждый объект, единственно за исключением истины... При принятых нами условиях `? ~ (2 2=5)' есть истина; а потому: `? ~ (2 2=5)', используя слова: `2 2=5 не есть истина'; или: `2 в квадрате не равно 5'»[50] . Таким образом, отрицание относится не к форме выражения, как это имеет место в традиционной логике, которая различает утвердительные и отрицательные суждения, а к элементам, связанным с содержанием. Мысль, выраженная в предложении, в этом смысле нейтральна, как вообще нейтрален способ данности объектов, каковыми в данном случае выступают истина и ложь.

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

Знак суждения по Фреге может рассматриваться как общий всем предложениям предикат, типа “Истинно, что p ” или “Имеет место p ”. Так как предложения рассматриваются как имена, последнее вполне оправданно, поскольку с точки зрения грамматики конструкция “?? p ” представляет собой глагол, приписанный имени.

Введение знака суждения основано не только на соображениях, связанных с формой выражения мысли. Важную роль знак суждения играет в структуре вывода. В качестве элементов вывода, как считает Фреге, могут использоваться только такие предложения, которые высказаны с утвердительной силой (т.е. соответствующая им мысль должна быть признана истинной), поскольку вывод заключается в вынесении суждений, осуществляемом на основе уже вынесенных ранее суждений, согласно логическим законам. Каждая из посылок есть определенная мысль, признанная истинной; точно так же признается истинной определенная мысль в суждении, которое является заключением вывода. Последнее можно прояснить специальным случаем c правилом вывода mdus pnens , которое Фреге в своем шрифте понятий рассматривает в качестве единственного способа получения следствий и которое иллюстрирует еще один аргумент в пользу введения в структуру вывода особой утвердительной силы, связанной с формой повествовательного предложения в естественном языке и знаком ` ? ? ' в символическом языке. С точки зрения последнего, выделение особой формы суждения позволяет предотвратить petiti principi , скрытое в форме условно-категорического умозаключения. В “Если p , то q; p . Следовательно, q ” заключение уже присутствует в условной посылке. Однако если в это умозаключение явно ввести знак `?? ', то petiti principi можно избежать. В “ ? ? Если p , то q ; ? ? p . Следовательно, ? ? q ” заключение в условной посылке не содержится, поскольку “ ? ? q ” не совпадает с “ q ”.

В силу этого Фреге считал необходимым ввести в свое «исчисление понятий» особый знак утверждения. Он указывал, что в простом равенстве «2 2 = 4» не содержится никакого утверждения. Это равенство просто обозначает некоторое истинностное значение. Чтобы показать, что речь идет именно об утверждении истины, Фреге предпосылает имени истинностного значения знак « u ? », так что в предложении « u ? 2 2 = 4» утверждается, что квадрат двух есть четыре.

В «Основоположениях арифметики» Фреге указывал: «В простом равенстве еще нет утверждения; “2 + 3 = 5” только обозначает истинностное значение, ничего не говоря о том, какое из двух. Кроме того, если я написал “2 + 3 = 5” = “2 =2” и предполагается, что 2 = 2 есть Истина, я тем самым еще не утверждал, что сумма 2 и 3 равна 5; скорее, я только обозначил истинностное значение “2 + 3 = 5” означает то же самое, что и “2 = 2”. Нам, следовательно, требуется другой, особый знак для того, чтобы мы могли утверждать нечто как истинное. Для этой цели я предпосылаю знак « u ? » имени истинностного значения, так что, например, в « u ? 2 2 = 4» утверждается, что квадрат двух есть четыре. Я отличаю суждение от мысли следующим образом: под суждением я понимаю признание истинности мысли».

Если повествовательные предложения являются именами, обозначающими абстрактные предметы «истинность» и «ложность», то по отношению к их истинностным значениям должен сохранять свою силу принцип взаимозаменимости равнозначных языковых выражений. Это означает, что если в сложном предложении одну из его составных частей, в свою очередь являющуюся предложением, заменить другим предложением, обладающим тем же самым значением, хотя быть может и отличающимся от первого по смыслу, то истинностное значение полученного предложения не изменится. В этой связи Фреге отмечает:

«Если наша точка зрения верна, то истинностное значение предложения, которое содержит в качестве части другое предложение, не должно измениться, если мы заменим эту часть на предложение с тем же самым истинностным значением»[51] .

Выполнимость принципа взаимозаменимости в элементарных случаях подобного рода достаточно очевидна. К примеру, если в предложении

(1) «Утренняя звезда есть небесное тело, освещенное Солнцем» выражение «Утренняя звезда» заменить на равнозначное выражение «Вечерняя звезда», то истинностное значение полученного в результате такой подстановки предложения

(2) «Вечерняя звезда есть небесное тело, освещенное Солнцем» останется неизменным. Оба предложения будут иметь истинностное значение «истинно».

Возьмем, однако, другой пример, неоднократно приводившийся такими известными логиками, как Бертран Рассел, Алонзо Черч и Уиллард Ван Орман Куайн. Рассмотрим предложение:

(3) «Георг IV однажды спросил, является ли Вальтер Скотт автором Уэверли».

Имея в виду, что Вальтер Скотт и в самом деле является автором произведения Уэверли, опубликованным им анонимно, заменим имя «автор Уэверли» равнозначным ему именем «Вальтер Скотт». В результате получим предложение:

(4) «Георг IV однажды спросил, является ли Вальтер Скотт Вальтером Скоттом».

В то время как предложение (3) истинно (то, что английский король однажды действительно задал подобный вопрос, есть исторический факт), предложение (4), очевидно, ложно (хотя Георг IV и не был особо развитым в интеллектуальном отношении человеком, вряд ли он когда-либо сомневался в том, что Вальтер Скотт является Вальтером Скоттом). (Подобным же образом если м-р Смит прочитал в газете, что человек в серой шляпе разыскивается за убийство, но не знает при этом, что этот убийца является его соседом м-ром Джонсом, то м-р Смит может, конечно же, испытывать страх перед человеком в серой шляпе, но это вовсе не означает, что он боится м-ра Джонса). В результате оказывается, что в контекстах типа «Георг IV однажды спросил, является ли...», в которых заменяемому имени предшествуют выражения вроде «убежден, что», «интересуется, что», «знает, что», «боится, что», либо нарушается принцип взаимозаменимости равнозначных выражений (принцип «коэкстенсиональности»), либо взаимозаменяемые имена не имеют обычного смысла. Фреге склоняется ко второму решению. Он объясняет случаи, при которых замена тождественных по значению выражений приводит к изменению значения всего сложного выражения в целом тем, что в этих контекстах заменяемые выражения входят в состав косвенной речи. Он утверждает, что обычно имена используются для того, чтобы обозначить свое значение, однако в некоторых контекстах, в частности в предложениях типа (3), они используются для того, чтобы обозначить некоторый смысл. Иными словами, в косвенной речи слова имеют не обычное значение, а означают то, что обычно является их смыслом. В статье «О смысле и значении» Фреге пишет:

«В косвенной речи слова выступают в косвенном употреблении или имеют косвенное значение. В соответствии с этим мы отличаем обычное значение некоторого слова от его косвенного значения и его обычный смысл от его косвенного смысла. Косвенным значением некоторого слова является, таким образом, его обычный смысл. Эти исключения надо всегда иметь в виду, если мы хотим правильно понять способ связи знака, смысла и значения в каждом отдельном случае»[52] .

Поэтому Фреге ищет способы устранения возникающих в этой связи парадоксов на пути объяснения смысла и значения слов и предложений в косвенной речи. В результате он приходит к выводу, что значением имени при употреблении его в косвенной речи становится смысл того же имени при его употреблении в прямой речи. В этой связи Фреге указывал на те ограничения, с которыми принцип взаимозаменимости сталкивается в косвенной речи:

«Исключения могут обнаружиться только тогда, когда исходное целое предложение или его заменяемая часть являются прямой или косвенной речью; ибо в прямой или косвенной речи слова... не имеют обычного значения; значением предложения в прямой речи также является некоторое предложение, а в косвенной речи - некоторая мысль»[53] .

Контексты, в которых нарушается принцип «коэкстенсиональности» (или, как выразился сам Фреге, в которых значением имени становится смысл того же имени при его употреблении в прямой речи) принято называть преференциально «непрозрачными», поскольку в них остается неясной связь между именем и его значением. (Сам этот термин был введен Расселом и Уайтхедом в сочинении « Principia Mathematica ». У Фреге не было специального обозначения для подобного рода контекстов; он лишь ограничивался указаниями на то, что в подобных контекстах имена употребляются в «косвенной речи» или «косвенным образом»). Притом именно потому, что Фреге принимает трехкомпонентную семантику, включающую в свой состав имя, значение и смысл, ему удается отстоять универсальность принципа «коэкстенсиональности». Ясно, что переход от трехуровневой семантики Фреге к двухуровневой семантике репрезентации в семантических системах Рассела и Куайна должен был также привести и к пересмотру способа обоснования универсальности принципа «коэкстенсиональности».

Логика имеет дело главным образом с повествовательными предложениями, то есть с предложениями, которые используются для выражения каких-то мыслей и могут оцениваться как истинные или ложные. Поэтому для того, чтобы отличить эти предложения ото всех остальных, Фреге называет смыслы, которые выражают предложения этого типа, мыслями (нем. Gedanke ), а англоязычные философы аналитической ориентации начиная с Рассела - пропозициями (англ. prpsitin ). (В отечественной логической литературе для этой цели используется термин суждение, который, как было показано раньше, играет принципиально иную роль в логико-семантической системе Фреге). Пропозиция или мысль - это смысл повествовательного («утвердительного») предложения, взятый без его грамматической оболочки.

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

(1) Постижением (Fassen) мысли - мышлением (Denken).

(2) Признанием (Anerkennung) истинности мысли - суждением (Urteilen).

(3) Сообщением (Kundgebung) этого суждения - утверждением (Behaupten).

Постижение мысли происходит во внутреннем мире говорящего и представляет собой особенное ментальное состояние. Суждение может осуществляться как во внутреннем мире говорящего, так и публично в его речевых высказываниях. В этом случае оно реализуется на лингвистическом уровне - в виде сообщения - и тем самым становится утверждением. Следовательно, в суждении намечается переход от внутреннего мира ментальных репрезентаций субъекта к их лингвистическому выражению в рамках определенного языкового сообщества.

Наконец, утвердительное предложение, наряду с мыслью и утверждением, часто содержит еще и третий компонент, на который утверждение не распространяется. Этот третий компонент можно назвать экспрессивной окраской (нем. F arbung) утвердительного предложения. «Его предназначение, - говорит Фреге, - обычно заключается в воздействии на эмоции и воображение слушающего: таковы выражения «к сожалению», «слава богу» и т.п. Такие компоненты предложения отчетливее проявляются в поэзии, однако и в прозе их полное отсутствие является редкостью»[54] .

Для того чтобы выяснить теорию смысла Фреге в том, что касается повествовательных предложений, необходимо разрешить одно далеко идущее сомнение: правомерно ли в принципе утверждение, что мысль, высказанная двумя разными людьми, может быть одной и той же мыслью?[55] Для того, чтобы дать ответ на этот вопрос, Фреге прибегает к изучению того, чем мысли отличаются от ментальных представлений и объектов внешнего мира. Первый шаг на пути этого исследования состоит в том, чтобы выяснить: Принадлежат ли мысли внутреннему (мы бы сказали - «ментальному») миру субъекта? Являются ли они представлениями?[56]

Чем отличаются представления от вещей внешнего мира?

Фреге приводит пять характерных признаков, позволяющих отграничить ментальные феномены («представления») от вещей внешнего мира.

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

Представлениями обладают; их имеют или ими располагают. Мы обладаем ощущениями, эмоциями, настроениями, склонностями, желаниями. Представление, которым обладает некоторый человек, составляет содержание его сознания.

Коль скоро представлением обладают, и оно является содержанием чьего-то сознания, представление требует существования носителя. Вещи же внешнего мира являются в этом отношении автономными.

Всякое представление имеет только одного носителя. Никакие два человека не обладают в точности одним и тем же представлением.

Представление обладает картезианским качеством непогрешимости, или абсолютной достоверности. Это обусловлено тем, что представление, которое имеется у кого-то в настоящий момент времени, непосредственно дано своему обладателю. Это, в частности, означает, что я не могу сомневаться в том, что я обладаю представлением, но могу - в то же самое время, - испытывать сомнения по поводу существования той вещи внешнего мира, представлением которой я обладаю. По этому поводу Фреге пишет следующее: «У меня не может быть сомнений в том, что я обладаю зрительным впечатлением зеленого; однако у меня гораздо меньше оснований быть уверенным в том, что я вижу, например, именно лист липы. Таким образом, вопреки широко распространенному убеждению, мы обнаруживаем во внутреннем мире надежность, в то время как с переходом во внешний мир сомнение никогда не покидает нас полностью»[57] .

Вывод, к которому приходит Фреге, заключается в том, что мысль не относится ни к представлениям из моего внутреннего мира, ни к внешнему миру, миру чувственно воспринимаемых вещей. Поэтому он намекает на то, что мысли, взятые в качестве объективных смыслов, образуют некий третий, автономный мир наряду с миром внешних вещей и внутренним миром ментальных репрезентаций субъекта.

«Следует, таким образом, признать третью область. Элементы, входящие в эту область, совпадают с представлениями в том отношении, что не могут быть восприняты чувствами, а с вещами внешнего мира - в том, что не предполагают наличия носителя, сознанию которого принадлежат. Так, например, мысль, которую мы выражаем в теореме Пифагора, является истинной безотносительно ко времени, истиной независимо от того, существует ли некто, считающий ее истинной. Она не предполагает никакого носителя. Она является истинной отнюдь не только с момента ее открытия, подобно тому как планета, даже и не будучи еще обнаруженной людьми, находится во взаимодействии с другими планетами»[58] .

Теперь, исходя из теории мыслей как объективных сущностей,необходимо установить, чем они отличаются от представлений и вещей внешнего мира?

Мысли сходны с представлениями и отличны от объектов внешнего мира в том, что не могут воспрниматься чувствами: зрением, осязанием, обонянием, вкусом, слухом.

Мысли сходны с объектами внешнего мира и отличны от представлений в том, что они не предполагают наличия носителя, сознанию которого принадлежат.

Мы видим вещь, мы обладаем представлениями, мы постигаем или мыслим некоторую мысль. Постигая или мысля мысль, мы не создаем ее, а лишь вступаем с тем, что уже существовало ранее, в определенные отношения, которые отличаются и от зрительного восприятия вещи, и от обладания представлением[59] .

Мысли отличны от представлений в том, что мысль о некотором факте, выраженная в предложении, единственна, тогда как количество представлений об этом факте может быть сколь угодно большим.

Подведем теперь некоторые итоги, связанные с семантическими взглядами Фреге. Говоря обобщенно, к числу особенностей логической семантики Фреге можно отнести:

Трехкомпонентную семантическую модель, основанную на выделении знака, значения и смысла в качестве ключевых элементов отношения именования.

Включение сложных сингулярных терминов («определенных описаний») в класс имен собственных.

Истолкование смыслов имен собственных и повествовательных предложений как объективных сущностей.

Фреге считает предикаты частным случаем функциональных выражений, а предложения - частными случаями сложных единичных терминов. Уподобление повествовательных предложений именам собственным позволило Фреге считать их знаками истинности и ложности.

Принцип композициональности относительно повествовательных предложений, согласно которому значение и смысл предложения определяется значением и смыслом входящих в него выражений. Условие оценки предложения как истинного или ложного заключается в том, что все его обозначающие части (в отличии от указывающих знаков) должны иметь значение. Если хотя бы один из входящих в предложение обозначающих знаков не имеет значения, то и все предложение в целом не имеет значения.

Фреге не выделяет предложения, выражающие чувства и эмоции говорящего («экспрессивы») в отдельный класс, но отмечает, что все три вида упоминаемых им предложений - утвердительные, побудительные и вопросительные - могут употребляться с «экспрессивной окраской».

[10] Как пишет один из исследователей, «фундаментальная программа, фундаментальный принцип и фундаментальная аналогия доминируют в философии языка Фреге. Фундаментальная программа должна представить язык как вид исчисления. Фундаментальный принцип состоит в том, что знать значение предложения - значит знать условия его истинности. Фундаментальная аналогия устанавливается между понятиями и математическими функциями» (Hacker P.M.S. Semantic Hlism: Frege and Wittgenstein // Wittgenstein: surces and perspectives. - New Yrk, 1979. -- P.214).

[11] Фреге Г. Избранные работы . М ., ДИК , 1997. С .26.

[12] Geach P. Mental acts: their cntent and their bjects. Р.136.

[13] Там же, с . 30.

[14] Там же, с . 25.

[15] Там же, с .25-26.

[16] Там же, с .26.

[17] Там же.

[18] A. Whitehead and B. Russel. Principia Mathematica. Vl. I. Cambridge, 1925. 2. ed ., p . 30: « Под дескрипцией, - писал Рассел, - мы подразумеваем оборот формы «такой-то и такой-то» (the s-and-s) или какой-либо иной эквивалентной формы».

[19] Фреге Г. Избранные работы. С.32.

[20] Kripke S. Wittgenstein n Rules and Private Language. x., 1982. Р.197.

[21] Geach Peter. Mental acts: their cntent and their bjects. Lndn: Rutledge & Kegan Paul 1957. Р .137.

[22] Фреге Г. Избранные работы. С.151

[23] Geach P. Mental acts: their cntent and their bjects. Р.139.

[24] Френкель А., И.Бар-Хиллел. Основания теории множеств.М. 1966. С.227.

[25] Geach P. Mental acts: their cntent and their bjects. Рр.136-137.

[26] Фреге Г. Избранные работы. С.30.

[27] Там же, с.28-29.

[28] Там же, с.29-30.

[29] Там же, с.27.

[30] Там же.

[31] Там же, с.40.

[32] Рус. изд. -- Фреге Г. Основоположения арифметики. Пер. В.А.Суровцева. Томск, "Водолей", 2000.

[33] Тондл Л. Проблемы семантики. М., «Прогресс», 1975. С.153.

[34] Фреге Г. Избранные работы. С.27.

[35] Фреге Г. Избранные работы. С.26.

[36] Имея в виду это обстоятельство, один из последователей Фреге следующим образом определяет смысл: "Смысл - это то, что бывает усвоено, когда понято имя, так, что возможно понимать смысл имени, ничего не зная о его денотате (референте), кроме того, что он определяется этим смыслом" (Черч А. Введение в математическую логику.- М.: ИЛ, 1969.- С.20).

[37] Там же, с. 31, сноска 1.

[38] Тондл Л. Проблемы семантики. С.37.

[39] Фреге Г. Избранные работы. С.31

[40] Там же.

[41] Там же, с.32.

[42] Там же, с.32-33.

[43] Там же, с.22.

[44] Там же, с.55.

[45] Там же, с. 33, сноска 1.

[46] Фреге Г. Логические исследования. С.35.

[47] Frege G. Grundgesetze. S.9.

[48] Устное сообщение ученика Ингардена проф. Ежи Пержановского.

[49] R . Ingarden . Z bada n nad filzfia wsp lczesna . Warszawa , 1963. S .196-197.

[50] Ibid. S.10.

[51] Там же, с.35.

[52] Там же, с.38.

[53] Там же, с.35.

[54] Там же, с.56.

[55] Там же, с.61.

[56] Там же.

[57] Там же, с.70.

[58] Там же, с.64-65.

[59] Там же, с. 65.

Список литературы

Для подготовки данной работы были использованы материалы с сайта http://www.i-u.ru/

Размещено на Allbest.ru