Мышление – это всегда активный процесс, так как он направлен на достижение определенного результата, осознание, изменение, дополнение информации. Абстрактное мышление – это средство познания, с помощью которого логическая наука рассматривает и изучает явления окружающего мира, которые зачастую невозможно познать иным способом, и в этом проявляется степень необходимости. Для повышения эффективности процесса мышления применяется понятие логических форм. Это формы, в которых протекает логическое познание. Они характеризуют способ связи составных частей мысли, ее структуру. Такая структура существует объективно, т. е. не зависит от конкретного человека, а характеризует особенности окружающего мира. Давая определение логическим формам, необходимо сказать о таких понятиях, как кванторное слово, связка, субъект и предикат. Субъект – это категория, дающая понятие о предмете суждения, логическую форму которого необходимо определить. Предикат – дает понятие о признаке предмета. Связка представляется словом «есть» и может отсутствовать. В этом случае вместо нее ставится тире. Кванторным словом является слово «все». Таким образом, суждения выражаются в формах типа «Все (квантор) S (субъект) есть (связка) P (предикат)». В качестве примера логической формы «все S есть P» можно привести следующие суждения: «Все гусеницы – вредители», «Все люди – млекопитающие» и т. д. Пожалуй, главным в процессе мышления каждого человека, если тот, конечно, не желает допускать логических ошибок, является знание и правильное применение логических законов. Соблюдение этих законов – залог достижения истины: 1) закон тождества; 2) закон непротиворечия; 3) закон исключенного третьего; 4) закон достаточного основания. Необходимо упомянуть также, что мышление человека, кроме формально-логических законов, подчиняется общим законам диалектики: законам отрицания, взаимного перехода качества и количества, единства и борьбы противоположностей. Эти законы имеют, как и логические формы, объективный характер, т. е. не зависят от воли человека и существуют независимо от него. Поэтому даже человек, никогда не занимавшийся логикой и не имеющий ни малейшего представления о существовании ее законов, мыслит на их основе, опираясь на здравый смысл. Это характерно не только для нашего времени, но и для иных исторических эпох. Значение логических форм состоит в том, что они используются для достижения истинности суждений, которые могут быть либо истинными, либо ложными. Истинность и ложность – показатели конкретного содержания определенного суждения.