Search results

• Peirce's law
  ...[[logical graphs]], Peirce's law is represented by means of the following formal equivalence or logical equation. .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
  11 KB (1,526 words) - 04:14, 18 November 2015
• Minimal negation operator
  ==Formal definition== ...A few bits of terminology are useful in describing the pictures, but the formal details are tedious reading, and may be familiar to many readers, so the fu
  23 KB (3,337 words) - 13:54, 3 September 2017
• Directory:The Wikipedia Point of View/NLP and science (Wikipedia)
  :Due to its inherent preference for pragmatism over theory, its lack of formal and theoretical structure, and its lack of controls over usage, NLP doesn't ...concludes "that the assertions of NLP writers concerning representational systems have been objectively and fairly investigated and found to be lacking."
  8 KB (1,297 words) - 09:23, 13 December 2008
• Cybernetics
  ...zations, mathematical systems theory, operations research, simulation, and systems engineering. A more philosophical definition, suggested in 1956 by Louis C ...he social implications of cybernetics, drawing analogies between automatic systems such as a regulated steam engine and human institutions in his best-selling
  14 KB (1,827 words) - 18:48, 27 July 2016
• Relation (mathematics)
  In mathematics, a '''finitary relation''' is defined by one of the formal definitions given below. ==Formal definitions==
  20 KB (2,925 words) - 17:08, 14 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  ...be developed, over and above the material of propositional logic. At the formal extreme there is the aspect of higher order functional types, into which we It's hard to tell if it makes any difference from a purely formal point of view, but it serves intuition to devise a slightly different inter
  81 KB (10,378 words) - 02:22, 5 July 2013
• Directory:Jon Awbrey/EPITEXT
  {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} ===Philosophy of Notation : Formal Terms and Flexible Types===
  22 KB (3,003 words) - 21:40, 2 July 2008
• User:Jon Awbrey/ARCHIVE
  * [[Propositional Equation Reasoning Systems]] ===Inquiry Driven Systems===
  39 KB (4,682 words) - 14:55, 21 May 2007
• Ordinal number
  ...nition must be abandoned in [[Zermelo-Fraenkel set theory|ZF]] and related systems of [[axiomatic set theory]] because these equivalence classes are too large ...[[type theory]] and in Quine's set theory [[New Foundations]] and related systems
  29 KB (4,819 words) - 16:23, 9 January 2007
• Relation theory
  ...o, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. ...ociated with philosophical differences over the status in reality accorded formal objects. Among those who speak of numbers, functions, properties, relation
  25 KB (3,665 words) - 21:04, 16 November 2015
• Logical graph
  A '''logical graph''' is a graph-theoretic structure in one of the systems of graphical syntax that Charles Sanders Peirce developed for logic. ...developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
  41 KB (5,845 words) - 14:26, 6 November 2015
• Directory:Jon Awbrey/Papers/Propositions As Types
  ...al definition for the operator <math>\operatorname{T},</math> in effect, a formal syntactic specification that tells how the operator is required to act on o ...math>\operatorname{T},</math> understood as a sequence of manipulations on formal identifiers, or on symbols taken as objects in their own rights.
  150 KB (9,422 words) - 23:54, 6 July 2013
• Directory:Peter Hale
  ...ing both increases in complexity of manufactured products, and of software systems themselves. Cheung (2005) writes "there is no single management tool or dat Horrocks (2002) explains the advantages of moving towards a more formal ontology. This can provide for a new way of enabling end-user programming -
  19 KB (2,806 words) - 13:35, 22 April 2007
• User:Roygbiv/Graph
  ...cal graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [http://mywikibiz.com/Charles_Sanders_Peirce C ...developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  ...out for discussing <math>X\!</math> in terms of <math>q,\!</math> and this formal language is more formally known as the ''propositional calculus'' with alph ...th>\boldsymbol\varepsilon\!</math> or <math>\boldsymbol\lambda\!</math> in formal languages, where it forms the identity element for concatenation. It may b
  158 KB (22,468 words) - 03:24, 27 December 2016
• Pragmatic Semiotic Information
  ...an be corralled by a single pen, but there do exist established models and formal theories that address definable aspects of uncertainty, and these have enou .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  20 KB (2,552 words) - 15:16, 2 March 2024
• Semiotic Information
  ...an be corralled by a single pen, but there do exist established models and formal theories that address definable aspects of uncertainty, and these have enou .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  20 KB (2,557 words) - 15:36, 5 November 2020
• Directory:Jon Awbrey/Papers/Semiotic Information
  ...an be corralled by a single pen, but there do exist established models and formal theories that address definable aspects of uncertainty, and these have enou .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  20 KB (2,560 words) - 14:10, 29 October 2016
• Relation reduction
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  29 KB (4,035 words) - 03:32, 15 November 2015
• Sign relation
  ...o ''C''. It is from this definition, together with a definition of &ldquo;formal&rdquo;, that I deduce mathematically the principles of logic. I also make ...he is invoking a more general concept of determination, what is called a ''formal'' or ''informational'' determination, as in saying &ldquo;two points determ
  58 KB (8,260 words) - 03:40, 21 November 2016

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