ઔપચારિક તર્કશાસ્ત્રના ક્ષેત્રમાં, આનુમાનિક તર્કના વૈવિધ્યપૂર્ણ વિવિધ સ્વરૂપોનો વિકાસ થયો છે. જેમાં પ્રતિકોના ઉપયોગથી થતો અમૂર્ત તર્ક, તર્કસંગત ચાલકો અને નિયમોના ગણ કે દર્શાવે કે નિષ્કર્ષ પર પહોંચવા માટે કઈ પ્રક્રિયાને અનુસરવુ પડે. તર્કનાં આ સ્વરૂપમાં એરિસ્ટોટેલિય તર્કશાસ્ત્રનો સમાવેશ થાય છે, જેને અનુમેય તર્કશાસ્ત્ર, સિદ્ધાંત તર્કશાસ્ત્ર, વિધેય તર્કશાસ્ત્ર, અને મોડલ તર્કશાસ્ત્ર તરીકે પણ ઓળખવામાં આવે છે.