| There is a thought that forms the theme of the present inquiry, indeed, as a chorus to a lyric are its evocations to the text that records this inquiry, and I find myself returning to its expressions on a constantly recurring basis, however much I strive to introduce variations for the sake of developing its implications and reflecting on its meanings from a fresh angle. So let me give the current rendition: | | There is a thought that forms the theme of the present inquiry, indeed, as a chorus to a lyric are its evocations to the text that records this inquiry, and I find myself returning to its expressions on a constantly recurring basis, however much I strive to introduce variations for the sake of developing its implications and reflecting on its meanings from a fresh angle. So let me give the current rendition: |
− | The present inquiry, y0, portraying itself as an inquiry into inquiry, y.y, proceeds on the premiss that a generic inquiry, y, can generally inquire into a generic inquiry, y, thereby achieving a settled result, one that awaits a mere determination to be signified by the name "y.y". Thus the present inquiry, acting on the pretext of a "formal posability", that is, a poetic license, a verbal permission, or a written suggestion, being motivated and justified by no more authority than these connote, is led to define itself in terms that appose its own term to its own term, and so it is led to take on a recursive, a reflective, or a reflexive cast. | + | The present inquiry, <math>y_0,\!</math> portraying itself as an inquiry into inquiry, <math>y \cdot y,\!</math> proceeds on the premiss that a generic inquiry, <math>y,\!</math> can generally inquire into a generic inquiry, <math>y,\!</math> thereby achieving a settled result, one that awaits a mere determination to be signified by the name <math>{}^\backprime\backprime y \cdot y .</math> Thus the present inquiry, acting on the pretext of a "formal posability", that is, a poetic license, a verbal permission, or a written suggestion, being motivated and justified by no more authority than these connote, is led to define itself in terms that appose its own term to its own term, and so it is led to take on a recursive, a reflective, or a reflexive cast. |
| The present inquiry, y0, portraying itself as an inquiry into inquiry, y.y, proceeds on the premiss that a generic inquiry, y, can generally inquire into a generic inquiry, y, and thereby achieve a settled result, and that this result awaits nothing other than its determination by the present inquirer to confer an objective significance on the name "y.y". All of this is summed up in the formula: "y0 = y.y". | | The present inquiry, y0, portraying itself as an inquiry into inquiry, y.y, proceeds on the premiss that a generic inquiry, y, can generally inquire into a generic inquiry, y, and thereby achieve a settled result, and that this result awaits nothing other than its determination by the present inquirer to confer an objective significance on the name "y.y". All of this is summed up in the formula: "y0 = y.y". |