Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3 - Revision history

Jon Awbrey: update

2015-01-04T14:50:09Z

update

Show changes

Jon Awbrey at 13:42, 26 June 2013

2013-06-26T13:42:31Z

Jon Awbrey: • Part 8

2011-08-19T21:12:08Z

• Part 8

Jon Awbrey: • Part 7

2011-08-17T20:58:18Z

• Part 7

Jon Awbrey: + Part 6

2011-08-11T14:24:29Z

+ Part 6

Jon Awbrey: reduce double spaces in headings

2010-10-11T03:46:39Z

reduce double spaces in headings

Show changes

Jon Awbrey: /* 3.1.1. The Matrix of Inquiry */ spacing

2010-10-10T06:04:05Z

3.1.1. The Matrix of Inquiry: spacing

Jon Awbrey: update nav bars

2010-09-20T15:06:20Z

update nav bars

Jon Awbrey: /* 3.5.4. Recapitulation — Da Capo, Al Segno */ format sigil

2010-09-14T14:10:59Z

3.5.4. Recapitulation — Da Capo, Al Segno: format sigil

Jon Awbrey: /* 3.5.4. Recapitulation — Da Capo, Al Segno */ TeX

2010-09-14T14:06:20Z

3.5.4. Recapitulation — Da Capo, Al Segno: TeX

@@ Line 1,070: / Line 1,070: @@
 </div>
 ----
 [[Category:Artificial Intelligence]]

@@ Line 10: / Line 10: @@
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6|Part 6]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 7|Part 7]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]
@@ Line 1,062: / Line 1,063: @@
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6|Part 6]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 7|Part 7]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

@@ Line 9: / Line 9: @@
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6|Part 6]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]
@@ Line 1,060: / Line 1,061: @@
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6|Part 6]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

@@ Line 8: / Line 8: @@
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]
@@ Line 1,058: / Line 1,059: @@
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
 &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

@@ Line 38: / Line 38: @@
 The reader may take my apology for this style of presentation to be implicit in its dogmatic character.  It is done this way in a first approach for the sake of avoiding an immense number of distractions, each of which is not being slighted but demands to be addressed in its own good time.  I want to convey the general drift of my current model, however conjectural, naive, uncritical, and unreflective it may seem.
-====3.1.1.  The Matrix of Inquiry====
+====3.1.1. The Matrix of Inquiry====
 {| align="center" cellpadding="0" cellspacing="0" width="90%"

@@ Line 1,043: / Line 1,043: @@
 All in all, the original formula serves well enough as a sigil, a wholly symbolic annotation, and so it can be allowed to rest at the top of the current phase of work, but if this semblance of an equation is intended to make sense in a less arbitrary, a more articulate, and a less occult fashion, then it will have to be given a more practical meaning, in terms that can guide the actual conduct of inquiry.
-The work up to this point pushes the discussion of formalization as far as it can go in a certain direction, at least, for now.  While maintaining this discussion, it is time to step back, to recall the broader context in which formalization takes place, and thus to enter on a discussion of the inquiry that this process of formalization is initially meant to serve.  <math>y_0 = y \cdot y >\!\!= y \cdot \{ d, f \} >\!\!= y \cdot \{ d \}</math>.
+The work up to this point pushes the discussion of formalization as far as it can go in a certain direction, at least, for now.  While maintaining this discussion, it is time to step back, to recall the broader context in which formalization takes place, and thus to enter on a discussion of the inquiry that this process of formalization is initially meant to serve.
 ----

@@ Line 1,035: / Line 1,035: @@
 |}
-The formula with which the initial part of this inquiry is annotated, y0 = y.y, is intended to suggest that the present inquiry, y0, is the result of applying a generic inquiry, y, to itself.  A close inspection reveals, however, that this formula does not quite make sense, at least, not yet, and there are many things that lie in the way of its doing so.
+The formula with which the initial part of this inquiry is annotated, <math>y_0 = y \cdot y</math>, is intended to suggest that the present inquiry, <math>y_0\!</math>, is the result of applying a generic inquiry, <math>y\!</math>, to itself.  A close inspection reveals, however, that this formula does not quite make sense, at least, not yet, and there are many things that lie in the way of its doing so.
-For one thing, where is the system of interpretation that can make sense of these signs, not just the "y" and the "y0" but the "." of an indicated application that is so often slighted to the point of omission?  Neither the form of this application nor the medium of its transmission are likely to be so transparent, or quite so easily taken for granted.
+For one thing, where is the system of interpretation that can make sense of these signs, not just the <math>{}^{\backprime\backprime} y {}^{\prime\prime}</math> and the <math>{}^{\backprime\backprime} y_0 {}^{\prime\prime}</math> but the <math>{}^{\backprime\backprime} \cdot {}^{\prime\prime}</math> of an indicated application that is so often slighted to the point of omission?  Neither the form of this application nor the medium of its transmission are likely to be so transparent, or quite so easily taken for granted.
-For another thing, who really imagines that naming an ongoing process is all that it takes to fix it in mind, to make it a passive object of thought?  The problem is that we never hold the inquiry itself within our grasp, but only the signs of it, and only a sample of these.  When all is said and done, there is nothing but the protocol of an experiment, the record of a trial, or the text of an inquiry that we have to examine.  In a sense, a statement to the effect that y0 = "y".y makes for a better account of how this self-described self-application actually gets going, since it is only an arbitrary sign of the passing moment of inquiry that supplies the initial argument and indicates the ultimate object of the pressing moment of inquiry.  In effect, the present inquiry, y0, is the result of calling up a generic faculty for inquiry, y, and setting it to work on whatever is indicated by a purely conventional name for itself, that is to say, on the argument "y".
+For another thing, who really imagines that naming an ongoing process is all that it takes to fix it in mind, to make it a passive object of thought?  The problem is that we never hold the inquiry itself within our grasp, but only the signs of it, and only a sample of these.  When all is said and done, there is nothing but the protocol of an experiment, the record of a trial, or the text of an inquiry that we have to examine.  In a sense, a statement to the effect that <math>y_0 = {}^{\backprime\backprime} y {}^{\prime\prime} \cdot y</math> makes for a better account of how this self-described self-application actually gets going, since it is only an arbitrary sign of the passing moment of inquiry that supplies the initial argument and indicates the ultimate object of the pressing moment of inquiry.  In effect, the present inquiry, <math>y_0\!</math>, is the result of calling up a generic faculty for inquiry, <math>y\!</math>, and setting it to work on whatever is indicated by a purely conventional name for itself, that is to say, on the argument <math>{}^{\backprime\backprime} y {}^{\prime\prime}</math>.
 All in all, the original formula serves well enough as a sigil, a wholly symbolic annotation, and so it can be allowed to rest at the top of the current phase of work, but if this semblance of an equation is intended to make sense in a less arbitrary, a more articulate, and a less occult fashion, then it will have to be given a more practical meaning, in terms that can guide the actual conduct of inquiry.
-The work up to this point pushes the discussion of formalization as far as it can go in a certain direction, at least, for now.  While maintaining this discussion, it is time to step back, to recall the broader context in which formalization takes place, and thus to enter on a discussion of the inquiry that this process of formalization is initially meant to serve.  y0 = y?y >= y?{d, f} >= y?{d}.
+The work up to this point pushes the discussion of formalization as far as it can go in a certain direction, at least, for now.  While maintaining this discussion, it is time to step back, to recall the broader context in which formalization takes place, and thus to enter on a discussion of the inquiry that this process of formalization is initially meant to serve.  <math>y_0 = y \cdot y >\!\!= y \cdot \{ d, f \} >\!\!= y \cdot \{ d \}</math>.
 ----