Я хз, что такое "субъективная логика", да ещё "здравого смысла".
Я имел в виду произвольную.
Давай возьмём какую-нибудь достаточно богатую логику, включающую в себя ту, что обычно используют при доказательстве теорем.
Всё, что ты можешь ею описать (а описать с её помощью ты можешь и другие, например неклассические логики) в каком-то смысле эквивалентно ей.
EnniNova:
Вот так рождаются легенды и религиозные культы! Просто однажды космический путешественник терпит бедствие, а потом пошло-поехало, закрутила жизнь. А выбираться надо! И тогда...
В общем, браво, одним словом! Автор отжёг)