Системы в принципе не могут быть тождествеyны объекту, это несопоставимые понятия :) А формальные системы тем более.
С тем, что формальная система - это некий тип изображения (представления), насколько я понял, Вы согласились. Вот возьмем некое изображение стула. Оно сделано для чего-то. Скажем, для того, чтобы сделать некий настоящий стул. Т.е. у нас здесь чертеж стула или даже технологическая карта - т.е. описание тех действий, которые надо провести для изготовления стула. Вполне себе формальная система.
Теперь вопрос - как долго Вы сможете просидеть на этом чертеже? Очевидно, что любое оперативно- процедурное описание показывает объект только с какой-то конкретной стороны - с той, которая и интересовала тех кто делал соответствующее описание. Формальная же система - это как раз один из типов процедурно-оперативных описаний. Она всегда сделана для чего-то, некого использования объекта, и снимает некую конкретную его проекцию.
Так что использование формального описания в функции объекта ("на нас, как формальных системах,") - это просто логическая ошибка - отождествление частного с целым. Мы не можем сидеть на чертеже стула, поэтому стул не пригоден для сидения - так построено Ваше рассуждение
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-06-10 10:18 pm (UTC)Системы в принципе не могут быть тождествеyны объекту, это несопоставимые понятия :)
А формальные системы тем более.
С тем, что формальная система - это некий тип изображения (представления), насколько я понял, Вы согласились.
Вот возьмем некое изображение стула. Оно сделано для чего-то. Скажем, для того, чтобы сделать некий настоящий стул. Т.е. у нас здесь чертеж стула или даже технологическая карта - т.е. описание тех действий, которые надо провести для изготовления стула. Вполне себе формальная система.
Теперь вопрос - как долго Вы сможете просидеть на этом чертеже? Очевидно, что любое оперативно- процедурное описание показывает объект только с какой-то конкретной стороны - с той, которая и интересовала тех кто делал соответствующее описание. Формальная же система - это как раз один из типов процедурно-оперативных описаний. Она всегда сделана для чего-то, некого использования объекта, и снимает некую конкретную его проекцию.
Так что использование формального описания в функции объекта ("на нас, как формальных системах,") - это просто логическая ошибка - отождествление частного с целым.
Мы не можем сидеть на чертеже стула, поэтому стул не пригоден для сидения - так построено Ваше рассуждение