Casual Finitism And Logic