علم منطق :
يكى از علومى كه از جهان خارج وارد فرهنگ اسلامى شد و پذيرش عمومى يافت , و حتى به عنوان مقدمه اى بر علوم دينى جزء علوم دينى قرار گرفت , علم منطق است .
علم منطق از متون يونانى ترجمه شد واضح و مدون اين علم ارسطاطاليس يونانى است.اين علم در ميان مسلمين نفوذ و گسترش فوق العاده يافت اضافاتى بر آن شد و به سر حد كمال رسيد . بزرگترين منطقهاى ارسطويى كه در ميان مسلمين تدوين شد منطق الشفاى بو على سينا است , منطق الشفا چندين برابر منطق خود ارسطو است.
تعريف منطق :
منطق < قانون صحيح فكر كردن > است . يعنى قواعد و قوانين منطقى به منزله يك مقياس و معيار و آلت سنجش است كه هر گاه بخواهيم درباره برخى از موضوعات علمى يا فلسفى تفكر و استدلال كنيم بايد استدلال خود را اين مقياسعا و معيارها بسنجيم و ارزيابى كنيم كه بطور غلط نتيجه گيرى نكنيم , منطق براى يك عالم و فيلسوف كه از آن استفاده مى كند نظير شاقول يا طراز است كه بنا از وجود آنها براى ساختمان استفاده مى كند و مىسنجد كه آيا ديئارى كه بالا برده است عمودى است يا نه ؟ و يا آيا سطحي كه چيده است افقى است يا نه؟

فائده منطق :
از تهريفى كه براي منطق ذكر كرديم فايده منطق نيز روشن مى شود معلوم شئ فايده منطق جلوگيرى ذهن است از خطاى در تفكر ؛ تفكر عبارت است از مربوط كردن چند معلوم به يكديگر براى بدست آوردن معلوم جديد و تبديل كردن يك مجهول به معلوم . در حقيقت تفكر عبارت است از سير و حركت ذهن از يك مطلوب مجهول به سوى يك سلسله مقدمات معلوم و سپس حركت از آن مقدمات معلوم به سوى آن مطلوب براى تبديل آن به معلوم.
ذهن آنكاه كه فكر مىكند و مي خواهد از تركيب و مزدوج كردن معلومات خويش مجهولى را تبديل به معلوم كند , بايد به آن معلومات شكل نظم و صورت خاص بدهد . يعنى معلومات قبلى ذهن تنها در صئرتى مولد و منتج مىشوند كه شكل و صورت خاصى به آنها داده شود منطق قواعد و قوانين اين نظم و شكل را بيان مى كند .
    
 خطاى ذهن :

ذهن آنگاه كه تفكر مى كند و امورى را براى امرى ديگر قرار ميدهد ممكن است صحيح عمل كند و ممكن است دچار خطا گردد. منشاء خطا يكى از دو امر ذيل ممكن است باشد:
1-    آن مقدماتى كه آنها را پايه قرار داده و معلوم فرض كرده خطا و اشتباه باشد . يعنى مقدماتى كه مصالح استدلال ما را تشكيل مىدهد فاسد باشد.
2-    نظم و شكل و صورتى كه به مقدمات داده شده غلط باشد يعنى هر چند مصالح استدلال ما صحيح و درست است ولى شكل استدلال ما غلط است.
  خطا سنجى منطق ارسطويى منحصراً مربوط به شكل و صورت استدلال , اما سنجش خطاى ماده استدلال از عهده منطق ارسطويى خارج است , لهذا منطق ارسطويى را منطق صورت مى نامند ...