مَنطِق دانش شناسایی و ارائهٔ روش درست اندیشیدن (تعریف کردن و استدلال کردن) است. واژه منطق در زبان عربی به معنای سخن گفتن است، ولی دقیقاً معلوم نیست از چه زمانی معادل یونانی این واژه را برای مجموعه قوانین به کار برده‌اند. در گذشته منطق صرفاً شاخه‌ای از فلسفه شمرده می‌شد ولی از میانهٔ سدهٔ سیزدهم در ریاضیّات و در دهه‌های واپسین در علوم رایانه و از دهه ۱۳۶۰ در علوم شناختی نیز به آن می‌پردازند. منطق از نطق و به معنای گویش و گفتار است که شخص برای تفهیم مخاطب خود وی را با ادله گفتاری تحت تأثیر قرار می‌دهد و نیز خود شخص که حاضر به شنیدن گفته‌های مخاطب خود باشد او یک شخص (منطقی) می‌باشد.