Changes

===Selection 2===

===Selection 2===

{| 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 ''predicates of first level''.</p>

<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>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>

 

<p>Hilbert and Ackermann, <i>Principles of Mathematical Logic</i>, Robert E. Luce (trans.), Chelsea Publishing Company, New York, NY, 1950.  First published, <i>Grundzüge der Theoretischen Logik</i>, 1928.  Second edition, 1938.  English translation with revisions, corrections, and added notes by Robert E. Luce, 1950.</p>

 

==References==

==References==