Date: 1993/08/17
Э П И Г Р А Ф Ы К К У Р С У
" ... выделить из застывшего
торгашества современного мира
пьянящее молодое вино, нет,
мед интеллектуального нонсенса."
Г.К. Честертон
" Интеллектуальная узость
ширится."
С. Ежи Лец
" ... Вам откроются истины
великие, а также узнаете Вы
полезные сведения, касающиеся
политики и домоводства ..."
Ф. Рабле
" Всякая истина абсолютно
бесполезна."
М.И. Альперин
" Я знаю, о чем ты думаешь, -
сказал Труляля - но это не
так ! Ни в коем разе !" "И
задом наперед, совсем наобо-
рот", подхватил Траляля.
"Если бы это было так, так
могло бы быть, если бы было
бы так, то так бы оно и было,
но так, как это не так, так
оно и не этак. В этом
суть логики. "
Л. Кэрролл
" Логика, оторванная от
своего естественного
носителя - человеческого
мозга, заморожена в микро-
схемах современных компью-
теров. В человеческой голо-
ве она живет совершенно
иначе, и вечные попытки
человечества понять самое
себя постоянно возвращают
нас к раздумьям, которым
посвящена эта книжка.
Модели, которые в ней
предлагаются, бывают смешны,
то своей простотой, то
эксцентричностью. Смех от
души над собственной логи-
кой целителен во многих
конфликтах "
Ю. И. Манин
Из предисловия к "Прин-
цесса или тигр" Р.Смаллиана
" ... Если выполнение насто-
ящего контракта отменяется
или откладывается, полностью
или частично, в связи с
запретом на экспорт, стихий-
ным бедствием, войной, эмбарго,
мобилизацией, бунтом, общест-
венными беспорядками, военным
положением, забастовкой, лока-
утом или другими трудовыми
конфликтами, нехваткой или
отсутствием электрэнергии,
чумой или другими эпидемиями,
карантином, пожаром, наводнением,
приливной волной (цунами), тай-
фуном, землетрясением, взрывом,
банкротством, ликвидацией пред-
приятия или несостоятельностью
производителей или поставщиков
товаров, то Продавец не несет
ответственности за невыполнение
настоящего контракта ..."
Из одного контракта покойного
Хизунова Н.М.
" ... Ибо есть много непокор-
ных, пустословов и обманщиков,
особенно из обрезанных, ко-
торым должно заграждать уста:
они развращают целые домы,
уча, чему не должно ..."
Ап. Павел. Послание к Титу
" Нонсенс, как любил повторять
Г.К. Честертон, есть такой
способ видеть жизнь, в котором
есть что-то от религиозного
смирения и восторга."
М. Гарднер.
Аннотированная Алиса.
I Чем должно быть все
Неформальная обстановка
Лекции
Обсуждения > a la ЗМШ
Игры /
Для кого : Любой самый необразованный выпускник мат-меха Лучше всего : имеющий некоторое отношение к программированию Если занимался математикой - слишком просто Если ничем не занимался - слишком сложно
Цели : Fac, quod vis “Не лгите, и то, что Вы ненавидите, не делайте этого” Повеселиться на очень абстрактном уровне Надоело общее (и свое) отупение Больше всего надоела мистика в киосках и других местах Разговор с издателем ЧТО Кроме того, после отъездов стало совсем противно
II Принципы курса
Некоторые вещи довольно трудно выразить словами (кстати, это имеет непосредственное отношение к теме), поэтому мне иногда придется пользоваться метафорами.
"Современная Схоластика"
Схоластика - рациональные средства для анализа веры (или шире - духовного мира). “Попытка найти оптимальное соотношение между верой и разумом”.
Прежде всего - ЭТО НЕ НАУКА Я думаю даже, что это лже-наука - и именно поэтому, я этим и занимаюсь. Отбросьте предрассудки. (Кстати, именно за занятие этой лже-наукой - Эрроу получил Нобелевскую премию). Естественно, это близко к игре в бисер - но до сих пор, это была игра для одного. Курс - игра.
Стругацкие - техническое описание колеса Фортуны. Мне больше нравится : группа - колесо - колесо Фортуны => описание подгруппы Фраттини группы колеса Фортуны
- разумеется - это метафора, но не очень далекая
от сути. Скорее, я бы хотел, чтобы курс был к
ней ближе.
Некоторые основные понятия :
“Третий мир” (приблизительно Поппер) - не материально, #
но и не порождается индивидуальной психологией. Не мир вещей, но и не искусство. (Я аппелирую к интуиции математика)
(Н. Кузанский -15 век- Гессе считал его предшественником игры в бисер - “Мир потенциальная бесконечность” Я - “Мир актуальная бесконечность”)
“Рисунок на ткани” (лучше : мультфильм на пленке) #
(программа на дискете)
(Я аппелирую к интуиции программиста)
Язык #
Формальный и неформальный Суть курса - формальный (или почти) анализ глубоко неформальных вещей. Основной парадокс языка - То, что на нем можно что-то сказать и, тем не менее, быть понятым. (Клюев)
Единство разнообразия и разнообразие единства #
Н. Кузанский - “Соединение видимых противоположностей в предшествующем им единстве”
Круг тем:
Логика (Классическая и неклассические) Лингвистика (Семиотика, Прагматика, Герменевтика Этика Искинт Кибернетика Программирование Рефл. анализ Т. игр Теория конечных автоматов Т.вероятностей Психология Синергетика Социология Физика
(Перечень неполный)
Отдельно : Философия и Математика
Философия - слишком много под себя гребет, и все, что плохо изучено - философия
Математика - Общий язык и без нее просто не обойтись (к сожалению)
III Первая лекция, к сожалению, может дать совершенно ложное впечатление (она самая сложная с математической точки зрения - сплошная формальная логика), поэтому лучше с самого начала рассказать содержание курса :
1. "Что есть истина ?" (2) - Анализ Истины и Откровения
Варианты парадокса лжеца ("Это предложение ложно")
Шутки, собранные М.Гарднером
666
Анализ Смаллиана парадокса Брадобрея
Метапарадокс
Решение Тарского
Программа, которая печатает свой собственный текст
Т. Тарского о невыразимости истины
Гедель I,II
Парадоксы Греллинга, Берри, Бекенбаха, Ришара
Анализ парадокса Ришара и число Шайтина
"Откровение"
Выразимость истины
2. "Чепуха чепух и всяческая чепуха" (2) - Анализ Смысла
Семантические парадоксы
Кое-что о семиотике
"Зеленые идеи яростно спят"
Святой Никто
"Вероятностная модель языка"
Универсальный язык
Пазиграфия
Средневековый аллегоризм
4 вида прочтения (Данте)
Номинация
Ошибка Кэрролла
Формальный подход к этике
Лингвистическая философия
Прагматика 1/2 формальный подход
Предикация
"Идет дождь, но я так не считаю".
Решение Клюева.
Классификация чепухи
Герменевтика, Экзегетика, Гомилетика
"Холодильник в субботу"
Перевод текстов с санскрита и новогреческого
(естественно неподготовленными людьми)
3. "We are the robots" (1) - Свобода воли
"Казнь врасплох"
Модальная логика и Возможные Миры
Восстановление истины по древу
Предсказания и парадокс Ньюкома
We are the robots ? - Лабиринт Лефевра
и гадалка Шеннона
4. Рефлексивный анализ и Психосинергетика (1) - Рефлексия, Религиозное
сознание, Тайна исповеди
"Я знаю, что ты знаешь ..."
Зеркала
40 ревнивых мудрецов и парадокс Шредингера
Инварианты мышления
Приложение Теории Кантора к Психологии
Тайна исповеди
Фокальные точки - Психосинергетика
Демонология _ Демон Максвелла и его
крупномасштабные братья
Ткань - Рисунок
5. Руководство диверсанта (1)
6. Краски языка (1)
Велемир Хлебников - Слово об L
Пространство Осгуда
Журавлев А.
"Остранение" В.Шкловского
Основной парадокс искусства
7. Сбой формализма (2)
Теорема Эрроу
Результаты о невозможности
Парадоксы нетранзитивности
Парадокс независимости выбора
Парадокс "Белая ворона" и другие
парадоксы индуктивной логики
IV. Ваши предложения плюс организация
ТЕМА I. "ЧТО ЕСТЬ ИСТИНА ?" (2)
Варианты парадокса лжеца ("Это предложение ложно")
Шутки, собранные М.Гарднером
666
Анализ Смаллиана парадокса Брадобрея
Метапарадокс
Решение Тарского
Программа, которая печатает свой собственный текст
Т. Тарского о невыразимости истины
Гедель I,II
Парадоксы Греллинга, Берри, Бекенбаха, Ришара
Анализ парадокса Ришара и число Шайтина
Выразимость истины
Эпименид сказал : “Все Критяне - лжецы”. Сам Эпименид - Критянин. Предполагается, что лжецы всегда лгут, нелжецы иногда говорят правду.
Справка : Эпименид - легендарный греческий поэт, Крит, VI век до н.э. - по преданию проспал 57 лет.
Апостол Павел (Послание к Титу, гл. I, стих 12-13) :
“Из них же самих стихотворец сказал : ‘Критяне всегда лжецы, злые звери, утробы ленивые.’ Свидетельство это справедливо …”
Безусловно, это лже-парадокс : Все мы образованные и знаем, что неверно, что все x P(x) <=> некоторые x не P(x). Следовательно, это значит, что некоторые Критяне - не лжецы (т.е. хотя бы иногда говорят правду - с формальной точки зрения).
Задача. Однако, парадокс здесь все же есть - в чем он ? #
“Тем, не менее, тот факт, что произнесение этого ложного высказывание может повлечь за собой существование Критянина, который не лжет, до некоторой степени обескураживает.”
Мендельсон Э. Введение в мат.логику
Приходим к парадоксу : “Это утверждение ложно”. #
Вариант Мура : #
Бертран Рассел утверждал, что, по его мнению, философ Джордж Эдвард Мур, солгал единственный раз в жизни : когда кто-то спросил Мура, всегда ли он говорит правду, Мур, подумав, ответил : “Нет”.
Вариант Смаллиана : #
“Является ли “нет” правильным ответом на этот вопрос ?”
В чем проблема : в ауторерферентности или в понятии ложно ? #
Попробуем разбить : #
“Платон и Сократ” “A : не B ; B : A” “Карточка Журдена”
Универсальный способ доказать, что угодно : #
- 1 & 2 - ложно.
- Черномырдин - очень умный человек.
Шуточки : #
-
НФ - рассказ Гордона Диксона. (Авг. номер Astounding Science Fiction - 1951 г.) - группа ученых спасает свои жизни, вводя в машину команду : “Ты должна отвергнуть утверждение, которое я сейчас ввожу в тебя, потому, что все мои утверждения ложны.” Рассказ называется “Дурацкие штучки”. Ниже будет показано, что для любой достаточно сложной и естественно программируемой машины, такое утверждение существует.
-
“Это предложение содержит шесть слов” - ложь => отрицание истинно : “Это предложение не содержит шести слов” - ложь.
-
Перед вами 3 ложных утверждения : 2 + 2 = 4 3 x 6 = 17 8 : 4 = 2 13 - 6 = 5 5 + 4 = 9
Здесь два ложных утверждения => утверждение, что здесь два ложных утверждения ложно, и оно третье.
Рисунок ПРОТИВ ткани (Это, правда, не совсем по делу)
-
Не читайте того, что здесь написано.
-
Сообщите нам, если эта наклейка отвалится при перевозке.
-
Агенство ЮПИ от 24.04.70 г. Кандидатам в конгресс от штата Орегон разрешено поместить на избирательном бюллетене от своего имени лозунг в 12 слов.
Лозунг Френка Хэтча (г. Юджин от дем. партии): “Тому, кто мыслит лозунгами в двенадцать слов, не место в этом бюллетене”.
-
666
Парадокс Брадобрея (Рассел, 1902) #
Семантические парадоксы | Логические парадоксы и Парадоксы теории множеств
Брадобрей бреет тех и только тех, кто не бреется сам. Бреется ли он сам ?
Анализ Смаллиана : такого Брадобрея не существует. Аналогично, не существует множества всех множеств.
Существует соответствие между семантическими (логическими) парадоксами и парадоксами Т.М.
Например :
“Это утверждение ложно” <==> “Это утверждение принадлежит множеству всех ложных утверждений”
“Множество ложных утверждений не существует” - ??? Однако, всех утверждений счетное число и, в формальном языке, множество замкнутых ложных формул, можно, в принципе,пересчитать".
Задача. В чем дело, чего не существует ?
в случае :
Парадоксов Т. Множеств (Множества)
Логических Парадоксов (Формального выражения ложности)
Семантических Парадоксов (Точного значения)
Первая попытка справится с трудностями : “Война с аутореферентностью” #
Теория типов Рассела.
Метаязыки Тарского.
Вторая попытка справится с трудностями : “Теорема Тарского” #
Программа, печатающая свой собственный текст.
- - - - - - - - - - - - - - - - - - - - - - -
Можно выразить ауторерферентность формально !!!
p:="p:=;p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4);Qout(p)";
p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4);Qout(p)
chr(34) - кавычки
Qout(p) - вывод p на печать
Теорема Тарского с точки зрения программиста.
- - - - - - - - - - - - - - - - - - - - - - -
p:="p:=;p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4); ! W(p)";
p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4); ! W(p)
где W - функция истины (защищенный интерпретатор)
Теорема Тарского с точки зрения логика.
- - - - - - - - - - - - - - - - - - - - - - -
E t E s (s=" E t E s (s=X & t = substr(s,1,7)+chr(34)+s+chr(34)+substr(s,9) & ! W(t)" & t = substr(s,1,7)+chr(34)+s+chr(34)+substr(s,9) & ! W(t)
где W - предикат истины.
Пример Хофштадтера
- - - - - - - - - -
Граммофон и пластинки.
Еще пример
- - - - - -
Эпиграф : Отрывок из контракта.
Теорема Геделя I
- - - - - - - - -
p:="p:=;p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4); ! D(p)";
p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4); ! D(p)
где D - функция истины (существующий анализатор)
E t E s (s=" E t E s (s=X & t = substr(s,1,7)+chr(34)+s+chr(34)+substr(s,9) & ! D(t)" & t = substr(s,1,7)+chr(34)+s+chr(34)+substr(s,9) & ! D(t)
где D - предикат доказуемости.
Получили утверждение истинное, но не доказуемое.
Теорема Геделя II
- - - - - - - - -
Непротиворечивость : в теории нельзя доказать ложь.
Формальная теория : непротиворечивость => E утверждение истинное, (*)
но не доказуемое. Само это утверждение можно формализовать в
этой теории. Допустим, можно доказать непротиворечивость.
Тогда прицепляем, к доказательству непротиворечивости доказа-
тельство (*), получаем доказательство недоказуемого утверждения.
Следовательно, непротиворечивость доказать нельзя.
Выводы : 1. Получен анализ логического парадокса, но нет анализа соответству- ющего семантического парадокса, связанного, вероятно, с расплывчатостью языка - это дальше.
2. Есть метод сведения семантических парадоксов к логическим
и получения интересных результатов. (формальный анализ
языка и философских категорий).
Пример : Не существует программы, определяющей тождество
двух программ - следствие из Т. Тарского.
Поднимаясь на семантический уровень - вообще говоря, априор-
ными средствми, невозможно определить, говорят ли два предло-
жения (естественного языка) об одном и том же.
Другие семантические парадоксы : #
Греллинг (1908) : “Прилагательное назовем самодескриптивным, #
если оно описывает свои собственные характеристики (например, “русскоязычное” и несамодескриптивным, в противном случае. Прилагательное “несамодескриптивное” - самодескриптивное или нет.
Берри (1906) : “Минимальное целое, которое нельзя задать менее, #
чем тринадцатью словами”.
Вариант Блэка : “Минимальное целое, которое, ни прямо, ни косвенно, #
не упоминается в этом курсе”.
Бекенбах “Минимальное неинтересное целое - этим и интересно”. #
Континуальный вариант Ришара (1905) : #
- перенумеруем все фразы, описывающие вещественные числа
- Фраза : “Вещественное число, у которого n-й десятичный знак равен 1, если у числа n-ой фразы n-й десятичный знак не равен 1, и 0 - в противном случае”.
- Эта фраза определяет некоторое вещественное число, скажеи k-е, но отличается от него в k-ом знаке.
Формальный анализ парадокса Ришара #
Число Шайтина
"Откровение"
ТЕМА II. "ЧЕПУХА ЧЕПУХ И ВСЯЧЕСКАЯ ЧЕПУХА" (2)
Ответы на вопросы :
- Чем отличается наука от лженауки (фальсификация - Поппер)
- Почему так легко доказалась Теорема Тарского Интерпретация.
- Что еще ? (Непротиворечивая теория имеет модель - “Все действительное - разумно”, Релятивизация истины …)
Мы кончили формальными результатами типа :
В формальном, но достаточно богатом языке, априорными (заданными заранее и для всех),алгоритмическими и выра- зимыми в этом языке средствами не выразимо понятие истин- ности. По аналогичным причинам, априорными средствами нельзя проверить смысловую тождественность двух выражений.
Здесь есть одна тонкость :
Для данного класса формул (ограниченной сложности) МОЖНО построить формулу, удостоверяющую их истинность, причем эта формула будет иметь сложность того же уровня.
В дальнейшем под неформальным понимается, в основном, естественный язык.
В неформальном (естественном) языке всегда можно выразить формальный (так всегда и делается). Далее, если у нас нет алгоритмических средств для решения чего-либо, то у нас для решения этой проблемы вообще нет средств процедурного характера (Тезис Черча). Далее все процедурные (алгоритмические) действия сами по себе формальны и легко включаются в формализм. Таким образом, в неформальном языке всегда есть контекст и выражения, истинность которых или, скажем, смысловую тождественность априорными процедурными средствами проверить нельзя.
Или, иначе говоря, нельзя построить статический (или огра- ниченных размеров) Демон Максвелла II рода (См. Лем. Кибериада).
Т.о. вопрос сводится к взаимоотношением интерпретируемого (текста) и интерпретирующего (интерпретатор - например, человек или инопланетянин или система автоперевода).
В чем проблема :
- в априорности или
- в процедурности (т.е. неверен Тезис Черча) и выразимости в языке
Короче говоря, или интерпретатор меняется по ходу дела, или интерпретация - по сути творческий процесс, т.е. принципиально не алгоритмизуется.
Если верно второе - то это ставит крест на ИИ. Зато внушает оптимизм другое - например, вдруг кто-нибудь по наитию, выпишет число Шайтина.
Если верно второе - двигаться некуда.
Предположим, что верно первое - т.е. введем Динамику. ———
Рассмотрим модель - программы, имеющие представление о себе - хранящие свой текст, общающиеся между собой - за счет параметров - в том числе способные передать свое представление о себе и других и самомодифицирующиеся, чтобы соответствовать требованиям мира (окружающих).
Поскольку для любого интерпретатора в данный момент, найдется программа, которая его сломает (если только он не ошибается) динамики недостаточно. Нужно еще Право На Ошибку. —————-
И, наконец, наиболее интересным остается случай, когда интер- претатор имеет представление о себе (что, собственно, и создает возможности для динамики), т.е. когда мы учитываем наличие Рефлексии. #
Кредо #
Мне кажется верно и то и другое : т.е. интерпретатор “настра- ивается” по ходу дела, и в то же время время сама настройка не является детерминированным или даже вероятностным процессом, а скорее близка к общему процессу индуктивного познания (включая инсайты, как в дзене и т.д.). Т.е. может интерпретатор и процедурен, но он меняется по ходу дела, процедура его изменения (если это процедура) меняется … + все это с точностью до чего-то (нетрудно ведь и ошибиться при определении смысла и даже остаться при своем заблуждении). При этом сам язык широко пользуется возмож- ностями, которые дает схема “Ткань-Рисунок”, подключая для понимания смысла средства выражения (Поэзия или скажем, арабская вязь),ассоциации и непосредственно корректируя интерпретатор (иногда, прямо к нему обращаясь -“Любезный друг, сим произвожу Вас в сержанты …”) - Это игра без правил !!!
Подведем итоги : #
В этой теме мы расматриваем формализации понятия Смысл, причем нас интересуют возможности динамического, рефлекствного интер- претатора, имеющего право на ошибку.
I Семиотика + Структурная лингвистика #
Самое общее формальное понимание смысла дает семиотика.
Знак + Обозначаемое
Обозначаемое - смысл знака.
Треугольник Фреге.
Денотат (Обозначаемое). Автонимия. Конвенциональность.
Сигнификат (Концепт).Системность.Значение - как Противопоставление.
Ассиметричный дуализм языкового знака.
Примеры :
- Лихтерман. 2)Var i:integer; i:=1; 3)Передача выражений : по значению и по наименованию. Фунарг-проблема. 4)МПС (Фиксированный концепт при переменном денотате). 5)Слономоська 6)Шалтай-Болтай и Алиса
Экстенсионал и Интенсионал.
Структурная лингвистика Глокая куздра.
Синонимы - которых не существует.
Юнкция - Нексус
“Изоморфизм” в семиотике.
Выводы : Конвенциональность и системность. Конвенциональность системности и системность конвенциональности и т.д. - Рефлексия. Интерпретатор - система (или система систем). Право на ошибку.
II Теория Речевых Актов + Прагматика #
Номинация. Пропозиция. Предикация.
Номинация
---------
Ошибка Кэрролла
Средние века. Перевес номинации. Расцвет семиотики.
Четыре вида прочтения текста
Gesta Romanorum
St. Nemo
Казнь Dolcino.
Пропозиция
----------
Пропозиция. Абстрактная алгебра.
Предикаты, модели.
Тонкости:
Холостяк - Мужчина, который ...
Она - не холостяк. (?)
Прагматика и Теория Речевых Актов
---------------------------------
Динамика и рефлексия Интерпретора.
Предикат + пропозиция
"Он очень умный, но я так не считаю".
"Я знаю, что Свердловск - столица России".
"Я не знаю, что Москва - столица России".
"Ты можешь налить мне чаю ? Но я тебя не прошу".
Теория речевых актов.
Дж.Остин заметил влияние текста на интерпретатор.
Locutuion - Говорение
Illocution - Целеполагание
Perlocution - Вызывание последствий
Перформативы. ("Клянусь ..., Обещаю ...")
Репрезентативы. ("Пришел поезд" - "Я говорю, что пришел поезд")
Прескриптивы ("Уйдите)
Комиссивы ("Обещаю...")
Экспрессивы ("Извините за беспокойство")
Вердиктивы ("Назначаетесь ...")
III. Вероятностная модель языка и Лингвистика Текста #
Сложность и неосознанность :
"Если мы говорим, что слово имеет значение, то отсюда не
следует, что те, кто употребляет слово правильно, думали
когда-нибудь о том, что такое значение ... В утверждении,
что человек, правильно употребляющий слово должен раскрыть
его значение, не больше логики, чем в утверждении, что
правильно движущиеся планенты должны знать законы Кеплера."
Бертран Рассел.
“Разговорный язык есть часть человеческого организма. И он не менее сложен, чем этот организм. Для человека невозможно непосредственно вывести логику языка.”
Людвиг Витгенштейн. 1921
“Язык - это лабиринт тропинок. Вы подходите с одной стороны и знаете дорогу; Вы подходите к тому же месту с другой стороны и дорогу уже не знаете”.
Людвиг Витгенштейн
Естественная Структура Языка
----------------------------
Слово - не имеет отдельного смысла, но зато имеет ореол
- - -
значений.
“Живое слово не означает предмета, а свободно выбирает, как бы для жилья, ту, иную предметную значимость, вещность, милое тело. И вокруг вещи слово блуждает свободно, как душа вокруг брошенного, но не забытого тела.”
Мандельштам О.
Энантиосемия - Fama
Фраза.
- - -
“Правильнее говорить об осысленности фразы, чем о ее смысле.”
Любую фразу можно осмыслить.
"Зеленые идеи яростно спят"
"Жена холостяка сочиняет квадрат"
Соответствие слов и фразы
Парадокс Бар-Хиллела
The pen is in the box. (Ручка в ящике)
The box is in the pen. (Ящик в клетке)
Пример Т. Винограда
Отцы города отказались выдать женщинам разрешение
на демонстрацию, поскольку они боялись беспорядков
Отцы города отказались выдать женщинам разрешение
на демонстрацию, поскольку они были революционно
настроены.
Вероятностная модель языка В.В.Налимова.
In heaven an angel is nobody in particular.
G.B. Shaw
Текст. СФЕ. Перенастройка интерпретатора.
- - - - - -
Герменевтика.
То, что задает контекст фразе в рамках общего культурного контекста. Хронотоп …
“А Сима …” “Сепульки”.
Семантическое определение художественного текста.
Языковая игра. (Витгенштейн)
- - - - - - - - - - - - - - -
То, что ограничивает контекст.
Высший пилотаж (Ткань - Рисунок, Обращение к интерпретатору) #
“Багровый остров”.
Примеры из Гарднера. Семантические парадоксы Это утверждение ложно (<=> В данной интерпретации это утверждение ложно - Каждый новый интерпретатор принимает его на свой счет - Попытка создать w-интерпретатор - w-Рефлексия).
Инсайт #
Наставник Сунъюань говорил : “Великий силач не может оторвать ногу от земли”. И еще он говорил : “Речь не не находится на кончике языка.”
Один человек спросил наставника Фэнъаня : “Ни словом, ни молчанием не выразить смысла бытия. Как же поведать истину ?” Фэнъань ответил : “Мне все видится весна на южном берегу Янцзы. Стайки птиц щебечут среди ароматных цветов.”
Наставник Уцзу говорил : “Когда вы встречаете на дороге человека, прозревшего истину, вы не можете обратиться к нему со словами и вы не можете ответить ему молчанием. Что вам делать ?
Монах спросил Далуна : “Физическое тело разрушается. А что такое неуничтожимое тело реальности ?” Далун сказал : “Горные цветы горят как узор на парче. Потоки в долинах блещут голубизной, как индиго”.
“Если твое сознание не меняется, ты утонешь в пучине дурмана”.
Из наставления
Манин о континууме.
Попытки формализации Чань (Поспелов)
ПРИЛОЖЕНИЕ К ТЕМЕ II #
История схоластики (Подробности и примечания) #
Магия
Влияние слова на мир
Доказательства бытия божьего
Теория Черного Короля
Клюев
О.Уальд
Логос
Гностики
Перформатив (Бег за трамваем) ???
Средневековая схоластика (Европейский подход)
Августин
Боэций
Фома Аквинский
Спор об универсалиях
Абеляр
Герменевтика, Экзегетика, Гомилетика (Талмудический подход)
Анекдот из Фромма
Холодильник в субботу
Универсальный язык :
Попытка логизировать семантику :
Универсальная характеристика (Лейбниц)
Аналитический язык Д. Уилкинсона (Борхес)
"Чтобы сущ-ло зерацало мира ..."
Рассел - "логические атомы" - феноменализм
физикализм
Пазиграфия
Эйффель
Лингвистическая философия (языковый анализ вместо формализма) :
Языковый анализ философских категорий
Философия - исправление ошибок языка
с плавным переходом в психоанализ
Поздний Виттгенштейн
Мур
Языковый подход к этике - Метаэтика
Предикация
Прагматика
Классификация чепухи
"Аксиомы" нормального общения
"Идет дождь, но я так не считаю".
"Я знаю, что Свердловск - столица России".
Решение Клюева.
Ионеску
(Виды формального общения - Добрович)
(Формальный психоанализ - Берн)
Модальная логика
Развитие в сторону формализма :
Модальная (алетическая и т.д.) логика
квантификаторы и аксиомы
(нужно - можно - "долг",
знать - предполагать
и т.д.)
Ларошфуко