Una forma lógica es esencialmente una fórmula de lenguaje diseñada para revelar lo esencial de una declaración verdadera. Los métodos de pensamiento que emplean la forma lógica incluyen el razonamiento deductivo e inductivo, el análisis lógico y la reintroducción. Una forma lógica se hace reduciendo una declaración a los componentes esenciales, utilizando variables de cuantificación para las partes activas de la oración. Cuando la declaración es un argumento, se le puede llamar forma de argumento. El desarrollo de este método se atribuye al filósofo griego Aristóteles.
Una de las principales ventajas de este método es que es un medio de examinar las partes básicas de un argumento para determinar si su forma permite la posibilidad de que el argumento sea verdadero. Sin embargo, no es un método infalible; una forma lógica puede probar que un argumento falso es verdadero si una de las premisas del argumento es falsa, por lo que no es seguro asumir que una afirmación es verdadera basándose solo en la forma lógica. Al aplicar una forma lógica a una aserción, es importante considerar si la aserción debe aplicarse en general o solo en un contexto particular, porque una declaración puede ser verdadera en algunas situaciones incluso si no es verdadera en todas las situaciones.
La forma lógica se crea convirtiendo las partes de una declaración en componentes que están representados por variables. En la declaración «Todos los dulces son postres y todos los postres son maravillosos», la forma se representaría como «Todo C es D y todo D es W». Una vez que se reduce a variables, se trata como una declaración matemática. Esta taquigrafía saca del camino información que es irrelevante para la verdad contextual de la declaración, lo que permite sacar conclusiones a partir de la forma de la declaración en lugar del contenido. De esta afirmación, se puede inferir que C, siendo D, también es W, por lo que todos los dulces son maravillosos. La introducción del enunciado “Todo pastel es postre” o “Todo P es D” al enunciado anterior llevaría a la conclusión de que todo pastel, al ser postre, también es maravilloso.
Desglosar los argumentos en sus componentes básicos a menudo revela que tales argumentos siguen una de las formas lógicas reconocidas de argumentación. Estos formularios ayudan a identificar si un argumento es válido, sólido o inválido en función de cómo se organizan las declaraciones que conducen a una conclusión. Las formas comunes de argumentos válidos incluyen el dilema, el modo de propuesta y el modo de eliminación. Las muchas falacias lógicas que crean las debilidades en los argumentos inválidos incluyen el uso de ataques personales, generalizaciones o apelaciones a la autoridad para presentar el caso establecido.