Логико-семантический аспект.

Чаще всего он присутствует в так называемых дедуктивных науках и фиксируется терминами «правильность», «корректность», «достоверность».Под этим понимается формальная безупречность доказательства теоремы или получения какой-то логической формулы на основе исходно принятых аксиом и правил вывода. Соответственно, ошибочным (некорректным) будет признано доказательство теоремы, где или нарушена последовательность рассуждений, или в ткань доказательства неявно введены дополнительные допущения, или попросту наличествуют формально-логические противоречия (типа одновременного присутствия суждений А и не-А).

Оппозиция «истина-ложь» может и прямо использоваться в логических исчислениях, но здесь квалификация суждений как истинных или ложных ограничивается лишь областью их формальных семантических значений (как в логике высказываний) безотносительно того, истинны ли эти суждения с точки зрения их реального предметного содержания. Например, суждение «неверно, что кентавр – только лошадь» формально истинно, ибо по определению атрибутивным свойством кентавра является наличие человеческих характеристик. При этом с чисто содержательной стороны все рассуждения о кентаврах могут быть признаны ложными, ибо в действительности они не существуют.