Search results

• Directory:Jon Awbrey/Papers/Semiotic Information
  ...that subtle thinkers arrived at long before the dawn of modern information theory still have their uses in setting the stage of an introduction. ...nd are easily recognizable as staking out the two main axes of information theory, namely, the dual dimensions of ''information'' and ''control''. Roughly t
  20 KB (2,560 words) - 14:10, 29 October 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems
  ===Basic Notions of Group Theory=== ===Basic Notions of Formal Language Theory===
  15 KB (1,597 words) - 12:00, 15 April 2017
• Dynamics of inquiry
  ...c]]', and tracking next the ways of thinking that led him to develop a ''[[theory of inquiry]]'', one that would be up to the task of saying 'how science wor ...ns denoting and objects denoted is critical to the discussion of Peirce's theory of signs. Wherever needed in the rest of this article, therefore, in order
  24 KB (3,783 words) - 00:25, 16 November 2015
• Peirce's law
  '''Proof.''' Using the axiom set given in the entry for [[logical graphs]], Peirce's law may be proved in th * [[Relation theory]]
  11 KB (1,526 words) - 04:14, 18 November 2015
• Directory:Jon Awbrey/SANDBOX
  ...operations ''f'': ''X''^''n''→''X'' on a ''k''-element set ''X'', there are therefore 2²^{^''n''} ''n''-a ...operations ''f'': ''X''^''n''→''X'' on a ''k''-element set ''X'', there are therefore 2²^{^''n''} ''n''-a
  46 KB (7,067 words) - 04:10, 22 May 2010
• Relation composition
  ...rdquo; approach to relations that is outlined in the article on [[relation theory]]. ...ms, in set theories of various kinds, and through a broadening of category theory from functions to relations in general.
  65 KB (6,802 words) - 18:14, 14 November 2015
• Sign relation
  A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by Cha ...precise enough, so long as one recognizes that its meaning in a particular theory of signs is given by a specific definition of what it means to be a sign.
  58 KB (8,260 words) - 03:40, 21 November 2016
• Pragmatic theory of truth
  '''''Pragmatic theory of truth''''' refers to those accounts, definitions, and theories of the co Pragmatic theories of truth enter on a stage that was set by the philosophies of former ages, with special reference to the [[Ancient
  33 KB (4,907 words) - 04:32, 22 September 2014
• Directory:Jon Awbrey/Papers/Change In Logic
  Linear Topics. The Differential Theory of Qualitative Equations One finds discussed there the notion of a "polymorphous set". Such a set
  73 KB (6,208 words) - 04:08, 11 December 2016
• Logical implication
  Regarded as a set, this triadic relation is the same thing as the binary operation: * [[Relation theory]]
  16 KB (2,147 words) - 20:18, 4 November 2015
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  ...al propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, proc ...es the same universe of discourse and extends the basis of discussion to a set of two qualities, <math>\{ q, \mathrm{d}q \}.\!</math> In parallel fashion
  158 KB (22,468 words) - 03:24, 27 December 2016
• User:Badmachine/wikipedia-en-2011-11-19
  �03[13:10] * Set by derp!~omg@bas7-montrealak-1128544932.dsl.bell.ca on Sun Oct 23 20:29:19 [13:46] <Ironholds> the problem with this is it means there's now no popular theory for why some people who do it are mean
  22 KB (2,834 words) - 04:49, 24 January 2015
• Air Midwest Flight 5481
  Another possibility was that Flight 5481 encountered wake turbelence, the theory was backed-up when investigators discovered a Bombardier CRJ took off earli ...nbuckle]]s controlling [[tension]] on the cables to the elevators had been set incorrectly, resulting in insufficient elevator travel, leading to the pilo
  8 KB (1,110 words) - 19:53, 16 March 2009
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  the graphs that are called "cacti" and "conifers" in graph theory, Let V(G) be the set of nodes in a graph G and let L be a set of identifiers.
  94 KB (8,938 words) - 22:12, 9 December 2015
• Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
  I've been meaning to get back to Peirce's theory of information, because I believe that it contains a yet-to-be-tapped poten That's a very rough sketch of just one aspect of Peirce's theory, but we can refine it as we go. The next order of business, though, is to
  73 KB (8,310 words) - 00:36, 27 April 2017
• Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
  ...C.S. Peirce's treatment of analogy, placing it in relation to his overall theory of inquiry. The first order of business is to introduce the three fundamen ====Version 2. &ldquo;A Theory of Probable Inference&rdquo; (1883)====
  106 KB (13,991 words) - 18:45, 18 March 2020
• User:Roygbiv/Graph
  A '''logical graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] t ...tends to be confusing unless the logical expression under consideration is set off in a separate display.
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  | Let <math>P\!</math> be the set of values <math>\{ \texttt{(} p \texttt{)},~ p \} ~=~ \{ \operatorname{not} | Let <math>Q\!</math> be the set of values <math>\{ \texttt{(} q \texttt{)},~ q \} ~=~ \{ \operatorname{not}
  127 KB (18,875 words) - 13:28, 10 December 2014
• Inquiry
  ...the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of ...ormative science]] of [[logic]]. In its inception, the pragmatic model or theory of inquiry was extracted by Peirce from its raw materials in classical logi
  58 KB (7,676 words) - 22:34, 15 November 2015
• User:Jon Awbrey/Differential Logic Archive 2002
  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}.
  134 KB (14,931 words) - 13:30, 5 December 2014

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