Mar 29, 2015 23:09
все логические парадоксы являются результатом осциляции, порождаемой не просто самоприменимостью (обратной связью), но самоприменимостью, содержащей негацию, т.е. явное или скрытое отрицание субъекта высказывания в предикате утверждения подкласса некоторого класса, содержащего этот субъект, например:
[c∈A и ∀x∈A R(c,x)⇔¬R(x,x)] ⇒ [R(с,c)⇔¬R(с,с)], где c - брадобрей, A - все мужчины деревни, R(x,y) - отношение "x бреет y"
[c∈A и c⇔[∀x∈A ¬x]] ⇒ [c⇔¬c], где c - высказывание лжеца "я всегда лгу", A - все его высказывания, x - любое его высказывание
причина осциляции - закон противоречия, запрещающий тождества вида x⇔¬x
дело в том, что формальная 2-логика - это первая логика - логика актуального бытия - Аристотеля, логика механизмов.
она конфликтует с Логосом Гераклита, где противоположности тождественны, и Иоанна Богослова как низшее служебное средство со своим господином, у которого есть вторая логика - логика потенциального бытия - Аристотеля, логика жизни.
однако сам Аристотель считал высшим бытием бытие актуальное и потому и высшая логика у него логика формальная
логика,
жизнь,
Гераклит,
Аристотель,
логос,
парадоксы