ЛОГИЧЕСКИЕ ФОРМЫ

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