Do the existing paradigms in the logic of questions allow one to combine questions and proofs? It starts out with an overview of the leading paradigms, issues, problems and ready solutions in the logic of questions, and places Inferential Erotetic Logic and the method of Socratic proofs against a wider background.