Philosophy of hard determinism