منطق علمی است که به ما نحوه درست فکر کردن را می‌آموزد و ذهن را از خطای در فکر مصون می‌دارد. در هنگام فکر کردن، ذهن حرکتی در معلومات می‌کند و با چینش آنها به مطلوب دست می‌یابد.  پس برای این‌که بخواهیم از خطای در فکر کردن مصون بمانیم، اولاً: باید از معلومات صحیح(معلوماتی که از نظر ماده و محتوا درست باشند) استفاده کنیم، ثانیاً: آن معلومات باید به صورت درست و صحیح چیده شوند. بخشی از منطق که در آن از چینش معلومات بحث می‌شود، «منطق صوری» و بخشی که از خود مواد و محتوای معلومات بحث می‌کند «منطق مادی» یا «صناعات خمس» نامیده می‌شود.[1] 
در مورد فرق بین تصور و تصدیق باید گفت: اصطلاح «تصور» و «تصدیق» در نظر اهل منطق مربوط به انواع علوم است؛ یعنی علم به معنای مصدری، دانستن و حصول صورتی از شیء در ذهن، دو گونه است: یا تصور است که به معنای حضور صورت شیء بدون حکم نزد عقل است، و یا تصدیق است که به معنای حضور صورت شیء نزد عقل همراه با حکم است.[2]

---