{"draftJsState":{"blocks":[{"data":{"image":{"id":"65e9dfa70d45d06a3ca50dc1"},"contents":{"65e9dfa70d45d06a3ca50dc1":""}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"399t4"},{"data":{},"depth":0,"entityRanges":[{"key":0,"length":16,"offset":0}],"inlineStyleRanges":[{"length":16,"offset":0,"style":"ITALIC"}],"text":"Переход в начало","type":"unstyled","key":"db6ao"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Принцип неопределённости настоящего и будущего, пока они не стали прошлым, опровергающий каноническую версию парадокса лжеца (обоснованную оценку утверждению нельзя дать в нём самом), не опровергает версию парадокса, которую в 4-м веке до н.э. обнаружил Евбулид Милетский. ","type":"unstyled","key":"49uit"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Современники отзывались о нём как о философе-спорщике, достававшем всех «рогатыми вопросами». У него были шутки-софизмы, в том числе про рога (что ты не терял, у тебя есть, рога ты не терял - значит ты рогат). Но главным в его жизни было исследование понятийных противоречий (не им созданных).","type":"unstyled","key":"aol54"},{"data":{"image":{"id":"65ecf8d915b3304f4418222f"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Предположительный портрет Евбулида - фрагмент фрески Рафаэля Санцио \"Школа Афин\" в Апостольском дворце Ватикана (написана в 1510-1512) - File:Vaticano 2011 (88) Eubulides.JPG.","type":"atomic:image","key":"56d4f"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Парадокс Евбулида «Лжец» (первая редакция)","type":"header-three","key":"2h70j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"a7ut3"},{"data":{"image":{"id":"66131893d45a53675baeaff1"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"78l2t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В этой формулировке ещё нет чёткого пояснения, о каком промежутке времени, отведённом для вранья, идёт речь. Глагол «лжёт» вместо «лгал» и «буду лгать» – расплывчатое пояснение. При разных вариантах домысливания будут разные ответы. Перейдём сразу к формулировке с чётким пояснением.","type":"unstyled","key":"ajkbc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Парадокс Евбулида «Лжец» (вторая редакция)","type":"header-three","key":"7q04p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"17c43"},{"data":{"image":{"id":"661318755a9fe861bc6bac73"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"q0ha"},{"data":{},"depth":0,"entityRanges":[{"key":1,"length":13,"offset":151}],"inlineStyleRanges":[{"length":13,"offset":151,"style":"ITALIC"}],"text":"Так и хочется воскликнуть: вот он, свободный от ненужных подробностей и украшений парадокс первого рода в двоичной логике. Однако, перед нами парадокс третьего рода. В рассуждениях наблюдателя ошибка, осознать которую на этот раз труднее, чем в предыдущих примерах.","type":"unstyled","key":"8i6cc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В описании исходной ситуации не сказано, как надо понимать слово «лгать», а также слова «говорить правду», «ложь», «правда». По умолчанию предполагается общеупотребительное понимание. Оно складывалось постепенно. Основы этого понимания (идеи доказательности утверждений) заложил Евклид Александрийский (3-й век до н.э.).","type":"unstyled","key":"4hq6p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Существуют три постоянно растущих класса утверждений:","type":"unstyled","key":"3dsie"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"КПУ – класс правдивых утверждений, ","type":"unstyled","key":"5g3ek"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"КЛУ – класс ложных утверждений,","type":"unstyled","key":"48ktb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"КНУ – класс непонятных утверждений. ","type":"unstyled","key":"82ps9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":116,"style":"ITALIC"},{"length":1,"offset":120,"style":"ITALIC"},{"length":1,"offset":391,"style":"ITALIC"},{"length":1,"offset":395,"style":"ITALIC"}],"text":"Правда – утверждение из КПУ. Ложь – утверждение из КЛУ. Непонятка – утверждение из КНУ. Пример непонятки: «Величины x и y равны». Ни одно утверждение не может попасть сразу и в КПУ, и в КЛУ. Пока утверждение не попало ни в КПУ, ни в КЛУ, оно находится в КНУ. Некоторые так и остаются в КНУ по причине невозможности попасть ни в КПУ, ни в КЛУ (вечные непонятки). Всё тот же пример: «Величины x и y равны». ","type":"unstyled","key":"abf1i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы утверждение попало в КПУ или КЛУ, ему надо дать обоснованную логическую оценку «правдивое» или «ложное», либо сослаться на рассуждения по какому-то проверенному шаблону, которые однозначно приведут к появлению соответствующей обоснованной оценки. Обоснованные оценки должны выводиться из чего-то общепринятого. Это называется принципом доказательности логических оценок или презумпцией логической неизвестности. Обоснованием не может быть прихоть дающего оценки.","type":"unstyled","key":"b4bc3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы утверждение получило обоснованную оценку «правдивое», необходимо пройти следующую процедуру. Берутся какие-то утверждения, уже получившие обоснованные оценки «правдивые». Из того, что у них оценки «правдивые», с помощью надёжных проверенных практикой правил вывода выводится оценка «правдивое» оцениваемого утверждения. Полученная таким путём оценка считается обоснованной.","type":"unstyled","key":"djrjd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Например, из обоснованной правдивости утверждений «0<1», «1<2», «a