Search results

• Introduction to Inquiry Driven Systems
  80 bytes (10 words) - 11:56, 6 October 2010
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...ken, forward course by following steps that are never unsure. Acquiring a theory of inquiry is not, in short, a purely deductive exercise. ...o positive proof can arise from so negative a recommendation. Acquiring a theory of inquiry is not, in sum, a purely inductive exercise.
  92 KB (15,197 words) - 14:40, 24 August 2017
• Directory talk:Jon Awbrey/Papers/Cactus Language
  Example of a proposition expressing a "zeroth order theory" (ZOT): of significant computation.
  191 KB (21,069 words) - 21:01, 29 June 2009
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...other name for the theory of inquiry is ''logic'' and another name for the theory of signs is ''semiotics''. So I might as well have said that I am interest ...es logic would I use to do this theory of signs that I would apply to this theory of inquiry that I'm also calling ''logic''? But that is precisely one of t
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...d on the pragmatic theory of inquiry and its relationship to the pragmatic theory of signs. Three questions immediately arise in the connection between inquiry and computation. As they reflect on the very idea of inquiry, they have to do with its int
  121 KB (16,341 words) - 04:34, 30 October 2015
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...day mathematical bearing, but also in way that's not unrelated to Peirce's theory of categories. ...ur consideration of logical graphs, as seems most fitting, within Peirce's theory of triadic sign relations, we have declared the first layers of our object,
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...resentation to their functional structure and smooth the path to efficient computation. ...relations are desirable because, once they are set up, all the well-worked theory of numerical mathematics lies ready at hand as a tool for our further reaso
  519 KB (74,456 words) - 15:46, 3 October 2013
• Differential Logic and Dynamic Systems
  ...relations are desirable because, once they are set up, all the well-worked theory of numerical mathematics lies ready at hand as a tool for our further reaso ===Theory of Control and Control of Theory===
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  ...relations are desirable because, once they are set up, all the well-worked theory of numerical mathematics lies ready at hand as a tool for our further reaso ===Theory of Control and Control of Theory===
  529 KB (75,750 words) - 14:32, 3 March 2023
• Directory:Jon Awbrey/Papers/Cactus Language
  ...questions of ''style'', that is, the sort of description, ''grammar'', or theory that one finds available or chooses as preferable for a given language. Th ...a complete pragmatics, though it does incline to the pragmatic aspects of computation that are auxiliary to and incidental to the human use of language. Therefo
  211 KB (31,551 words) - 20:44, 2 August 2017
• User:Jon Awbrey/Mathematical Notes
  : [[User:Jon Awbrey/Mathematical Notes#CAT. Category Theory|CAT. Category Theory]] : [[User:Jon Awbrey/Mathematical Notes#GRAPH. Graph Theory|GRAPH. Graph Theory]]
  567 KB (86,909 words) - 21:00, 6 December 2016
• User:Jon Awbrey/PROSPECT
  of systems theory and artificial intelligence to each other. in systems theory, working to extend its concepts and methods
  162 KB (25,941 words) - 13:28, 9 January 2008
• Directory:Jon Awbrey/Papers/Differential Logic
  In the case of logical conjunction, <math>f(x, y) = xy,\!</math> the computation of the enlargement <math>\mathrm{E}f\!</math> begins as follows: ...thrm{D}f.\!</math> Toward that end, the next set of Figures represent the computation of the ''enlarged'' or ''shifted'' proposition <math>\mathrm{E}f\!</math> a
  145 KB (19,916 words) - 19:32, 11 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...relations are desirable because, once they are set up, all the well-worked theory of numerical mathematics lies ready at hand as a tool for our further reaso ===Theory of Control and Control of Theory===
  394 KB (54,134 words) - 14:30, 3 March 2023
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...terms to mathematical quantities, is the very core of what "quantification theory" is all about, and definitely more to the point than the mere "innovation" ...g what may be called a ''principle of correspondence'' between probability theory and its limiting case in the forms of logic.
  226 KB (33,992 words) - 16:22, 29 December 2017
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ...resentation to their functional structure and smooth the path to efficient computation. ...hat will extend a gentle invitation to the mathematical subject of ''group theory'', and demonstrate its relevance to differential logic in a strikingly apt
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...In the current phase of investigation I am taking a standpoint in systems theory, working to extend its concepts and methods to cover increasingly interesti ...work of the past few years I have sought to apply the framework of systems theory to the problems of AI. I believe that viewing intelligent systems as dynam
  226 KB (34,541 words) - 14:20, 20 August 2016
• User:Jon Awbrey/Examples Of Inquiry
  of inquiry as a dynamic process of theory change. of inquiry as a dynamic process of theory change.
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  .../math> ought not to be misconstrued as a device for magically generating a theory of inquiry from nothing. Like any other inquiry, it requires an agent to i ...eptive way, hiding how early in the empirical process the "cloven hoof" of theory actually enters.
  138 KB (23,322 words) - 14:50, 4 January 2015
• Directory talk:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...terms to mathematical quantities, is the very core of what "quantification theory" is all about, and definitely more to the point than the mere "innovation" ...g what may be called a ''principle of correspondence'' between probability theory and its limiting case in the forms of logic.
  190 KB (28,590 words) - 21:24, 21 February 2017

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)