This is a Survey of blog and wiki posts on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject.
An inquiry driven system is a system having among its state variables some representing its state of information with respect to various topics of interest, for example, its own state and the states of any potential object systems. Thus it has a component of state tracing a trajectory though an information state space.
Elements
Blog Dialogs
Developments
- Functional Logic • Inquiry and Analogy
- Inquiry Driven Systems • Fields Of Inquiry
- Inquiry Driven Systems • Inquiry Into Inquiry
Applications
- Interpretation as Action • The Risk of Inquiry
- Exploring Research Data Interactively • Theme One : A Program of Inquiry
- An Architecture for Inquiry • Building Computer Platforms for Discovery
- Organizations of Learning or Learning Organizations • The Challenge of Creating Integrative Universities for the Next Century
- Conceptual Barriers to Creating Integrative Universities
of sentences is called a theory. A theory is said to be closed iff every consequence of 
A set 
of sentences is said to be a set of axioms for a theory 
of all consequences of 
is notated as 
Information about the connotative aspect of meaning is obtained from 
and the interpretant domain 
The connotative component of a sign relation 
alternatively written in any of forms, 
and 
is defined as follows.
and 
respectively. The rows of each Table list the ordered pairs 
in the corresponding projections, 
Information about the denotative aspect of meaning is obtained from 
and the sign domain 
The denotative component of a sign relation 
and 
is defined as follows.
in the corresponding projections, 
and 
various rows of the Tables specify, for example, that 
to denote 
to denote 
uses 
whether it is a sign relation or not, there are six dyadic relations obtained by projecting 
-space 
The six dyadic projections of a triadic relation 
-plane 
is written briefly as 
or written more fully as 
and is defined as the set of all ordered pairs 
in 
in the interpretant domain 
are known as the object domain, the sign domain, and the interpretant domain, respectively, of the sign relation 
In those situations it becomes convenient to lump signs and interpretants together in a single class called the sign system or the syntactic domain. In the forthcoming examples 
are identical as sets, so the same elements manifest themselves in two different roles of the sign relations in question.
![\begin{array}{ccl} O & = & \text{Object Domain} \\[6pt] S & = & \text{Sign Domain} \\[6pt] I & = & \text{Interpretant Domain} \end{array}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Bccl%7D++O+%26+%3D+%26+%5Ctext%7BObject+Domain%7D++%5C%5C%5B6pt%5D++S+%26+%3D+%26+%5Ctext%7BSign+Domain%7D++%5C%5C%5B6pt%5D++I+%26+%3D+%26+%5Ctext%7BInterpretant+Domain%7D++%5Cend%7Barray%7D&bg=ffffff&fg=000000&s=0&c=20201002)
![\begin{array}{cclcl} O & = & \{ \text{Ann}, \text{Bob} \} & = & \{ \mathrm{A}, \mathrm{B} \} \\[6pt] S & = & \{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \} & = & \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \\[6pt] I & = & \{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \} & = & \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \end{array}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Bcclcl%7D++O++%26+%3D+%26++%5C%7B+%5Ctext%7BAnn%7D%2C+%5Ctext%7BBob%7D+%5C%7D+%26+%3D+%26+%5C%7B+%5Cmathrm%7BA%7D%2C+%5Cmathrm%7BB%7D+%5C%7D++%5C%5C%5B6pt%5D++S++%26+%3D+%26++%5C%7B+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7BAnn%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7BBob%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7BI%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7Byou%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D+%5C%7D++%26+%3D+%26++%5C%7B+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7BA%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7BB%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7Bi%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7Bu%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D+%5C%7D++%5C%5C%5B6pt%5D++I++%26+%3D+%26++%5C%7B+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7BAnn%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7BBob%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7BI%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Ctext%7Byou%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D+%5C%7D++%26+%3D+%26++%5C%7B+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7BA%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7BB%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7Bi%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D%2C+%7B%7D%5E%7B%5Cbackprime%5Cbackprime%7D+%5Cmathrm%7Bu%7D+%7B%7D%5E%7B%5Cprime%5Cprime%7D+%5C%7D++%5Cend%7Barray%7D&bg=ffffff&fg=000000&s=0&c=20201002)
Inquiry Into Inquiry 