现代归纳逻辑包括：概率逻辑和
模态归纳逻辑。
逻辑包括
形式逻辑与辩证逻辑，形式逻辑包括归纳逻辑与演绎逻辑，辩证逻辑包括矛盾逻辑与对称逻辑。
现代归纳逻辑是研究归纳推理与归纳规则的现代逻辑分支。归纳逻辑是关于或然性推理的逻辑。或然性推理是这样一种推理：当其前提真时其结论很可能真但不必然真。现代归纳逻辑的特点就是对或然性推理加以系统化和定量化。
20世纪20、30年代以后，随着数学
概率论趋于成熟，概率归纳逻辑得以产生和发展。概率归纳逻辑是应用概率论来系统地研究和表述或然性推理的。20世纪70年代前后，出现了一种非数学概率论的归纳逻辑理论，这种理论被称为“非
帕斯卡概率归纳逻辑”。比起经典的亦即帕斯卡概率归纳逻辑，非帕斯卡概率归纳逻辑显得比较薄弱，还亟待改进和发展。