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

О природе зла

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

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

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

h

Виталий Иванов, 12 Март, 2026 - 21:47