Маркер

[poslushnik]

Парадокс лжеца: «То, что я утверждаю сейчас, ложно». (с) Евбулид, Магарская школа

Если это высказывание истинно, то оно ложно, и в то же время, если оно ложно, то истинно. Таким образом оно противоречит «закону исключённого третьего» в двоичной логике.

Вывод: классической логикой, не впадая ни в какие парадоксы, может спокойно пользоваться только тот, кому ненавистно лгать; кто любит лгать, тот будет испытывать неопределённое отвращение к классической логике.

Comments

[poslushnik]

Троичная логика совершеннее:
1) Если есть А, то есть и Б.
2) А заключает в себе Б, потому что является первым по отношению к Б.
3) Б заключает в себе А, потому что в Б, как во втором, усматривается А, как первое.
4) Если В - отношение А и Б, то В - третье по отношению к А и второе по отношению к Б, не существует без А и Б.
5) Система [А, Б, В] может рассматриваться как целое, первое или второе по отношению к чему-либо.
6) Каждый элемент системы [А, Б, В] может рассматриваться как первое по отношению к чему-либо.

Рассуждать в рамках такой логики гораздо интереснее, но для этого сначала нужно овладеть в совершенстве двоичной (классической) логикой, чтобы иметь навык к правильному мышлению.

[poslushnik]

Узелок завяжется -
Узелок развяжется...
А мечта - она и есть
Только то, что кажется...