иерархии и ад Шрёдингера

продолжение этого.
более четкое определение разного смысла отрицаний (которым я всецело обязан бразильским логикам, наипаче Béziau) и параконсистентного смысла (имплицитного) обычных модальных логик (Béziau, в развитие вывода Гёделя 1933 г. о эквивалентности интуитивистского отрицания Гейтера оператору "невозможно" в S4; это не вполне очевидно: см. Goedel, Coll. Works, 1:296sqq, где вводится оператор B "доказуемо", обычно соотв. "необходимо"; у Геделя эквивалентность инт. отрицания оператору ~B, что Безьо толкует не как "недоказуемо = не невозможно", а как "доказуемо, что не = невозможно") привело меня к возможности более строго сформулировать то, что было сказано об ареопагитовых иерархиях как абсолютных модальностях в статье про "модальную онтологию" Ареопагита.

( Read more... )