Stating and proving that answers to questions and other statements are responsive seems to require a substantially larger logical apparatus than merely proving that the answers are truthful.

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• How can we formally specify and verify that answers to questions are responsive rather than merely truthful?question0.906
  Core problem requiring logical apparatus beyond simple truth conditions; McCarthy proposes solution using concept notation from McCarthy 1979b.
• An answer is responsive provided the questioner will know the answer to the question after he receives it.claim0.885
  Definition of responsiveness for verification purposes.
• A question anywhere along the line that elicits a premature attempt at an answer could neutralize the remainder of the process into rationalization.hypothesis0.801
  About chain-of-thought and process safety.
• The results are more widely applicable; similar results will come from asking people in other cultures to answer analogous questions.claim0.796
  Universalist claim predicting cross-cultural generality.
• The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept. Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program.claim0.780
  Second abstract claim.
• Reasons-responsivenessconcept0.779
  The capacity to be substantively rational and respond appropriately to reasons.
• Making something that truly pleases requires hundreds of subtle judgments, each extracting what pleases more within the whole.claim0.778
  From the West Dean experience: the north wall alone required approximately 500 such judgments.
• Many questions in the unfolding process have objective answers when viewed from the right perspective.claim0.776
  Claim that design decisions within a living process are not arbitrary but can be objectively correct.