Search results

• Directory:Jon Awbrey/Projects/Differential Logic
  ...system]] with the expressive capacity to describe change and diversity in logical universes of discourse. A simple example of a differential logical calculus is furnished by [[differential propositional calculus]]. This aug
  2 KB (199 words) - 15:08, 30 July 2013
• Differential logic
  ...al system with the expressive capacity to describe change and diversity in logical universes of discourse. A simple example of a differential logical calculus is furnished by a [[differential propositional calculus]]. This a
  6 KB (662 words) - 22:28, 5 November 2015
• Directory:Logicle Secretary
  ...tains on the computer. This index is updated incrementally using only idle system resources so that the user does not perceive any impact on the computer’s The user interface includes a file system browser. This is an alternative to the search feature when users know where
  3 KB (416 words) - 03:47, 28 January 2010
• Directory:Jon Awbrey/ABC
  ...they risk the charge of "erroneous regard" that would make that conceptual system a "pseudoscience".
  3 KB (528 words) - 21:58, 25 January 2008
• Square of opposition
  ...nting the different ways in which each of the four [[propositions]] of the system are logically related ('opposed') to each of the others. Every categorical proposition can be reduced to one of four logical forms. These are:
  9 KB (1,495 words) - 09:18, 19 January 2010
• Propositional calculus
  A '''propositional calculus''' (or a '''sentential calculus''') is a formal system that represents the materials and the principles of ''propositional logic'' In general terms, a calculus is a formal system that consists of a set of syntactic expressions (''well-formed formulas'' o
  17 KB (2,301 words) - 15:56, 7 November 2015
• Internet hosting service
  ...which [[virtualization]] technology is employed in order to allow multiple logical servers to run on a single physical server - thus the customer receives a [ ...e Internet connection and climate control, but let the client do his own [[system administration]]; the most expensive
  3 KB (379 words) - 22:02, 21 November 2010
• Peirce's law
  ...ulus, but not in intuitionistic propositional calculus. The precise axiom system that one chooses for classical propositional calculus determines whether Pe ...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
• Organon
  ...as deliberately chosen by [[Theophrastus]] to constitute a well-structured system. Indeed, parts of them seem to be a scheme of a lecture on logic. The arra ...Refutations'']] (Latin: ''De Sophisticis Elenchis'') gives a treatment of logical fallacies, and provides a key link to Aristotle's work on rhetoric.
  8 KB (1,027 words) - 17:45, 14 February 2010
• Directory:Jon Awbrey
  ...008/07/29/logical-graphs-1/ One] [http://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ Two] [[Inquiry driven system]]
  15 KB (1,907 words) - 14:08, 9 October 2017
• User:Jon Awbrey
  [https://oeis.org/wiki/Futures_Of_Logical_Graphs Futures Of Logical Graphs] ...08/07/29/logical-graphs-1/ One] [https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ Two]
  16 KB (2,092 words) - 14:20, 14 January 2021
• User:Jon Awbrey/TABLE
  ==Logical Tables== ...sub>1011</sub> || 1 0 1 1 || (x (y)) || not x without y || x &rarr; y || [[Logical implcation|Implication]]
  396 KB (47,606 words) - 03:22, 26 April 2012
• Directory:Jon Awbrey/Notes/Precursors
  ...are otherwise recalcitrant to being ruled by logic, for the application of logical laws. The example of &#950;&#969;&#959;&#957; illustrates the fact that we ...in the different Modes of Being. Meantime, it will be proper that in our system of diagrammatization we should provide for the division, whenever needed, o
  13 KB (1,988 words) - 05:06, 16 December 2013
• User:Jon Awbrey/GRAPHICS
  Figure 23. Elements of a Cybernetic System | [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
  114 KB (10,904 words) - 18:52, 7 January 2011
• Directory:Jon Awbrey/Papers/Propositions As Types
  ...onal application and the pattern of information conversion involved in the logical rule of ''modus ponens''. ===Deductive System===
  150 KB (9,422 words) - 23:54, 6 July 2013
• User:Jon Awbrey/ARCHIVE
  # [[Futures Of Logical Graphs]] # [[Logical Graph]]
  39 KB (4,682 words) - 14:55, 21 May 2007
• User:Roygbiv/Graph
  A '''logical graph''' is a [[graph theory|graph-theoretic]] structure in one of the syst ==Duality : logical and topological==
  42 KB (5,905 words) - 21:49, 22 May 2010
• Logical graph
  A '''logical graph''' is a graph-theoretic structure in one of the systems of graphical ==Duality : logical and topological==
  41 KB (5,845 words) - 14:26, 6 November 2015
• Pragmatic Semiotic Information
  A set of signs enters on a setup like this as a system of ''middle terms'', a collection of signs that one may regard, aptly enoug * Peirce, C.S. (1867), &ldquo;Upon Logical Comprehension and Extension&rdquo;, [http://www.iupui.edu/~peirce/writings/
  20 KB (2,552 words) - 15:16, 2 March 2024
• Semiotic Information
  A set of signs enters on a setup like this as a system of ''middle terms'', a collection of signs that one may regard, aptly enoug * Peirce, C.S. (1867), &ldquo;Upon Logical Comprehension and Extension&rdquo;, [http://www.iupui.edu/~peirce/writings/
  20 KB (2,557 words) - 15:36, 5 November 2020

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