Search results

• User:Jon Awbrey/HISTORY
  ===Aug — Extensions Of Logical Graphs=== ===Jul — Reflective Extension Of Logical Graphs===
  7 KB (890 words) - 14:20, 12 June 2009
• Directory:Jon Awbrey/Projects/Logic Of Information
  * [[Directory:Jon Awbrey/Papers/Futures Of Logical Graphs|Futures Of Logical Graphs]] * [[Laws of Form]]
  2 KB (182 words) - 04:04, 19 June 2007
• Descriptive science
  A '''descriptive science''', also called a '''special science''', is a form of [[inquiry]], typically involving a community of inquiry and its accumula ===Logical operators===
  5 KB (556 words) - 16:15, 4 November 2020
• Normative science
  A '''normative science''' is a form of [[inquiry]], typically involving a community of inquiry and its accumula ===Logical operators===
  5 KB (568 words) - 16:10, 4 November 2020
• Boolean function
  ...nitary boolean function''' is a [[function (mathematics)|function]] of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>\mathbb{B} = \{ 0 ===Logical operators===
  5 KB (589 words) - 20:24, 5 November 2015
• Continuous predicate
  ...nection between the different subjects as expressed in the propositional ''form''.&nbsp; What I mean by &ldquo;everything that can be removed from the pred ...ose we attempt to remove more from the predicate and put the last into the form &ldquo;&mdash; exercises the function of relate of the relation &mdash; to
  8 KB (1,058 words) - 04:08, 10 November 2015
• Truth table
  ...>\{ \operatorname{false}, \operatorname{true} \}.</math> The names of the logical values, or ''truth values'', are commonly abbreviated in accord with the eq ...ent a truth function by a [[boolean function]], that is, a function of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>k\!</math> is a n
  16 KB (2,190 words) - 03:25, 30 October 2015
• Square of opposition
  Every categorical proposition can be reduced to one of four logical forms. These are: ...roposition, the universal affirmative (''universalis affirmativa''), whose form in Latin is 'omne S est P', usually translated as 'every S is P'.
  9 KB (1,495 words) - 09:18, 19 January 2010
• Peirce's law
  ...in [[propositional calculus]] that is commonly expressed in the following form: ...eirce's law is represented by means of the following formal equivalence or logical equation.
  11 KB (1,526 words) - 04:14, 18 November 2015
• Logical implication
  ...mpasses a specific logical [[function (mathematics)|function]], a specific logical [[relation (mathematics)|relation]], and the various symbols that are used Close approximations to the concept of logical implication are expressed in ordinary language by means of linguistic forms
  16 KB (2,147 words) - 20:18, 4 November 2015
• Pragmaticism
  Pragmaticism was originally enounced² in the form of a [[maxim]], as follows: Consider what effects that might ''conceivably * [[Logical graph]]
  2 KB (254 words) - 04:12, 24 January 2008
• Zeroth order logic
  ...es underlying the algebra of sets, boolean algebra, [[boolean functions]], logical connectives, monadic predicate calculus, [[propositional calculus]], and se ...''(0,0)). Such a sequence, perhaps in another order, and perhaps with the logical values ''F'' and ''T'' instead of the boolean values 0 and 1, respectively,
  10 KB (1,357 words) - 16:04, 8 November 2015
• Semeiotic
  ...ons]], along with ''semiotic'' and the plural variants of both terms. The form ''semeiotic'' is often used to distinguish Peirce's theory, since it is les ===Logical operators===
  9 KB (1,162 words) - 20:54, 3 November 2015
• Pragmatic maxim
  * The first excerpt appears in the form of a dictionary entry, intended as a definition of ''pragmatism''. Pragmaticism was originally enounced in the form of a maxim, as follows: Consider what effects that might ''conceivably'' h
  12 KB (1,764 words) - 04:32, 17 November 2015
• Entitative graph
  * [[Laws of Form]] * [[Logical graph]]
  2 KB (200 words) - 14:26, 5 September 2017
• Directory:Jon Awbrey/ABC
  JA: Problem 1. Each of the three claims has the form of an A-ism, in other words, their subjects are not the grammatical sorty o ...but they typically include (1) the formulation of hypotheses that meet the logical criterion of contingency, defeasibility, or falsifiability and the closely
  3 KB (528 words) - 21:58, 25 January 2008
• Directory:Jon Awbrey/Papers/Linear Topics : The Differential Theory of Qualitative Equations
  This is yet another variant of the previous form, with <math>\operatorname{d}x</math> denoting small changes contemplated in That's the basic idea. The next order of business is to develop the logical side of the analogy a bit more fully, and to take up the elaboration of som
  5 KB (906 words) - 18:12, 9 May 2008
• User:Jon Awbrey/TABLE
  <td style="border-bottom:1px solid black"><math>\mathrm{Classical~Form}</math></td> <td style="border-bottom:1px solid black"><math>\mathrm{Alternate~Form}</math></td>
  396 KB (47,606 words) - 03:22, 26 April 2012
• Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
  ...aterial, let's begin with a consideration of higher order propositions and logical operators that stem from the ordinary propositions on 1 and 2 variables. ...,</math> and logical conjunctions, expressed as concatenated tuples of the form <math>e_1 ~ \ldots ~ e_k,</math> as the sole expression-forming operations
  105 KB (15,890 words) - 03:12, 4 July 2013
• Minimal negation operator
  ...ath> is a logical connective that says &ldquo;just one false&rdquo; of its logical arguments.&nbsp; The first four cases are described below. If the list of arguments is empty, as expressed in the form <math>\nu(),~\!</math> then it cannot be true that exactly one of the argum
  23 KB (3,337 words) - 13:54, 3 September 2017

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