Logical determinism is the notion that all propositions, whether about the past, present or future, are either true or false. The problem of free will, in this context, is the problem of how choices can be free, given that what one does in the future is already determined as true or false in the present.