Oiva Ketonen och logik