human logic