Changes

segment text
Line 1: Line 1:  
{{DISPLAYTITLE:Precursors}}
 
{{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.  —[[User:Jon Awbrey|JA]]
+
'''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.  —[[User:Jon Awbrey|JA]]
   −
<pre>
+
{| align="center" cellpadding="6" width="90%"
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
+
|
 +
<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:  "Category" from Aristotle and Kant, "Functor" from Carnap (<i>Logische Syntax der Sprache</i>), and "natural transformation" from then current informal parlance.</p>
+
<p>Saunders Mac Lane, ''Categories for the Working Mathematician'', 29&ndash;30.</p>
 +
|}
   −
<p>Saunders Mac Lane, <i>Categories for the Working Mathematician</i>, 29&ndash;30.</p>
+
==Aristotle==
   −
</td></table>
+
===Selection 1===
   −
# Aristotle #
+
{| align="center" cellpadding="6" width="90%"
 +
|
 +
<p>Things are equivocally named, when they have the name only in common, the definition (or statement of essence) corresponding with the name being different.  For instance, while a man and a portrait can properly both be called ''animals'' (&#950;&#969;&#959;&#957;), these are equivocally named.  For they have the name only in common, the definitions (or statements of essence) corresponding with the name being different.  For if you are asked to define what the being an animal means in the case of the man and the portrait, you give in either case a definition appropriate to that case alone.</p>
   −
## Selection 1 ##
+
<p>Things are univocally named, when not only they bear the same name but the name means the same in each case &mdash; has the same definition corresponding.  Thus a man and an ox are called ''animals''.  The name is the same in both cases;  so also the statement of essence.  For if you are asked what is meant by their both of them being called ''animals'', you give that particular name in both cases the same definition.</p>
   −
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
+
<p>Aristotle, <i>Categories</i>, 1.1<sup>a</sup>1&ndash;12.</p>
   −
<p>Things are equivocally named, when they have the name only in common, the definition (or statement of essence) corresponding with the name being differentFor instance, while a man and a portrait can properly both be called <i>animals</i> (&#950;&#969;&#959;&#957;), these are equivocally namedFor they have the name only in common, the definitions (or statements of essence) corresponding with the name being differentFor if you are asked to define what the being an animal means in the case of the man and the portrait, you give in either case a definition appropriate to that case alone.</p>
+
<p>'''Translator's Note.''' &ldquo;&#918;&#969;&#959;&#957; in Greek had two meanings, that is to say, living creature, and, secondly, a figure or image in painting, embroidery, sculptureWe have no ambiguous noun.  However, we use the word &lsquo;living&rsquo; of portraits to mean &lsquo;true to life&rsquo;.&rdquo; (H.P. Cooke).</p>
 +
|}
   −
<p>Things are univocally named, when not only they bear the same name but the name means the same in each case &mdash; has the same definition corresponding.  Thus a man and an ox are called <i>animals</i>.  The name is the same in both cases;  so also the statement of essence.  For if you are asked what is meant by their both of them being called <i>animals</i>, you give that particular name in both cases the same definition.</p>
+
In the logic of Aristotle categories are adjuncts to reasoning that are designed to resolve ambiguities and thus to prepare equivocal signs, that 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 don't need categories to ''make'' generalizations so much as we need them to ''control'' generalizations, to reign in abstractions and analogies that are stretched too far.
   −
<p>Aristotle, <i>Categories</i>, 1.1<sup>a</sup>1–12.</p>
+
==Kant==
   −
<p><b>Translator's Note.</b>  &ldquo;&#918;&#969;&#959;&#957; in Greek had two meanings, that is to say, living creature, and, secondly, a figure or image in painting, embroidery, sculpture.  We have no ambiguous noun.  However, we use the word &lsquo;living&rsquo; of portraits to mean &lsquo;true to life&rsquo;.&rdquo;  (H.P. Cooke).</p>
+
<math>\ldots</math>
   −
</td></table>
+
==Peirce==
   −
In the logic of Aristotle categories are adjuncts to reasoning that are designed to resolve ambiguities and thus to prepare equivocal signs, that 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 don't need categories to _make_ generalizations so much as we need them to _control_ generalizations, to reign in abstractions and analogies that are stretched too far.
+
===Selection 1===
 
  −
# Kant #
  −
 
  −
$\ldots$
  −
 
  −
# Peirce #
  −
 
  −
## Selection 1 ##
      +
<pre>
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
   Line 48: Line 46:     
$\ldots$
 
$\ldots$
 +
</pre>
   −
## Selection 2 ##
+
===Selection 2===
    +
<pre>
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
   Line 72: Line 72:     
Part of the justification for Peirce's claim that three categories are both necessary and sufficient appears to arise from mathematical facts about the reducibility of $k$-adic relations.  With regard to necessity, triadic relations cannot be completely analyzed in terms or monadic and dyadic predicates.  With regard to sufficiency, all higher arity $k$-adic relations can be analyzed in terms of triadic and lower arity relations.
 
Part of the justification for Peirce's claim that three categories are both necessary and sufficient appears to arise from mathematical facts about the reducibility of $k$-adic relations.  With regard to necessity, triadic relations cannot be completely analyzed in terms or monadic and dyadic predicates.  With regard to sufficiency, all higher arity $k$-adic relations can be analyzed in terms of triadic and lower arity relations.
 +
</pre>
   −
# Hilbert #
+
==Hilbert==
    +
<pre>
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
   Line 84: Line 86:     
</td></table>
 
</td></table>
 +
</pre>
   −
# Hilbert and Ackermann #
+
==Hilbert and Ackermann==
   −
## Selection 1 ##
+
===Selection 1===
    +
<pre>
 
<table align="center" cellpadding="6" markdown="1" style="border:none" width="90%"><td style="border:none">
 
<table align="center" cellpadding="6" markdown="1" style="border:none" width="90%"><td style="border:none">
   Line 110: Line 114:     
</td></table>
 
</td></table>
 +
</pre>
   −
## Selection 2 ##
+
===Selection 2===
    +
<pre>
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
 
<table align="center" cellpadding="6" style="border:none" width="90%"><td style="border:none">
   Line 122: Line 128:     
</td></table>
 
</td></table>
 +
</pre>
   −
# References #
+
==References==
    +
<pre>
 
* Aristotle, "The Categories", Harold P. Cooke (trans.), pp. 1&ndash;109 in _Aristotle, Volume&nbsp;1_, Loeb Classical Library, William Heinemann, London, UK, 1938.
 
* Aristotle, "The Categories", Harold P. Cooke (trans.), pp. 1&ndash;109 in _Aristotle, Volume&nbsp;1_, Loeb Classical Library, William Heinemann, London, UK, 1938.
   Line 138: Line 146:     
* 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, _[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;
 +
</pre>
   −
# Related Topics #
+
==Related Topics==
    
* [[continuous predicate]]
 
* [[continuous predicate]]
 
* [[hypostatic abstraction]]
 
* [[hypostatic abstraction]]
   −
# Discussion #
+
==Discussion==
    +
<pre>
 
_The following discussion took place at [[category theory]], when the subject of this page had appeared as a brief section in stub form._  
 
_The following discussion took place at [[category theory]], when the subject of this page had appeared as a brief section in stub form._  
  
12,080

edits