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

Во-первых, я ещё не написал пост про онтику системных описаний (в тексте сказано, что об этом будет следующий текст). Во-вторых, эта онтика опирается не на классические логические представления, а на представления байесовской логики науки, как её понимал E.T.Janes -- доказуемость там не классическая, а вероятностная, речь идёт о больших или меньших степенях уверенности, больших или меньших степенях неопределённости. Поэтому вполне возможно работать с рассуждениями и по схемоидам, не только по жёстким классическим логическим схемам.