Да я и не возражал в общем-то. Вы же сразу от своих текстов открестились, еще в 1ом комменте (шучу). Шучу!
Хорошо, попробую перформулировать в другой семантике. Подумать надо. Но понимаете, в чем засада. Мало просто заменить X на Y (напр. "система", вместо "я"), но сохранить при этом всю логику. Этого мало. Нужно менять способ связывания субъекта с предикатом, который обычно заключается в том, что мы полагаем субъект существующим (виртуально или реально - это неважно) - а поскольку он ЕСТЬ, то ему уже можно атрибутировать некие предикаты, т.е. свойственные для субъекта штуки. Точно так же работает посылка и вывод: мы полагаем нечто (посылка) и добавляем к нему вывод-заключение.
Допустим, я поменяю в своих словах семантику с субъектной на операционную (функциональную). Это можно. Но как переформатировать цепочку заключений, чтобы не было посылок/выводов?! Это я пока не придумал. У вас есть идеи?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2017-02-20 05:52 pm (UTC)Хорошо, попробую перформулировать в другой семантике. Подумать надо. Но понимаете, в чем засада. Мало просто заменить X на Y (напр. "система", вместо "я"), но сохранить при этом всю логику. Этого мало. Нужно менять способ связывания субъекта с предикатом, который обычно заключается в том, что мы полагаем субъект существующим (виртуально или реально - это неважно) - а поскольку он ЕСТЬ, то ему уже можно атрибутировать некие предикаты, т.е. свойственные для субъекта штуки. Точно так же работает посылка и вывод: мы полагаем нечто (посылка) и добавляем к нему вывод-заключение.
Допустим, я поменяю в своих словах семантику с субъектной на операционную (функциональную). Это можно. Но как переформатировать цепочку заключений, чтобы не было посылок/выводов?! Это я пока не придумал. У вас есть идеи?