استدلال ریاضی

استدلال ریاضی بر ۷ نوع است:

استدلال استقرائی

استدلال استقرائی، روش تحقیق مبتنی بر اتکاء به مشاهدات جزئی، برای تعمیم آنها به احکام کلی است . استقراء، نخستین بار، توسط سقراط، بکار گرفته شد .

شهود

درک شهودی زمانی که از شهود استفاده می کنیم هیچ گاه به طور یقین و اطمینان حاصل نمی توانیم بگوییم که نتیجه گیری ما صددرصد درست است. با این حال در بسیاری از مواقع درک شهودی به ما کمک می کند که مطالب را بهتر و سریع تر بفهمیم و حدس های جدید و بهتری برای اثبات قسمت های مختلف ارائه دهیم. این چنین حدس ها اشتیاق ما را برای دستیابی به یک استدلال حتمی بیشتر می کند.

تمثیل

تمثیل، روش تحقیق مبتنی بر تشبیه دو موضوع نچندان مشابه است، بمنظور تبیین موضوع غامض تر .

استدلال استنتاجی (منطق)

صغری و کبری کردن که توسط ارسطو در کتاب ارغنون مطرح شد.