Search results

• Minimal negation operator
  ...)~\!</math> is a logical connective that says &ldquo;just one false&rdquo; of its logical arguments.&nbsp; The first four cases are described below. ...in the form <math>\nu(),~\!</math> then it cannot be true that exactly one of the arguments is false, so <math>\nu() = \mathrm{false}.~\!</math>
  23 KB (3,337 words) - 13:54, 3 September 2017
• Directory:Jon Awbrey/Papers/Change In Logic
  | The most fundamental concept in cybernetics is that of "difference", Linear Topics. The Differential Theory of Qualitative Equations
  73 KB (6,208 words) - 04:08, 11 December 2016
• User:Badmachine/wikipedia-en-2013-05-18
  21:31 -!- Irssi: #wikipedia-en: Total of 204 nicks [1 ops, 0 halfops, 0 voices, 203 normal] ...aiwan I want my machine to keep screaming, not give up cycles for the sake of M$ cruft just b/c it is newer. The tradeoff is just not worth it on that b
  22 KB (3,295 words) - 21:40, 23 January 2015
• Inquiry
  ...of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim. ...' must necessarily be predicated of all ''C''. &hellip; I call this kind of figure the First. (Aristotle, ''Prior Analytics'', 1.4).</p>
  58 KB (7,676 words) - 22:34, 15 November 2015
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...alculus of indications'' that George Spencer Brown presented in his ''Laws of Form''. ...axiom, or ''initial'', is being invoked to justify the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  {{DISPLAYTITLE:Futures Of Logical Graphs}} This article develops an extension of [[Charles Sanders Peirce]]'s [[Logical Graphs]].
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Papers/Cactus Language
  ...f scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with v | align="right" | &mdash; Herbert J. Bernstein, &ldquo;Idols of Modern Science&rdquo;, [HJB, 38]
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  * The universe of discourse is a set, <math>X,\!</math> represented by the area inside the la ...h>\mathbb{B} = \{ 0, 1 \},</math> represented by the two distinct shadings of the regions inside the rectangle.
  369 KB (46,156 words) - 04:20, 27 December 2016
• User:Jon Awbrey/Mathematical Notes
  | Category theory starts with the observation that many properties of | with diagrams of arrows. Each arrow f : X -> Y represents a function;
  567 KB (86,909 words) - 21:00, 6 December 2016
• User:Badmachine/wikipedia-en-2013-06-08
  00:25 < Dcoetzee> ToAruShiroiNeko: I'd rather have a crazy person out of the race than risk them being elected 00:27 < David_Stevenson> some kind of Alaskan adventure
  126 KB (18,486 words) - 23:46, 20 January 2015
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  | '''''NOTE.''' The current version of this document is '''[[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dy ...ential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic systems. The work pursued here is coordinated
  394 KB (54,134 words) - 14:30, 3 March 2023
• Differential Logic and Dynamic Systems
  ...fferential extension of propositional calculus and applies it to a context of problems arising in dynamic systems.&nbsp; The work pursued here is coordin This note continues a previous discussion on the problem of dealing with change and diversity in logic-based intelligent systems. It i
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  ...fferential extension of propositional calculus and applies it to a context of problems arising in dynamic systems. The work pursued here is coordinated This note continues a previous discussion on the problem of dealing with change and diversity in logic-based intelligent systems. It i
  529 KB (75,750 words) - 14:32, 3 March 2023
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  ===1.1. Outline of the Project : Inquiry Into Inquiry=== ...pass the general trend of all forms of reasoning that lead to the features of scientific investigation as their ultimate development.
  241 KB (38,416 words) - 15:14, 15 April 2017
• User:Badmachine/wikipedia-en-2012-08-14
  00:12 -!- IDoH [~I@wikipedia/I-dream-of-horses] has left #wikipedia-en [] 00:53 < mareklug> 1 tonne car is kind of unforgiving
  200 KB (28,782 words) - 00:12, 24 January 2015
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...ion of this essay is the ''Interest Statement'' that I submitted as a part of my application to graduate school in the Systems Engineering doctoral progr ...f current research interests and directions. I realize that many features of this sketch are likely to change as details are clarified and as new experi
  226 KB (34,541 words) - 14:20, 20 August 2016
• User:Badmachine/wikipedia-en-2012-08-11
  02:00 < Sp33dyphil> are you much of a copy editor? 02:47 < Ironholds> that's kinda rude of him
  223 KB (32,353 words) - 00:09, 24 January 2015
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...es that are involved in approaching the construction of a RIF. The topics of these sections are described in greater detail below. ...other systems of belief, knowledge, or opinion that are employed by agents of inquiry, with especial regard to the ways that these outlooks develop over
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  One of the first things that you can do, once you is to compute the differentials of these functions or
  899 KB (89,922 words) - 19:22, 6 December 2014
• User:Badmachine/wikipedia-en-2012-08-19
  00:02 < Isarra> Takes care of messy problems. ...Isarra> Just makes them disappear... it s the kind of very effective lack of efficiency that makes a lunatic feel at home.
  239 KB (34,391 words) - 00:16, 24 January 2015

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