такой вид обоснования в логике и методологии науки, в процессе которого устанавливается ложность, либо неправильность утверждений, доказательств, гипотез и теорий. Объектами О. могут быть как формальные объекты и системы (формулы какого-либо формализованного языка, формальные доказательства и выводы), так и содержательные системы (высказывания