[userpic]

... 

klizardin в посте Metapractice (оригинал в ЖЖ)

Даже на очень абстрактном уровне вещи, связанные с логическими типами, зачаровывали и мудрецов, и шутов на протяжении многих тысяч лет. Однако логику надо было спасать от парадоксов, радующих клоунов. Рассел и Уайтхед обнаружили, что древний парадокс Эпименида - «Критянин Эпименид сказал: «Критяне всегда лгут»» - построен на классификации и метаклассификации. Я здесь представил парадокс в форме цитаты внутри цитаты, и именно так и генерируются парадоксы. Б6льшая цитата служит классификатором для меньшей, пока меньшая цитата не захватывает власть и не переклассифицирует большую, что создает противоречие. Если мы спросим: «Говорит ли Эпименид правду?», то ответ будет: «Если да, то нет» и «Если нет, то да».
Если рассматривать суть парадокса, то смешение логических уровней здесь и в том, что когда задается вопрос о фразе, то ответ порождает использование нескольких уровней высказывания, которые противоречат друг другу. Т.е. исходную фразу хочется рассматривать как нечто, что порождает процессы, противоречащие друг другу, т.е. если рассматривать парадокс как некий паттерн, то он может быть распознан различными способами, которые противоречат друг другу. Здесь стоит заметить, что любой паттерн может быть распознан различными способами, но можно сказать, что парадокс возникает тогда, когда возникает противоречие между распознаваниями. Когда противоречие не будет возникать? Естественно тогда когда логические уровни при распознавании не будут пересекаться. Тогда когда распознавание паттерна (имеющего в себе разные логические уровни (они порождаются способами распознавания)) будут распознаваться в некий один логический уровень. Очевидно один из вариантов, когда происходит возникновение парадокса будет эээ встроенность механизмов распознавания в сам исходный паттерн. Чтобы уточнить можно сказать, что эээ встроенность будет наблюдаться тогда, когда эээ встроенная часть паттерна будет задавать способы распознания, которые создают противоречие при распознавании (хотя это только гипотеза).

2 комментария

сначала старые сначала новые