Да я и не возражал в общем-то. Вы же сразу от своих текстов открестились, еще в 1ом комменте (шучу). Шучу!
Хорошо, попробую перформулировать в другой семантике. Подумать надо. Но понимаете, в чем засада. Мало просто заменить X на Y (напр. "система", вместо "я"), но сохранить при этом всю логику. Этого мало. Нужно менять способ связывания субъекта с предикатом, который обычно заключается в том, что мы полагаем субъект существующим (виртуально или реально - это неважно) - а поскольку он ЕСТЬ, то ему уже можно атрибутировать некие предикаты, т.е. свойственные для субъекта штуки. Точно так же работает посылка и вывод: мы полагаем нечто (посылка) и добавляем к нему вывод-заключение.
Допустим, я поменяю в своих словах семантику с субъектной на операционную (функциональную). Это можно. Но как переформатировать цепочку заключений, чтобы не было посылок/выводов?! Это я пока не придумал. У вас есть идеи?
no subject
Хорошо, попробую перформулировать в другой семантике. Подумать надо. Но понимаете, в чем засада. Мало просто заменить X на Y (напр. "система", вместо "я"), но сохранить при этом всю логику. Этого мало. Нужно менять способ связывания субъекта с предикатом, который обычно заключается в том, что мы полагаем субъект существующим (виртуально или реально - это неважно) - а поскольку он ЕСТЬ, то ему уже можно атрибутировать некие предикаты, т.е. свойственные для субъекта штуки. Точно так же работает посылка и вывод: мы полагаем нечто (посылка) и добавляем к нему вывод-заключение.
Допустим, я поменяю в своих словах семантику с субъектной на операционную (функциональную). Это можно. Но как переформатировать цепочку заключений, чтобы не было посылок/выводов?! Это я пока не придумал. У вас есть идеи?