SlideShare a Scribd company logo
1 of 21
Онтологический аргумент в
свете двумерной семантики
Горбатов В.В.
Конференция «Трансцендентное в современной философии:
направления и методы» (ВШЭ, 6 июня 2013)
Argumentum Anselmi
• То, больше чего нельзя себе предста-
вить, не может быть только в уме
• Ибо если оно уже есть по крайней мере
только в уме, можно представить
себе, что оно есть и в
действительности, что больше
• Значит, если то, больше чего нельзя
себе ничего представить, существует
только в уме, тогда то, больше чего
нельзя себе представить, есть
то, больше чего можно представить
себе
• Но этого, конечно, не может быть
• Итак, без сомнения, нечто, больше чего
нельзя себе представить, существует и в
уме, и в действительности
Суть ансельмова аргумента
• Сама постановка задачи в Прослогионе
II отличается от того, как она изложена у
Канта
• Речь в нем идет не о выведении
объективного существования вещи из её
понятия, а об обосновании возможности
перехода от интенционального объекта
к реальному, от существования в уме
(необязательно в форме понятия) к
существованию в действительности
– Понятием о Боге, по Ансельму, строго
говоря, обладать вообще невозможно:
«Господи, Ты не только то, больше чего
нельзя представить, но сам ты есть нечто
большее, чем можно представить»
«Внутреннее речение»
• Субъект, минуя стадию образования понятия, самой
попыткой понимания (при условии, что эта попытка
серьезна и искренна) порождает в своем сознании
особый интенциональный объект – «то, больше чего
нельзя представить» (IQMCN), – после чего с помощью
некоторых логических процедур «переоткрывает» этот
же объект для себя как реальный
• Как же возможно такое вне-понятийное полагание, в
котором мысль отказывается от своих притязаний на
схватывание сущности мыслимого, но в то же время
отчетливо распознает ускользающее от нее как особый
объект и крепко удерживает референцию к нему?
• Благодаря внутреннему речению (locutio mentis)
Дейксис «внутреннего речения»
• Ансельм озабочен не тем, как достичь абстрактной
очевидности «от третьего лица», а тем, как отвести
«безумца» в некое «умное место», откуда ему станет
видно то, что видно самому Ансельму
• Как замечает С.С. Аверинцев, здесь речь идет не о
доказывании (ὰπόδειξις), но о показывании (δεῖξις)
бытия Бога
• Е.Г. Драгалина-Черная:
– Референция к столь необычному объекту представляет собой
особый рефлексивный акт, в котором «познающий интеллект
осознает себя познающим», будучи обращен сразу к двум
уровням: предметному уровню «вещи, о которой идет речь»
и метауровню «мысли об этой вещи»
– Осуществляя рефлексивную референцию к «тому, больше
чего нельзя представить», рациональный субъект не может
мыслить объект своей референции несуществующим
«Содержание» и «характер»
• Д. Каплан, анализируя референцию дейктических
выражений, предложил различать
содержание, зависящее от контекста, и характер, не
зависящий от него
• Путь, предлагаемый Ансельмом, лежит не от понимания
содержания лингвистической конструкции «IQMCN»
через прослеживание этого IQMCN сквозь все возможные
миры к констатации его необходимого существования
– «каким бы ни был мир, IQMCN в нем существует»
• На самом деле, этот путь начинается с понимания
характера рассматриваемого выражения, а далее ведет
нас через схватывание заложенной в нем регулярности к
утверждению о немыслимости несуществования IQMCN
– «каким бы ни был мой контекст употребления “IQMCN
”, наличие денотата этого выражения обеспечивается его
характером»
Понимание, утверждение и
референция
• Можно понимать выражение, но не знать его референции в
реальном мире – так, например, мы понимаем предложение
«Я здесь сейчас»
• Даже не зная, про кого именно, когда и где это говорится, мы
схватываем общую структуру этой мысли и отчетливо
осознаем, что референция всех трех слов связана жестким
образом: выбор любых двух влечет выбор третьего
• Реальное (не притворное) осуществление акта утверждения
влечет фиксацию всех трех компонентов; но еще до этого, до
фиксации каждого компонента в отдельности мы знаем, как
фиксировано их отношение между собой
• Для того, кто произносит, понимание и референция в реальном
мире неразделимы; для того, кто просто представляет, одно с
другим не связано автоматически
• Поэтому предложение «Я здесь сейчас» мы априори признаем
истинным – не зная денотатов, мы знаем способ их связи
Референция в реальном мире
• Рефлексивная референция – это референция
одновременно и к предмету речи, и к обстоятельствам
речи (к «реальному миру»)
• В результате получается двойная референция – не
просто к предмету и не просто к миру, а к «предмету в
мире, рассмотренном как актуальный»
• Формальный способ осуществления такой референции
– использование оператора актуальности; сравните:
– «Человек, который изобрел бифокальные очки»
– «Человек, который на самом деле изобрел бифокальные
очки»
• Но что если само понятие реального мира является
«плавающим»?
• Тогда могут появляться «смешанные истины»
Оператор актуальности
«Всё красное могло бы быть блестящим»
• Существует такой мир w, что всё, являющееся красным в
мире w, является также блестящим в мире w
x(P(х) Q(х))
• Для всего, что является красным, существует такой мир
w, что оно в нем является также и блестящим
x(P(х) Q(х))
• Существует такой мир w, что всё, являющееся красным в
действительном мире, является блестящим в мире w
x(АP(х) Q(х))
«Смешанные истины»
• Несмотря на «плавающий» характер
референции «IQMCN», из-за которого
существование соответствующего
объекта не может быть
детерминировано
метафизически, оно все-таки
детерминировано эпистемически –
гарантировано устройством моего
языка, (моего мира) за пределы
которого я не могу выйти, не
приостановив свои когнитивные и
речевые акты
• «IQMCN существует» – это, по
замыслу Ансельма, должно быть
контингентное априори
Фабрикация «смешанных истин» в
логике актуальности
• Пусть р – контингентное a posteriori, тогда
• Ap – необходимое a posteriori
• p ↔ Ap – контингентное a priori
Трава зеленая (p)
Трава на самом деле зеленая (Ap)
Трава зеленая, е.т.е. она на самом деле
зеленая (p ↔ Ap)
Двумерная семантика
• Р. Столнейкер: «истинностное
значение предложения должно
зависеть от фактов двумя
различными способами: во-
первых, факты определяют, что
именно сказано; во-вторых, они
определяют, является ли сказанное
истинным»
• «Содержание» = горизонтальный
интенсионал
• «Характер» = диагональный
интенсионал
2D-матрица для р
Миры оценки w1 w2 w3
Миры референции
w1 1 0 1
w2 0 0 1
w3 1 1 0
2D-матрица для Ар
Миры оценки w1 w2 w3
Миры референции
w1 1 1 1
w2 0 0 0
w3 0 0 0
2D-матрица для p ↔ Ap
Миры оценки w1 w2 w3
Миры референции
w1 1 0 1
w2 1 1 0
w3 0 0 1
р
1 0 1
0 0 1
1 1 0
1 1 1
0 0 0
0 0 0
1 0 1
1 1 0
0 0 1
Ар
p ↔ Ap
Теоремы Тарпа
(а) Каждая истина a priori эквивалентна
некоторой необходимой истине;
(b) Каждая истина необходимо
эквивалентна некоторой априорной
истине;
Интерпретация Л. Хамберстоуна:
(a) p FA(p ↔ Ap)
(b) p (p ↔ (p ↔ Ap))
Что значит «больше»?
• Строгий априорный аналог апостериорной
пропозиции больше, чем сама эта пропозиция
• Рассмотрим оператор С, который произвольному
апостериорному предложению сопоставляет его
строгий априорный аналог
• Если p истинно (в актуальном мире), достаточно со-
поставить ему априорную истину p Аp, а если р
ложно (в актуальном мире) – априорную ложь p
Аp
p Ap, если Ap
Сp =
p Ap, если Ap
Схема доказательства
• Построим предложение g, которое утверждает, что
больше него ничего помыслить нельзя (т.е. что оно
априори эквивалентно своему строгому априорному
аналогу: g ↔ (g ↔ Cg)
1. Допустим, g ложно. Тогда Cg = (g ↔ Ag)
2. С другой стороны, (g ↔ Cg)
3. Это дает (g ↔ (g ↔ Ag))
4. Что равносильно g ↔ (g ↔ Ag)
5. Но поскольку g ↔ Ag априори истинно
6. Получается, что g истинно (противоречие)
7. Следовательно, допущение было неверным, и g
заведомо истинно
Проблема общезначимости
• Доказанный тезис является общезначимым
лишь в обобщенном смысле; если такую
трактовку общезначимости не
признавать, рассуждение теряет силу
– Обобщенная общезначимость (general validity) –
истинность во всех парах миров (любой мир может
быть рассмотрен как актуальный)
– Общезначимость в реальном мире (real-world
validity) – истинность во всех мирах (актуальный
мир предполагается фиксированным)
Выводы
• «IQMCN» не понятие, а дейктическое «внутреннее
речение», основанное на способности к
рефлексивной референции
• Рефлексивная референция – это референция в
мире, рассмотренном как актуальный
• Перформативное доказательство Ансельма
нацелено на обоснование контингентного априори
«IQMCN существует» при помощи формальных
свойств оператора «на самом деле»
• Логическая ценность такого доказательства
основана на понятии не классической (real-world), а
обобщенной (general) общезначимости

More Related Content

What's hot

Фреге и брадобрей
Фреге и брадобрейФреге и брадобрей
Фреге и брадобрейVictor Gorbatov
 
уловка 6.54
уловка 6.54 уловка 6.54
уловка 6.54 form_phil
 
Нить именования. Онтологический верстак 30 марта 2014 года
Нить именования. Онтологический верстак 30 марта 2014 годаНить именования. Онтологический верстак 30 марта 2014 года
Нить именования. Онтологический верстак 30 марта 2014 годаlukoshka
 
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)Institute of Philosophy of NAS of Belarus
 
В поисках определения термина информация
В поисках определения термина информацияВ поисках определения термина информация
В поисках определения термина информацияAlexandre Prozoroff
 
аналитика выступление
аналитика выступлениеаналитика выступление
аналитика выступлениеFelix Morozovsky
 
Инструменты социального исследования, часть 3
Инструменты социального исследования, часть 3Инструменты социального исследования, часть 3
Инструменты социального исследования, часть 3lukoshka
 
08 именование и необходимость
08 именование и необходимость08 именование и необходимость
08 именование и необходимостьJulia Gorbatova
 
Научный подход и немного о том что вне него
Научный подход и немного о том что вне негоНаучный подход и немного о том что вне него
Научный подход и немного о том что вне негоAlexander Solodov
 
10 основных философских понятий
10 основных философских понятий10 основных философских понятий
10 основных философских понятийPeter Korolev
 
Периодическая система мифологий
Периодическая система мифологийПериодическая система мифологий
Периодическая система мифологийlukoshka
 
Христианские основания современной науки
Христианские основания современной наукиХристианские основания современной науки
Христианские основания современной наукиAndrey Popovkin
 
иллюзия субъективного опыта или отсутствующее сознание
иллюзия субъективного опыта или отсутствующее сознаниеиллюзия субъективного опыта или отсутствующее сознание
иллюзия субъективного опыта или отсутствующее сознаниеПавел Барышников
 
2 основные понятия логики
2 основные понятия логики2 основные понятия логики
2 основные понятия логикиzarechneva
 
08 построение перцептивного образа
08 построение перцептивного образа08 построение перцептивного образа
08 построение перцептивного образаИгорь Высоков
 

What's hot (17)

Фреге и брадобрей
Фреге и брадобрейФреге и брадобрей
Фреге и брадобрей
 
уловка 6.54
уловка 6.54 уловка 6.54
уловка 6.54
 
Нить именования. Онтологический верстак 30 марта 2014 года
Нить именования. Онтологический верстак 30 марта 2014 годаНить именования. Онтологический верстак 30 марта 2014 года
Нить именования. Онтологический верстак 30 марта 2014 года
 
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
 
Paradigma
ParadigmaParadigma
Paradigma
 
В поисках определения термина информация
В поисках определения термина информацияВ поисках определения термина информация
В поисках определения термина информация
 
аналитика выступление
аналитика выступлениеаналитика выступление
аналитика выступление
 
Инструменты социального исследования, часть 3
Инструменты социального исследования, часть 3Инструменты социального исследования, часть 3
Инструменты социального исследования, часть 3
 
Embodiment mind
Embodiment mindEmbodiment mind
Embodiment mind
 
08 именование и необходимость
08 именование и необходимость08 именование и необходимость
08 именование и необходимость
 
Научный подход и немного о том что вне него
Научный подход и немного о том что вне негоНаучный подход и немного о том что вне него
Научный подход и немного о том что вне него
 
10 основных философских понятий
10 основных философских понятий10 основных философских понятий
10 основных философских понятий
 
Периодическая система мифологий
Периодическая система мифологийПериодическая система мифологий
Периодическая система мифологий
 
Христианские основания современной науки
Христианские основания современной наукиХристианские основания современной науки
Христианские основания современной науки
 
иллюзия субъективного опыта или отсутствующее сознание
иллюзия субъективного опыта или отсутствующее сознаниеиллюзия субъективного опыта или отсутствующее сознание
иллюзия субъективного опыта или отсутствующее сознание
 
2 основные понятия логики
2 основные понятия логики2 основные понятия логики
2 основные понятия логики
 
08 построение перцептивного образа
08 построение перцептивного образа08 построение перцептивного образа
08 построение перцептивного образа
 

Similar to Горбатов В.В. Онтологический аргумент в свете 2D-семантики

плодотворные тавтологии2013
плодотворные тавтологии2013плодотворные тавтологии2013
плодотворные тавтологии2013form_phil
 
02 Познание как философская проблема
02 Познание  как философская проблема02 Познание  как философская проблема
02 Познание как философская проблемаVictor Gorbatov
 
Онтология
ОнтологияОнтология
Онтологияlukoshka
 
Трансцендентное знание
Трансцендентное знаниеТрансцендентное знание
Трансцендентное знаниеlukoshka
 
О трояком корне закона непротиворечия
О трояком корне закона непротиворечияО трояком корне закона непротиворечия
О трояком корне закона непротиворечияVictor Gorbatov
 
анкё(People!)та сверхчеловека
анкё(People!)та сверхчеловека анкё(People!)та сверхчеловека
анкё(People!)та сверхчеловека Godygool
 
вольтер, назидательные проповеди
вольтер, назидательные проповедивольтер, назидательные проповеди
вольтер, назидательные проповедиuslishsebya
 
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...Maria Vinokurova
 
Время и временение. Онтологический верстак 27 апреля 2014 года
Время и временение. Онтологический верстак 27 апреля 2014 годаВремя и временение. Онтологический верстак 27 апреля 2014 года
Время и временение. Онтологический верстак 27 апреля 2014 годаlukoshka
 
средневековая мифолотия неба
средневековая мифолотия небасредневековая мифолотия неба
средневековая мифолотия небаИван Павленко
 
Перспектива
ПерспективаПерспектива
Перспективаcnho
 
Бытие и познание
Бытие и познаниеБытие и познание
Бытие и познаниеVictor Gorbatov
 
Г.П.Щедровицкий 1988 философия1
Г.П.Щедровицкий 1988 философия1Г.П.Щедровицкий 1988 философия1
Г.П.Щедровицкий 1988 философия1Peter Korolev
 
Что такое значение? Грайс и теория игр
Что такое значение? Грайс и теория игрЧто такое значение? Грайс и теория игр
Что такое значение? Грайс и теория игрVitaliy Dolgorukov
 
мышление
мышлениемышление
мышлениеmeddick
 

Similar to Горбатов В.В. Онтологический аргумент в свете 2D-семантики (17)

плодотворные тавтологии2013
плодотворные тавтологии2013плодотворные тавтологии2013
плодотворные тавтологии2013
 
02 Познание как философская проблема
02 Познание  как философская проблема02 Познание  как философская проблема
02 Познание как философская проблема
 
Онтология
ОнтологияОнтология
Онтология
 
Трансцендентное знание
Трансцендентное знаниеТрансцендентное знание
Трансцендентное знание
 
О трояком корне закона непротиворечия
О трояком корне закона непротиворечияО трояком корне закона непротиворечия
О трояком корне закона непротиворечия
 
анкё(People!)та сверхчеловека
анкё(People!)та сверхчеловека анкё(People!)та сверхчеловека
анкё(People!)та сверхчеловека
 
вольтер, назидательные проповеди
вольтер, назидательные проповедивольтер, назидательные проповеди
вольтер, назидательные проповеди
 
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
 
Время и временение. Онтологический верстак 27 апреля 2014 года
Время и временение. Онтологический верстак 27 апреля 2014 годаВремя и временение. Онтологический верстак 27 апреля 2014 года
Время и временение. Онтологический верстак 27 апреля 2014 года
 
средневековая мифолотия неба
средневековая мифолотия небасредневековая мифолотия неба
средневековая мифолотия неба
 
Перспектива
ПерспективаПерспектива
Перспектива
 
Бытие и познание
Бытие и познаниеБытие и познание
Бытие и познание
 
226
226226
226
 
Г.П.Щедровицкий 1988 философия1
Г.П.Щедровицкий 1988 философия1Г.П.Щедровицкий 1988 философия1
Г.П.Щедровицкий 1988 философия1
 
Что такое значение? Грайс и теория игр
Что такое значение? Грайс и теория игрЧто такое значение? Грайс и теория игр
Что такое значение? Грайс и теория игр
 
мышление
мышлениемышление
мышление
 
из истории логики
из истории логикииз истории логики
из истории логики
 

Горбатов В.В. Онтологический аргумент в свете 2D-семантики

  • 1. Онтологический аргумент в свете двумерной семантики Горбатов В.В. Конференция «Трансцендентное в современной философии: направления и методы» (ВШЭ, 6 июня 2013)
  • 2. Argumentum Anselmi • То, больше чего нельзя себе предста- вить, не может быть только в уме • Ибо если оно уже есть по крайней мере только в уме, можно представить себе, что оно есть и в действительности, что больше • Значит, если то, больше чего нельзя себе ничего представить, существует только в уме, тогда то, больше чего нельзя себе представить, есть то, больше чего можно представить себе • Но этого, конечно, не может быть • Итак, без сомнения, нечто, больше чего нельзя себе представить, существует и в уме, и в действительности
  • 3. Суть ансельмова аргумента • Сама постановка задачи в Прослогионе II отличается от того, как она изложена у Канта • Речь в нем идет не о выведении объективного существования вещи из её понятия, а об обосновании возможности перехода от интенционального объекта к реальному, от существования в уме (необязательно в форме понятия) к существованию в действительности – Понятием о Боге, по Ансельму, строго говоря, обладать вообще невозможно: «Господи, Ты не только то, больше чего нельзя представить, но сам ты есть нечто большее, чем можно представить»
  • 4. «Внутреннее речение» • Субъект, минуя стадию образования понятия, самой попыткой понимания (при условии, что эта попытка серьезна и искренна) порождает в своем сознании особый интенциональный объект – «то, больше чего нельзя представить» (IQMCN), – после чего с помощью некоторых логических процедур «переоткрывает» этот же объект для себя как реальный • Как же возможно такое вне-понятийное полагание, в котором мысль отказывается от своих притязаний на схватывание сущности мыслимого, но в то же время отчетливо распознает ускользающее от нее как особый объект и крепко удерживает референцию к нему? • Благодаря внутреннему речению (locutio mentis)
  • 5. Дейксис «внутреннего речения» • Ансельм озабочен не тем, как достичь абстрактной очевидности «от третьего лица», а тем, как отвести «безумца» в некое «умное место», откуда ему станет видно то, что видно самому Ансельму • Как замечает С.С. Аверинцев, здесь речь идет не о доказывании (ὰπόδειξις), но о показывании (δεῖξις) бытия Бога • Е.Г. Драгалина-Черная: – Референция к столь необычному объекту представляет собой особый рефлексивный акт, в котором «познающий интеллект осознает себя познающим», будучи обращен сразу к двум уровням: предметному уровню «вещи, о которой идет речь» и метауровню «мысли об этой вещи» – Осуществляя рефлексивную референцию к «тому, больше чего нельзя представить», рациональный субъект не может мыслить объект своей референции несуществующим
  • 6. «Содержание» и «характер» • Д. Каплан, анализируя референцию дейктических выражений, предложил различать содержание, зависящее от контекста, и характер, не зависящий от него • Путь, предлагаемый Ансельмом, лежит не от понимания содержания лингвистической конструкции «IQMCN» через прослеживание этого IQMCN сквозь все возможные миры к констатации его необходимого существования – «каким бы ни был мир, IQMCN в нем существует» • На самом деле, этот путь начинается с понимания характера рассматриваемого выражения, а далее ведет нас через схватывание заложенной в нем регулярности к утверждению о немыслимости несуществования IQMCN – «каким бы ни был мой контекст употребления “IQMCN ”, наличие денотата этого выражения обеспечивается его характером»
  • 7. Понимание, утверждение и референция • Можно понимать выражение, но не знать его референции в реальном мире – так, например, мы понимаем предложение «Я здесь сейчас» • Даже не зная, про кого именно, когда и где это говорится, мы схватываем общую структуру этой мысли и отчетливо осознаем, что референция всех трех слов связана жестким образом: выбор любых двух влечет выбор третьего • Реальное (не притворное) осуществление акта утверждения влечет фиксацию всех трех компонентов; но еще до этого, до фиксации каждого компонента в отдельности мы знаем, как фиксировано их отношение между собой • Для того, кто произносит, понимание и референция в реальном мире неразделимы; для того, кто просто представляет, одно с другим не связано автоматически • Поэтому предложение «Я здесь сейчас» мы априори признаем истинным – не зная денотатов, мы знаем способ их связи
  • 8. Референция в реальном мире • Рефлексивная референция – это референция одновременно и к предмету речи, и к обстоятельствам речи (к «реальному миру») • В результате получается двойная референция – не просто к предмету и не просто к миру, а к «предмету в мире, рассмотренном как актуальный» • Формальный способ осуществления такой референции – использование оператора актуальности; сравните: – «Человек, который изобрел бифокальные очки» – «Человек, который на самом деле изобрел бифокальные очки» • Но что если само понятие реального мира является «плавающим»? • Тогда могут появляться «смешанные истины»
  • 9. Оператор актуальности «Всё красное могло бы быть блестящим» • Существует такой мир w, что всё, являющееся красным в мире w, является также блестящим в мире w x(P(х) Q(х)) • Для всего, что является красным, существует такой мир w, что оно в нем является также и блестящим x(P(х) Q(х)) • Существует такой мир w, что всё, являющееся красным в действительном мире, является блестящим в мире w x(АP(х) Q(х))
  • 10. «Смешанные истины» • Несмотря на «плавающий» характер референции «IQMCN», из-за которого существование соответствующего объекта не может быть детерминировано метафизически, оно все-таки детерминировано эпистемически – гарантировано устройством моего языка, (моего мира) за пределы которого я не могу выйти, не приостановив свои когнитивные и речевые акты • «IQMCN существует» – это, по замыслу Ансельма, должно быть контингентное априори
  • 11. Фабрикация «смешанных истин» в логике актуальности • Пусть р – контингентное a posteriori, тогда • Ap – необходимое a posteriori • p ↔ Ap – контингентное a priori Трава зеленая (p) Трава на самом деле зеленая (Ap) Трава зеленая, е.т.е. она на самом деле зеленая (p ↔ Ap)
  • 12. Двумерная семантика • Р. Столнейкер: «истинностное значение предложения должно зависеть от фактов двумя различными способами: во- первых, факты определяют, что именно сказано; во-вторых, они определяют, является ли сказанное истинным» • «Содержание» = горизонтальный интенсионал • «Характер» = диагональный интенсионал
  • 13. 2D-матрица для р Миры оценки w1 w2 w3 Миры референции w1 1 0 1 w2 0 0 1 w3 1 1 0
  • 14. 2D-матрица для Ар Миры оценки w1 w2 w3 Миры референции w1 1 1 1 w2 0 0 0 w3 0 0 0
  • 15. 2D-матрица для p ↔ Ap Миры оценки w1 w2 w3 Миры референции w1 1 0 1 w2 1 1 0 w3 0 0 1
  • 16. р 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 Ар p ↔ Ap
  • 17. Теоремы Тарпа (а) Каждая истина a priori эквивалентна некоторой необходимой истине; (b) Каждая истина необходимо эквивалентна некоторой априорной истине; Интерпретация Л. Хамберстоуна: (a) p FA(p ↔ Ap) (b) p (p ↔ (p ↔ Ap))
  • 18. Что значит «больше»? • Строгий априорный аналог апостериорной пропозиции больше, чем сама эта пропозиция • Рассмотрим оператор С, который произвольному апостериорному предложению сопоставляет его строгий априорный аналог • Если p истинно (в актуальном мире), достаточно со- поставить ему априорную истину p Аp, а если р ложно (в актуальном мире) – априорную ложь p Аp p Ap, если Ap Сp = p Ap, если Ap
  • 19. Схема доказательства • Построим предложение g, которое утверждает, что больше него ничего помыслить нельзя (т.е. что оно априори эквивалентно своему строгому априорному аналогу: g ↔ (g ↔ Cg) 1. Допустим, g ложно. Тогда Cg = (g ↔ Ag) 2. С другой стороны, (g ↔ Cg) 3. Это дает (g ↔ (g ↔ Ag)) 4. Что равносильно g ↔ (g ↔ Ag) 5. Но поскольку g ↔ Ag априори истинно 6. Получается, что g истинно (противоречие) 7. Следовательно, допущение было неверным, и g заведомо истинно
  • 20. Проблема общезначимости • Доказанный тезис является общезначимым лишь в обобщенном смысле; если такую трактовку общезначимости не признавать, рассуждение теряет силу – Обобщенная общезначимость (general validity) – истинность во всех парах миров (любой мир может быть рассмотрен как актуальный) – Общезначимость в реальном мире (real-world validity) – истинность во всех мирах (актуальный мир предполагается фиксированным)
  • 21. Выводы • «IQMCN» не понятие, а дейктическое «внутреннее речение», основанное на способности к рефлексивной референции • Рефлексивная референция – это референция в мире, рассмотренном как актуальный • Перформативное доказательство Ансельма нацелено на обоснование контингентного априори «IQMCN существует» при помощи формальных свойств оператора «на самом деле» • Логическая ценность такого доказательства основана на понятии не классической (real-world), а обобщенной (general) общезначимости