Formas lógicas

Modos de construcción, expresión y enlace de pensamientos (y partes del pensamiento) de contenido concreto distinto; se aplican en el proceso del conocimiento. Las formas lógicas se han ido elaborando en el decurso de la práctica históricosocial; son propias a todos los hombres constituyen formas del reflejo de la realidad en el pensamiento, y reflejan de ésta los rasgos más generales (por ejemplo, que todo objeto posee unas cualidades, se encuentra en una relación u otra con los demás objetos, el que los objetos constituyen clases, unos fenómenos dan origen a otros fenómenos, &c.). Existen formas lógicas que se estudian en la lógica formal (conceptos y juicios, inferencias y demostraciones, definiciones, &c.). En la cognición, el empleo de tal o cual forma lógica está determinado por el carácter del contenido reflejado en el pensamiento. En el lenguaje, las formas lógicas se expresan mediante la estructura gramatical de las expresiones correspondientes, así como mediante el uso de palabras especiales («todo», «no», «algunos», «o», «si... entonces», «sólo» y otras), señalizadoras de tal o cual estructura lógica del pensamiento. En la lógica matemática, las formas lógicas se expresan mediante la estructura de cálculos lógicos en los cuales sus fórmulas tienen su correspondencia en las expresiones de los lenguajes naturales; la estructura de las fórmulas y las reglas para utilizarlas en el cálculo, sirven para reproducir las fórmulas lógicas, gracias a lo cual dichos cálculos aparecen en calidad de lenguajes lógicos o formalizados especiales (Formalización, Sintaxis lógica). En la lógica dialéctica, las formas lógicas se estudian desde el punto de vista de cómo se reflejan en el pensar la realidad, variable y en desarrollo, y el desarrollo de la cognición misma.