Formalus klaidingumas yra konkretus dedukcinio argumento klaidų tipas, kurį galima nustatyti išnagrinėjus bendrą argumento struktūrą. Šie klaidingi argumentai skiriasi nuo neoficialaus klaidingumo, dėl kurio dažnai reikia atidžiau išanalizuoti dalyko detales. Vidutinis formalus klaidingumas gali atrodyti kaip tinkamas loginis argumentas dėl tiesos bent vienoje iš pradinių premisų, tačiau trūkumas dažnai randamas argumento išvadoje. Tokios išvados laikomos negaliojančiomis, kai jos neatitinka teisingų ir nusistovėjusių retorinių šablonų.
Kad klaidingumas būtų laikomas formaliu, jis turi atsirasti dedukciniame, o ne indukciniame argumente. Prisidėję teiginiai, sudarantys tokio pobūdžio argumentus, yra žinomi kaip prielaidos tiriant retoriką. Dedukcinis argumentas prasideda prielaidomis, kurios leidžia daryti vieną išvadą, o indukcinis argumentas atskiria skirtingas prielaidas nuo pradinės išvados. Dedukcinio argumento prielaidos turi turėti tiesą, kad iš jų būtų galima padaryti teisingą išvadą. Kai kurie dažniausiai pasitaikantys formalių klaidų atvejai atsiranda dėl bent vienos prielaidos logikos klaidų.
Nors formalios klaidos išvada kartais gali pasirodyti teisinga ir pagrįsta, techninė vieno iš ankstesnių teiginių klaida kartais gali lemti išvadą, kuri neturi loginės prasmės. Aptiktam formaliam klaidingumui paprastai suteikiami keturi skirtingi pavadinimai: tiesa arba klaidinga ir galiojanti arba negaliojanti. Tokio tipo variantai gali sukelti argumentus, kurie yra teisingi, bet vis tiek neteisingi. Nedidelis klaidingo, bet pagrįsto argumento formuluotės pakeitimas kartais gali paversti jį teisingu ir pagrįstu. Tada pakeistas argumentas tampa formaliai galiojančiu teiginiu, o ne formalia klaida.
Kai tokio tipo samprotavimo klaida daroma tyčia, atsirandanti klaida taip pat kartais vadinama sofizmu. Kai kurie iš šių tikslingų klaidingų argumentų pateikiami siekiant apgauti klausytojus ir nukreipti jų samprotavimus neteisinga linkme. Toks formalios klaidos naudojimas dažnai laikomas etikos, kuri taip pat yra svarbi teisingos ir konkrečios logikos dalis, pažeidimu. Kitos formalios klaidos gali būti padarytos atsitiktinai dėl neteisingų ar neatsargių mąstymo procesų dėl ribotų kritinio mąstymo gebėjimų. Šis netyčinės klaidos atvejis paprastai gali būti ištaisytas, kai į jį atkreipiamas pradinio kalbėtojo dėmesys.