يرجع أصل كلمة منطق «logic» إلى الكلمة اليونانية «logos» والتي تقابلها ترجمات عدة، كالعقل والخطاب واللغة. يُعرف المنطق تقليديًا بأنه دراسة قوانين التفكير أو التفكير الصحيح، ويُفهم عادة من حيث الاستدلالات أو الحجج. والحجج هي التعبير الظاهري عن الاستدلالات. الحجة مجموعة من المقدمات رفقة استنتاج. تنطبق هذه التوصيفات العامة على المنطق بأوسع معانيه، أي على كل من المنطق الصوري وغير الصوري نظرًا إلى أن كلاهما يُعنى بتقييم صحة الحجج. المنطق الصوري هو الحقل المهيمن تقليديًا، وبعض علماء المنطق يحصرون المنطق بالمنطق الصوري.