「充足理由律」という名称を与えたのは17世紀のドイツの哲学者ゴットフリート・ライプニッツである。