Another snippet.

Reading up in German literature on Carnap e.g. [1,2] suggests that
Carnap may have chosen the word "Funktor" to rhyme with "Junktor".
Both rhyme with "Operator": a sign which allows us to derive an expression from another expression:
a Junktor (logical connective in propositional calculus) derives a proposition from propositions, and
a Funktor (placeholder for a function) derives a terms from terms.

Kuno Lorenz, Funktor, in: Jürgen Mittelstraß (ed.) Enzyklopädie Philosophie und Wissenschaftstheorie Band 2 C–F-J.B. Metzler (2005)
ibid., Operator, in: Jürgen Mittelstraß (ed.) Enzyklopädie Philosophie und Wissenschaftstheorie Band 6 O–Ra-J.B. Metzler (2016)

This is consistent with Haskell Curry's "Foundations of Mathematical Logic":

"There are three main classes of phrases, viz., nouns, sentences, and functors.
A noun names some object (real or imaginary); a sentence expresses
a statement; and a functor is a means of combining phrases to form other
phrases." (p. 32)

Generally, the movement from (Opera-)tion to (Opera-)tor is one towards higher-order-(opera-)tions, in linguistics, logic and mathematics.
A hidden issue is whether higher order means logical/analytic or not – this might relate to the argument MacLane makes about Carnap.

It is worth quoting the full footnote by Ralf Krömer in Tool and Object (p.59) that you refer to writes that Mac Lane "purloined" the word ("It seemed in order to take over that word for a better and less philosophical purpose.", Mac Lane, The Development and Prospects for Category Theory, p. 131)

"It was Mac Lane who reviewed the English translation of Carnap’s Logische Syntax der Sprache in the Bulletin of the AMS (1938); he mentions there that (and how) Carnap employs the term. In [1996, 131], Mac Lane writes: “Carnap […] had talked of functors in a different sense and made some corresponding mistakes. It seemed in order to take over that word for a better and less philosophical purpose”. This somewhat arrogant account obscures the fact that Carnap’s terminology has always since been widely employed in logical analysis of language. Steve Awodey at a 2005 Paris meeting on history of category theory (entitled “Impact des categories. 60 ans de théorie des catégories: aspects historiques et philosophiques”, October 10–14, ENS, Paris) delivered an interesting talk about the relationship between Carnap and Mac Lane, especially on the role of Mac Lane in Quine’s reception of Carnap."


Here is a link to the talk by Steve Awodey: https://youtu.be/alLgEf0uVkg?feature=shared&t=1194
As much as I can tell, the (great) talk is about Mac Lane's critique of Carnap's analyticity (preceding Quine).
For reference, the Mac Lane review of Carnap is available here: https://www.semanticscholar.org/paper/Carnap-on-Logical-Syntax-Maclane/a5b00cabfce7c998ba830a68019014bcab252baa


> On 19. Feb 2024, at 16:49, Johannes Huebschmann <johannes.huebschmann@univ-lille.fr> wrote:
>
> Perhaps I misremember something.
> I will try to check this.
> Frege extensively uses the term "function".
>
> Originally
> "functio" is a classical Latin word, derived from
> the verbe " fungor, fungi" (be engaged in, perform).
>
>
> Best
>
> Johannes
>
>
>
> De: "Steve Awodey" <awodey@cmu.edu>
> À: "Johannes Huebschmann" <johannes.huebschmann@univ-lille.fr>
> Envoyé: Lundi 19 Février 2024 15:06:47
> Objet: Re: On the etymology of the word "functor"
>
>
>
> On Feb 19, 2024, at 05:22, Johannes Huebschmann <johannes.huebschmann@univ-lille.fr> wrote:
>
> Frege used the term "functor".
>
> Do you have a reference for this?
>
> Perhaps it then was
> lingua franca in philosophy circles.
> Also we should be aware of the notion of function
> being a recent idea (Euler ...).
>
> Best
>
> Johannes
>
>
>
> De: "Fosco Loregian" <fosco.loregian@gmail.com>
> À: "categories" <categories@mq.edu.au>
> Envoyé: Samedi 17 Février 2024 13:09:21
> Objet: On the etymology of the word "functor"
>
> It seems surprisingly difficult to trace back the precise origin of the word "functor" imported by Mac Lane in category theory from philosophy. I wonder if someone more experienced than me can find a better answer to this mystery.
>
> - As it is well-known, Mac Lane says in the historical notes of Chapter 1 in CWM, that the name "functor" is borrowed from Carnap's "Logische Syntax der Sprache"; Carnap writes the book in 1934.
>
> In his book "Tool and object", Ralf Kr¨omer partially rectifies this claim in that he says: " The somewhat arrogant account [of Mac Lane's review of Carnap's LSS] obscures the fact that Carnap’s terminology has always since been widely employed in logical analysis of language".
>
> So, whence did Carnap borrow the term? Was it also a "current informal parlance" [CWM, p. 30] in the logical analysis of language, as much as "natural transformation" was in Mathematics? (cf. again Kr¨omer, where he makes a good point of how the term was employed by Lefschetz and Hurewicz).
>
> It seems that Haskell Curry, in his "Some logical aspects of grammatical structures", attributes the term to Tadeusz Kotarbiński, where it was introduced in his 1929's Elementy teorji poznania -in a somewhat clumsy translation, edited in English as "Gnosiology" by O. Wojtasiewicz, and only in 1966. It seems then reasonable that Mac Lane, not knowing Polish (or did he?) just wasn't aware of this much older occurrence. Curry's paper is behind a paywall for me, but in his 1979's book "Foundations of Mathematical Logic" Curry summarized some ideas from his "Logical aspects" (it's the paper where Curry introduces the toy language of szám, tetél and tantét), and the word "functor" itself occurs multiple times in the latter book, with no particular introduction -reasonable, in 1979.
>
> Too bad that, if one is stubborn enough to find a copy of "Gnosiology" (the original in Polish seems quite difficult to recover, but I'd happy to see it), they will notice that yes, the term "functor" is explained to some extent in the text, but it is not introduced in proper detail, as if the concept was already there and Kotarbiński just borrowed it from someone else. (Kotarbiński speaks of a functor as an abstract "sentential connective" at page 259, at the very start of his second chapter "The deductive method".
> "Gnosiology" comes with an appendix containing the review that Adjukiewicz wrote on Kotarbiński's book; Adjukiewicz uses the word functor quite liberally (see for example: "if that of which mathematics speaks is the objective correlates of some functors occurring in mathematical theorems, correlates which in turn have no arguments, then mathematics speaks of numbers, as, for example, in the arithmetical statement <<3 + 2 = 5>> such ultimate arguments are numbers, and nothing else"). There is no mention about Kotarbiński being the first to use the word, be it as formalization of a concept from common parlance, or as a word coined for the first time.
>
> This is where I start getting lost, and my skills are not enough any more.
>
> Kotarbiński seems in fact to attribute the coinage of the word "functor" to Łukasiewicz or Leśniewski, but never explicitly links any of the two to the term (I quote: p 244, "Lukasiewicz, in his system of the sentential calculus, places the functors directly before the functions to which they pertain" and p 403 "other logical types can be formed by sentence-forming or term-forming functors of the various kinds (Lesniewski)"). I find very little evidence that this attribution can be confirmed; this paper http://www.numdam.org/article/CM_1968__20__153_0.pdf talks from the very beginning of "the implication and negation functors of Łukasiewicz" referring to Rosser and Turquette's book "Many-valued logics". Unfortunately, the only edition of the book I could find has zero occurrences of the word "functor". From what I can find on the internet, Leśniewski seems to widely employ the _concept_ of a functor, and he is taken as the most ancient philosopher doing so (Leśniewski dies a few years after Carnap's book is published!) but there seems to be no proof that he was the first to employ the _name_.
>
> I'd like to get to the end of this. Any help?
>
>
>
> Fosco
> You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files | Leave group | Learn more about Microsoft 365 Groups

 
 
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
 
View group files   |   Leave group   |   Learn more about Microsoft 365 Groups