Directory:Jon Awbrey/Notes/Precursors - Revision history

Jon Awbrey: cleanup

2013-12-16T05:06:57Z

cleanup

Jon Awbrey: /* Selection 2 */ C.S. Peirce

2012-03-07T20:38:16Z

Selection 2: C.S. Peirce

Jon Awbrey:

2011-08-03T19:08:49Z

Jon Awbrey: /* Document History */ update link

2009-12-08T05:18:04Z

Document History: update link

Jon Awbrey: /* References */ markup

2009-12-05T17:10:16Z

References: markup

Jon Awbrey: /* Hilbert and Ackermann */ markup

2009-12-05T16:54:45Z

Hilbert and Ackermann: markup

Jon Awbrey: /* Hilbert and Ackermann */ use TeX array

2009-12-05T15:42:22Z

Hilbert and Ackermann: use TeX array

Jon Awbrey: /* Hilbert and Ackermann */ markup

2009-12-05T15:22:35Z

Hilbert and Ackermann: markup

Jon Awbrey: cleanup

2009-12-04T21:24:31Z

cleanup

Jon Awbrey: move discussion to talk page

2009-12-04T21:08:05Z

move discussion to talk page

← Older revision		Revision as of 05:06, 16 December 2013
Line 142:		Line 142:

	* [http://ncatlab.org/nlab/revision/precursors/15 Precursors @ nLab]		* [http://ncatlab.org/nlab/revision/precursors/15 Precursors @ nLab]
−
−	~~<br><sharethis />~~

@@ Line 57: / Line 57: @@
 <p>On the contrary, the succession of Predicates of Predicates is different 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, of each of our three Universes of modes of reality into ''Realms'' for the different Predicaments.</p>
-<p>Peirce, CP&nbsp;4.549, &ldquo;Prolegomena to an Apology for Pragmaticism&rdquo;, ''The Monist'' 16, 492&ndash;546 (1906), CP&nbsp;4.530&ndash;572.</p>
+<p>C.S. Peirce, CP&nbsp;4.549, &ldquo;Prolegomena to an Apology for Pragmaticism&rdquo;, ''The Monist'' 16, 492&ndash;546 (1906), CP&nbsp;4.530&ndash;572.</p>
 |}

← Older revision		Revision as of 19:08, 3 August 2011
Line 142:		Line 142:

	* [http://ncatlab.org/nlab/revision/precursors/15 Precursors @ nLab]		* [http://ncatlab.org/nlab/revision/precursors/15 Precursors @ nLab]
		+
		+	<br><sharethis />

← Older revision		Revision as of 05:18, 8 December 2009
Line 141:		Line 141:
	==Document History==		==Document History==

−	* [http://ncatlab.org/nlab/revision/precursors~~+%3E+history~~/15 Precursors @ nLab]	+	* [http://ncatlab.org/nlab/revision/precursors/15 Precursors @ nLab]

@@ Line 120: / Line 120: @@
 ==References==
-<pre>
+* Aristotle, &ldquo;The Categories&rdquo;, Harold P. Cooke (trans.), pp. 1&ndash;109 in ''Aristotle, Volume&nbsp;1'', Loeb Classical Library, William Heinemann, London, UK, 1938.
-* Aristotle, "Categories", E.M. Edghill (trans.), eBooks@Adelaide, University of Adelaide, South Australia, 2007.  [Online](http://ebooks.adelaide.edu.au/a/aristotle/categories/).
+* Aristotle, &ldquo;Categories&rdquo;, E.M. Edghill (trans.), eBooks@Adelaide, University of Adelaide, South Australia, 2007.  [http://ebooks.adelaide.edu.au/a/aristotle/categories/ Online].
-* van Heijenoort, Jean (1967/1977), _From Frege to Gödel : A Source Book in Mathematical Logic, 1879&ndash;1931_, Harvard University Press, Cambridge, MA, 1967.  2nd printing, 1972.  3rd printing, 1977.
+* van Heijenoort, Jean (1967/1977), ''From Frege to Gödel : A Source Book in Mathematical Logic, 1879&ndash;1931'', Harvard University Press, Cambridge, MA, 1967.  2nd printing, 1972.  3rd printing, 1977.
-* Hilbert, D., and Ackermann, W. (1938/1950), _Principles of Mathematical Logic_, Robert E. Luce (trans.), Chelsea Publishing Company, New York, NY, 1950.  First published, _Grundzüge der Theoretischen Logik_, 1928.  Second edition, 1938.  English translation with revisions, corrections, and added notes by Robert E. Luce, 1950.
+* Hilbert, D., and Ackermann, W. (1938/1950), ''Principles of Mathematical Logic'', Robert E. Luce (trans.), Chelsea Publishing Company, New York, NY, 1950.  First published, ''Grundzüge der Theoretischen Logik'', 1928.  Second edition, 1938.  English translation with revisions, corrections, and added notes by Robert E. Luce, 1950.
 * Kant
-* C.S. Peirce, &ldquo;[On a New List of Categories](http://www.cspeirce.com/menu/library/bycsp/newlist/nl-frame.htm)&rdquo;
+* C.S. Peirce, &ldquo;On a New List of Categories&rdquo;, [http://www.cspeirce.com/menu/library/bycsp/newlist/nl-frame.htm Online].
-* Carnap, _[The Logical Syntax of Language](http://books.google.com/books?id=Yf9R6WFFLhYC&printsec=frontcover)_, _cf._ &ldquo;[Functor](http://books.google.com/books?id=Yf9R6WFFLhYC&printsec=frontcover#v=onepage&q=Functor&f=false)&rdquo;
+* Carnap, ''[http://books.google.com/books?id=Yf9R6WFFLhYC&printsec=frontcover The Logical Syntax of Language]'', ''vide'' [http://books.google.com/books?id=Yf9R6WFFLhYC&printsec=frontcover#v=onepage&q=Functor&f=false &ldquo;Functor&rdquo;]
 ==Related Topics==

@@ Line 109: / Line 109: @@
 ===Selection 2===
-<pre>
+{| align="center" cellpadding="6" width="90%"
-<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
-<p>We have, first, predicates of individuals, and these are classified into predicates of different categories, or types, according to the number of their argument places.  Such predicates are called <i>predicates of first level</i>.</p>
+<p>By a ''predicate of second level'', we understand one whose argument places are occupied by names of individuals or by predicates of first level, where a predicate of first level must occur at least once as an argument.  The categories, or types, of predicates second level are differentiated according to the number and kind of their argument places.  (p.&nbsp;152).</p>
-<p>By a <i>predicate of second level</i>, we understand one whose argument places are occupied by names of individuals or by predicates of first level, where a predicate of first level must occur at least once as an argument.  The categories, or types, of predicates second level are differentiated according to the number and kind of their argument places.  (p. 152).</p>
+<p>Hilbert and Ackermann, ''Principles of Mathematical Logic'', Robert E. Luce (trans.), Chelsea Publishing Company, New York, NY, 1950.  First published, ''Grundzüge der Theoretischen Logik'', 1928.  Second edition, 1938.  English translation with revisions, corrections, and added notes by Robert E. Luce, 1950.</p>
+|}
 ==References==

@@ Line 93: / Line 93: @@
 {| align="center" width="90%"
+|
-<p><math>\operatorname{Ref}(R) \colon (x)R(x, x),</math><br>
+<math>\begin{array}{l}
-<math>\operatorname{Sym}(R) \colon (x)(y)(R(x, y) \rightarrow R(y, x)),</math><br>
+\operatorname{Ref}(R) \colon (x)R(x, x),
-<math>\operatorname{Tr}(R) \colon (x)(y)(z)(R(x, y) \And R(y, z) \rightarrow R(x, z)).</math></p>
+\\[6pt]
 |}

@@ Line 81: / Line 81: @@
 ===Selection 1===
-<pre>
+{| align="center" cellpadding="6" width="90%"
-<table align="center" cellpadding="6" markdown="1" style="border:none" width="90%"><td style="border:none">
-<p>For the intuitive interpretation on which we have hitherto based the predicate calculus, it was essential that the sentences and predicates should be sharply differentiated from the individuals, which occur as the argument values of the predicates.  Now, however, there is nothing to prevent us from _considering the predicates and sentences themselves as individuals which may serve as arguments of predicates_.</p>
+<p>Consider, for example, a logical expression of the form <math>(x)(A \rightarrow F(x)).</math>  This may be interpreted as a predicate <math>P(A, F)</math> whose first argument place is occupied by a sentence <math>A,</math> and whose second argument place is occupied by a monadic predicate <math>F.</math></p>
-<p>Consider, for example, a logical expression of the form $(x)(A \rightarrow F(x))$.  This may be interpreted as a predicate $P(A, F)$ whose first argument place is occupied by a sentence $A$, and whose second argument place is occupied by a monadic predicate $F$.</p>
+<p>A false sentence <math>A</math> is related to every <math>F</math> by the relation <math>P(A, F);</math>  a true sentence <math>A</math> only to those <math>F</math> for which <math>(x)F(x)</math> holds.</p>
-<p>A false sentence $A$ is related to every $F$ by the relation $P(A, F)$;  a true sentence $A$ only to those $F$ for which $(x)F(x)$ holds.</p>
+<p>Further examples are given by the properties of ''reflexivity'', ''symmetry'', and ''transitivity'' of dyadic predicates.  To these correspond three predicates:  <math>\operatorname{Ref}(R),</math> <math>\operatorname{Sym}(R),</math> and <math>\operatorname{Tr}(R),</math> whose argument <math>R</math> is a dyadic predicate.  These three properties are expressed in symbols as follows:</p>
-<p>Further examples are given by the properties of _reflexivity_, _symmetry_, and _transitivity_ of dyadic predicates.  To these correspond three predicates:  $\mathop{Ref}(R)$, $\mathop{Sym}(R)$, and $\mathop{Tr}(R)$, whose argument $R$ is a dyadic predicate.  These three properties are expressed in symbols as follows:</p>
+{| align="center" width="90%"
-<table align="center" style="border:none" width="90%">
+<p>All three properties are possessed by the predicate <math>\equiv(x, y)</math> (<math>x</math> is identical with <math>y</math>).  The predicate <math><(x, y),</math> on the other hand, possesses only the property of transitivity.  Thus the formulas <math>\operatorname{Ref}(\equiv),</math> <math>\operatorname{Sym}(\equiv),</math> <math>\operatorname{Tr}(\equiv),</math> and <math>\operatorname{Tr}(<)</math> are true sentences, whereas <math>\operatorname{Ref}(<)</math> and <math>\operatorname{Sym}(<)</math> are false.</p>
-<p>All three properties are possessed by the predicate $\equiv(x, y)$ ($x$ is identical with $y$).  The predicate $\lt(x, y)$, on the other hand, possesses only the property of transitivity.  Thus the formulas $\mathop{Ref}(\equiv)$, $\mathop{Sym}(\equiv)$, $\mathop{Tr}(\equiv)$, and $\mathop{Tr}(\lt)$ are true sentences, whereas $\mathop{Ref}(\lt)$ and $\mathop{Sym}(\lt)$ are false.</p>
+<p>Such ''predicates of predicates'' will be called ''predicates of second level''.  (p.&nbsp;135).</p>
+|}
 ===Selection 2===

@@ Line 1: / Line 1: @@
 {{DISPLAYTITLE:Precursors}}
 '''Note.'''  I was going to go with ''The Fruit Of Our Purloins'', but I reckon this is more succinct.  The way that I normally start an inquiry like this is just to collect a sample of source materials that seem like they belong together.  Still traveling, so this will be sporadic at first.  &mdash;[[User:Jon Awbrey|JA]]
 ==Preamble==

@@ Line 1: / Line 1: @@
 {{DISPLAYTITLE:Precursors}}
 '''Note.'''  I was going to go with ''The Fruit Of Our Purloins'', but I reckon this is more succinct.  The way that I normally start an inquiry like this is just to collect a sample of source materials that seem like they belong together.  Still traveling, so this will be sporadic at first.  &mdash;[[User:Jon Awbrey|JA]]
 {| align="center" cellpadding="6" width="90%"
+|
-<p>Now the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from the philosophers:  "Category" from Aristotle and Kant, "Functor" from Carnap (''Logische Syntax der Sprache''), and "natural transformation" from then current informal parlance.</p>
+<p>Now the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from the philosophers:  &ldquo;Category&rdquo; from Aristotle and Kant, &ldquo;Functor&rdquo; from Carnap (''Logische Syntax der Sprache''), and &ldquo;natural transformation&rdquo; from then current informal parlance.</p>
 <p>Saunders Mac Lane, ''Categories for the Working Mathematician'', 29&ndash;30.</p>
@@ Line 139: / Line 143: @@
 * [[continuous predicate]]
 * [[hypostatic abstraction]]
 ==Document History==
 * [http://ncatlab.org/nlab/revision/precursors+%3E+history/15 Precursors @ nLab]