- "આમૂલ પટ્ટાઓના ઔપચારિક તર્કશાસ્ત્રીઓ સામાન્ય રીતે અનૌપચારિક તાર્કિક તકનીકોને અપૂરતી રીતે સખત, ચોક્કસ અથવા અવકાશમાં સામાન્ય રીતે બરતરફ કરે છે, જ્યારે અનૌપચારિક તર્કશાસ્ત્રના કેમ્પમાં સમાન ઝનૂની સમકક્ષો સામાન્ય રીતે બીજકિતિક તર્કશાસ્ત્રનો સંદર્ભ આપે છે અને સૈદ્ધાંતિક અર્થનિર્ધારણને સૈદ્ધાંતિક અર્થનિર્ધારણને એક ખાલી ઔપચારિકતા અભાવ કરતાં વધુ કશું તરીકે નિર્દિષ્ટ કરે છે ઔપચારિક લોજિસ્ટર્સ ધિક્કારતા હોવાનો ઢોંગ કરે છે તે અનૌપચારિક લોજિકલ સામગ્રી દ્વારા જાણ ન કરવામાં આવે ત્યારે સૈદ્ધાંતિક મહત્વ અને વ્યવહારુ એપ્લિકેશન બંને.