Я хз, что такое "субъективная логика", да ещё "здравого смысла".
Я имел в виду произвольную.
Давай возьмём какую-нибудь достаточно богатую логику, включающую в себя ту, что обычно используют при доказательстве теорем.
Всё, что ты можешь ею описать (а описать с её помощью ты можешь и другие, например неклассические логики) в каком-то смысле эквивалентно ей.
#мамские_будни #лирика
Доче сравнительно недавно исполнилось четыре. Тема "я уже большая" в самом разгаре.
Больше всего доче почему-то нравится спорить по поводу своей маленькости с искусственным интеллектом, то бишь с Алисой.
— Алиса, угадай сколько мне лет! — требует она от неё.
— Восемь? — спрашивает Алиса.
— Меньше! — печально отвечает дочь.
Так, отнимая по единичке, они все же добираются до цифры "четыре".
— Так ты совсем малышка! — умиляется Алиса, и тут же получает чудовищную бурю возмущений и наездов от "малышки".
— Ты уже совсем большая! — покорно соглашается потом она. Даже если ты — искусственный интеллект, ты, конечно, побаиваешься разъяренной четырёхлетки. И это очень разумно.
Дочь триумфально требует от неё музыки и песен и прыгает на диване.
...А мне грустно от того, что она периодически запрещает называть её "крошкой". А она ведь правда-правда — моя крошечка!
— Я не крошечка, я уже хлебушек! — сердито отвечает мне на это дочь.