Диссертация (1137569), страница 25
Текст из файла (страница 25)
Вместо этого, согласно Залте предметы могуткодировать F («xF») и экземплифицировать F(«Fx») свойства.«В нашей теории мы расширяем классическую первопорядковуюлогику, добавив новый тип предикации «x кодирует F», или «xF».Этот тип предикации служит для того, чтобы предицировать свойства,припомощикоторыйидентифицируютсяивыделяютсявымышленные и другие абстрактные предметы.
К примеру, мы можемвоспользоваться свойством «быть детективом» для того, чтобыидентифицировать Шерлока Холмса и выделить его из другихвымышленных персонажей. Однако Холмс на самом деле не можетэкземплифицироватьэтосвойство…Онможетлишьэкземплифицировать такие свойства как «быть помысленным КонанДойлем», «быть вымышленным», «не быть детективом»…Когданамснитсямонстр,нетпредмета,которыйбылэкземплифицировал свойство «быть монстром (поскольку монстры несуществуют). Тем не менее, мы можем теперь точно передать то, чтопережили, сказав, что нам снился предмет определѐнного рода, и чтоэтот предмет был в некотором смысле монстром, а иначе с чего бы мыпроснулись с криком посреди ночи? Мы можем тогда объяснить наше149переживание страха, если у нас есть некий тип предикации,некоторый способ обладания свойством, и некоторое значение слова«является», при помощи чего предмет нашего сна «является»монстром.
Кодирование и есть этот тип предикации. Используемые ванглийском языке выражения формы «xisF» в этом пониманииявляются двусмысленными. Они могут быть формально представленыто как «Fx»(x экземплифицирует F), то как «xF»(x кодирует F)» [150].Залта в плане концепции действует вполне в майнонгианскомключе, пытаясь доказать заявление Майнонга о том, что круглыйквадрат является подлинным предметом, и при этом не попасть вловушку противоречия. С его точки зрения, все предметы имеютправо на существование. Сюда попадают и монады Лейбница, смыслыФрегеидеиПлатона,несуществующиепредметыМайнонга,положения дел Витгенштейна, научные, художественные предметы ит.д.Всеэтисовокупностипредметысвойств,являютсякоторыеабстрактными.удовлетворяютЭтонекиеопределеннымусловиям.В этом плане Залта является настоящим метафизиком,которыйутверждает,чтоабстрактныепредметыдолжнырассматриваться философами наравне с существующими, посколькуони играют столь же важную роль в нашей жизни, а также в науке,искусстве и т.д.
Это кстати отличает его от Парсонса, который привсѐм своѐм майнонгианстве, считал, что не каждое осмысленное имяимеет референт.Вот что сам он пишет по поводу связи своей теории сметафизикой:«Теория абстрактных предметов – метафизическая теория. Еслифизика занимается систематическим описанием фундаментальных икомплексных конкретных предметов, метафизика – описаниемфундаментальныхикомплексныхабстрактныхпредметов.150Абстрактные предметы – предметы, предполагаемые нашей научнойконцептуальнойструктурой.Например,когдамызанимаемсяестественной наукой, мы предполагаем, что мы можем использоватьнатуральные числа для исчисления конкретных предметов, и что мыможем использовать действительные числа для измерения ихразличными способами...
В итоге, метафизика изучает числа, законы,свойства, возможности и т.д… Теория абстрактных предметовпытается организовать эти предметы в рамках систематической иаксиоматической структуры» [150].Залтытакжевполневмайнонгианскомстилепроводитклассификацию предметов, но свою. Изначально все предметыподразделяютсянаабстрактныеиординарные.Ординарныепредметы, согласно Залте, обладают физическим существованием, ноне обязательно в реальном мире, а, по крайней мере, в возможныхмирах. Абстрактные же предметы не могут обладать такимсуществованием ни в одном возможном мире.Среди ординарных могут быть выделены конкретные предметы,т.е. реально существующими (соответственно, абстрактные предметынемогутбытьконкретными).Предикат«бытьконкретным»обозначается следующим образом –«Е!».
Этот предикатявляется фактическим способ выделения существующих из всегомногообразия предметов. Поэтому в данном случае Залта (уже в стилеМалли) проводит более чѐткое различие между существованием инесуществованием. На мой взгляд, трактовка предиката «Е!» вкачестве обозначения действительного существования конкретныхпредметов–следующийшагвуточнениимайнонгианскогоразделения двух типов экзистенциальных свойств.Вообщестоитсказатьнесколькословосимволическойзаписи.Равно как и Парсонс, Залта вписывает своѐ различение в151классическую модальную логику, включающую в себя такжеопределенные дескрипции, предстающие здесь в виде жесткихдесигнаторов.
Как и у Парсонса в теории Залты предикаты не имеютэкзистенциальной нагрузки.По мнению Залты, отдельные принципы классической логики неприменимы по отношению к несуществующимпредметам. Так, законисключенного третьего может быть применим только в отношенииконкретных, и не применим к предметам, кодирующим определѐнныесвойства. Это помогает в частности избегать тех трудностей, которыевстречаются в теории Парсонса. Тогда, например, абстрактныйпредмет может не кодировать ни одно из противоречащих друг другусвойств.Так, золотая гора не кодирует ни свойство иметьрастительность, ни свойство не иметь еѐ.Символом«!»обозначаетсяпредикатсуществования.Следовательно, далее, собственно ординарные предметы будутобозначаться так:O! =df [λx ◊E!x] (где λ – быть таким, что), а абстрактные так:A! =df [λx ¬◊E!x].Абстрактные предметы, которые кодируют некоторые свойства,сами не могут принадлежать к тем классам предметов, которыепредполагается кодируемым свойством (например, круглый квадратне принадлежит к классу квадратов).По мнению самого Залты его теория, следуя за идеями Малли,основывается на следующих двух принципах:- для любой группы свойств существует абстрактный предмет,который кодирует только эти свойства в этой группе;- абстрактные предметыx и y тождественны тогда и только тогдакогда они кодируют одни и те же свойства152В отличие от Парсонса, у Залты свойства существующих инесуществующихразличаются.Этопредметов,простотакимразныеобразом,предметы.принципиальноНесуществующиепредметы не обладают реальными свойствами, они могут их толькокодировать.В отличие от Парсонса, предметы Залтыне ограничены в своихсвойствах.
Они могут кодировать любые свойства, и это не будетиметь никаких экзистенциальных последствий.Из всех вышеперечисленных доводов, следует признать, чтотеория Залты является улучшенной версией теории Парсонса, аразличение Малли на кодированные и экземплифицированныесвойствалучшеегожеразличениянануклеарныеиэкстрануклеарные. В теории Парсонса любые предметы могутобладать нуклеарными свойствами, которые они, выходит, в терминахЗалты,должныэкземплифицировать.Покрайнеймере,безразличения на экземплифицированные и кодированные свойстватеория Парсонса выглядит уязвимой, а его нуклеарные свойства (как янаписал в соответствующем параграфе) логически инертными.
Сточки зрения Парсонса выходит, что существующие предметы тожемогут обладать этими нуклеарными свойствами, а обладать в какой-тостепени существованием, т.к. эти предметы должны эти свойстваэкземплифицировать. Различение Залты позволяет ему избежать этойтрудности, так как его абстрактные предметы просто кодируют любыесвойства, и это не имеет никаких экзистенциальных последствий.Напомним, что Рассел писал о том, чтопоскольку круглыйквадрат является квадратным и круглым, а предметне можетодновременно являться и круглым, и квадратным, поскольку из этогоследует противоречие. Как замечает Такаши Ягисава [149] Парсонсуудалось избежать этого противоречия, отвергнув возможность153выведения из «x – квадрат» выражения «неверно, что x – квадрат».Залта же отказывается признать свойства «быть и круглым иквадратным» в качестве экземплифицирующих.
Здесь, наоборот,имеет место кодирование: круглый квадрат кодирует круглость иквадратность.Кодированиеквадратностиненесовместимоскодированием круглости даже при том, что экземплифицированнаяквадратность несовместима с экземплифицированной круглостью.Этидватипапредикацииподчиняютсяразнойлогике.Ягисава выделяет два принципа теории Залты:- предметы, которые могут иногда иметь расположение впространстве не могут кодировать свойства;- при любом условии касательно свойств предмета, некоторыйпредмет, который в принципе не может иметь расположения впространстве, кодирует точно те свойства, которые удовлетворяетусловию.Приэтоместьпредметы,которыеиногдаможнопроинтерпретировать как протяженные, так и непротяжѐнные.Например,золотаягора.Соднойстороны,этонепротяжѐнныйпредмет, который кодирует золотизну и гористость.Но с другой стороны он может стать протяжѐнным.
Так если мыговорим, что золотая гора лишь во втором смысле является золотой,это означает, что если золотая гора является протяжѐнной, она тогдаявляется золотой. Тогда не выполняется первой принцип теории, чтоприводит к определѐнным проблемам.Возможным (непротяжѐнным) с точки зрения Залты являетсятакой предмет, что некоторый предмет может экземплифицировать вточности такие же свойства, которые он кодирует. В этом смысле,некоторый предмет, который кодирует золотизну и гористость, среди154прочих свойств, является возможным предметом.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
