Search results

• Directory:Jon Awbrey/MathJax Problems
  | colspan="3" | '''Transitive Law''' (Implicational Inference) | colspan="3" | '''Transitive Law''' (Equational Inference)
  59 KB (5,442 words) - 19:40, 8 November 2016
• Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
  ...dimensions. I have placed ''class'' in accord with contemporary usage in set theory, as my sense of the reading tells me that Peirce is using ''class'' ...licity let's regard extension as a set of instances and comprehension as a set of properties. This will allow us to treat breadth as a measure of extensi
  73 KB (8,310 words) - 00:36, 27 April 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  All of the axioms in this set have the form of equations. This means that all of the inference licensed ...round to finding the most elegant and minimal, or anything near a complete set of axioms for the ''cactus language'', so what I list here are just the sli
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Syntactic Transformations
  ...in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among their roughly parallel Given an indexed set of sentences, <math>s_j\!</math> for <math>j \in J,</math> it is possible t
  129 KB (17,728 words) - 22:14, 9 December 2015
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...tends to be confusing unless the logical expression under consideration is set off in a separate display. ...texttt{(} ~ \texttt{)} ~ \texttt{)} = \quad {}^{\prime\prime}~\!</math> or set off in a text display:
  168 KB (21,027 words) - 12:41, 6 August 2017
• User:Jon Awbrey/Mathematical Notes
  : [[User:Jon Awbrey/Mathematical Notes#SET. Set Theory|SET. Set Theory]] | that is, a set X, a set Y, and a rule x ~> f x which assigns to each
  567 KB (86,909 words) - 21:00, 6 December 2016
• Inquiry
  ...alculus or sentential logic, deduction comes down to applications of the [[transitive law]] for conditional implications and the approximate forms of inference h :* Let E(past) be the chosen set of experiences, or the circumstances that we have in mind when we refer to
  58 KB (7,676 words) - 22:34, 15 November 2015
• User:Jon Awbrey/Examples Of Inquiry
  So this logical set-up, or the likes of it, is what we may assume, I hope that will be enough of a set-up to get this show on the road.
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...ue C of unanalyzed abilities that must be called in from outside the basic set. In effect, the residual abilities are assigned to the human side of the i ...re completely reduced to a set of methods. The catch is whether the basic set of resources is already implemented, or is just being promised, and whether
  92 KB (15,197 words) - 14:40, 24 August 2017
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...one set of them to the other. The catch will always be whether the basic set of resources has already been implemented, or is just being promised, and w ...that enable human inquiry it brings me to the question as to "how" I would set out to improve the human capacity for inquiry by computational means.
  121 KB (16,341 words) - 04:34, 30 October 2015
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...he genus <math>\mathrm{x}\!</math> and the element <math>x\!</math> of the set <math>X\!</math> as we pass between the two styles of text. ...math><\!</math> plainly conform to the indispensable conditions. Upon the transitive character of these relations the syllogism depends, for by virtue of it, fr
  226 KB (33,992 words) - 16:22, 29 December 2017
• Directory:Jon Awbrey/Projects/Peircean Pragmata
  ...Every sign has a single object, though this single object may be a single set or a single continuum of objects. No general description can identify an o ...nted as the designation of an even far more important procedure, whereby a transitive element of thought is made substantive, as in the grammatical change of an
  105 KB (16,763 words) - 20:36, 26 August 2017
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  <p>The second kind of representations are such as are set up by a convention of men or a decree of God. Such are ''tallies'', ''prop ...nto forming the natural kinds lattice from the free lattice that logic and set theory would otherwise impose. The local manifestations of this global inf
  362 KB (47,812 words) - 19:40, 9 November 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  ...from nothing: To take for granted nothing more than is already given, to set out from nothing but absolutely certain beginnings, or to move forward with An array of concepts that is set up to capture the essence of a subject is a provisional definition of it, a
  138 KB (23,322 words) - 14:50, 4 January 2015
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...ers. In the present text I preserve this form of expression in tables and set-off displays, but in contexts where parentheses are needed for functional n In the general case, we start with a set of logical features {''a''₁, &hellip;, ''a''_''n''} th
  394 KB (54,134 words) - 14:30, 3 March 2023
• Differential Logic and Dynamic Systems
  In the general case, we start with a set of logical features <math>\{a_1, \ldots, a_n\}</math> that represent proper ...th the set of points <math>\langle a_1, \ldots, a_n \rangle</math> and the set of propositions <math>f : \langle a_1, \ldots, a_n \rangle \to \mathbb{B}</
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  In the general case, we start with a set of logical features <math>\{a_1, \ldots, a_n\}</math> that represent proper ...th the set of points <math>\langle a_1, \ldots, a_n \rangle</math> and the set of propositions <math>f : \langle a_1, \ldots, a_n \rangle \to \mathbb{B}</
  529 KB (75,750 words) - 14:32, 3 March 2023
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  &sect; 21. &nbsp; There is a general set of situations where the task arises to &ldquo;build a bridge&rdquo; between &sect; 34. &nbsp; First, I consider a number of set-theoretic operations that can be utilized in discussing these ''identificat
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Badmachine/wikipedia-en-2013-05-07
  ...reklug> tsxp your ISP may have zonked wikimedia in its DNS caching. maybe set DNS servers tosometthingelse for now? 8.8.8.8, 8.8.4.4 ...into the Mac desktop / Finder you don't even have to know the rms command set
  169 KB (24,700 words) - 21:46, 23 January 2015
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  1. Let X be the set of values {(x), x} = {not x, x}. 2. Let Y be the set of values {(y), y} = {not y, y}.
  899 KB (89,922 words) - 19:22, 6 December 2014

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