Search results

• Ordinal number
  ...e abandoned in [[Zermelo-Fraenkel set theory|ZF]] and related systems of [[axiomatic set theory]] because these equivalence classes are too large to form a set. ...system. Perhaps the most important ordinal which limits in this manner a system of construction is the [[Alonzo Church|Church]]-[[Stephen Cole Kleene|Kleen
  29 KB (4,819 words) - 16:23, 9 January 2007
• Prior Analytics
  ...ables, a purely formal treatment of reasoning, and the use of an axiomatic system.
  9 KB (1,457 words) - 19:14, 16 January 2013
• User:Jon Awbrey/ARCHIVE
  | align="right" | 8 || [[Formal system]] | align="right" | 4 || [[Complex adaptive system]]
  39 KB (4,682 words) - 14:55, 21 May 2007
• Philosophy of mathematics
  ...anded to an open exploration of the fundamental axioms of mathematics, the axiomatic approach having been taken for granted since the time of [[Euclid]] as the ...thmetik'' (''Basic Laws of Arithmetic'') he built up [[arithmetic]] from a system of logic with a general principle of comprehension, which he called "Basic
  73 KB (10,917 words) - 19:48, 6 September 2017
• Directory:Jon Awbrey/VORPALS
  ...ubsystem, Gödel's theorem implied that it would be impossible to prove the system's consistency relative to that (since it would then prove its own consisten ...Arithmetik'' (''Basic Laws of Arithmetic'') he built up arithmetic from a system of logic with Basic Law V (for concepts F and G, the extension of F equals
  177 KB (26,694 words) - 02:20, 15 December 2010
• User:Jon Awbrey/TRUTH
  ...a hazy impression of the area, or it may be so advanced as to admit of an axiomatic theory. ...a hazy impression of the area, or it may be so advanced as to admit of an axiomatic theory.
  237 KB (37,371 words) - 11:22, 20 August 2007
• Directory:Jon Awbrey/TRUTH
  ...a hazy impression of the area, or it may be so advanced as to admit of an axiomatic theory. ...a hazy impression of the area, or it may be so advanced as to admit of an axiomatic theory.
  237 KB (37,371 words) - 22:14, 25 January 2008
• Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
  ...pt, like ''human'', or it could be the object of a dynamic concept, like ''system in motion''. Then the Instances are the extension of that concept through | the content of that term. But this principle is not axiomatic
  73 KB (8,310 words) - 00:36, 27 April 2017
• User:Jon Awbrey/PROSPECT
  What capacity enables a system to exist in states of question? What competence enables a system to exit from its problem states?
  162 KB (25,941 words) - 13:28, 9 January 2008
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  | ''What capacity enables a system to exist in states of question?'' | ''What competence enables a system to exit from its problem states?''
  226 KB (34,541 words) - 14:20, 20 August 2016
• User:Jon Awbrey/EXIT
  ...t we are bound to encounter in any complex environment, and especially any system that involves large masses of interacting human beings, it helps to stand b ...ee the reasons why it never will. There are too many flaws built into the system at its very foundation, and everybody is just shutting their ears to the cr
  147 KB (23,399 words) - 12:51, 20 August 2007
• User:Jon Awbrey/Mathematical Notes
  they tried to do it in axiomatic set theory and formalized logic, and there proving stuff in axiomatic set theory with first order logic.
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  ...o; &mdash; is not an icon but a symbol.&nbsp; It has its place in a formal system of symbols, for example, a propositional calculus, where it would normally ...of a term is part of the content of that term. But this principle is not axiomatic by any means. Why then do we adopt it?</p>
  362 KB (47,812 words) - 19:40, 9 November 2016
• Slot machine
  ...to illustrate the concept of reliance upon authority as it relates to the axiomatic ''[[ignorantia juris non excusat]]'' ("ignorance of the law is no excuse"). This allowed the system to control the level of payout by stopping the drums at positions it had de
  78 KB (12,579 words) - 01:41, 2 January 2018
• User:Jon Awbrey/PEIRCE
  Peirce's writings repeatedly refer to a system of three [[category of being|categories]], named Firstness, Secondness, and ...erving, 'the same questions have the same answers', and the problem that a system of categories is aimed to 'beautify' is the same sort of beast whether it's
  74 KB (11,616 words) - 23:56, 21 May 2010
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  ...g possibilities: a prevailing value, a controlling parameter, a universal system of effective forces, a pervasive field of potentials, a ruling law, or a go ...agent is to inform itself about the values and the laws that form its own system. Thus, one of the objects of the conduct of inquiry is a description in te
  138 KB (23,322 words) - 14:50, 4 January 2015
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...coordinate propositions, and to interpret them as denoting properties of a system's ''state'', that is, as propositions about its location in configuration s ...choice and the evaluation of experiments, are actions that are taken by a system or its agent in response to the differences that are detected between obser
  519 KB (74,456 words) - 15:46, 3 October 2013
• Charles Sanders Peirce
  Peirce's writings repeatedly refer to a system of three [[category of being|categories]], named Firstness, Secondness, and ...erving, "the same questions have the same answers", and the problem that a system of categories is aimed to ''beautify'' is the same sort of beast whether it
  93 KB (14,277 words) - 20:00, 28 July 2017
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  For the most threadbare kind of logical system that we find residing in propositional calculus, this notion of model is al <p>It is one of the rules of my system of general harmony, ''that the present is big with the future'', and that h
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...nging their various considerations to bear on a single example of a formal system that serves to integrate their concerns, namely, ''propositional calculus'' ...arises from natural considerations about the relationship of an immanent ''system of interpretation'' (SOI) to a generated ''text of inquiry'' (TOI). In thi
  725 KB (109,715 words) - 18:09, 28 August 2014

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