Без заголовка

Раньше бы я считал, что "да, всенепременно нужно" и пытался бы накрыть строгой онтологией большой кусок мира. Сегодня я не уверен, что так нужно делать: логика вероятностна по своей природе, в связи с наличием стейкхолдеров и радикальным конструктивизмом не получится все описания собрать в рамках одной онтологии, а все онтологии выразить в одном формализме, и вообще инженерия на эвристиках построена. Поэтому я бы не торопился с формализацией. И перед любой формализацией довёл бы до конца линию исследования логических оснований рационального мышления http://ailev.livejournal.com/1311261.html и линию с ролью формализмов как priors http://ailev.livejournal.com/1305176.html