TITLE: Яакко Хінтікка: шляхи раціоналізації логічних доведень