Search results

• Directory:Jon Awbrey
  <p><font face="lucida calligraphy" size="7">Jon Awbrey</font></p> ...//intersci.ss.uci.edu/wiki/index.php/Propositions_As_Types Propositions As Types]
  15 KB (1,907 words) - 14:08, 9 October 2017
• User:Jon Awbrey
  <p><font face="lucida calligraphy" size="7">Jon Awbrey</font></p> [https://oeis.org/wiki/Propositions_As_Types_Analogy Propositions As Types Analogy]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  ...words, as signature tags. [[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 18:00, 5 December 2014 (UTC) ...g about, and even start computing, the differentials of these functions or propositions.
  127 KB (18,875 words) - 13:28, 10 December 2014
• Pragmatic theory of truth
  ...ar, and (2) an emphasis on the fact that the ''product'' variously branded as ''belief'', ''certainty'', ''knowledge'', or ''truth'' is the result of a ' In one classical formulation, truth is defined as the good of [[logic]], where logic is a [[normative science]], that is, an
  33 KB (4,907 words) - 04:32, 22 September 2014
• Directory:Jon Awbrey/Papers/Differential Logic
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...you want to call it, is to compute the differentials of these functions or propositions.
  145 KB (19,916 words) - 19:32, 11 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...nt from both conceptual and computational standpoints is based on just two types of logical connectives, both of variable <math>k\!</math>-ary scope. The f
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]] &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]]
  92 KB (15,197 words) - 14:40, 24 August 2017
• User:Jon Awbrey/Differential Logic Archive 2002
  propositions. I graph as two labels attached to a root node, so:
  134 KB (14,931 words) - 13:30, 5 December 2014
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' <br> ...Computers are involved in inquiry today, and are likely to become more so as time goes on. The aim of my research is to improve the service that comput
  121 KB (16,341 words) - 04:34, 30 October 2015
• User:Jon Awbrey/Examples Of Inquiry
  1. The interpretive aspect of inquiry as a semiotic process. 2. The differential aspect of inquiry as a dynamic process.
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...s work follows on the ''alpha graphs'' that Charles Sanders Peirce devised as a graphical syntax for [[propositional calculus]] and also on the ''calculu
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]] &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]]
  138 KB (23,322 words) - 14:50, 4 January 2015
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...he paper bridges that Peirce used to augment his genus, can be represented as parse-strings in Ascii and sculpted into pointer-structures in computer mem
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...esented by the lighter shading, while the algebraic value 1 is interpreted as the logical value <math>\mathrm{true}</math> and represented by the darker
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]] &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]]
  241 KB (38,416 words) - 15:14, 15 April 2017
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...e will find it easy enough to flash both backward and forward, to and fro, as the occasions arise for doing so.
  362 KB (47,812 words) - 19:40, 9 November 2016
• Differential Logic and Dynamic Systems
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...ke the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...ke the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.
  529 KB (75,750 words) - 14:32, 3 March 2023
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...OTE.''' The current version of this document is '''[[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0|Differential Logic and Dynamic S ...ke the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.
  394 KB (54,134 words) - 14:30, 3 March 2023
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' ...itial portion of this essay is the ''Interest Statement'' that I submitted as a part of my application to graduate school in the Systems Engineering doct
  226 KB (34,541 words) - 14:20, 20 August 2016

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