குறியீட்டு தர்க்கம் என்பது தர்க்கரீதியான அனுமானத்தின் முறையான அம்சங்களைக் கைப்பற்றும் குறியீட்டுச் சுருக்கங்களை ஆய்வு செய்கிறது சித்தாந்த தர்க்கமான இக்குறியீட்டு தர்க்கம் பெரும்பாலும் இரண்டு முக்கிய கிளைகளாகப் பிரிக்கப்படுகிறது: அவை உள்நோக்க தர்க்கம், பயனிலை தர்க்கம் என்பனவாம்.மொழிகளில் வினைச்சொல்லின் பாங்கியலானது வசனத்தின் சில உப பகுதிகளான சிறப்புச் சொற்கள், மாதிரி குறியீடுகள் என்பவற்றால் சொற்பொருளியல் மாற்றம் பெறுகின்றது. இது ஒரு பாங்கியல் ஏரணமாகும்.

பயனிலை ஏரணம் என்பது "முதல் வரிசை ஏரணம்", "இரண்டாம் வரிசை ஏரணம்", "பல வரிசை ஏரணம்" மற்றும் "முடிவிலா ஏரணம்" எனப்படும் அடையாளப்படுத்தும் முறையான அமைப்புகளைக் குறிப்பிடப் பயன்படுத்தப்படும் பொதுவான சொல் ஆகும்.

தர்க்கவியல் படிவம்
முறையான தர்க்கம்
குறியீட்டு தர்க்கம்
கோட்பாடுகள்