Jaakko Hintikka 1929-2015