O formă logică este în esență o formulă de limbaj concepută pentru a dezvălui elementele esențiale ale unei afirmații adevărate. Metodele de gândire care folosesc forma logică includ raționamentul deductiv și inductiv, analiza logică și retroducția. O formă logică este realizată prin fierberea unei enunțuri la componente esențiale, folosind variabile de cuantificare pentru părțile active ale propoziției. Când afirmația este un argument, poate fi numită formă de argument. Dezvoltarea acestei metode este atribuită filozofului grec Aristotel.
Unul dintre principalele avantaje ale acestei metode este că este un mijloc de examinare a părților de bază ale unui argument pentru a determina dacă forma acestuia permite posibilitatea ca argumentul să fie adevărat. Totuși, nu este o metodă sigură; o formă logică poate dovedi că un argument fals este adevărat dacă una dintre premisele argumentului este falsă, deci nu este sigur să presupunem că o aserțiune este adevărată pe baza formei logice. Atunci când se aplică o formă logică unei aserțiuni, este important să se ia în considerare dacă afirmația este menită să se aplice în general sau doar într-un anumit context, deoarece o afirmație poate fi adevărată în unele situații chiar dacă nu este adevărată în toate situațiile.
Forma logică este creată prin transformarea părților unei instrucțiuni în componente care sunt reprezentate prin variabile. În afirmația „Toate bomboanele sunt deserturi și toate deserturile sunt minunate”, forma ar fi reprezentată ca „Toate C este D și tot D este W”. Odată redusă la variabile, este tratată ca o declarație matematică. Această prescurtare scoate din drum informațiile care sunt irelevante pentru adevărul contextual al enunțului, permițând să se facă concluzii din forma enunțului, mai degrabă decât din conținut. Din această afirmație, se poate deduce că C, fiind D, este și W, așa că toate bomboanele sunt minunate. Introducerea afirmației „Toată plăcinta este desert” sau „Toată P este D” la afirmația anterioară ar duce la concluzia că toată plăcinta, fiind desert, este de asemenea minunată.
Descompunerea argumentelor în componentele lor de bază dezvăluie adesea că astfel de argumente urmează una dintre formele logice recunoscute de argumentare. Aceste formulare ajută la identificarea dacă un argument este valid, solid sau invalid pe baza modului în care sunt aranjate afirmațiile care duc la o concluzie. Formele de argument valide comune includ dilema, modul de propunere și modul de eliminare. Multe erori logice care creează punctele slabe în argumentele invalide includ utilizarea atacurilor personale, generalizărilor sau apelurilor la autoritate pentru a face cazul declarat.