Пятый теоретический бред

[idealist_t]

Истина как определение математической логики
Что есть истина?
Понтий Пилат
Аз есмь путь и истина и живот
Иисус Христос

ВступлениеПроблема истины обсуждается, как правило, философами и богословами. Понять их дано не каждому, поэтому своё недомыслие обычно скрывают за пренебрежительным отношениям ко всяким фантазёрам. Однако существует одна область

Comments

[38_pop]

Хотел прочитать ваш пост и разобраться. Но еще не прочитав, а только просматривая сразу натолкнулся на логическую ошибку

[idealist_t]

Сейчас нет, к сожалению, времени подробно отвечать.
Но в чём же ошибка, если (¬p → p) → p - это тождественно истинное выражение. Почему ¬p → p неопределено? Мне ничего не мешает вычислить значение этого выражения
¬p p ¬p → p (¬p → p) → p
0 1 1 1
1 0 0 1

[38_pop]

>>Но в чём же ошибка, если (¬p → p) → p - это тождественно истинное выражение. Почему ¬p → p неопределено

[idealist_t]

--1
Я интерпретировал бы несколько иначе
1) Если "не существует А" - истина, то из него ничего не следует, или
Если ¬p - истина, то (¬p → p) - ложь
2) Если "не существует А" - ложь, то значит существует А, то есть следует вывод, или
Если ¬p - ложь, то (¬p → p) - истинаЧто согласуется с формальной импликацией и, в-общем, с Вашими суждениями

[38_pop]

Я позднее напишу подробнее, а сейчас только реплика о манипуляции.
Я это слово применил чисто в техническом смысле, как присвоение значения неопределенному результату.
(то-есть то, что делается, когда при минимизации звездочки заменяются 1 или 0). Я боюсь, что вы поняли это в бытовом, расширенном смысле - как подтасовка. Поверьте, этого и в мыслях не было.

[idealist_t]

Да, нет. Нормально я всё понял. Не задумывайтесь :)