Because all new knowledge, to be not illogical, must obey logic i.e. every thinking step must be consistent with rules of logic; so can we write an effective procedure/algorithm which may be followed to treat known knowledge to produce new groundbreaking results?
Equivalently, can we define ingenuity?
Can we formalize ideal thinking process? Will this formalization guarantee best possible thinking procedure (best in terms of ability to produce/discover new knowledge)?
Answers to this question are expected to throw light on nature of unknown (but true and existing) knowledge (scientific and non-scientific) and its accessibility.