Предыдущая страница реферата | 1  2  3  4 | Следующая страница реферата

T истинно.

T имплицирует предложения формы ( $ х ) F х .

Следовательно, существует F .

Однако здесь возникают новые возражения. В частности, во второй посылке обнаруживается допущение, что кванторы в предложениях T должны интерпретироваться объектно. Поэтому для валидности аргумента мы нуждаемся в дополнительной посылке, согласно которой логическая форма предложений должна быть дана в терминах объектной квантификации[6] . Но по крайней мере не очевидно, что такая посылка истинна.

Возражение этой посылке основано на истинности предложений вида

(1) Пегас – крылатый кон ь.

Это истинное предложение имплицирует

(2) ( $ х ) ( x – крылатый кон ь)

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

(3) ( $ х ) N ( x = 9)

(где N – знак необходимости), потому что

(4) N (9 = 9)

несмотря на то, что

(5) 9 = число планет & ~ N (число планет = 9)

Но объектная интерпретация (3) (и прочтение термина "число планет" как единичного) делает конъюнкцию (4) и (5) противоречивой. Подстановочная интерпретация позволяет каждому предложению (3) - (5) быть истинным[7] .

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

Подстановочная интерпретация предполагает другой взгляд на функцию формальной системы в построении значимых высказываний: эта теория вообще ничего не говорит о существовании объектов. Значениями переменных являются не объекты, а термины. Предложение вида ( $ х ) F ( x ) истинно ттт, когда найдется хотя бы один термин, подстановка которого на место переменной в открытое предложение F ( x ) дает истинное предложение. Подстановочный квантор ( $ х ) не имеет экзистенциального прочтения, а определение условий истинности кванторных выражений осуществляется без непосредственного привлечения теории референции и не вызывает характерных затруднений с модальными, косвенными и другими референциально непрозрачными контекстами. В этом типе метатеории ничего не говорится об онтологии формализуемой теории. Каждый объект представляется термином; иначе говоря, предполагается, что с точки зрения метатеории (формализованной теории) нет никакой разницы между объектом и термином. Это означает, что подстановочный тип теории применим там, где каждый объект имеет имя, и является такой ревизией референциального типа теории, при которой элиминируются все вопросы указания на объект. Так, в подстановочной теории универсальная квантификация истинна, когда она истинна при подстановке всех терминов, а не для всех значений переменной, как в референциальной теории. Соответственно, все объекты теории референциального типа могут быть представлены знаками теории подстановочного типа.

Контраргумент здесь состоит в следующем: позиция, с которой наше предложение (1) истинно, плохо согласуется с нашим полаганием, что предложение

(6) Нынешний король Франции лыс.

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

(7) У Мэри был крылатый конь.

отвергаются на том основании, что никаких крылатых коней не бывает, поэтому Мэри вряд ли могла бы иметь такое животное, при всем ее на том — пусть понятном — желании. Это предполагает объектное прочтение квантора "не бывает". Наконец, если (1) должно быть истинным, то его условия истинности должны сильно отличаться от условий истинности таких поверхностно подобных предложений, как (7). Это различие должно объяснить, как получается, что, хотя предложение (2) может кем-то полагаться истинным, есть и другой смысл, в котором оно наверняка является ложным, так как в (некоторой) действительности никаких крылатых коней не бывает. Если проведено это различие в условиях истинности, то (1) и (2) должны рассматриваться как неоднозначные и должны быть заменены парами предложений, логические формы которых более ясно указывают их содержание. С точки зрения сторонников объектной квантификации, (1) и (2) должны получить объектную интерпретацию и, следовательно, считаться ложными. Смысл, в котором они могут полагаться истинными, получит парафраз в терминах полаганий некоторых (определенных) людей, или импликаций в некотором корпусе литературных текстов, или истины в некоторых возможных мирах.

Таким образом, обращение к нашим полаганиям относительно (1) и (2) само по себе не требует обращения к подстановочной квантификации. И поскольку возможны референциальные интерпретации (3) - (5), делающие каждое из этих предложений истинным[8] , то не обязательно интерпретировать (3) подстановочно. Однако отсюда еще не следует, что логическая форма предложений непременно должна быть дана в терминах объектной квантификации.

Если мы назначаем логическую форму первого порядка всем предложениям в множестве S и принимаем первопорядковое исчисление как адекватное для выражения логической импликации, то мы можем точно сказать, какие именно члены S связаны отношениями импликации. Такое обязательство может быть поддержано или оспорено обращением к нашим полаганиям о логических импликациях S . Таким образом, аргумент

Рост Бориса – 1 метр 70 см, и рост Владимира – 1 метр 70 см.

Рекомендуем скачать другие рефераты по теме: ответ ру, курсовая работа по менеджменту.





Предыдущая страница реферата | 1  2  3  4 | Следующая страница реферата