منطق صوری (Formal logic) شاخه‌ای از منطق است که طرز صحیح صورت‌بندی اندیشه را به نحو کلی بیان می‌کند به گونه‌ای که با به کار بردن آن صورت‌ها، ذهن از خطای صوری مصون می‌شود.[۱]