CONCEPT
Co-Formulation
The cognitive process, enabled by natural language interfaces, in which human and machine participate jointly in forming a thought rather than dividing the labor between human formulation and machine execution—the realized form of what J.C.R. Licklider called “facilitating formulative thinking.”
Every interface in the history of computing before 2025 drew the same invisible line: the human formed the thought, and the machine executed it. The command line required a syntactically correct instruction. The graphical interface required a selection from a predetermined menu. The programming language required a logically complete specification. In every case, the human met the machine on the machine’s side of the boundary—fully formulated, precisely specified, ready for execution.
J.C.R. Licklider identified this constraint in 1960 and named its elimination as the first goal of the
symbiotic partnership: to let computers facilitate
formulative thinking, not merely the execution of thinking already done. Co-formulation is the name for what he described: a cognitive exchange in which the human brings raw, half-formed thinking to the machine and receives back not an error message but an interpretation—a structured response that does not complete the thought but advances it toward the shape the human has not yet