帰納
帰納という言葉は広義には演繹ではない推論(枚挙的帰納法、アナロジー、アブダクション)全般のことを指すが、狭義には枚挙的帰納法(英: enumerative induction)のことを指す言葉として使われる。ここでは演繹を含め、それぞれの推論が持つ特徴を比較する。