"કેટલાક લોજિસ્ટર્સ માત્ર ઔપચારિક તર્કશાસ્ત્રનો અભ્યાસ કરે છે; એટલે કે, તેઓ માત્ર અમૂર્ત મોડેલ્સ સાથે કામ કરે છે કે જે ફક્ત તાર્કિક પદાર્થ અને સામગ્રી ધરાવે છે.