Search results

Page title matches

Zeroth order logic
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.  The term serves to mark a level of abstraction in which the more ine

10 KB (1,357 words) - 16:04, 8 November 2015
Zeroth Order Logic
#REDIRECT [[Zeroth order logic]]

32 bytes (4 words) - 16:14, 8 November 2015
Functional Logic : Higher Order Propositions
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]

86 bytes (10 words) - 02:42, 9 September 2017
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
{{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ...sitions about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>

105 KB (15,890 words) - 03:12, 4 July 2013

Page text matches

Zeroth Order Logic
#REDIRECT [[Zeroth order logic]]

32 bytes (4 words) - 16:14, 8 November 2015
User:Jon Awbrey/HISTORY
===Sep — Zeroth Order Logic=== ===Dec — Functional Conception Of Quantificational Logic===

7 KB (890 words) - 14:20, 12 June 2009
Functional Logic : Higher Order Propositions
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]

86 bytes (10 words) - 02:42, 9 September 2017
Directory:Jon Awbrey/Projects/Logic Of Information
{{DISPLAYTITLE:Project : Logic Of Information}} * [[Directory:Jon Awbrey/Papers/Peirce's Logic Of Information|Peirce's Logic Of Information]]

2 KB (182 words) - 04:04, 19 June 2007
Logic Live
...intoinquiry.com/2012/05/17/inquiry-live-and-logic-live/ Inquiry Live & Logic Live] * [[Logic Live]]

3 KB (396 words) - 19:32, 17 September 2020
Directory:Jon Awbrey/Projects/Semiotic Theory Of Information
* [[Boolean logic]] * [[Zeroth order logic]]

1 KB (130 words) - 20:24, 21 May 2010
User:Jon Awbrey/DIFF/C
'''Differential Logic : Series C''' ...od to summarize, in rough but intuitive terms, the outlook on differential logic that we have reached so far.

9 KB (833 words) - 14:26, 22 May 2007
Logic Syllabus
==Logic Syllabus== * [[Differential logic]]

3 KB (346 words) - 18:30, 27 May 2020
Differential logic
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...]] that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a ''differential logical calcu

6 KB (662 words) - 22:28, 5 November 2015
Directory:Jon Awbrey/Projects/Cactus Language
* [[Zeroth order logic]] * [http://forum.wolframscience.com/printthread.php?threadid=726&perpage=3 Logic In Graphs]

1 KB (155 words) - 13:34, 22 May 2009
Relative term
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...to any number of other objects, called the ''correlates'' of the term, in order to denote a definite object, called the ''relate''1 of the relat

5 KB (599 words) - 20:20, 16 November 2015
Logical matrix
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (541 words) - 16:12, 11 November 2015
Zeroth order logic
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.  The term serves to mark a level of abstraction in which the more ine

10 KB (1,357 words) - 16:04, 8 November 2015
Normative science
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...aditional conceptions in philosophy, are ''aesthetics'', ''ethics'', and ''logic''.

5 KB (568 words) - 16:10, 4 November 2020
Descriptive science
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (556 words) - 16:15, 4 November 2020
Parametric operator
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (572 words) - 04:16, 7 November 2015
Boolean domain
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (561 words) - 19:54, 5 November 2015
Sole sufficient operator
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators.  In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value

5 KB (626 words) - 18:07, 7 November 2015
Relation construction
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic and mathematics, '''relation construction''' and '''relational constructibi

5 KB (621 words) - 19:18, 14 November 2015
User:Jon Awbrey/SYLLABUS
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].  

6 KB (706 words) - 19:02, 9 June 2010
Boolean function
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (589 words) - 20:24, 5 November 2015
Multigrade operator
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (618 words) - 04:12, 7 November 2015
Logical disjunction
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (656 words) - 00:40, 2 November 2015
Directory:Jon Awbrey/Projects/Inquiry Driven Systems
...menu/library/aboutcsp/awbrey/inquiry.htm Inquiry Driven Systems] — ''first part of old version'' ...ed on [[Directory:Jon Awbrey/Papers/Peirce's Logic Of Information|Peirce's Logic Of Information]]

2 KB (288 words) - 18:08, 21 May 2010
Logical conjunction
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (658 words) - 02:00, 31 October 2015
Logical equality
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (664 words) - 04:18, 4 November 2015
Logical NNOR
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (678 words) - 03:44, 5 November 2015
Logical NAND
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

5 KB (684 words) - 22:56, 4 November 2015
Universe of discourse
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...n of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'', Macmillan Publishers, 1854. Reprinted with correction

6 KB (702 words) - 19:14, 7 November 2015
Exclusive disjunction
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

6 KB (728 words) - 01:45, 31 October 2015
Logical negation
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

6 KB (729 words) - 14:16, 5 November 2015
Logic of information
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. The '''logic of information''', or the ''logical theory of information'', considers the

8 KB (1,038 words) - 03:24, 16 November 2015
Logic of relatives
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. The '''logic of relatives''', more precisely, the '''logic of relative terms''', is the study of [[relation (mathematics)|relation]]s

7 KB (919 words) - 22:48, 10 November 2015
Directory:Logic Museum/Philotheus Boehner
...oehner (February 17, 1901 – 1955) was a member of the [[Franciscan]] order and a distinguished medieval scholar.<ref name="Bonaventure">{{cite web|url ...resting he began his work as a medieval scholar by translating [[Directory:Logic Museum/Etienne Gilson|Etienne Gilson]]'s work on [[Bonaventura|Saint Bonave

5 KB (670 words) - 15:13, 5 July 2009
Organon
...ic school|Peripatetic]]s, to the standard collection of his six works on [[logic]]. The works are ''[[Categories (Aristotle)|Categories]]'', ''[[De Interpre ...ructured system. Indeed, parts of them seem to be a scheme of a lecture on logic. The arrangement of the works was made by [[Andronicus of Rhodes]] around

8 KB (1,027 words) - 17:45, 14 February 2010
Boolean-valued function
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In the formal sciences — mathematics, mathematical logic, statistics — and their applied disciplines, a boolean-valued functio

7 KB (806 words) - 21:14, 5 November 2015
Directory:Jon Awbrey
...rsci.ss.uci.edu/wiki/index.php/Peirce%27s_1870_Logic_Of_Relatives Peirce's Logic Of Relatives] ...i.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]

15 KB (1,907 words) - 14:08, 9 October 2017
Directory:Logic Museum/Augustine City of God

77 bytes (10 words) - 16:04, 16 April 2011
User:Jon Awbrey
...s://oeis.org/wiki/User:Jon_Awbrey/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information] Functional Logic [https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy (1)]

16 KB (2,092 words) - 14:20, 14 January 2021
Hypostatic abstraction
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]

7 KB (915 words) - 18:58, 10 November 2015
Continuous predicate
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. But first take something removable.  “Cain kills Abel.”  Here t

8 KB (1,058 words) - 04:08, 10 November 2015
Ampheck
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...lculus, [[propositional calculus]], sentential calculus, or [[zeroth order logic]].

9 KB (1,221 words) - 15:04, 5 November 2015
Semeiotic
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...early delineations of the three types of signs is still quite useful as a first approach to understanding their differences and their relationships to each

9 KB (1,162 words) - 20:54, 3 November 2015
Pragmatic maxim
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...e recommendation or a regulative principle in the [[normative science]] of logic, its function is to guide the conduct of thought toward the achievement of

12 KB (1,764 words) - 04:32, 17 November 2015
Directory:Jon Awbrey/Notes/Precursors
...m like they belong together. Still traveling, so this will be sporadic at first. —[[User:Jon Awbrey|JA]] ...prepare equivocal signs, that are otherwise recalcitrant to being ruled by logic, for the application of logical laws. The example of ζωο&#9

13 KB (1,988 words) - 05:06, 16 December 2013
User:Jon Awbrey/GRAPHICS
==Riffs in Numerical Order== |+ style="height:25px" | <math>\text{Riffs in Numerical Order}\!</math>

114 KB (10,904 words) - 18:52, 7 January 2011
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
{{DISPLAYTITLE:Functional Logic : Quantification Theory}} ==Toward a Functional Conception of Quantificational Logic==

81 KB (10,378 words) - 02:22, 5 July 2013
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
{{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ...sitions about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>

105 KB (15,890 words) - 03:12, 4 July 2013
Prior Analytics
...of the 'syllogistic', where three important principles are applied for the first time in history:<ref>Bochenski p. 63</ref> the use of variables, a purely f ...n]]: ''an ''instrument'' or ''manual'' of [[logic]] and method. It is the first part of the ''Analytics'' (the second being the ''Posterior Analytics''). W

9 KB (1,457 words) - 19:14, 16 January 2013
Kaina Stoicheia
...It presents a consummate integration of his ideas on the interrelations of logic, mathematics, and semeiotic, or the theory of signs. Logic is the study of the essential nature of signs.

6 KB (1,000 words) - 17:28, 7 July 2017
Logical implication
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...r to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them.

16 KB (2,147 words) - 20:18, 4 November 2015
Truth table
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...of two propositions, that produces a value of ''false'' if and only if the first operand is true and the second operand is false.

16 KB (2,190 words) - 03:25, 30 October 2015
Directory:Secret Marketing Strategies/Secret Marketing Strategies Volume 26
...ive you..." strategy tells your prospects they actually have to qualify in order to purchase your product. It increases the perceived value of your product ...orning after they buy your product. Many people buy stuff emotionally then logic sets in and they regret the purchase later on.

17 KB (2,784 words) - 21:51, 23 April 2008
Peirce's law
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...harles Sanders Peirce|Peirce, Charles Sanders]] (1885), "On the Algebra of Logic : A Contribution to the Philosophy of Notation", ''American Journal of Math

11 KB (1,526 words) - 04:14, 18 November 2015
User:Jon Awbrey/TABLE
==Differential Logic== Table A2 lists the sixteen Boolean functions of two variables in a different order, grouping them by structural similarity into seven natural classes.

396 KB (47,606 words) - 03:22, 26 April 2012
Propositional calculus
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...iples of ''propositional logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted

17 KB (2,301 words) - 15:56, 7 November 2015
Ordinal number
...rs used to denote the position in an [[Total order|ordered]] [[sequence]]: first, second, third, fourth, etc., whereas a [[cardinal number]] says "how many ...nite]] sequences and to classify sets with certain kinds of [[order theory|order]] structures on them. Ordinals are an extension of the [[natural number]]s

29 KB (4,819 words) - 16:23, 9 January 2007
Directory:Jon Awbrey/Papers/Propositions As Types
...w, the term development is carried out in reverse, that is, in application order. '''NB.''' Looking at my notes from Fall Term 1996, I'm still not sure what order I intended for the application triples, but the above is one likely guess:

150 KB (9,422 words) - 23:54, 6 July 2013
Directory:Jon Awbrey/EPITEXT
{{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} ===Qualitative Logic and Quantitative Analogy===

22 KB (3,003 words) - 21:40, 2 July 2008
Directory:MacBook Pro Repair
* MacBook Pro Logic Board Repair ...icians will dismantle your MacBook Pro and take out your old LCD screen in order to replace it with a brand new screen and make it available to you in excel

5 KB (714 words) - 09:53, 10 October 2009
User:Jon Awbrey/DIFF
==Differential Logic and Dynamic Systems== ===Table 1. Syntax & Semantics of a Calculus for Propositional Logic===

353 KB (17,505 words) - 16:10, 26 May 2007
Relation (mathematics)
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...” in a statement like <math>5 + 7 = 12\!</math> or the relation of ''order'' denoted by the sign “<math>{<}\!</math>” in a statement like

20 KB (2,925 words) - 17:08, 14 November 2015
User:Jon Awbrey/OLDSANDBOX
...ify an order for the operations, it is natural to list the smaller arities first. This then makes the signature of a Boolean algebra ...ify an order for the operations, it is natural to list the smaller arities first. This then makes the signature of a Boolean algebra

43 KB (6,715 words) - 13:25, 22 June 2009
Relation reduction
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic and mathematics, '''relation reduction''' and '''relational reducibility'''

29 KB (4,035 words) - 03:32, 15 November 2015
Directory:Secret Marketing Strategies/Secret Marketing Strategies Volume 27
...will be gone forever..." strategy tells your prospects that if they don't order it now, you will never offer your product again for such a low price. You c ...ent with all the hits and buzz you are getting. People will likely want to order right away.

18 KB (3,008 words) - 21:54, 23 April 2008
Oxford University (Medieval)
...quite young he could not have belonged to the college prior to joining the order. It is more likely he was a member of Greyfriars (see below). ...little more than a week after the friar's death. They establish themselves first in Jewish quarter, then move to area around Speedwell Street. The hall has

10 KB (1,532 words) - 20:59, 15 February 2009
Dynamics of inquiry
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...s a part that is given by nature and a part that is ruled by nurture. On first approach, it is possible to see a question of articulation and a question o

24 KB (3,783 words) - 00:25, 16 November 2015
Directory:Knifecenter
...nifeCenter you will find an enormous web catalog with on-line ordering and order tracking as well as daily updates to the web site including [http://blog.kn ...nifeCenter ships around the world. [http://www.knifecenter.com/knifecenter/order/ship.html Check our shipping charges]. [http://www.knifecenter.com/knifecen

29 KB (4,369 words) - 15:36, 8 October 2009
Directory:Logic Museum/Every man is an animal

64 bytes (9 words) - 18:01, 12 October 2010
User:Jon Awbrey/ARCHIVE
===Differential Logic=== * Project Page : [[Differential Logic]]

39 KB (4,682 words) - 14:55, 21 May 2007
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
=====The Ark of Types : The Order of Things to Come===== ===Higher Order Sign Relations : Introduction===

15 KB (1,597 words) - 12:00, 15 April 2017
Walter Burley
...[[Peter Lombard]], Burley opposed Ockham on a number of points concerning logic and [[natural philosophy]]. ...the [[propositional logic|propositional calculus]] over the [[first-order logic|predicate calculus]], despite the fact that the latter had been the main fo

9 KB (1,124 words) - 11:25, 18 January 2009
User:Jon Awbrey/ATLAS
==Differential Logic and Dynamic Systems== ===Table 1. Syntax & Semantics of a Calculus for Propositional Logic===

463 KB (31,052 words) - 15:00, 25 August 2007
Pragmatic Semiotic Information
...question is a bit too subtle for the present frame of discussion, but the first and second are easily recognizable as staking out the two main axes of info ...s to make, whether it concerns the actions that the agent ought to take in order to achieve some objective of interest, or whether it concerns the predicate

20 KB (2,552 words) - 15:16, 2 March 2024
Semiotic Information
...question is a bit too subtle for the present frame of discussion, but the first and second are easily recognizable as staking out the two main axes of info ...s to make, whether it concerns the actions that the agent ought to take in order to achieve some objective of interest, or whether it concerns the predicate

20 KB (2,557 words) - 15:36, 5 November 2020
Directory:Jon Awbrey/Papers/Semiotic Information
...question is a bit too subtle for the present frame of discussion, but the first and second are easily recognizable as staking out the two main axes of info ...s to make, whether it concerns the actions that the agent ought to take in order to achieve some objective of interest, or whether it concerns the predicate

20 KB (2,560 words) - 14:10, 29 October 2016
Correspondence theory of truth
...ct.  According to this mere verbal definition, then, my knowledge, in order to be true, must agree with the object.  Now, I can only compare the o ...who examine the question of truth not be satisfied to rest with this very first theory that usually comes to mind?

10 KB (1,514 words) - 17:42, 27 March 2017
Minimal negation operator
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...that says “just one false” of its logical arguments.  The first four cases are described below.

23 KB (3,337 words) - 13:54, 3 September 2017
Relation composition
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...er of relations. Relations and their combinations may be described in the logic of relative terms, in set theories of various kinds, and through a broadeni

65 KB (6,802 words) - 18:14, 14 November 2015
Cybernetics
...ecting the fields of [[control system]]s, [[electrical network]] theory, [[logic modeling]], and [[neuroscience]] in the 1940s. The name ''cybernetics'' w ...raphical locus of early cybernetics was [[France]] where Wiener's book was first published.

14 KB (1,827 words) - 18:48, 27 July 2016
Relation theory
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...study from the perspectives of abstract algebra on the one hand and formal logic on the other.

25 KB (3,665 words) - 21:04, 16 November 2015
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
...and diversity. There are several different introductions to differential logic that I have written and distributed across the Internet. You might start w ...//stderr.org/pipermail/inquiry/2004-February/thread.html#1132 Differential Logic A]

134 KB (16,535 words) - 15:30, 11 October 2013
Directory:Secret Marketing Strategies/Secret Marketing Strategies Volume 10
...duct. People don't like to go to a ton of different stores or web sites in order to gain their desired benefit from just one single product. ..." strategy tells your prospects that they won't have to build your product first before they improve their life. People like to save time, energy, frustrati

20 KB (3,356 words) - 19:09, 23 April 2008
Boolean algebras canonically defined
...ology of [[abstract algebra]] to be applied to mathematical logic, digital logic, and the set-theoretic foundations of mathematics, among other applications ...clone of all Boolean operations in the traditional list format. The list order for the operations of a given arity is determined by the following two rule

46 KB (7,114 words) - 18:24, 2 October 2007
User:Jon Awbrey/MATH
> expressive power to limited subsets of logic. | Mathematics and logic, historically speaking, have been entirely

105 KB (15,873 words) - 11:53, 20 August 2007
Directory:Jon Awbrey/MATH
> expressive power to limited subsets of logic. | Mathematics and logic, historically speaking, have been entirely

105 KB (15,875 words) - 22:02, 25 January 2008
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
...f frames as a “moving picture” representation of their natural order in a temporal process, then it would be natural to say that <math>a\!</math ...xt{Table 5.} ~~ \text{Syntax and Semantics of a Calculus for Propositional Logic}\!</math>

158 KB (22,468 words) - 03:24, 27 December 2016
User:Jon Awbrey/DIFF/A
'''Differential Logic : Series A''' ...e you have a really decent calculus for boolean functions or propositional logic, whatever you want to call it, is to compute the differentials of these fun

112 KB (11,050 words) - 14:19, 22 May 2007
Directory:Jon Awbrey/Papers/Change In Logic
{{DISPLAYTITLE:Change In Logic}} In order to discuss questions of this type, it is useful

73 KB (6,208 words) - 04:08, 11 December 2016
Directory:Logic Museum/CIMAGL
...1969. This page lists all the papers in numbers 1-76. Most recent issues first. Orders and queries should be addressed to: [http://www.mtp.dk/ Museum Tusc Tel.: +45 3532 9109 * Fax: +45 3532 9113 e-mail: ''order AT mtp.dk''

34 KB (4,555 words) - 16:28, 7 March 2009
Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
{{DISPLAYTITLE:Peirce's Logic Of Information}} ...onnection to physics intended, at least, not so directly as the picture at first suggests:

73 KB (8,310 words) - 00:36, 27 April 2017
National Medal of Science
...by [[John F. Kennedy|U.S. President John F. Kennedy]] through [[executive order]] 10961.[http://www.nsf.gov/nsf/nmos/nms.htm] This committee is administer The first National Medal of Science was awarded on [[February 18]], [[1963]], for the

8 KB (1,221 words) - 15:38, 16 February 2007
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
{{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}} ...he three fundamental types of reasoning that Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of rea

106 KB (13,991 words) - 18:45, 18 March 2020
Directory:Jon Awbrey/ELSEWHERE
...be discussed to much effect outside the context of inquiry, knowledge, and logic, all very broadly considered. One of the first questions that can be asked in this setting is about the relationship betwe

33 KB (4,956 words) - 22:18, 25 January 2008
Truth theory
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...rlies a particular conception of truth, such as those used in art, ethics, logic, mathematics, philosophy, the sciences, or any discussion that either menti

37 KB (5,460 words) - 14:45, 17 November 2015
Logical graph
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...the systems of graphical syntax that Charles Sanders Peirce developed for logic.

41 KB (5,845 words) - 14:26, 6 November 2015
User:Roygbiv/Graph
...ize="3">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...wikibiz.com/Charles_Sanders_Peirce Charles Sanders Peirce] developed for [[logic]].

42 KB (5,905 words) - 21:49, 22 May 2010
Directory:Logic Museum/Lambertus Marie de Rijk
...'Dialectica''. Edited by de Rijk Lambertus Marie. Assen: Van Gorcum 1956. (First complete edition of the Parisian manuscript with an introduction; second re ...ta. Dialectica. Edited by de Rijk Lambertus Marie. Assen: Van Gorcum 1959. First edition of the manuscripts with an introduction on the life and works of th

35 KB (4,954 words) - 16:02, 21 February 2009
User:Jon Awbrey/DIFF/B
'''Differential Logic : Series B''' In order to discuss questions of this type, it is useful

107 KB (9,168 words) - 14:23, 22 May 2007
Directory:Jon Awbrey/SANDBOX
...ify an order for the operations, it is natural to list the smaller arities first. This then makes the signature of a Boolean algebra ...ify an order for the operations, it is natural to list the smaller arities first. This then makes the signature of a Boolean algebra

46 KB (7,067 words) - 04:10, 22 May 2010
Directory:Logic Museum/The blessed and the damned
...lessed in the kingdom of heaven will see the punishments of the damned, in order that their bliss be more delightful for them.]…. (On the Genealogy of Morals First essay: "good and evil," "good and bad" 15.) </blockquote>

20 KB (3,134 words) - 08:39, 24 October 2009
Pragmatic theory of truth
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...be discussed to much effect outside the context of inquiry, knowledge, and logic, all very broadly considered.

33 KB (4,907 words) - 04:32, 22 September 2014
Directory:The Wikipedia Point of View/Peter Damian Evidence
...dia [http://en.wikipedia.org/wiki/Wikipedia:RFAR Arbitration committee] in order to contest the community ban placed upon him in August 2009. The ban was fo ...ffs' (time-dated edits to the Encyclopedia). [[#Peter Damian Background | First]], I present a list of the articles I have written (or been the main contri

19 KB (2,842 words) - 11:26, 1 April 2011
Sign relation
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...a sign is one that he gives in the context of providing a definition for ''logic'', and so it is informative to view it in that setting.

58 KB (8,260 words) - 03:40, 21 November 2016
Inquiry
...">☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...rily be predicated of all ''C''. … I call this kind of figure the First. (Aristotle, ''Prior Analytics'', 1.4).

58 KB (7,676 words) - 22:34, 15 November 2015
User:Jon Awbrey/THEORY
...ular conception of [[truth]], such as those used in [[art]], [[ethics]], [[logic]], [[mathematics]], [[philosophy]], the [[science]]s, or any discussion tha ...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale

81 KB (11,851 words) - 18:53, 20 August 2007
Directory:Jon Awbrey/THEORY
...ular conception of [[truth]], such as those used in [[art]], [[ethics]], [[logic]], [[mathematics]], [[philosophy]], the [[science]]s, or any discussion tha ...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale

81 KB (11,851 words) - 22:22, 25 January 2008
Duns Scotus
...ng in general (''ens in communi''), as an univocal notion, was for him the first object of the intellect. Metaphysics includes the study of the transcendent ...ere are exactly ten categories, according to orthodox Aristotelianism. The first and most important is the category of [[Substance theory|substance]]. Subst

20 KB (2,997 words) - 19:25, 22 February 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
{{DISPLAYTITLE:Differential Logic : Introduction}} ...tes any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation that pervad

131 KB (20,198 words) - 15:38, 2 December 2015
Scholasticism
The first significant renewal of learning in the West came with the [[Carolingian Ren ...[[Ash'ari]] school, looked for support in philosophy. They were among the first to pursue a rational theology, Ilm-al-[[Kalam]], which can be seen as a for

16 KB (2,241 words) - 18:27, 9 November 2008
Introduction to Inquiry Driven Systems

80 bytes (10 words) - 11:56, 6 October 2010
Directory:Jon Awbrey/Papers/Dynamics And Logic
{{DISPLAYTITLE:Dynamics And Logic}} I am going to excerpt some of my previous explorations on differential logic and dynamic systems and bring them to bear on the sorts of discrete dynamic

127 KB (18,875 words) - 13:28, 10 December 2014
User:Jon Awbrey/Differential Logic Archive 2002
==Differential Logic 2002== One of the first things that you can do, once you

134 KB (14,931 words) - 13:30, 5 December 2014
User:Jon Awbrey/BIB
...ale, William]], and [[Martha Kneale|Kneale, Martha]], ''The Development of Logic'', Oxford University Press, London, UK, 1962. ..., Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA.

61 KB (7,563 words) - 18:26, 15 June 2010
Directory:Jon Awbrey/BIB
...ale, William]], and [[Martha Kneale|Kneale, Martha]], ''The Development of Logic'', Oxford University Press, London, UK, 1962. ..., Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA.

61 KB (7,562 words) - 18:18, 18 March 2008
Directory:Jon Awbrey/Papers/Differential Logic
{{DISPLAYTITLE:Differential Logic}} ...ersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Sketch_2 Differential Logic : Sketch 2]. ☆'''

145 KB (19,916 words) - 19:32, 11 December 2014
Directory:Jon Awbrey/VORPALS
...ans call ''[[logica docens]]'', logic as taught, and ''[[logica utens]]'', logic as used. [[C.S. Peirce]], as a logician, mathematician, and philosopher wh | expressive power to limited subsets of logic.

177 KB (26,694 words) - 02:20, 15 December 2010
Directory:Jon Awbrey/Projects/Peircean Pragmata
==Logic As Semiotic== #[http://suo.ieee.org/ontology/thrd48.html#03070 Jon Awbrey (Aug 2001), "Logic As Semiotic", Ontology List].

105 KB (16,763 words) - 20:36, 26 August 2017
Philosophy of mathematics
...ans call ''[[logica docens]]'', logic as taught, and ''[[logica utens]]'', logic as used. [[C.S. Peirce]], as a logician, mathematician, and philosopher wh ...s the natural language of contemporary mathematics, is nothing more in the first instance than a formalization of mathematical metaphors.

73 KB (10,917 words) - 19:48, 6 September 2017
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
The first order of business is to give the exact forms of the axioms that we use, devolving .../math> respectively. The early CSP, as in his essay on “Qualitative Logic”, and also GSB, emphasized the <math>\mathrm{En}\!</math> interpretat

157 KB (17,761 words) - 03:44, 10 November 2016
User:Jon Awbrey/PEIRCE
...e problem of interpretation appears to arise from at least three sources. First, Peirce's use of the word ''independent'' needs to be understood in a way t In his first remarks on the realist vs. nominalist debate, Peirce sided with nominalism:

74 KB (11,616 words) - 23:56, 21 May 2010
Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
...used to extend their capacities, I see that two questions must be faced. First, what are the principles that enable human performance? Second, what are t * First, I intend to concentrate on the design of intelligent software systems that

121 KB (16,341 words) - 04:34, 30 October 2015
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
...t divert ourselves with an exposition of a standard way that graphs of the order that Peirce considered, those embedded in a continuous manifold like a plan First the plane-embedded maps:

168 KB (21,027 words) - 12:41, 6 August 2017
Charles Sanders Peirce
...t and employed as a scientist for 30 years, it is for his contributions to logic, mathematics, philosophy, and the theory of signs, or ''[[semeiotic]]'', th ...ed under the philosophies of knowledge, language, and science. Peirce saw logic as the formal branch of the theory of signs, or ''[[semiotics]]'', here usi

93 KB (14,277 words) - 20:00, 28 July 2017
Directory:Jon Awbrey/TRUTH
...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale ...nevertheless said to be true or false of various objects. For example, in logic there are ''terms'' such as "man" or "woman" that are true of some things a

237 KB (37,371 words) - 22:14, 25 January 2008
User:Jon Awbrey/TRUTH
...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale ...nevertheless said to be true or false of various objects. For example, in logic there are ''terms'' such as "man" or "woman" that are true of some things a

237 KB (37,371 words) - 11:22, 20 August 2007
Directory:Logic Museum/Aquinas Summa-I-25-26
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-25-26.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:13, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-27-28
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-27-28.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:11, 12 October 2010
William of Ockham
...he originator of the principle), Ockham also produced important works on [[logic]], physics, and theology. He is probably best known for his ardent defence

1 KB (155 words) - 16:37, 26 May 2011
Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
{{DISPLAYTITLE:Peirce's 1870 Logic Of Relatives}} The path to understanding Peirce's system and its wider implications for logic can be smoothed by paraphrasing his notations in a variety of contemporary

226 KB (33,992 words) - 16:22, 29 December 2017
Directory:Jon Noble
...means test”, an individual wishing to file for relief under Chapter 7 must first seek credit counseling services and receive a certificate of insolvency. ...g, it would give them a better chance of recovering their money. Using the logic that people had money, they just didn’t want to pay their credit card bil

20 KB (3,255 words) - 18:59, 10 February 2008
User:Jon Awbrey/Examples Of Inquiry
Let us first consider John Dewey's "Rainy Day Inquiry" by our ambler in any particular order, but we might suppose

139 KB (16,717 words) - 14:30, 12 September 2017
Directory:Jon Awbrey/Papers/Cactus Language
In order to facilitate the use of propositions as indicator functions it helps to ac ...a single bootstrap. But this is not always the easiest way, at least, at first, to formally comprehend the nature of their action or the power of their in

211 KB (31,551 words) - 20:44, 2 August 2017
Directory:Musik Fabrik Music Publishing/Il etait un petit navire
...theater, as well as the customs and rituals of the opera-going public. The first version was a one-act “Lyric Satire” entitled Le Marin du Bolivar (The ...René Hérent, and Paul Payen. The work’s title was changed just before its first performance to avoid confusion with Darius Milhaud’s opera Bolivar which

26 KB (4,447 words) - 12:07, 2 September 2008
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
...ry much works in progress and far from being completed projects. Taken in order of historical development, each succeeding view always promises to keep all First, I describe the individual perspectives and their corresponding frameworks

92 KB (15,197 words) - 14:40, 24 August 2017
Directory:Jon Awbrey/Differential Logic : Various Sketches
===Differential Logic : First Approach=== In order to discuss questions of this type, it is useful to define several "operator

369 KB (46,156 words) - 04:20, 27 December 2016
Directory:Logic Museum/Aquinas Summa-I-36-38
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-36-38.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:12, 12 October 2010
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
{{DISPLAYTITLE:Differential Logic and Dynamic Systems 3.0}} ...Working Draft. The current version of this document is '''[[Differential Logic and Dynamic Systems 2.0]].'''''

519 KB (74,456 words) - 15:46, 3 October 2013
Directory:Logic Museum/Aquinas Summa-I-59-60
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-59-60.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:16, 12 October 2010
User:Jon Awbrey/PROSPECT
methods of differential geometry with the techniques of logic was surprising at first to see these old issues rise again, but the shock

162 KB (25,941 words) - 13:28, 9 January 2008
Nobel Prize
...sh]] scientist [[Alfred Nobel]] through his [[Will (law)|will]]. They were first awarded in 1901, five years after Nobel's death. The [[Nobel Prize in Econo ...xception of the Peace Prize, presented all the prizes in [[Stockholm]]. At first [[Oscar II of Sweden|King Oscar II]] did not approve of awarding grand priz

27 KB (4,088 words) - 15:05, 27 February 2010
Directory:Logic Museum/Aquinas Summa-I-103-105
...w.logicmuseum.com/authors/aquinas/summa/Summa-I-103-105.htm Now at the new Logic Museum]

98 bytes (16 words) - 13:20, 12 October 2010
User:Badmachine/wikipedia-en-2013-06-06
...geles 3-2 with 12:00 to go in the game. If the Kings lose, it will be the first time at home in very long time. and the series will be 3-1 Chicago and movi ...klug> IDoH there is no score such as 3-2 in basketball ….well maybe in the first minutes

56 KB (8,396 words) - 23:47, 20 January 2015
Directory:Logic Museum/Aquinas Summa-I-33-35
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-33-35.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:12, 12 October 2010
User:Jon Awbrey/EXIT
...month of July 2006, doing a bit of housekeeping and setting his affairs in order with respect to a few pieces of unfinished business. He may check in from ...e freshperson who has just gotten halfway through his or her first book or first course in a given subject area, and now feels qualified to write the defini

147 KB (23,399 words) - 12:51, 20 August 2007
Directory:Jon Awbrey/Papers/Cactus Rules
uses just two series of k-adic connectives, first, the concatenation One of the first things I note is that several whole families

343 KB (13,950 words) - 02:46, 23 May 2009
Directory:OmniMediaGroup/PLR/Real Estate
...er of housing markets in the United States might be overvalued, and as the logic suggests, an overvalued real estate market translates into a slower real es ...n by the National Association of Realtors paints a gloomy picture. For the first time since 1991, prices on new houses will actually fall this year. Prices

53 KB (9,188 words) - 18:06, 6 November 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
{{DISPLAYTITLE:Differential Logic and Dynamic Systems}} ...:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0|Differential Logic and Dynamic Systems 2.0]].'''''

394 KB (54,134 words) - 14:30, 3 March 2023
Directory:Jon Awbrey/Papers/Theme One Program : Exposition
The first order of business is to describe the general class of at the first node above the root, that done, proceeding from left to

94 KB (8,938 words) - 22:12, 9 December 2015
Directory:Jon Awbrey/Papers/Information = Comprehension Ã— Extension
...information that he developed from the time of his lectures on the “Logic of Science” at Harvard University (1865) and the Lowell Institute (18 ==Selections from Peirce's “Logic of Science” (1865–1866)==

362 KB (47,812 words) - 19:40, 9 November 2016
Directory:Logic Museum/Aquinas Summa-I-80-83
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-80-83.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:18, 12 October 2010
User:Jon Awbrey/Mathematical Notes
...al Notes#HOC. Higher Order Categorical Logic|HOC. Higher Order Categorical Logic]] | First we describe categories directly by means of axioms,

567 KB (86,909 words) - 21:00, 6 December 2016
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
...n a parallel fashion, but this plan was judged to be too distracting for a first approach. In other ways, the negative sides of each topic are prior in poi ...a feature naturally precedes the full development of its presence. In the order of discussion, however, positive terms must be proposed if it is desired to

138 KB (23,322 words) - 14:50, 4 January 2015
Directory:Logic Museum/Aquinas Summa-I-11-13
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-11-13.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:10, 12 October 2010
Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
{{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}} ...previous discussion on the problem of dealing with change and diversity in logic-based intelligent systems. It is useful to begin by summarizing essential

529 KB (75,750 words) - 14:32, 3 March 2023
Internet
...ogram, which had networked country-wide [[radar]] systems together for the first time. [[J. C. R. Licklider]] was selected to head the IPTO, and saw univers ...where he bought the first production [[PDP-1]] computer and conducted the first public demonstration of [[time-sharing]].

49 KB (7,310 words) - 14:24, 14 July 2010
Differential Logic and Dynamic Systems
...previous discussion on the problem of dealing with change and diversity in logic-based intelligent systems. It is useful to begin by summarizing essential ...e development in his graphical systems of predicate, relational, and modal logic [Rob]. More recently, these ideas were revived and supplemented in an alte

528 KB (75,728 words) - 21:56, 14 January 2021
User:Badmachine/wikipedia-en-2013-05-14
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] 06:00 < Qcoder00> I'm sorry Monsanto employee, but in order to protect your company's intellectual property I'm going to have to stop y

42 KB (5,974 words) - 21:40, 23 January 2015
Directory:Logic Museum/Aquinas Summa-I-22-24
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-22-24.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:11, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-87-89
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-87-89.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:19, 12 October 2010
Directory:Logic Museum/On the Inferno
...not be in the damned, since after the day of judgment, the movement of the first movable being being at an end, there will be neither generation, nor corrup ...need to be declared under the figure of corporeal pleasures and pains, in order that men may be moved the more to the desire or fear thereof.

63 KB (10,229 words) - 08:39, 24 October 2009
Directory:Logic Museum/Aquinas Summa-I-70-74
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-70-74.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:17, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-19-21
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-19-21.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:10, 12 October 2010
Directory:Jon Awbrey/Papers/Qualitative Analysis of Sequential Interaction Data
I will give you the codebooks and a sample raw dataset first, just in case you want to do a bit of undirected exploratory <li>Differential Logic (DLOG).</li>

183 KB (13,361 words) - 22:06, 9 December 2015
User:Jon Awbrey/Exploratory Qualitative Analysis of Sequential Observation Data
I will give you the codebooks and a sample raw dataset first, just in case you want to do a bit of undirected exploratory <li>Differential Logic (DLOG).</li>

185 KB (13,539 words) - 17:08, 14 November 2020
Directory:Logic Museum/Aquinas Summa-I-106-110
...w.logicmuseum.com/authors/aquinas/summa/Summa-I-106-110.htm Now at the new Logic Museum]

98 bytes (16 words) - 13:21, 12 October 2010
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
...on integrating the methods of differential geometry with the techniques of logic programming. I will attempt to embody this project in the form of computer ...a similar flux. In the course of this investigation it was surprising at first to see these old issues rise again, but the shock has turned to recognition

226 KB (34,541 words) - 14:20, 20 August 2016
Directory:Proabivouac/Oldwindybear&Stillstudying
At 18:06 2 July 2007, in his first block since he was entrusted with the tools, OWB blocked [[User:New England ...ns from OWB, SS, and FWS from 4-26-06 to 7-20-07. The edits are listed in order, with edit time (EDT/EST), and page/edit summary.

91 KB (13,133 words) - 12:33, 1 December 2008
Directory:Logic Museum/Aquinas Summa-I-111-114
...w.logicmuseum.com/authors/aquinas/summa/Summa-I-111-114.htm Now at the new Logic Museum]

98 bytes (16 words) - 13:22, 12 October 2010
Directory:American Journals and the Strategic Bombing of Germany
...als. Specifically, news magazines served the dual purpose of passing along first-rate information to the reader while maintaining a brief and entertaining f ...earned serious lessons in target selection and aircraft construction. The first lesson was that the choice targets of Royal Air Force airfields and the sea

46 KB (7,421 words) - 14:46, 25 April 2017
Directory:Logic Museum/Aquinas Summa-I-54-58
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-54-58.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:16, 12 October 2010
User:Jon Awbrey/Differential Logic Archive 2003–2004
==Differential Logic 2003–2004== DLOG A. Differential Logic -- Series A

899 KB (89,922 words) - 19:22, 6 December 2014
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
...to the question of priorities: Which methods do I think it wise to apply first? In this project I will give preference to two kinds of technique, one ana ...amming'' in computer science (Wirth 1976, 49, 303) have a long ancestry in logic and philosophy, going back to a strategy for establishing or discharging co

241 KB (38,416 words) - 15:14, 15 April 2017
Directory:Logic Museum/Aquinas Summa-I-75-76
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-75-76.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:17, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-29-32
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-29-32.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:12, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-65-69
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-65-69.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:17, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-77-79
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-77-79.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:18, 12 October 2010
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
...the interpreters <math>\text{A}\!</math> and <math>\text{B}.\!</math> The first fifteen Sections (§§ 1–15) deal with a selection of pr ...in ideas that lead up to the genesis of a RIF. These ideas are treated at first acquaintance in an informal manner, located within a broader cultural conte

725 KB (109,715 words) - 18:09, 28 August 2014
Directory:Logic Museum/Aquinas Summa-I-61-64
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-61-64.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:16, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-7-10
.../www.logicmuseum.com/authors/aquinas/summa/Summa-I-7-10.htm Now at the new Logic Museum]

95 bytes (16 words) - 13:09, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-44-49
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-44-49.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:15, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-50-53
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-50-53.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:15, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-84-86
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-84-86.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:19, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-1-6
...//www.logicmuseum.com/authors/aquinas/summa/Summa-I-1-6.htm Now at the new Logic Museum]

94 bytes (16 words) - 13:08, 12 October 2010
User:Badmachine/wikipedia-en-2013-05-06
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] ...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into]

132 KB (19,574 words) - 21:50, 23 January 2015
Directory:Logic Museum/Aquinas Summa-I-14-18
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-14-18.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:10, 12 October 2010
User:Jon Awbrey/Philosophical Notes
...Jon Awbrey/Philosophical Notes#JITL. Just In Time Logic|JITL. Just In Time Logic]] ...o things here are all-important to assure oneself of and to remember. The first is that a person is not absolutely an individual. His thoughts are what h

594 KB (95,507 words) - 17:36, 14 July 2017
User:Badmachine/wikipedia-en-2013-05-12
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] 04:35 < Dcoetzee> Woooo I got my Ouya and just bought my first Ouya game

161 KB (23,610 words) - 21:43, 23 January 2015
Directory:Logic Museum/Aquinas Summa-I-115-119
...w.logicmuseum.com/authors/aquinas/summa/Summa-I-115-119.htm Now at the new Logic Museum]

98 bytes (16 words) - 13:23, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-90-93
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-90-93.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:19, 12 October 2010
Directory:Logic Museum/Aquinas Summa-I-39-43
...www.logicmuseum.com/authors/aquinas/summa/Summa-I-39-43.htm Now at the new Logic Museum]

96 bytes (16 words) - 13:15, 12 October 2010
Directory:Logic Museum/Augustine City of God Book VI

76 bytes (11 words) - 15:54, 16 April 2011
Directory:Logic Museum/Augustine City of God Book IX

76 bytes (11 words) - 15:55, 16 April 2011
User:Jon Awbrey/IDS
Which methods do I think it wise to apply first? (Wirth 1976, 49, 303) have a long ancestry in logic and philosophy, going back

665 KB (109,541 words) - 02:46, 13 September 2010
User:Badmachine/wikipedia-en-2013-05-11
01:40 * Guerillero continues the line of logic into feminism ...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into]

113 KB (16,374 words) - 21:43, 23 January 2015
Directory:Logic Museum/Augustine City of God Book VIII

76 bytes (11 words) - 15:55, 16 April 2011
User:Badmachine/wikipedia-en-2011-11-22
...pedia shows as most likely result or some kind of temple in thailand as he first thought [14:28] <LL2|JedIRC> First my phone restarts while I'm typing the bugzilla report

193 KB (25,713 words) - 04:47, 24 January 2015
Directory:Logic Museum/Augustine City of God Book XII

77 bytes (11 words) - 15:56, 16 April 2011
User:Badmachine/wikipedia-en-2013-05-19
02:09 < mareklug> wctaiwan notice that I also put some order in the desktop icons ...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into]

149 KB (21,260 words) - 21:39, 23 January 2015
Directory:The Wikipedia Point of View/Flavius Vanillus
...battle against some powerful forces within the Wikipedia administration. First, an administrator called [[FT2 (Wikipedia user) | FT2]], who enjoys a large ...ary of the counterculture movement of the 1960s, founder and editor of the first underground newspaper in New York City, the East Village Other, author of t

209 KB (33,239 words) - 17:04, 25 September 2008
Directory:Logic Museum/Aquinas Summa-I-94-102
...ww.logicmuseum.com/authors/aquinas/summa/Summa-I-94-102.htm Now at the new Logic Museum]

97 bytes (16 words) - 13:20, 12 October 2010
User:Badmachine/wikipedia-en-2013-05-07
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] 05:31 < mareklug> "anyone with a CS 3 or later serial number will get their first Creative Cloud year for $29.99 per month"

169 KB (24,700 words) - 21:46, 23 January 2015
Directory:Logic Museum/Cicero's Topics
...treatise was written a short time before the events which gave rise to the first Philippic. Cicero obtained an honorary lieutenancy, with the intention of v ...u that the system for the discovery of arguments was contained in them, in order that we might arrive, without making any mistake, at the system on which th

116 KB (19,299 words) - 08:46, 24 October 2009
Directory:Logic Museum/Augustine City of God Book VII

76 bytes (11 words) - 15:55, 16 April 2011
Directory:Logic Museum/Augustine City of God Book XIII

77 bytes (11 words) - 15:57, 16 April 2011
Directory:Logic Museum/Augustine City of God Book V

76 bytes (11 words) - 15:54, 16 April 2011
User:Badmachine/wikipedia-en-2011-12-04
[16:06] <Ryan_wp> (FA meaning First Aid, not Featured Article) [16:10] <Ryan_wp> Peter-C: First Aider.

93 KB (12,267 words) - 03:14, 24 January 2015
User:Badmachine/wikipedia-en-2011-10-28
[12:43] <Hedgehog456> Qcoder00: 'Grand and Most Exalted Order of the Honourable Women of Argentary Passion'? ...> geniice if the doctor finds himself editing wikipedia, what would be his first edit?

138 KB (17,708 words) - 23:21, 24 January 2015
User:Badmachine/wikipedia-en-2013-05-09
01:34 < addihockey10> What's first? ...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into]

133 KB (19,262 words) - 21:45, 23 January 2015
Directory:Logic Museum/Augustine City of God Book XI

77 bytes (11 words) - 15:56, 16 April 2011
User:Badmachine/wikipedia-en-2012-09-05
...kylu> Tony_Sidaway: Ah, criminals aren't human any more, that's where your logic tell! 19:25 < Ironholds> there are heirs before the child in the order of succession

59 KB (8,565 words) - 00:19, 24 January 2015
Directory:Logic Museum/Augustine City of God Book XVII

77 bytes (11 words) - 15:58, 16 April 2011
User:Badmachine/wikipedia-en-2013-05-22
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] 06:34 < GorillaWarfare> You're skipping the first one

197 KB (28,275 words) - 21:20, 23 January 2015
Directory:Logic Museum/Augustine City of God Book XIX

77 bytes (11 words) - 15:59, 16 April 2011
Directory:Logic Museum/Augustine City of God Book IV

76 bytes (11 words) - 15:53, 16 April 2011
Directory:Logic Museum/Augustine City of God Book II

76 bytes (11 words) - 15:53, 16 April 2011
User:Badmachine/wikipedia-en-2012-08-19
...well as externally, a good liaison needs the persona of "community member first, staff second" 01:04 < Ironholds> not "staff first, community second". If you hit that, rocks fall and everyone dies.

239 KB (34,391 words) - 00:16, 24 January 2015
Directory:Logic Museum/Augustine City of God Book XV

77 bytes (11 words) - 15:57, 16 April 2011
Directory:Logic Museum/Augustine City of God Book XIV

77 bytes (11 words) - 15:57, 16 April 2011
User:Badmachine/wikipedia-en-2013-05-21
00:38 < Revent> kk, yeah, I was just hitting the 'obvious' thing first. ...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into]

271 KB (39,658 words) - 21:21, 23 January 2015
User:Badmachine/wikipedia-en-2013-05-13
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] 04:11 < a930913> Why don't we ban accounts where the first edit is a vandal, as a vandal only account?

236 KB (34,593 words) - 21:41, 23 January 2015
Les "Cut the Taxes" Golden
...sGoldenSemesteratSea.jpg|thumb|left|175px| Professor Golden was the first University of Illinois professor chosen to be a professor on Semester at Se ...inois, secured the election of a majority on the Park Board which on their first day in office banned pesticides in the parks and recreation centers.</small

68 KB (9,798 words) - 12:30, 17 May 2014
Les Golden (Renaissance Man)
...sGoldenSemesteratSea.jpg|thumb|left|175px| Professor Golden was the first University of Illinois professor chosen to be a professor on Semester at Se ...inois, secured the election of a majority on the Park Board which on their first day in office banned pesticides in the parks and recreation centers.</small

68 KB (9,798 words) - 12:28, 17 May 2014
Les Golden (actor)
...sGoldenSemesteratSea.jpg|thumb|left|175px| Professor Golden was the first University of Illinois professor chosen to be a professor on Semester at Se ...inois, secured the election of a majority on the Park Board which on their first day in office banned pesticides in the parks and recreation centers.</small

68 KB (9,798 words) - 12:29, 17 May 2014
User:Badmachine/wikipedia-en-2011-05-06
...<geniice> hmm http://meta.wikimedia.org/wiki/Board_elections/2011/en hmm first time I've had the ability to exclude candidates from the board elections by May 06 03:57:30 <Fluffernutter> geniice: doesn't really matter. I read the first three words and went "fuck this shit"

297 KB (40,196 words) - 02:15, 25 January 2015
User:Badmachine/wikipedia-en-2013-05-02
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] 03:42 < mareklug> Peter-C this is also neat. First single by Annie (Norwegian singer) in 4 years, out a few days ago: http://w

220 KB (32,381 words) - 22:00, 23 January 2015
User:Badmachine/wikipedia-en-2011-10-24
...a short-term contractor, and an editor first. Okay, I'm a rampant asshole first. But an editor second. And an editor before a contractor, is my point. ...at and starting the nomination with the quote "Okay, I'm a rampant asshole first."

98 KB (12,080 words) - 01:22, 25 January 2015
Directory:Logic Museum/Augustine City of God Book XVI

77 bytes (11 words) - 15:58, 16 April 2011
Directory:Logic Museum/Augustine City of God Book XXI

77 bytes (11 words) - 16:00, 16 April 2011
Directory:Logic Museum/Augustine City of God Book X

77 bytes (11 words) - 15:56, 16 April 2011
Les Golden
...sGoldenSemesteratSea.jpg|thumb|left|175px| Professor Golden was the first University of Illinois professor chosen to be a professor on Semester at Se ...inois, secured the election of a majority on the Park Board which on their first day in office banned pesticides in the parks and recreation centers.</small

76 KB (11,051 words) - 17:10, 3 October 2022
User:Badmachine/wikipedia-en-2013-05-03
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] ...klug> it gets exposed on material. I am sure a classical pianist might at first have difficulty doing this, and certainly vice versa.

199 KB (29,409 words) - 22:00, 23 January 2015
User:Badmachine/wikipedia-en-2013-06-07
00:02 < bazinga> Applefanboy logic 00:08 < ToAruShiroiNeko> Jasper_Deng first apples were essentially a PC with an apple logo

250 KB (36,347 words) - 23:46, 20 January 2015
Directory:Logic Museum/Augustine City of God Book XX

77 bytes (11 words) - 15:59, 16 April 2011
User:Badmachine/wikipedia-en-2013-06-01
02:17 < dtm_> fyi, i just doubled an article's size tonight, providing its first references (and cross-pollenating them unto related articles),graduating it ...ake deliveries outside of Baltimore City due to state regulations. Minimum order for delivery $75."

213 KB (30,728 words) - 00:56, 21 January 2015
Directory:Logic Museum/Augustine City of God Book III

76 bytes (11 words) - 15:53, 16 April 2011
User:Badmachine/wikipedia-en-2013-05-05
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] ...tm> and, if i want to reupload an image to wikimedia commons, do i have to first delete any reference to it from all wikipedia pages?

168 KB (24,759 words) - 21:51, 23 January 2015
User:Badmachine/wikipedia-en-2013-05-31
...I feel like chicken, I go the the Pakistani joint for taxicab drivers and order tandoori chicken. The best. 07:20 < a930913> TOS: ##* is first come first served.

164 KB (23,711 words) - 00:58, 21 January 2015
User:Badmachine/wikipedia-en-2013-05-04
...a] has quit [Quit: You cannot logic someone out of an opinion they did not logic themselves into] ...advising them to have a word with an 'appropriate adult' might also be in order

179 KB (26,397 words) - 21:52, 23 January 2015
User:Badmachine/wikipedia-en-2012-08-08
...the Seattle Airport Marriott in Seatac, Washington. The convention in its first year had 1,350 people attend 06:46 < Anna_Frodesiak> maybe hatnotes are in order at:

205 KB (28,846 words) - 00:08, 24 January 2015
User:Badmachine/wikipedia-en-2013-05-23
07:58 < Theo10011> I don't think its easy to first of all distinguish between porn and not porn. 08:07 < ToAruShiroiNeko> by their logic I mean

201 KB (27,933 words) - 21:20, 23 January 2015
Directory:Logic Museum/Augustine City of God Book I

75 bytes (11 words) - 15:52, 16 April 2011
User:Badmachine/wikipedia-en-2013-06-02
01:04 < mareklug_> dtm frugal computing dictates tinkering with hardware in order to run the perfectly adequate old soft. 01:04 < dtm_> you're breaking/bending softawre licenses in order to do so

231 KB (33,831 words) - 00:21, 21 January 2015
User:Badmachine/wikimedia-operations-2013-07-31
[10:28:01] rewriting first? [11:24:59] yes, now choose another page, tell me first, so I can see if there's a purge coming in

253 KB (33,462 words) - 15:50, 18 April 2015
User:Badmachine/wikipedia-en-2013-07-05
Jul 05 05:06:57 <BlastHardcheese> depends on which admin gets to it first Jul 05 13:22:01 <tos> JohnLewis, Your logic is undeniable

157 KB (20,118 words) - 03:08, 16 August 2015
User:Badmachine/wikipedia-en-2012-08-14
...tp://www.metrofrance.com/fr/article/2008/01/13/18/3901-38/index.xml <-- first time I see this. Google is pissing me off 14:43 < Fluffernutter> BarkingFish: yeah I did too at first, took me a while to puzzle it out

200 KB (28,782 words) - 00:12, 24 January 2015
User:Badmachine/wikipedia-en-2012-01-18
...0 . . (+162) . . Mav (talk | contribs)‎ (→NPOV vs Wikipedia's neutrality) first edit of the day [00:14] <Keiya> http://i.imgur.com/YROec.png <- First reaction from someone who didn't already know...

292 KB (37,342 words) - 15:30, 14 January 2015
Directory:Logic Museum/Augustine City of God Book XXII

77 bytes (11 words) - 16:00, 16 April 2011
Directory:Logic Museum/Augustine City of God Book XVIII

77 bytes (11 words) - 15:59, 16 April 2011
User:Badmachine/wikipedia-en-2011-05-07
May 07 03:41:52 <Sp33dyphil> Please review those that are older first May 07 03:53:56 * Glass_Arm has quit (Quit: Support FIRST (http://usfirst.org))

224 KB (30,451 words) - 02:17, 25 January 2015

(Main)	Talk
User	User talk
MyWikiBiz	MyWikiBiz talk
File	File talk

MediaWiki	MediaWiki talk
Template	Template talk
Help	Help talk
Category	Category talk

Portal	Portal talk
Directory	Directory talk
Property	Property talk
Concept	Concept talk

smw/schema	smw/schema talk
Rule	Rule talk
GeoJson	GeoJson talk
Module	Module talk

Search results

Page title matches

Page text matches

Navigation menu

Page actions

Page actions

Personal tools

Navigation

semantic

Site statistics

Tools

Search

Search results

Search in namespaces:

Page title matches

Page text matches

Navigation menu

Search