Questions, Possibilities, and Formal Systems

Questions, possibilities, and formal systems have done different things in the inquiry so far.

A deliberate question may initially have little force. Yet if no adequate answer appears, the question can begin to persist in ways we did not choose.

We may become genuinely puzzled.

Possibilities we had not entertained enter the inquiry.

They may come from memory, imagination, another person, expertise, changed description, or explicit enumeration.

Their generation matters because evaluation cannot compensate for alternatives that never entered the inquiry.

Possibility spaces can themselves be structured more or less sharply.

Some can be made exhaustive and mutually exclusive.

Others remain useful despite uncertain boundaries.

Inquiry may then close around one answer, or deliberately preserve several possibilities when action does not require settlement, or settlement is currently impossible.

Parts of inquiry can be externalized. Comparisons can be stabilized. Procedures can be repeated. Permitted moves can be restricted.

Formal systems bring together stabilized notation, inspectable representations, repeatable procedures, and shared ways of working through problems. This changes some of the conditions under which convictions can form and be reconsidered.