આજ પ્રકારનું એક ગહન શાસ્ત્ર તર્કશાસ્ત્ર છે.