فرع المنطق الذي يدرس اللغات والنُظُم التي يستخدمها البشر لتوصيل الحقائق. كما يدرس خصائص هذه النُظُم المنطقية.