Search results

• Propositional calculus
  ...that is, up to somorphism, constituted by the structural relationships of mathematical objects called ''propositions''. ...s a set of transformation rules that define a binary relation on the space of expressions.
  17 KB (2,301 words) - 15:56, 7 November 2015
• Logical implication
  ...nd this relation. In order to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connec ...concept of logical implication are expressed in ordinary language by means of linguistic forms like the following:
  16 KB (2,147 words) - 20:18, 4 November 2015
• Relation (mathematics)
  In mathematics, a '''finitary relation''' is defined by one of the formal definitions given below. ...math>&rdquo; in a statement like <math>5 + 7 = 12\!</math> or the relation of ''order'' denoted by the sign &ldquo;<math>{<}\!</math>&rdquo; in a stateme
  20 KB (2,925 words) - 17:08, 14 November 2015
• Relation theory
  ...inguished from, though closely related to, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. Two definitions of the relation concept are common in the literature. Although it is usually
  25 KB (3,665 words) - 21:04, 16 November 2015
• User:Jon Awbrey/Cactus Language Semantics Work
  ...e already taken off your novelty and some of you, I fear, are on the point of becoming truths:&nbsp; they already look so immortal, so pathetically right ...nd intents gives the parametric family of formal languages in question one of its principal <i>interpretations</i>.
  25 KB (3,945 words) - 13:58, 29 October 2025
• Directory:Jon Awbrey/Papers/Change In Logic
  | The most fundamental concept in cybernetics is that of "difference", Linear Topics. The Differential Theory of Qualitative Equations
  73 KB (6,208 words) - 04:08, 11 December 2016
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  ...nge and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target uni ...ht be a collection of locations that various individuals occupy. The area of the &ldquo;circle&rdquo; represents the individuals that have the property
  158 KB (22,468 words) - 03:24, 27 December 2016
• Sign relation
  A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by Charle ...th the same reproductive power, the sunflower would become a Representamen of the sun. (C.S. Peirce, &ldquo;Syllabus&rdquo; (''c''.&nbsp;1902), ''Collec
  58 KB (8,260 words) - 03:40, 21 November 2016
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  ...bring them to bear on the sorts of discrete dynamical themes that we find of interest in the NKS Forum. This adaptation draws on the "Cactus Rules", "P ...t, is to start thinking about, and even start computing, the differentials of these functions or propositions.
  127 KB (18,875 words) - 13:28, 10 December 2014
• User:Jon Awbrey/Differential Logic Archive 2002
  One of the first things that you can do, once you is to compute the differentials of these functions or
  134 KB (14,931 words) - 13:30, 5 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ...expressive capacity to describe change and diversity in a logical universe of discourse. ...differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  of graph-theoretical data structures in memory, structures that have been designed to support a variety of fundamental learning and reasoning tasks.
  94 KB (8,938 words) - 22:12, 9 December 2015
• Directory:Jon Awbrey/Papers/Differential Logic
  ...al Logic : Introduction]]&rdquo; but I have preserved it here for the sake of the remaining ideas that have yet to be absorbed elsewhere.'' ...expressive capacity to describe change and diversity in logical universes of discourse.
  145 KB (19,916 words) - 19:32, 11 December 2014
• Truth theory
  ...ell-bounded universes of discourse or its horizon may extend to the limits of the human imagination. Notions of truth are notoriously difficult to disentangle from many of our most basic concepts &mdash; meaning, reality, and values in general, to
  37 KB (5,460 words) - 14:45, 17 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
  ...and analogy are complex programs of reasoning that develop through stages of these three types, although normally in different orders. ...graph theorists. Hence the name ''[[cactus language]]'' for this dialect of propositional calculus.
  106 KB (13,991 words) - 18:45, 18 March 2020
• 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. ...ve graphs'', and ''existential graphs'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...h''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [http://mywikibiz.com/Charles_Sanders_Peirce Char ...ph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...alculus of indications'' that George Spencer Brown presented in his ''Laws of Form''. ...axiom, or ''initial'', is being invoked to justify the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  {{DISPLAYTITLE:Futures Of Logical Graphs}} This article develops an extension of [[Charles Sanders Peirce]]'s [[Logical Graphs]].
  168 KB (21,027 words) - 12:41, 6 August 2017
• User:Jon Awbrey/PEIRCE
  ...wikipedia.org/wiki/Talk:Charles_Sanders_Peirce/Cache cache subpage]. Some of it was later restored. ...matter and mind. Two early studies on Peirce’s realism and the influence of [[Duns Scotus]] thereon, are the chapter by McKeon in Wiener and Young (195
  74 KB (11,616 words) - 23:56, 21 May 2010

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