Логика – это наука, исследующая механизм интеллектуальной деятельности человека и имеющая целью получение истинного знания об окружающем мире. В связи с этой гносеологической установкой она оперирует понятиями
«правильного мышления» и «истинностного значения».

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

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