منطق دانش شناسایی و ارائهٔ روش درست اندیشیدن (تعریف کردن و استدلال کردن) است.

در گذشته منطق صرفاً شاخه‌ای از فلسفه شمرده می‌شد ولی از میانهٔ سدهٔ نوزدهم در ریاضیّات و در دهه‌های واپسین در علوم رایانه و از دهه ۱۹۸۰ در علوم شناختی نیز به آن می‌پردازند. منطق از نطق و به معنای گویش و گفتار است که شخص برای تفهیم مخاطب خود وی را با ادله گفتاری تحت تأثیر قرار می‌دهد و نیز خود شخص که حاضر به شنیدن گفته‌های مخاطب خود باشد او یک شخص (منطقی) می‌باشد.