logicism
منطق‌گرایی
حساب گزاره‌ها
statement calculus
زبان صوری
formal language
modal logic
منطق موجهات
formal logic
منطق صوری
بررسی رابطه‌های مجاز بین گزاره‌ها، که این بررسی به شکل مربوط است نه محتوا.
منطق عمومی
general logic