Логическая теория может быть проверена благодаря его способности справляться с головоломками, и это полезный план, думая о логике, чтобы запастись разумом как можно большим количеством головоломок, поскольку они служат почти той же цели, что и эксперименты в Физическая наука.