Re: Метод-язык

Современные логики не слишком отличают логику, онтологию, лингвистику и даже метод (потому как иллокутивная логика уже существует только ввиду рассмотрения агентов). Возможно, из современной логики следуют другие различения, нежели те, из которых вы делаете ваш коммент. Группа "Аттик" прямо обсуждала практические умения детей, и их обеспечение программным комплексом (причём понятие "языка программирования" там не слишком рассматривалось, больше обсуждались умственные операции и их поддержка софтом). Если вам интересно сделать переложение наработок группы "Аттик" в своём языке (где вы как-то хитро определяете язык, метод, логику, онтологию и т.д.), то вам проще это сделать самому, а люди из группы "Аттик" сделают еще одну обучающую систему вместо этого. И я тоже не столько буду перетолковывать что-то, сколько поучусь современной логике, познакомлюсь с результатами группы "Аттик" и разными другими результатами, которые показали свою продуктивность. Про метод же я буду разговаривать с людьми, занимающимися ситуационной инженерией методов. Ну, и так далее. На ровном месте без надобности заводить различения хитро определенных метода, языка, онтологии и прочего мне не хочется, это непродуктивно. Думалка моя от этого явно не улучшится.