منطق الترتيب الصفري مصطلح يُشير إلى منطق شبيه بالمنطق من الدرجة الأولى خالٍ من المتغيرات والمحددات الكمية؛ ويُقصد به أيضاً في بعض الاستخدامات حساب الافتراضات دون متغيرات، كما يُستخدم تعريف أوسع يُضيف ثوابت وعمليات وعلاقات على القيم غير المنطقية، وحينئذ تكون كل لغة ذات ترتيب صفري كاملة ومضغوطة.
