Которые в логике представлены, как законы: Тождества, Противоречия и Исключённого третьего.
Я бы их точнее назвал постулатами или аксиомами. Ибо они не выведены, а представлены априорно и именно, как свойства нашего мира. А не его значения или методы. Вообще как вы обозначите значениями или методами свойство запрещающее одновременно быть истинным взаимоисключающим высказываниям?
Запрещается одновременно разным значениям быть одинаковыми. Но ведь этот тезис представлен не значением и не методом. Переведите его в то или другое.
Вы взяли очень ограниченный частный случай, когда свойства могут иметь форму конкретных значений или процедур. И пытаетесь его аппроксимировать на все без исключения случаи, т.е. выстроить абсолютную модель.
|