Showing posts with label exclude middle. Show all posts
Showing posts with label exclude middle. Show all posts

Friday, February 22, 2013

Induction, growing block theory and open future

According to induction, the future is like the past and present. But the past and present contain real events. Hence, probably, so does the future. Hence, probably, Growing Block theory, on which only the past and present contain real events, is false. Likewise, excluded middle is true for claims about the past and for claims about the present. So, probably, it's true for claims about the future. So, probably, Open Future views are false.