Une forme logique est essentiellement une formule de langage conçue pour révéler l’essentiel d’un énoncé vrai. Les méthodes de pensée qui emploient la forme logique comprennent le raisonnement déductif et inductif, l’analyse logique et la rétroduction. Une forme logique est obtenue en réduisant un énoncé à ses composants essentiels, en utilisant des variables de quantification pour les parties actives de la phrase. Lorsque l’instruction est un argument, elle peut être appelée la forme de l’argument. Le développement de cette méthode est attribué au philosophe grec Aristote.
L’un des principaux avantages de cette méthode est qu’elle permet d’examiner les parties fondamentales d’un argument pour déterminer si sa forme permet la possibilité que l’argument soit vrai. Ce n’est pas une méthode infaillible cependant; une forme logique peut prouver qu’un argument faux est vrai si l’une des prémisses de l’argument est fausse, il n’est donc pas prudent de supposer qu’une affirmation est vraie en se basant uniquement sur la forme logique. Lors de l’application d’une forme logique à une assertion, il est important de déterminer si l’assertion est censée s’appliquer globalement ou uniquement dans un contexte particulier, car une affirmation peut être vraie dans certaines situations même si elle ne l’est pas dans toutes les situations.
La forme logique est créée en transformant les parties d’une instruction en composants qui sont représentés par des variables. Dans l’énoncé Tous les bonbons sont des desserts et tous les desserts sont merveilleux, la forme serait représentée par Tout C est D et tout D est W. Une fois qu’il est réduit à des variables, il est traité un peu comme un énoncé mathématique. Ce raccourci extrait les informations qui ne sont pas pertinentes pour la vérité contextuelle de la déclaration, permettant de tirer des conclusions à partir de la forme de la déclaration plutôt que du contenu. De cette déclaration, on peut déduire que C, étant D, est également W, donc tous les bonbons sont merveilleux. L’introduction de la déclaration Toutes les tartes est un dessert ou Tout P est D à la déclaration précédente conduirait à la conclusion que toute tarte, étant un dessert, est également merveilleuse.
La décomposition des arguments en leurs composants de base révèle souvent que ces arguments suivent l’une des formes logiques reconnues d’argumentation. Ces formulaires aident à identifier si un argument est valide, solide ou invalide en fonction de la manière dont les déclarations menant à une conclusion sont organisées. Les formes d’arguments valides courantes incluent le dilemme, le mode de proposition et le mode de suppression. Les nombreuses erreurs logiques qui créent les faiblesses des arguments invalides incluent l’utilisation d’attaques personnelles, de généralisations ou d’appels à l’autorité pour faire valoir le cas.