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