Раздел логики, в рамках которого изучаются рассуждения, используемые для получения индуктивных обобщений и объяснений.