I logikken kan en skille mellom formelle og uformelle tankefeil. Formelle tankefeil kalles vanligvis . Formelle tankefeil er deduktive argumenter som har en ugyldig form. Den logiske formen er slik at konklusjonen ikke følger logisk av de grunnene som anføres i argumentet. Feilen beror på argumentets logiske form. Uformelle tankefeil kan derimot være logisk gyldige – som sirkelargumenter – men likevel være uriktige. Feilen beror ikke på argumentets logiske form, men på andre semantiske eller psykologiske faktorer, som forutintatthet eller feil i premissene.