

МУЗЕЙ ВОСКОВЫХ МЫСЛЕЙ
Нашего полку прибыло
И улыбка, без сомненья,

Мы живём в материальном мире в виде человеческого тела, но пока не понимаем, как оно устроено, поэтому возникаем масса проблем при жизни тела.


В последнее время я задался вопросом формализации динамических высказываний. Одна из проблем, которая всплыла - неполнота и избыточность.
.
Имеем высказывание: Сократ едет верхом на ослике из Афин в Фивы (а). Перед нами высказывание, которому может быть назначено истинностное значение. Здесь есть пропозиция.
.
При формализации несущественным, излишним являются дополнения. Едет Сократ на ослике, или плывет на подводной лодке, или ползёт как Александр Маресьев - для логики неважно. Сокращаем: Сократ едет из Афин в Фивы (а1).
.

О природе зла
Если бы вы были слепы, то не имели бы на себе греха; но как вы говорите, что видите, то грех остается на вас. (Ин.9.41)
Если бы Я не пришел и не говорил им, то не имели бы греха; а теперь не имеют извинения во грехе своем. (Ин.15.22)

Почему самое себе человек передвигается не на четырех, а на двух ногах? Почему? Потому что все имеет место быть там и так, как оно есть на самом деле? Верно. Почему ходить на двух ногах- это необходимость самое себя человека? Потому что самое себе человек- это животное со смыслом иметь самое себя развитое?

h