Search results

• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...ork follows on the ''alpha graphs'' that Charles Sanders Peirce devised as a graphical syntax for [[propositional calculus]] and also on the ''calculus ...quo; via Spencer-Brown's ''Laws of Form'' (LOF). In formal proofs, we use a variation of the annotation scheme from LOF to mark each step of the proof
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...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 ...confusing unless the logical expression under consideration is set off in a separate display.
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
  ...graphs are called ''cacti'' by graph theorists. Hence the name ''[[cactus language]]'' for this dialect of propositional calculus. ...and the same proposition might be reached from three different directions, as the end result of an inference in each of the three modes.
  106 KB (13,991 words) - 18:45, 18 March 2020
• Directory:Jon Awbrey/Projects/Peircean Pragmata
  Recent postings on blogs and discussion lists have brought to mind a congeries of perennial themes out of Peirce. I am prompted to collect what ''For the Time Being, a Sleightly Random Recap of Notes …''
  105 KB (16,763 words) - 20:36, 26 August 2017
• Charles Sanders Peirce
  ...mployed as a scientist for 30 years, it is for his contributions to logic, mathematics, philosophy, and the theory of signs, or ''[[semeiotic]]'', that he is larg ...er the philosophies of knowledge, language, and science. Peirce saw logic as the formal branch of the theory of signs, or ''[[semiotics]]'', here using
  93 KB (14,277 words) - 20:00, 28 July 2017
• Directory:Jon Awbrey/Papers/Cactus Language
  {{DISPLAYTITLE:Cactus Language}} ...be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions,
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  The following language is useful in describing the facts represented by the venn diagram. * The universe of discourse is a set, <math>X,\!</math> represented by the area inside the large rectangle.
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...ture of inquiry processes, with an eye to those elements that can be given a computational basis. ...all intelligent software systems in the future. In any application where a knowledge base is maintained, it will become more and more important to exa
  121 KB (16,341 words) - 04:34, 30 October 2015
• User:Jon Awbrey/Examples Of Inquiry
  the microscope and look at a few of its finer details. In particular, I can use it to illustrate a couple of
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  \mathrm{a}. & \text{animal} \mathit{a}. & \text{enemy}
  226 KB (33,992 words) - 16:22, 29 December 2017
• User:Badmachine/wikipedia-en-2015-07-15
  [00:00:09] * Keegan is now known as Keegan|Away [00:12:03] <Elaborate_Blob> yay the Internet is a wonderful thing
  92 KB (11,781 words) - 01:17, 22 July 2015
• User:Badmachine/wikipedia-en-2011-11-14
  [15:45] <Fluffernutter> just a bit shaggy �06[15:46] * Ironholds goes to find a photo
  104 KB (13,241 words) - 04:52, 24 January 2015
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  ...sions and intensions, Peirce, of course, has another idea, and I would say a better idea, in part, because it forms the occasion for him to bring in his ...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
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  I am using the word ''inquiry'' in a way that is roughly synonymous with the term ''scientific method''. Use of ...o include any form of proceeding toward knowledge that merely aims at such a method.
  138 KB (23,322 words) - 14:50, 4 January 2015
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project. This note continues a previous discussion on the problem of dealing with change and diversity in
  394 KB (54,134 words) - 14:30, 3 March 2023
• Differential Logic and Dynamic Systems
  ...main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project. This note continues a previous discussion on the problem of dealing with change and diversity in
  528 KB (75,728 words) - 21:56, 14 January 2021
• User:Jon Awbrey/Mathematical Notes
  | mathematical systems can be unified and simplified by a presentation | with diagrams of arrows. Each arrow f : X -> Y represents a function;
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  ...main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project. This note continues a previous discussion on the problem of dealing with change and diversity in
  529 KB (75,750 words) - 14:32, 3 March 2023
• User:Badmachine/wikipedia-en-2013-07-05
  Jul 05 00:00:02 * zz_nas is now known as zz_zz_nas Jul 05 00:00:05 <SoapX> but still, on a regular ISP youd be paying that within 9 months or so at most
  157 KB (20,118 words) - 03:08, 16 August 2015
• User:Badmachine/wikipedia-en-2011-11-22
  ...the like can be filed here and we'll try to help. To find an operator for a particular channel, type "/quote chanserv access #channel list". [13:52] <jubo2> Ecliptica: looks like a cell phone number
  193 KB (25,713 words) - 04:47, 24 January 2015

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