અનૌપચારિક તર્કને સામાન્ય રીતે ઔપચારિક અથવા ગાણિતિક તર્કશાસ્ત્રના વિકલ્પ તરીકે ગણવામાં આવે છે.