Язык и логические процедуры обоснования научных знаний