Forma logiczna to zasadniczo formuła językowa zaprojektowana w celu ujawnienia zasadniczych elementów prawdziwego stwierdzenia. Metody myślenia wykorzystujące formę logiczną obejmują rozumowanie dedukcyjne i indukcyjne, analizę logiczną i retrodukcję. Formę logiczną tworzy się, sprowadzając zdanie do istotnych elementów, używając zmiennych ilościowych dla aktywnych części zdania. Gdy instrukcja jest argumentem, można ją nazwać formą argumentu. Rozwój tej metody przypisuje się greckiemu filozofowi Arystotelesowi.
Jedną z głównych zalet tej metody jest to, że jest sposobem na zbadanie podstawowych części argumentu w celu ustalenia, czy jego forma dopuszcza możliwość prawdziwości argumentu. Nie jest to jednak metoda niezawodna; Forma logiczna może udowodnić, że fałszywy argument jest prawdziwy, jeśli jedna z przesłanek argumentu jest fałszywa, więc nie jest bezpiecznie zakładać, że twierdzenie jest prawdziwe tylko na podstawie formy logicznej. Stosując formę logiczną do twierdzenia, ważne jest rozważenie, czy twierdzenie ma być stosowane w całości, czy tylko w określonym kontekście, ponieważ zdanie może być prawdziwe w niektórych sytuacjach, nawet jeśli nie jest prawdziwe we wszystkich sytuacjach.
Forma logiczna jest tworzona przez przekształcenie części instrukcji w komponenty reprezentowane przez zmienne. W zdaniu „Wszystkie cukierki to desery, a wszystkie desery są wspaniałe” forma byłaby reprezentowana jako „Wszystko C to D, a wszystko D to W”. Kiedy zostanie zredukowany do zmiennych, jest traktowany jak zdanie matematyczne. Ten skrót odciąga informacje, które są nieistotne dla kontekstualnej prawdy wypowiedzi, pozwalając na wyciąganie wniosków na podstawie formy wypowiedzi, a nie treści. Z tego stwierdzenia można wywnioskować, że C, będąc D, jest również W, więc wszystkie słodycze są cudowne. Wprowadzenie stwierdzenia „Cały placek jest deserem” lub „Wszystkie P to D” do poprzedniego stwierdzenia prowadziłoby do wniosku, że każdy placek, będąc deserem, jest również cudowny.
Rozbicie argumentów na ich podstawowe elementy często pokazuje, że takie argumenty są zgodne z jedną z uznanych logicznych form argumentacji. Formularze te pomagają określić, czy argument jest słuszny, słuszny czy nieważny w oparciu o sposób ułożenia stwierdzeń prowadzących do wniosku. Popularne prawidłowe formy argumentów obejmują dylemat, tryb proponowania i tryb usuwania. Wiele logicznych błędów, które tworzą słabości w nieważnych argumentach, obejmuje stosowanie osobistych ataków, uogólnień lub odwołań do autorytetu w celu przedstawienia podanej sprawy.