соответствие законам и правилам формальной логики. Обычно проводят различие между истинностью и правильностью человеческого мышления. Понятие истины характеризует мышление в его отношении к действительности: мысль, предложение истинны, если они соответствуют действительности. Понятие правильности характеризует мышление в его отношении к законам и правилам логики: рассуждение правильно, если в нем соблюдены все необходимые правила логики.
Различие между истинностью и правильностью отчетливо проявляется в тех случаях, когда формально правильное рассуждение приводит к ложному выводу. Напр., рассмотрим умозаключение:
Все металлы - твердые тела. Ртуть не является твердым телом.
Ртуть не является металлом.
Это умозаключение построено в форме простого категорического силлогизма, причем оно отвечает соответствующим правилам, т. е. правильно. Однако вывод является ложным. Это обусловлено ложностью первой посылки. Если рассуждение построено неправильно, то даже из истинных посылок мы можем получить как истину, так и ложь. Напр.:
Все тигры - полосаты.
Это животное - полосато.
Это животное - тигр.
Выводное суждение может быть как истинным, так и ложным, в зависимости от того, кто перед нами - полосатый тигр или полосатая зебра. Для того чтобы выводное знание было безусловно истинным, требуется, чтобы наше рассуждение опиралось на истинные посылки и было правильным. Правильность рассуждений можно контролировать, гораздо сложнее устанавливается истинность знания. Ученые прошлого часто приходили к ложным выводам не потому, что рассуждали неправильно, а потому, что посылки их были ложными.