Search results
MyWikiBiz, Author Your Legacy — Thursday October 31, 2024
Jump to navigationJump to search
- | colspan="3" | '''Transitive Law''' (Implicational Inference) | colspan="3" | '''Transitive Law''' (Equational Inference)59 KB (5,442 words) - 19:40, 8 November 2016
- ...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 extensi73 KB (8,310 words) - 00:36, 27 April 2017
- 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 sli157 KB (17,761 words) - 03:44, 10 November 2016
- ...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 t129 KB (17,728 words) - 22:14, 9 December 2015
- ...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#SET. Set Theory|SET. Set Theory]] | that is, a set X, a set Y, and a rule x ~> f x which assigns to each567 KB (86,909 words) - 21:00, 6 December 2016
- ...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 to58 KB (7,676 words) - 22:34, 15 November 2015
- 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
- ...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 whether92 KB (15,197 words) - 14:40, 24 August 2017
- ...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
- ...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, fr226 KB (33,992 words) - 16:22, 29 December 2017
- ...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 an105 KB (16,763 words) - 20:36, 26 August 2017
- <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 inf362 KB (47,812 words) - 19:40, 9 November 2016
- ...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, a138 KB (23,322 words) - 14:50, 4 January 2015
- ...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''<sub>1</sub>, …, ''a''<sub>''n''</sub>} th394 KB (54,134 words) - 14:30, 3 March 2023
- 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
- 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
- § 21. There is a general set of situations where the task arises to “build a bridge” between § 34. First, I consider a number of set-theoretic operations that can be utilized in discussing these ''identificat725 KB (109,715 words) - 18:09, 28 August 2014
- ...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 set169 KB (24,700 words) - 21:46, 23 January 2015
- 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