3. Логика т.

— множество допустимых в данной Т. правил вывода и способов доказательства. Как правило, в научных Т. используется обычная традиционная логика или классическая ма­тематическая логика, однако в отдельных случаях могут приме­няться особые логические системы. Считается, напр., что в кванто­вой механике используется трехзначная логика.