Marco Panza

From Lagrange to Frege: Functions and Expressions

Part 1 I of Frege's Grundgesetze is devoted to the "exposition [Darlegung]" of his formal system. It opens with the following claim ([34], § I.1, p. 5 ; [40], p. 33) 2 : When one is concerned with specifying the original reference [Bedeutung] of the word 'function' in its mathematical usage, it is easy to fall into calling function of x an expression [Ausdruck ] formed from 'x' and particular numbers by means of the notations [Bezeichnungen] for sum, product, power, difference, and so on. This is inappropriate [unzutreffend ] because in this way a function is depicted [hingestellt] as an expression-that is, as a concatenation of signs [Verbindung von Zeichen]-not as what is designated [Bezeichnete] thereby. Hence, instead of 'expression', one should say 'reference of an expression'.

Frege does not explicitly ascribe this inappropriateness to anyone, though he could have ascribed it to many 3 . One is Lagrange, which, a little less than one century later, defined functions as follows, both in the Théorie des fonctions analytiques and in the Leçons sur le calcul des fonctions ([58], § 1, p. 1; [55], Introduction, p. 1; [52], p. 6; [53], p. 6; I quote from the Théorie; the analogous passage of the Leçons presents some inessential changes):

One calls 'function' of one or several quantities any expression of calculation [expression de calcul ] into which these quantities enter in any way whatsoever combined or not with other quantities which are regarded as having same given and invariable values, whereas the quantities of the function may receive any possible value.

According to our modern view, this definition is based on an inadmissible conflation of syntactical and semantic items. Hence, Frege's warning is not merely motivated by a different approach; it is rather

commanded by conceptual clarity and rigour. Historically speaking, things are not so simple, however: if considered in context, Lagrange's definition reflects a quite precise conception of mathematics, which is, for some crucial respects, close to Frege's. Like Frege's Grundgesetze, also Lagrange's treatises pursue a foundational purpose. Still, the former's program is not only crucially different from the latter's. It also depends on a different idea of what foundation of mathematics should be like 4 . Despite both this contrast and that between Frege's warning and Lagrange's definition, the notion of function plays similar roles in their respective programs. The purpose of my paper is emphasising this similarity. In doing it, I hope to contribute to a better understanding of Frege's logicism, especially in relation to its crucial differences with a set-theoretic foundational perspective. This should also spread some light on a question arisen by J. Hintikka and G. Sandu in a widely discussed paper ( [START_REF] Hintikka | The skeleton in Frege's cupboard: The standard versus nonstandard distintion[END_REF]), namely whether Frege should or should not be credited with the notion of arbitrary function underlying our standard interpretation of second-order logic.

In section 1, I shall account for Lagrange's notion of function 5 . In section 2, I shall advance some remarks on connected historical matters. This will provide an appropriate framework for discussing the role played by the notion of function in Frege's Grundgesetze. Section 3 is devoted to this. Some concluding remarks will close the paper.

Lagrange's Notion of Function

Lagrange' treatises aim to offer a non-infinitesimalist interpretation of the differential formalism. For this purpose, the calculus is immersed in a general theory of functions, often termed 'algebraic analysis' 6 . Though this theory originated with Euler's Introductio ([21]), Lagrange suggests a new way for integrating the calculus within it, quite different from that suggested by Euler himself in his Institutiones ([24]). This rests on a more general conception of mathematics, that, though close to Euler's, significantly differs from it 7 .

The basing idea is that of recasting all mathematics within algebraic analysis, understood as the general theory of functions. Hence, functions are then not merely conceived as objects to be studied by a branch of mathematics; they are taken to be what all mathematics is about.

This idea is structurally similar to that which underlies the set-theoretic foundational program. But, while this program is often understood ontologically-i.e. it is taken to entail the requirement that all mathematical objects be ultimately identified with appropriate sets-, Lagrange does not argues that all that mathematics deal with has to be ultimately identified with a function. For him, mathematics is the science of quantities, as classically maintained, and not any quantity is ultimately a function: this is not so for numbers or geometrical and mechanical magnitudes, which are endowed with a specific, irreducible nature. Concerning them, Lagrange's point is rather that mathematics should study their mutual relations, and, for this purpose, it should look at them as functions of each other. Still, according to him, this is possible only if a general theory of functions is provided, in which functions are considered as such, and identified with abstract quantities, i.e. quantities lacking any specific nature. Algebraic analysis is just this theory. And Lagrange's definition of functions is aimed at fixing what it is about.

Following this definition, quantities enter into expressions. Hence, these expressions are said to include that which, according the our familiar distinction between denotans and denotatum, the terms composing them should rather denote.

One could argue that this is simply because of a slip of the pen. But this is implausible. Not only because Lagrange have been then victim of the same slip in both editions of the Théorie and of Leçons as well. But also because this slip would have then been also very frequent among other contemporary mathematicians. It would have also affected, for example, the definition of function offered in Euler's Introductio ([21], vol. I, § 4, p. 4; [START_REF] Euler | Introduction to Analysis of the Infinite[END_REF], vol. I, p. 3):

A function of a variable quantity is an analytical expression composed in any way whatever of this variable quantity and numbers or constant quantities.

Once discarded the possibility of a slip of the pen, it only remains to accept that, both for Lagrange and Euler, quantities are not that which the terms entering into an "expression of calculation" or "analytical expression" denote, but are these very terms.

A hint for understanding how this is possible can be found in a criticism Lagrange addresses to Newton's conception of the calculus ( [START_REF] Lagrange | Théorie des fonctions analytiques[END_REF], § 5, p. The calculation Lagrange is referring to is the calculus. His point is thus that the calculus should not concern quantities generated by motion, but algebraic quantities. Criticising Newton for introducing motion within pure mathematics was usual. But arguing that the calculus should concern algebraic quantities was new. For Lagrange, the calculus is to be immersed within algebraic analysis. Hence, for him also algebraic analysis should be about algebraic quantities. But what are them?

In Lagrange's setting, there is no room for identifying them as that which algebra is about, supposing that this is independent of (and prior to) algebraic analysis. In other terms, there is no room for taking functions entering into algebraic analysis to involve quantities that algebra supply. This would result, indeed, in a structural duplicity (algebra on one side with its own formulas, and algebraic analysis on the other side with its functions), of which there is any trace neither in the Théorie nor in the Leçons. Rather, Lagrange repetitively claims or implies that algebra and algebraic analysis do not essentially differ. The following quotation, from his treatise on numerical equations provides an example ( [START_REF] Lagrange | De la résolution des équations numériques de tous les degrés[END_REF], p. vii; [54], p. 15): Taken in the most comprehensive sense, algebra is the art of determining unknown through functions of known quantities or quantities regarded as known; and general solution of equations consists in finding, for all the equations of any degree, the functions of the coefficients of these equations that are able to represent all their roots. Furthermore, for Lagrange, functions do not only include (algebraic) quantities, but are (algebraic) quantities, also. Here is what he writes in the second edition of the Théorie:

Through the character 'f ' or 'F ' placed before a variable, we shall designate in general any function of this variable, that is, any quantity depending on this variable and which varies with it according to a given law.

Another passage where he is quite clear on this is the following ( [START_REF] Lagrange | Théorie des fonctions analytiques[END_REF], § 2; [55], Introduction, pp. 1-2; cf. also [52], p. 4 and [START_REF] Lagrange | Leçons sur le calcul des fonctions, nouvelle édition revue[END_REF], p. 4):

The word 'function' has been employed by the first analysts in order to designate in general the powers of a same quantity. Then its meaning has been extended to any quantity however formed by another quantity. Leibniz and the Bernoullis employed it firstly in this general sense, and it is today generally adopted. Doubtless, Lagrange takes his definition to be consistent both with this "generally adopted", which Johann Bernoulli had fixed already in 1718, by stating that a "function of a variable quantity" is a "quantity however composed by this variable quantity and constants" ( [START_REF] Bernoulli | Remarques sur ce qu'on a donné jusqu'ici de solutions des problèmes sur les isoperimétres[END_REF], p. 241).

There is thus no doubt that, for Lagrange, functions are both expressions that contain quantities and quantities. Insofar as this view is openly incompatible with the denotans/denotatum distinction, it can be grasped only if this distinction is thrown away. Two new quotations (respectively from [52], p. 4 and [START_REF] Lagrange | Leçons sur le calcul des fonctions, nouvelle édition revue[END_REF], p. 4, and from [START_REF] Lagrange | Discours sur l'objet de la théorie des fonctions analytiques[END_REF], 235) suggest a way for doing it: [...] one should regard algebra as the science of functions, and it is easy to see that the solution of equations does not consist in general but in finding the values of unknown quantities as determined functions of known quantities. These functions represent, then, the different operations that have to be performed on the known quantities in order to obtain the values of those which are sought, and they are properly only the last result of the calculation.

Strictly speaking, algebra in general is nothing but the theory of functions. In Arithmetic, one looks for numbers according to given conditions between these numbers and other numbers; and the numbers that are found meet these conditions without conserving any trace of the operations that were needed in order to form them. In algebra, instead, the sought after quantities have to be functions of given quantities, that is, expressions representing the different operations that have to be performed on these quantities in order to get the values of the sought after quantities. In algebra stricto sensu, one only considers primitive functions that result from ordinary algebraic operations; this is the first branch of the theory of functions. In the second branch, one considers derivative functions, and it is this branch that we simply designate with the name 'theory of analytical functions' [. . . ].

Lagrange's terminology is fluctuating and imprecise. But it is clear that he considers algebraic analysis to be a general context including at least two interrelated branches that are not distinguished because of their objects, which are always functions, but only for the way these objects are considered. The former is the theory of algebraic equations; the latter the theory of analytical functions, i.e. Lagrange's own version of the calculus. Arithmetic results when functions are instantiated on numbers. In this case, they can be computed and this produces new numbers whose operational relations with those from which they result is lost. In algebraic analysis, instead, functions are not instantiated on independently given quantities, but are the relevant quantities themselves; they can only be transformed, and, whatever their form might me, they keep a trace of the operational relations that link them to the quantities of which they are functions. This is just what makes algebraic analysis pure and general. Its subject matter is the system of relations induced by the (indefinite) composition of some (elementary) operations applied to previously indeterminate arguments. Precisely because these arguments are taken as being previously indeterminate, they are subsequently characterised by nothing but the net of relations they enter into. These relations are immediately displayed-or, as Lagrange improperly says , "represented" 8by appropriate expressions, which are taken to constitute a sui generis sort of quantities: algebraic quantities, or functions. These are endowed with a purely relational identity and lack any intrinsic nature, though being capable of being studied as such, and of being instantiated on numbers and geometric or mechanical magnitudes.

It follows that, according to Lagrange, neither operations nor their arguments are there before symbols: at the beginning there are only symbols submitted to appropriate rules; operations and quantities appear next, whenever symbols are supposed to acquire a mathematical meaning. Consider an example. The symbols '+' is not taken to designate the independently given operation of addition. This operation is rather fixed by the rules of composition and transformations relative to this symbol: it is not because addition is commutative that 'a + b' can be transformed into 'b + a', but the other way around. The universe of Lagrange's general theory of functions is thus a universe of symbols governed by rules of composition and transformation, not a universe of objects, operations and relations which these symbols refer to.

All this makes clear that, for Lagrange, the notion of function is mathematically primitive: his definition is intend as a clarification of this notion that is based on no previous mathematical development.

All what is required for understanding this definition is taking for granted an appropriate extension of the algebraic formalism originated with Viète and Descartes. But, as such, this formalism is not supposed to be a mathematical system, yet; mathematics only begins when the formulas of this formalism are understood as quantities, i.e. just when functions are introduced.

A last point has to be clarified: if things are this way, how can Lagrange maintain that algebraic quantities or functions are quantities in a genuine sense of this term? Partially, this is because they are arguments of operations with the same formal properties as usual operations on numbers and geometric magnitudes 9 . Furthermore, this is because Lagrange tacitly assigns to them some properties that do not depend on their being constituted by appropriate expressions: he attributes to them a linear order and some metric relations, and also supposes they comply with continuity conditions. This is essential 8 As Lagrange uses it, the verb 'to represent' is not intended to indicate a relation between two distinct entities. Expressions do not "represent" operations because stand for them or present them afresh. They display at once these operations, their results and the corresponding relations: 'x 2 ' displays for example the operation of quadratic power, the quantity related to x according to this operation, and the relation between it and x. 9 Though partial, this answer is not simple. It reveals a crucial feature that Lagrange's program shares with any foundational reductionist program in mathematics: this program stipulates a new start for mathematics, without being free to forget what mathematics was before its advent. Hence, this start has both to be taken as primitive and to be so shaped as to allow a reformulation of what was there independently of it.

for his reductionist program to succeed. But it also produces a discrepancy between the understanding of functions as expressions and their understanding as quantities. This is one of the reasons for this program failed, in the end.

Arbitrary Functions and Arithmetisation of Analysis

A notorious shortcoming of Lagrange's theory is relevant for my purpose. To see it, consider an example ( [START_REF] Lagrange | Théorie des fonctions analytiques[END_REF], § 96; [55] § I.84).

Let

z = ax + by + c, (1)
a function of two variables x and y, involving the constants a, b and c. Insofar as z ′ x = a and z ′ y = b, this function provides the complete primitive of the following partial differential equation:

z -xz ′ x -yz ′ y -c = 0. ( 2
)
Suppose now that b be a function of a, namely b = f (a), and that

x + yf ′ (a) = 0 (3)
It follows that f ′ (a) = -x y and then a = f ′-1 -x y , and (1) becomes, by replacement:

z = xf ′-1 - x y + yf f ′-1 - x y + c. (4)
Suppose also that a be, in turn, a function of x and y. From (1), by taking the derivatives with respect to x and y, one gets, respectively:

a + a ′ x [x + yf ′ (a)] -z ′ x = 0 and b + a ′ y [x + yf ′ (a)] -z ′ y = 0.
And, by comparing these equations with (1) and (3), one gets [START_REF] Ampère | Recherches sur l'application des formules générales du calcul des variations aux problèmes de la mécanique[END_REF]. Because of (4), it follows that it is enough to put

ϕ x y = x y f ′-1 - x y + f f ′-1 - x y ,
to conclude that

z = yϕ x y + c. ( 5
)
is a solution of (2) more general than (1), namely its "general primitive" ([52], continuation of lect. XX, and [START_REF] Lagrange | Leçons sur le calcul des fonctions, nouvelle édition revue[END_REF], lect. XX).

The relevant point here is that a and b are "absolutely arbitrary" functions, as Lagrange himself admits ( [START_REF] Lagrange | Théorie des fonctions analytiques[END_REF], § 95; [55] § I.83). If ( 5) is a general solution of (2), it is because the relations of a with x and y, and of b with a are not required to be displayed by any expression. All what is required for the argument to run is that some operational conditions about derivatives are met, so as to get, for example, that the derivative of by with respect to x is yb ′ a a ′ x . In order to account for the existence of general primitives of partial differential equations, Lagrange is then forced to deal with arbitrary functions, which are not so because they are waiting for a further possible determination through an appropriate expression, but are rather intrinsically indeterminate insofar as they are not expression at all, but just quantities that are supposed to depend on other quantities and respect appropriate operational conditions. Lagrange cautiously avoids remarking this. But the question was not ignored in his times. Euler had openly tackled it many years later ( [START_REF] Euler | De vibratione chordarum exercitatio[END_REF], [START_REF] Euler | Remarques sur les mémoires précédens de M. Bernoulli[END_REF], and [START_REF] Euler | De usu functionum discontinarum in analysi[END_REF]). The details of Euler's arguments are not relevant for the present purpose 10 . It is enough to say that in these works, he takes functions to be "quantities somehow determined through some variable"( [START_REF] Euler | De usu functionum discontinarum in analysi[END_REF], p. 3). This fits with the definition he provides in the Institutiones ([24], p. VI; [START_REF] Euler | Foundation of Differential Calculus[END_REF], p. VI):

Those quantities that depend on others in [. . . ][such a] way that if these are changed, they also undergo a change are usually said to be functions of these latter [quantities]. This is a quite broad denomination and encompasses in itself all ways in which one quantity can be determined by others. Hence, if 'x' denotes a variable quantity, all quantities that in any way depend on x or are determined by it, are said to be functions of it. This definition has often been opposed to those offered by Lagrange and by Euler himself in the Introductio 11 . It is also mentioned by Hintikka and Sandu in their paper on Frege's notion of function ( [START_REF] Hintikka | The skeleton in Frege's cupboard: The standard versus nonstandard distintion[END_REF], pp. 296-297), as an early manifestation of the "concept of arbitrary function". Hintikka and Sandu are interested to the question "whether Frege assumed the standard interpretation of higherorder quantifiers or a nonstandard one" (ibid., p. 298), i.e. whether, for him, the range of second-order quantifiers is "the entire power set P (do (M )) of the relevant domain do (M ) of individuals", or "only some designed subset of P (do (M ))" (ibid., p. 290). For Hintikka and Sandu, "the conception of the standard interpretation [. . . ] is, to all purposes, equivalent with the notion of an arbitrary function or the notion of an arbitrary set" (ibid., p. 298). They argue that "Frege lacked both the idea of arbitrary function and the idea of arbitrary set, and hence in effect opted for a nonstandard interpretation" (ibid.). The definition of the Institutiones is mentioned as an evidence that the "idea of an arbitrary function" date back to much time before Frege (ibid.,p. 296). This suggests that in the evolution of the notion of function, two camps opposed each other: on the one side, those that admitted the notion of arbitrary function, like Euler, the author of the Institutiones, and many others among which Hintikka and Sandu mention Dirichlet, Lobachevsky, and Cantor; on the other side those that rejected or lacked this idea, like Euler, the author of the Introductio, Lagrangeat least for the definition he explicitly provides-, and Frege, to which they also add Weierstrass and Kronecker (ibid., pp. 296-298). At first glance, my claim that the notion of function plays similar roles in Lagrange's and Frege's foundational programs seems to support this account. This is only partially true, however. What follows will explain why 12 .

10 On these arguments and the mathematical discussion they were part of, cf.: [START_REF] Truesdell | The Rational Mechanics od Flexible or Elastic Bodies[END_REF], pp. 237-300; [START_REF] Grattan-Guinness | The Development of Foundations of Mathematical Analysis from Euler to Riemann[END_REF], 1-21; [START_REF] Dhombres | Un texte d'euler sur les fonctions continues et le fonctions discontinues, véritable programme d'organisation de l'analyse au 18e siècle[END_REF]; [START_REF] Bottazzini | The Higher Calculus. A History of Real and Complex Analysis from Euler to Weierstrass[END_REF], pp. 21-33; and [START_REF] Panza | La forma della quantità. Analisi algebrica e analisi superiore: il problema dell'unità della matematica nel secolo dell'illuminismo[END_REF], 256-264.. 11 For example in [START_REF] Youschkevitch | The concept of function up to the middle of the 19th century[END_REF]. 12 Hintikka and Sandu's theses have generated a sharp controversy: cf [START_REF] Burgess | Hintikka and Sandu versus Frege in re arbitrary functions[END_REF], [START_REF] Demopoulos | Frege's theory of concepts and objects ans the interpretation of second-order logic[END_REF], and [START_REF] Heck | Reply to Hintikka and Sandu: Frege and second-order logic[END_REF], for example. This largely depended on their arguing that it is "unfortunate that philosophers habitually go to Frege", since "Frege was far too myopic to be a fruitful source for concepts, idea and problems" ( [START_REF] Hintikka | The skeleton in Frege's cupboard: The standard versus nonstandard distintion[END_REF], p. 315). I shall not deal with this allegation, and confine myself to account for Frege's views in their historical context.

My first remark is that the apparent generality of the definition of the Institutiones is limited by the notion of quantity it is based on. In the same treatise, Euler argues that "every quantity, for its nature, can increase and decrease up to the infinity" ([24], p. IV; [START_REF] Euler | Foundation of Differential Calculus[END_REF], p. V). This echoes the classical, Aristotelian conception of quantity (Metaphysics, ∆, 13, 1020a, 7-14, and Categories, part 6), which d'Alembert fixes by claiming that a quantity is "that which can be increased or decreased" ( [START_REF] Le R. D' Alembert | Quantity. In Encyclopédie, ou dictionnaire raisonné des sciences, des arts et des métiers[END_REF], p. 653). This is a quite vague conception, however. When the definition of the Institutiones is related to it, all that one understands from it is that a function is anything that can increase or decrease insofar as this depends on the increasing or decreasing of something else. Now, this idea is not only quite different from the modern one involved in the standard interpretation of higher-order quantifiers. More importantly, it is also a poor basis for any mathematical argument. To explain his notion of arbitrary functions-which reduces to argue, in fact, that a solution of a partial differential equation can involve something as a discontinuous function-Euler is forced to rely, indeed, on the representation of functions through curves. Hence, though perhaps more general than that of the Introductio, the definition of the Institutiones is more imprecise and less effective; it is inappropriate as a starting point for a general theory of functions, as algebraic analysis was intended to be. This is why Lagrange preferred grounding his theory on another definition. His tentative failed, greatly because of shortcomings like that mentioned above. But this failure did not result in the general admission of the definition of the Institutiones, but rather fostered the shaping of a new notion. Cauchy's Cours d'analyse ( [START_REF] Cauchy | Cours d'analyse de l' École royale polytechnique[END_REF]) was the manifesto of the new course 13 .

As well as Lagrange's Théorie, Cauchy's treatise presents itself, after its title, as a treatise of algebraic analysis. But this last term takes in the latter a quite different meaning than in the former. For Cauchy, algebraic analysis is a preliminary part of analysis (to be followed by the calculus), and analysis is a particular branch of mathematics. It is then essentially distinct both from algebra and geometry, but it is expected to be as rigourous as the latter, which is possible only insofar as it never relies on "arguments drawn from the generality" of the former (ibid., p. ii; [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], p. 1) 14 . This is already quite far from Lagrange's conceptions. But a more radical difference depends on the fact that Cauchy's does not open his treatise by fixing the notion of function, but rather by independently explaining the notion of quantity. Though his explanation 15 is far from perspicuous, his general strategy 13 An essentially different reaction was promoted by a group of British mathematicians including Woodhause, Babbage, and Peacock. Though their conceptions were highly influential in the history of logic, considering them is not relevant for my present purpose 14 A similar view had been endorsed by Ampère, almost twenty years later, in a memoir presented to the Institut des sciences in 1803 and appeared in 1806 [ [START_REF] Ampère | Recherches sur l'application des formules générales du calcul des variations aux problèmes de la mécanique[END_REF], p. 496]: "That which is termed a fact of analysis has always to be reduced to the metaphysical principles of this science, if one want to have a right idea of it. It is evident, indeed, that one has always to find the reasons of all results obtained through calculation in the attentive examination of the conditions of any question, since the use of algebraic characters can add nothing to the ideas that they represent." 15 Cf. [START_REF] Cauchy | Cours d'analyse de l' École royale polytechnique[END_REF], pp. 1-2, and [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], pp. 5-6: "First of all, we shall indicate what idea it seems appropriate to us to attach to the two words 'number' and 'quantity'. We shall always take the denomination of numbers in the sense in which it is used in arithmetic, by making the numbers to arise from the absolute measure of magnitudes [grandeurs], and we shall only apply the denomination of quantities two real positive or negative quantities, i. e. to numbers preceded by the signs '+' or '-'. Furthermore, we shall regard quantities as intended to express increase or decrease, so that a given magnitude will simply be represented by a number, if one only mean to compare it with another magnitude of the same species taken as a unity, and by the same number preceded by the sign '+' or the sign '-', if one considers it as to be used for increasing or decreasing a fixed magnitude of the same species [comme devant servir à l'accroissemment ou la diminuition d'une grandeur fixe de la même espèce]. [...] We shall call: 'numerical value' of a quantity that numbers which forms its basis; is clear enough.

Analysis starts by inheriting the notion of magnitude from an independent source. This notion is taken as primitive in analysis, since analysis neither requires nor is capable of providing any further clarification of it. Analysis no more deals with magnitudes, directly. It is rather concerned with their measures (which is also an unanalysed notion). These result from two sources. Each magnitude can be compared to another of the same species which is taken as a unit; but also its increase or decrease can be taken into account. In the former case, its measure is a number; in the latter, it is a quantity. Taken as such, numbers are neither positive nor negative, but only greater or smaller to each other. Quantities are either positive or negative, instead: they are so insofar as they are respectively measures of the increase or the decrease of a magnitude. But, insofar as the increase and decrease of any magnitude can only be estimated by comparison with an appropriate unit, quantities are related with numbers, namely they are signed numbers (which are not positive or negative numbers, but numbers preceded either by the sign '+' or by the sign '-'). Hence, any quantity has a numerical value, which is nothing but the number that is got when its sign is omitted.

It is only after having fixed these notions that Cauchy comes to functions. He begins by distinguishing variable from constant quantities: a quantity is variable if it is supposed "to take on successively several values different to each other", while it is constant if it "takes on a fixed and determined value" ([9], p. 4; [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], p. 6). Then, he introduces functions as follows ([9], p. 19; [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], p. 17):

When variable quantities are so related to each other that, the value of one of them being given, one can infer the values of all the others, one usually conceive these various quantities to be expressed by means of one of them, which therefore is the called 'independent variable'. The other quantities, expressed by means of the independent variable, are that which one terms functions of that variable.

Immediately after this, an analogous definition is offered for functions of several variables. Much later ( [START_REF] Cauchy | Cours d'analyse de l' École royale polytechnique[END_REF], pp. 246-247; [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], p. 163), he makes clear that these explanations only concern "real functions", to which "imaginary" ones are opposed: these are defined as "expressions" of the form 'φ(x, y, z, . . .) + χ(x, y, z, . . .) √ -1', where 'φ(x, y, z, . . .)' and 'χ(x, y, z, . . .)' designate real functions of x, y, z, ... At first glance, Cauchy's idea or real functions seems close to that of Euler, the author of the Introductio: the adverb 'usually', occurring in his definition, suggests that, for him, real functions are quantities depending on other quantities though they are not necessarily expressed in terms of theses latter quantities. But a crucial difference appears when one focuses on the notion of quantity: for Cauchy, a quantity is what we would term today a real number (though real numbers are only informally defined by him, as measures of magnitudes). Hence, his real functions are functions of real variables, in modern parlance. Imaginary functions, instead, are symbolic generalisation of real ones: they are just "symbolic expressions": combinations of algebraic signs that do not mean anything by themselves ([9], p. 173; [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], p. 117).

This provides the starting point of the so called arithmetisation of analysis. Shortly speaking, and using modern terminology, this is a development of mathematical analysis based on the idea that functions have to be defined on real and complex numbers. This program differs from Lagrange's in many respects. Two of them are relevant for my purpose. On the one side, the notion of function is no more mathematically primitive: before introducing it, a (more or less) appropriate notion of real and complex numbers have to be fixed. On the other side, this notion is now confided in a quite strict disciplinary context, i.e. a particular branch of mathematics. The failure of Lagrange's program resulted, then, in the dismission of the notion of function from the basic foundational role that this program had conferred to it.

But something else is also relevant. According to Cauchy's definition, a real function is identified with a real number, namely a variable one, whose variation depends (in any way whatsoever) on the variation of another real number. Though this conception will be later refined, several manuals of real analysis will continue to be based on it. A late example is E. Czuber's Vorlesungen über Differentialund Integralrechnung, whose first edition appeared in 1898. Here is as Czuber defines real functions ( [START_REF] Czuber | Vorlesungen über Differential-und Integralrechnung[END_REF], § 3, p. 15):

If to every value of the real variable x that belongs to its domain [Bereich] a definite number y is correlated, then in general y also is defined as a variable, and is said to be a function of the real variable x.

The basic idea is the same as Cauchy's: a real function is a variable real number. This conception is flawed, at least if it is not offered a clear explanation of what it is for a real number to be variable (an explanation which neither Cauchy nor Czuber are able to offer). But it also contains the crucial idea of conceiving functions extensionally, that is, not for the way they realise a connection between appropriate items, but for their connecting certain items to certain other ones. In other terms, the idea is that of making the identity of a function depending of what it connects rather than of the way it realises the connection. This idea depends on the dissociation of relata from relations-which in Lagrange's idea of algebraic quantity are kept together, instead. Furthermore, it depends on the admission that the relata come before the relation. This is the idea that, though a gradual and difficult evolution, has finally resulted in the modern extensional set-theoretic notion of function: the notion on which that of arbitrary function considered by Hintikka and Sandu is based.

Mentioning Czuber in this respect is relevant, since Frege takes his definition into account and openly rejects it, in a paper of 1904 ( [START_REF] Frege | Was ist eine funktion[END_REF]), on which I shall come back at the end of section 3.4. As we shall see, Frege's objection does not bring him to suggest some refinement of the conception of real functions as real numbers, but rather results in his rejection of the very extensional conception of functions. In this way, Frege radically contrast the more fundamental ground the program of arithmetisation of analysis was based on, and certainly does not do it by looking at a set-theoretic perspective. He rather comes back, in a sense, to Lagrange's attitude. Emphasising this double contrast of Frege's ideas on functions, with arithmetisation of analysis on one side, and with a set-theoretic perspective on another side, is the aim of the next section, where I shall try to show that the views Frege expound in his 1904 paper are perfectly in agreement with the way he deals with functions in the Grundgesetze.

Functions in Frege's Grundgesetze

In a recent paper ( [START_REF] Tappenden | The Riemannian background to Frege's philosophy[END_REF]), J. Tappenden has contrasted the "myth" that, so far as it is relevant to Frege, nineteenth century mathematics could be reduced to arithmetisation of analysis, this being conceived as a process "exemplified by Weierstrass", and essentially consisting in "a series of reductions", such as those of derivatives to limits of reals, reals and limits of reals to sets of rationals, rationals to sets of pairs of integers, and integers to sets (ibid., pp. 99-101). But, for Tappenden, contrasting this myth should not result in endorsing the "countermith" that Frege was "crucially different from Weierstrass and, by extension, from nineteenth-century mathematics generally", in that he was moved by "philosophical desiderata" rather than "mathematical considerations" (ibid., p. 102). According to Tappenden, Frege's views did differ from Weierstrass's, but "this does not reflect a divide between Frege and mathematicians", since "Weierstrass differed from many mathematicians", especially from Riemann, and "Frege was in the Riemannian tradition" (ibid., pp. 106-107).

Doubtless, Frege cannot be inscribed in the process of successive reductions just mentioned (though he was certainly concerned with rigorisation of analysis: [START_REF] Demopoulos | Frege and the rigorization of analysis[END_REF]). There are various reasons for this. Among many others, one is relevant for my purpose: Frege's foundational program does neither involve the reduction of natural numbers to sets, nor indulge in the conviction that a foregoing definition of natural, real and complex numbers is required for the notion of function to be clarified. The contrary is true: for Frege, natural and real numbers have to be defined within a formal system conceived as a system of logic, to be set up before any sort of mathematics and expounded by appeal to a few (non-mathematical) fundamental notions, including that of function.

As far as the notion of function is concerned, Frege's appurtenance to the Riemannian tradition is more doubtful, instead. In accounting for the differences between Riemann's and Weierstrass' "styles", Tappenden argues that, whereas Weierstrass's mathematics is concerned with "explicit given representations of functions", Riemann's requires proving the existence of functions having certain properties "without producing an explicit expression", and is then "committed" to a "wider conception", according to which functions are not "connected to available expressions" (ibid., pp. 107 and 121). For Tappenden, Frege's "treatment of function quantification pre-supposes the most general notion of function, irrespective of available expressions and definitions" (ibid., p. 114). I disagree. Tappenden provides several evidences showing that both Frege's scientific milieu and his intellectual sympathy were on the Riemann's side (ibid., pp. 123-130), but he cannot but recognise that there is none supporting the claim that the notion of function "which Frege takes as basic and unreduced" is just the Riemannian one, and seems suggest that the best clue for this is merely given by Frege's exposure to the "mathematics around him" (ibid., p. 132). Still, there is a strong reason for doubting that Frege's notion coincide with Riemann's: the latter is a mathematical notion; the former cannot be intended to be so.

Undoubtedly, Frege was aware of most of the mathematical discussions taking place around him, and it is highly plausible that the crucial role he assigned to functions resulted from his "reflection of the function concept in mathematical analysis" ([14], p. 238; [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, p. 129). But from this, it does not follow that Frege just imported his own notion of function from the coeval mathematical discussion. In order to be able to appeal to it for expounding his logical system, this notion should have been both perfectly independent of any sort of numbers, and unfitting with any possible mathematical proof of existence. More generally, it should have not been mathematical at all. Hence, it could have been neither Weierstrass', nor Riemann's.

Elucidating the Notion of Function

But, it could have no more been Lagrange's. The main reason for this is not that Lagrange's notion is based on a conflation of syntactical and semantic items. It rather pertains to Frege's very conception of a formal system. His own formal system, the Begriffsschrift, is usually presented as a system of second-order logic. But it is, in fact, quite different from a formal system in modern sense. A crucial difference is that the syntax/semantic distinction, as we conceive it today, is lacking: there is nothing like a purely syntactic level of symbols, formulas and rules, and a subsequent level in which an interpretation is provided. The Begriffsschrift is, ipso facto, a meaningful system. Hence, to introduce it, more than a simple presentation of its language (merely fixing the syntactical behaviour of its elements) is required. Fixing the meaning of the relevant symbols and formulas and justifying the relative rules is also needed. Calling on the notion of function is just part of this latter task. Hence, Frege could have not required that understanding this notion depended on taking the Begriffsschrift for granted. But, insofar as the Begriffsschrift is for him a model, or better a source, for any scientific formalism, he could neither have admitted that understanding this notion depended on taking any previous formalism for granted. The more fundamental difference between Frege's and Lagrange's notions rests on this.

The exposition of the Begriffsschrift that occupies part I of the Grundgesetze ([34], pp. 5-69), and opens with the passage I quoted at the beginning of my paper, is just devoted to the aforesaid task. This is what Frege sets forth in a short "Introduction [Einleitung]" (ibid., pp. 1-4) that goes ahead of it.

There, Frege explains that, for his enterprise to succeed, some relevant "notions [Begriffe]" have to be "made clear [scharf gefasst]". This is especially the case for the notion underling the use that mathematicians make of the words 'set [Menge]', or 'System [System]', the latter case being that of Dedekind. Frege takes some explanations offered by Dedekind and Schröder ([12], [START_REF] Schröder | Vorlesungen über die Algebra der Logik[END_REF]) into a critical account, and argues that what is actually meant with this use is the "subordination of a concept under a concept or the falling of an object under a concept" ([34], p. 2; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], p. 30). Similar considerations, he adds, hold for the word 'correspondence [Zuordnung]', which, in the context of a reduction of arithmetic to logic, should be better replaced with 'relation [Beziehung]' ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], p. 3; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], pp. [START_REF] Frege | Begriffsschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens[END_REF][START_REF] Frege | Function und Begriff. Vortrag[END_REF]. It follows, he says, that at the grounds of his own "construction [Bau]" there have to be the logical notions of concept and relation (ibid.). In other terms: founding arithmetic on logic means reducing the mathematical notions of set and correspondence to the logical ones of concept and relation 16 . This is just the aim of the Begriffsschrift. But for Frege, a necessary condition for articulating this reduction is making 16 In her paper included in the present volume, H. Benis-Sinaceur has argued that Dedekind's logicism, if any, should not be assimilated to Frege's. The previous remarks should be enough to confirm that this was also Frege's conviction. These remarks fits, moreover, with another that Frege already makes in the Preface of the same Grundgesetze (also quoted by Benis-Sinaceur, in section V.3 of her paper): "Also Herr Dedekind is of the opinion that the theory of numbers is a part of logic; but his work hardly contributes to its confirmation, because the expressions 'system' and 'a thing belongs to a thing', which he uses, are not usual in logic and cannot be reduced to acknowledged logical notions ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], p. VIII; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], p. 4). Frege's point is then that the notions of sets and set-membership are not logical as such, but should rather be reduced to logical ones, which is just what Dedekind does not do. In other terms, Dedekind's view that "the unique and therefore absolutely indispensable foundation [. . . ][for] the whole science of numbers" is "the ability of the mind to relate things to things, to let a thing correspond to a thing, or to represent a thing by a thing, an ability without which no thinking is possible" ( [START_REF] Dedekind | Was sind und was sollen die Zahlen[END_REF], p. VIII.; [START_REF] Dedekind | Essays on the Theory of Numbers[END_REF], p. 14) is not taken by Frege to coincide with the idea that "arithmetic belongs to logic", as Stein (among many others) suggests, instead, under the allegation that this would mean that "the principles of arithmetic are essentially involved in all thought" ([73], p. 246). The ability to which Dedekind refers in this passage is, indeed, a basic cognitive capacity, which is quite far from what logic is about, for Frege.

these basic logical notions clear, which should result in conveying a logical content to be fixed before the reduction begin. This is Frege's main point: insofar as logic is to come first, it has to be based on something else than a reduction, which has however to be suitable for conveying a content. This something else is an exposition ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF] The crucial role of elucidation in "Frege's project" has been recently emphasised by J. Weiner ([77], ch. 6; and [START_REF] Weiner | Understanding Frege's project[END_REF], especially, pp. [START_REF] Lagrange | Théorie des fonctions analytiques[END_REF][START_REF] Lagrange | Discours sur l'objet de la théorie des fonctions analytiques[END_REF][START_REF] Panza | La forma della quantità. Analisi algebrica e analisi superiore: il problema dell'unità della matematica nel secolo dell'illuminismo[END_REF][START_REF] Panza | Euler's Introductio in analysin infinitorum and the program of algebraic analysis: quantities, functions and numerical partitions[END_REF]. This is neither a logic, nor a scientific procedure. Still, it is a necessary "propaedeutic" ( [START_REF] Frege | Über die Grundlagen der Geometrie[END_REF], p. 301) for logic, and, then, for any science, including mathematics. Its task is communicating basic contents that, insofar as are purported to be part of logic, and even provide grounds for it, cannot be communicated by logical means, that is, through indefectible definitions (that for Frege could only be explicit ones). In some cases, these contents are reducible, and elucidation can be plain and unequivocal (provided of course that other contents, also communicated through elucidation, are grasped), and even results in some sorts of explicit (though informal) definitions. That's the case of the notions of concept and relation, since Frege takes both concepts and relations to be functions, respectively of one and several arguments, whose values are truth-values ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § § I. [START_REF] Baker | Function' in Frege Begriffsschrift: Dissolving the problem[END_REF][START_REF] Bernoulli | Remarques sur ce qu'on a donné jusqu'ici de solutions des problèmes sur les isoperimétres[END_REF]. In some other cases, these contents are unreducible, or ineffable, to the effect that their elucidation is successful only if one can count "on a little goodwill and cooperative understanding, even guessing" ( [START_REF] Frege | Über die Grundlagen der Geometrie[END_REF], p. 301; [START_REF] Frege | Collected Papers on Mathematics, Logic and Philosophy[END_REF], p. 301) 18 . That's the case of the notion of function 19 . 17 The same point is also made in " Über Begriff unf Gegenstand" concerning concepts: [START_REF] Frege | Über Begriff und Gegenstand[END_REF], p. 193; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], pp. 42-43. 18 Cf. also [START_REF] Frege | Was ist eine funktion[END_REF], p. 665; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], p. 115): "The peculiarity of functional signs, which we here called 'unsaturatedness', naturally has something answering to it in the functions themselves. They too may be called 'unsaturated', and in this way we mark them out as fundamentally different from numbers. Of course this is no definition; but likewise none is here possible. I must confine myself to hinting at what I have in mind by means of a metaphorical expression [bildlichen Ausdruck ], and here I rely on the charitable discernment of the reader." According to several scholars (cf., for instance, [START_REF] Conant | Elucidation and nonsense in Frege and early Wittgenstein[END_REF], [START_REF] Diamond | Inheriting from Frege: the work of reception, as Wittgenstein did it[END_REF]), the view that elucidation can convey ineffable content, and that this is an essential task for philosophy is Frege's one, and it manifests an important aspect of Frege's influence on Wittgenstein (this view is often said to come back to [START_REF] Geach | Saying and showing in Frege andWittgenstein[END_REF], though Geach does not explicitly mention elucidation and limits himself to argue that "Frege already held, and his philosophy of logic would oblige him to hold, that there are logical category-distinctions which will clearly show themselves in a well-constrcuted language, but which cannot properly be asserted in language": ibid., p. 55). Usually, these scholars admit that Frege calls on different species of elucidation, and take elucidation of "what is logically primitive" ( [START_REF] Conant | Elucidation and nonsense in Frege and early Wittgenstein[END_REF], p. 182) to be the species in which ineffable content is conveyed, the prototypical example being elucidation of the concept/object distinction. Despite that, it seems to me that, if the notions of function and truth-value are taken for granted, the claim that concepts are first level functions of one argument whose values are truth-values is fully unproblematic. The prototypical example of elucidation conveying ineffable content is rather that of the function/object distinction. The case of the elucidation of the notions of concept and relation also shows that, if the exposition of the Begriffsschrift is assimilated to elucidation, then elucidation is opposed to definition only if this last term is taken in a quite strict technical sense (which is proper to Frege), according to which it only refers to the explicit formal definitions admitted within the Begriffsschrift. In a broader sense, definitions, even explicit ones, can enter unto elucidation. 19 The question whether the exposition that occupies part I of the Grundgsetze has or not a semantic extent-namely

Functions are opposed to objects, for Frege. Thus, they cannot be expressions. And, for the very same reason, they cannot be quantities, numbers, or sets. Concerning quantities and numbers, this is also a consequence of the requirement that the notion of function come before mathematics. Concerning sets, things are more entangled, since it is far from sure that Frege considered the notion of set to be mathematical (though his considerations about the use of the words 'set' and 'system', suggest he did) 20 . In any case, the requirements that the notion of function be logically primitive, and that its elucidation belong then to a propaedeutic for logic are enough for excluding that functions might be understood as pairs of sets.

But, this is not all. For Frege, all that which is not an object is a function, to the effect that there is no room to specify which sorts of entities functions are. Indeed, provided that they are not objects, to wonder which sorts of entities they are, would be the same as wondering which sort of functions they are. . . Hence, elucidating the notion of function cannot consist in telling us what functions are. All what Frege can do for elucidating this notions is trying to account for the way as functions work in already given languages (the natural one, and its codified versions used in mathematics), and expounding how they are intended to work in the Begriffsschrift.

In my view, this is connected with a point that the mere assertion that functions are not objects only partially accounts for: according to Frege, appealing to functions is indispensable in order to fix the way his formal language is to run, but functions are not as such actual components of this language. More generally, functions manifest themselves in our referring to objects-either concrete or abstract-and making statements about them, but they are not as such actual inhabitants of some world of concteta and abstracta. Briefly: Frege's formal language, as well as ordinary one, display functions, but there are no functions as such. As he writes to A. Marty on August 29th 1882 ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 2, p. 164; [START_REF] Frege | Philosophical and Mathematical Correspondence[END_REF], p. 101): "A concept is unsaturated, in that it requires something that falls under it; hence it cannot subsist [bestehen] by itself" 21 . Mutatis mutandis, the same holds, for functions in general.

This is not at all to deny Frege's antipsychologism and objectivism about functions (and concepts or relations). It is merely to argue that it is not part of these theses that functions actually exist as such in some realm of abstracta. What is part of these theses is that functions lay out from an objective account of the way as language actually works, rather than of the way we subjectively think, to the effect that one is to appeal to them in order to account for the logical structure of language and thought, rather than for accounting for our individual thoughts. As pointed out by E. Picardi ([63], p. 53): functions are to be conceived as "objective pattern[s] that we discern in the world", rather than as "separate ingredient [s] whether one can take it or not to provide "semantic justifications of axioms and rules" ( [START_REF] Heck | Frege and semantic[END_REF], p. 365, where Heck is arguing for the affirmative, in contrast with what argued by Rickets in [START_REF] Ricketts | Objectivity and objecthood: Frege's metaphysics of judgement[END_REF])-is not fully relevant here. What it seems to me relevant is that this semantic extent, if any, is quite different from that involved in a modern discussion about the interpretation of a formal system, and, overall, that this exposition not only aims at showing that "the rules of the system are truthpreserving and that the axioms are true"( [START_REF] Heck | Frege and semantic[END_REF], p. 365), but also includes the elucidation of fundamental notions like those of object, function, truth-value, concept, and relation (on this claim, cf. also [START_REF] Ricketts | Concepts, objects and the context principle[END_REF], sect. 6, esp. pp. 191-193). This elucidation is "required if one is to master the notation of [. . . ][Frege's] symbolism and properly understand its significance" ([10], p. 181), namely it is "necessary for explaining how Frege's notation [i.e. his Begriffsschrift] is to be used in the expression of thoughts" ( [START_REF] Weiner | Frege in Perspective[END_REF], pp. 251). 20 Cf. also the footnote ( 16) above.

21 Cf. also [START_REF] Frege | Über die Grundlagen der Geometrie[END_REF], p. 34; ; [START_REF] Frege | Collected Papers on Mathematics, Logic and Philosophy[END_REF], p. 282): "It is clear that we cannot put down [hinstellen] a concept as independent, like an object; rather it can occur only in connection. One may say that it can be distinguished within, but it cannot be separated from the context in which it occurs." of it".

How (First-level) Functions work in the Begriffsschrift

To clarify all this, let me briefly sketch the role that functions play in the Begriffsschrift.

In Grundgesetze, I. [START_REF] Bottazzini | The Higher Calculus. A History of Real and Complex Analysis from Euler to Weierstrass[END_REF] Frege establishes that statements (Satze) are formed in this system by letting the special sign ' ' precede appropriate terms. These are either names of a truth-value-i.e. either of the True or of the False-or appropriate formulas. These latter formulas involve Latin letters and are suitable for being transformed in a name of a truth-value through appropriate replacements of these letters. I shall better specify this condition pretty soon. For the time being it is enough to say that, though he does not say it explicitly, Frege implies that a statement in which the sign ' ' precedes a name of a truth-value asserts that what makes this name is a name of the True obtains 22 , whereas a statement in which the sign ' ' precedes a formula involving Latin letters asserts that what makes this formula transforms in a name of the True under any licensed replacement of these letters obtains. The former case is fundamental; the latter reduces to it through appropriate stipulations on the replacement of Latin letters. Let us then begin with the former.

For Frege, the True and the False are two peculiar objects whose existence is taken for granted. Hence, a name of a truth-value is a name of objects, or a "proper name [Eigenname]" as he says ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § I.5, p. 7; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], p. 36). But not any proper name is suitable for yielding a statement of the Begriffsschrift, if preceded by the sign ' ', and it is no more so for any name of a truth-value. For a proper name to be suitable for this, it has to belong to the language of the Begriffsschrift (or to an appropriate extension of it), and to be appropriately formed within this language. The former requirement is obvious and already sufficient for excluding names like 'the True' or 'the False', which do not belong to this language. The latter is what matters here. It could be so rephrased: a proper name of the language of the Begriffsschrift is suitable for yielding a statement of this system (if preceded by the sign ' ') if it is so formed as to be the name of the value of a concept or relation, i.e. of a function whose values are truth-values. Hence, such a name does not only refers to a truth-value; it also refers to it in a certain way, which depends on the nature of the relevant function (and it is just because of this nature that this name is possibly warranted to be a name of the True, as it happens if the corresponding statement is a theorem).

But, what does it mean, in the context of the Begriffsschrift, that a function has a certain nature? Though Frege is never explicit on this matter, his exposition leaves no doubt: it means that this function is either one of the few primitive ones admitted in this system, or is generated in a certain way by reiteratively composing these primitive functions, and, possibly, by relying on some auxiliary explicit definitions. This is still not clear enough, since, provided that functions are not actual components of the language of the Begriffsschrift, the problem is still open of understanding how something which is not such an actual component can be either a primitive item of this language or be composed by reiteratively composing primitive items of it. Part of the answer is that the foregoing condition has to be understood as follows: in the context of the Begriffsschrift, a function has a certain nature if the names of its values are either names of values of a certain primitive function, or are generated in a certain way by reiteratively composing these latter names and, possibly, by relying on some other proper names introduced by explicit definition.

But this is not the end of the story, yet. It is still necessary to explain what does it mean that a proper name is a name of a value of a certain function. For my present purpose, I can restrict to primitive functions (to pass to composed ones, it would be enough to specify which rules of composition are licensed, which is a question that we can leave apart, here).

These functions are introduced through appropriate informal but explicit definitions 23 . Four of them (two concepts and two relations) are introduced in Grundgesetze, I.5-7, and I.12. They are the horizontal, the negation, the identity, and the implication. These are first-level functions: functions whose arguments are objects. For the time being, I primarily restrict to these functions. I shall explicitly consider higherlevel functions in section 3.4 (especially pp. [START_REF] Euler | Leonhardi Euleri Opera omnia[END_REF][START_REF] Euler | Introduction to Analysis of the Infinite[END_REF][START_REF] Euler | Foundation of Differential Calculus[END_REF]. Up to that point, I shall use the terms 'function', 'concept' and 'relation' for primarily speaking of first-level functions. In order to generalise some of the things I shall say about them to functions of any level, some changes would be necessary. But what I shall later says of higher-level functions is intended to show that these changes would not effect what is essential for my purpose.

Consider then, as examples, the four aforementioned functions. They are defined through the following stipulation schemas:

-∆ is T if ∆ is T F if ∆ is not T ∆ is F if ∆ is T T if ∆ is not T Γ = ∆ is T if Γ is ∆ F if Γ is not ∆ ∆ Γ is F if Γ is T and ∆ is not T T if Γ is not T or ∆ is T , (6)
where 'T' and 'F' refer to the True and the False, respectively, and 'Γ' and '∆' are schematic letters for objects. These definitions involve nothing but schematic names of objects, among which ' -∆', ' ∆', 'Γ = ∆', and ' ∆ Γ ' are schematic names of values of the relevant functions. It is then clear that these functions are defined by fixing the reference of the names of all their possible values Of course, this definition belongs to the language of the exposition of the Begriffsschrift. Now, though Frege largely uses Greek capital letters, like 'Γ' and '∆' in such an exposition, they are not part of the language of Begriffsschrift itself, and this is then neither the case of the schematic names involving them. Within the Begriffsschrift, Greek capital letters are replaced either by names of particular objects or by Latin letters. These last letters are used to "express generality" ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § I.17, p. 31; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], p. 65). Some Frege scholars (for example Goldfarb: [START_REF] Goldfarb | Frege's conception of logic[END_REF], p. 67) take them to be free variables and suggest understanding the formulas involving them as abbreviations of universally quantified statements. It seems to me more faithful to Frege's views to understand them as special schematic letters, differing from the Greek capital ones for being used within the Begriffsschrift. Insofar as, in this system, any formula occurs within a statement or an explicit definition-which can be taken to be a sort of statementwithin the Begriffsschrift, Latin letters only enter into statements. This makes possible to fix their use by stipulating that a statement of the Begriffsschrift in which they occur asserts that things are such that the schematic proper names resulting from this same statement by omitting the sign ' ', and replacing each Latin letter with a Greek capital one, is a schematic name of the True. For example, the statement ' a a ', [START_REF] Burgess | Hintikka and Sandu versus Frege in re arbitrary functions[END_REF] asserts that things are such that ' Γ Γ ' is a schematic name of the True24 . This does not entail that the formula ' a a ' is, in turn, a name of the True. This is simply because, taken alone, it is not a well-formed formula of the Begriffsschrift, where it can only occur within a statement. This is the same for any formula involving Latin letters 25 . This should be enough to make clear how functions are supposed to enter into statements in the Begriffsschrift. But this is not by far the end of the story, since, the exposition of this system -although not this very system-also involve "names of functions [Functionsnamen]" ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § I.2, p. 6), or f -names, as I shall say for now on. On the one side, this is natural, since it is easy to imagine a situation in which, by speaking about the Begriffsschrift, one has to mention some particular functions, as I have just done myself using the terms 'horizontal', 'negation', 'identity', and 'implication'. On the other side, this is puzzling, since functions are not objects, and is then difficult to understand how they can have names. The puzzle has two aspects, at least: a notational and a substantial one.

As far as only the former is taken into account, Frege's solution merely depends on the introduction of a special sort of letters, whose purpose is just that of entering into f -names. These are Greek small letters, like 'ξ' and 'ζ'. By replacing 'Γ' and '∆' with them in the left hand sides of stipulations [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], one gets the following names of the relevant functions:

-ξ ; ξ ; ξ = ζ ; ξ ζ . (8)
Like the Greek capital letters 'Γ' and '∆', both these names and the Greek small letters 'ξ' and 'ζ' do not belong to the language of the Begriffsschrift, but only to that of its exposition. But, differently from Greek capital letters, Greek small ones are not schematic, and are neither variables nor constants. They are merely used to hold places open for being occupied, both in the language of the Begriffsschrift and in that of its exposition, by other appropriate letters, so as to get either names of values of the relevant functions, or formulas suitable for entering into statements. Consider the implication: the former case obtains if 'ξ' and 'ζ' are replaced by '∆' and 'Γ' or by names of determined objects like '2' and '3', so as This account of the role of functions in the Begriffsschrift and in its exposition could be completed in many regards. But from the little I said, it should be clear that, for functions to manifest themselves in the Begriffsschrift, there is not need they to be actual components of its language. Though things are less clear for the language of the exposition of this system, because of the presence of f -names, there is no doubt that, for Frege, these names are tools for forming proper names and statements, or for analysing them. In my understanding, this is just what he means with his well known metaphor about the unsaturated nature of functions.

The point is made, for example, at the very beginning of I of the Grundgesertze, with respect to the example of the numerical function (2 + 3x 2 ) x ([34], § I.1, pp. 5-6; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], pp. 33-34). Frege claims that the "essence [Wesen]" of this functions both "manifests itself [. . . ] in the connection [Zusamengehörigkeit] it establishes [stiften] between the numbers whose signs we put in place of 'x' and those which result as references of the expression" resulting from this replacement, and "lies [. . . ] in the part of the expression which is there besides the 'x'". Then he adds that "the expression of a function is in need of completion, unsaturated" and that 'x' (which, according to him, should be used in mathematics like 'ξ' is used in the Begriffsschrift) is there to "hold places open for a numerical sign", and then to "make known the particular mode of need of completion that constitutes the specific essence" of the function. Despite the three occurrences of the term 'essence', Frege says nothing here about what he considers functions to be. He only says something about the way how the corresponding expressions are intended to work.

(First-level) Functions and names of Functions

This cannot be all, however, since the substantial aspect of the puzzle about f -names remains still unsettled. Do these names refer to something? And, what does it mean that two f -names are names of the same function or of distinct ones?

These questions concern particular aspects of a more general problem. For Frege, identity only applies to objects. Hence, strictly speaking, no identity condition for function is conceivable. Does this mean that functions meet some other sort of sameness conditions, or that there are no such condition at all26 ?

The matter is connected to the paradox of the concept horse: in " Über Begriff und Gegenstand" Frege famously holds that "the three words 'the concept horse' do designate [bezeichnen] an object, and, on account of that, they do not designate a concept" ( [START_REF] Frege | Über Begriff und Gegenstand[END_REF], p. 195; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], p. 45). One could think that this merely depends on the awkwardness of natural language, and that this is just what Frege implies by saying that:"it is impossible to ignore that there is an unavoidable linguistic hardship [unvermeidbare sprachliche Härte] if we claim that the concept horse is not a concept" ( [START_REF] Frege | Über Begriff und Gegenstand[END_REF], p. 196; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], p. 46). Still, this hardship is unavoidable for him, which suggests that he takes the inconvenience of natural language to be a symptom of a deeper problem. This is confirmed by his arising the problem also in the Grundgesetze (in a footnote to § I.4, [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], p. 8; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF], p. 37):

There is a difficulty [. . . ] that can easily obscure the true state of affairs and then arouse mistrust as to the correctness of my conception. If we compare the expression 'the truth-value of ∆'s falling under the concept Φ (ξ)' with 'Φ (∆)' we see that what in fact corresponds to 'Φ()' is 'the truth-value of ()'s falling under the concept Φ (ξ)', and not 'the concept Φ (ξ)'. These last words therefore do not designates a concept (in our sense), even though in their linguistic form it seems so. As to the inescapable situation [Zwangslage] in which language here finds itself, cf. my essay " Über Begriff und Gegenstand".

The relevant language here is that of the exposition of the Begriffsschrift. The "inescapable situation" or "unavoidable hardship" in which it finds itself is then a symptom of a problem relative to the basic notions of this system. In this language, 'Φ' works as a schematic letter for functions. Hence 'Φ (∆)' and 'the truth-value of ∆'s falling under the concept Φ (ξ)' are proper names that refer to the same object (either the True or the False). Frege's point is then the following: insofar as the former of these proper names is formed by filling a blank in 'Φ()', the role of 'the concept Φ (ξ)' in the latter cannot but be that of contributing to form this name, rather than that of designating a concept. But, then, what does 'the concept Φ (ξ)' mean? Or, more generally, what one is speaking about by telling something of the concept Φ (ξ), rather than of some other concept?

To better appreciate the nature of the problem, consider another quandary, only apparently related to it: from the supposition that any function has a value-range, it follows that the concept horse has an extension; but, if 'the concept horse' refers to an object, the statement 'the concept horse has an extension' cannot be true. To solve this quandary, it is enough to pass to the language of the Begriffsschrift. Let 'Hrs (ξ)' be a name of the concept horse in an appropriate extension of this language. The statement '

a a = ε c Hrs(ε)' ,
is then a rendering of 'the concept horse has an extension', and it is an immediate consequence of

' f a a = ε c f(ε)' ,
which is a rendering of 'any function has a value-range'.

cannot properly be used to designate the corresponding relation between concepts". Hence, speaking of sameness conditions for functions is not faithful to Frege's parlance. Still, I use this expression for short, to speak of the conditions under which a certain function is this very function rather than some other one.

The problem that Frege tackles in " Über Begriff und Gegenstand" is essentially different, since it is not solvable by passing to the language of the Begriffsschrift. It is not about the way some statements has to be appropriately formulated; it is rather about the way functions and f -names have to be understood.

Possibly, a clearer way to state it is the following. Consider the phrase 'the function Φ (ξ)', or also the mere f -name 'Φ (ξ)', by supposing that it is just used for naming a certain function, and replace in them 'ξ' with '∆', so as to get 'the function Φ (∆)' and 'Φ (∆)'. The former expression is misguided. The latter is not, but, clearly, it is no more suitable for naming the relevant function. It follows that both in 'the function Φ (ξ)' and in 'Φ (ξ)'-supposing that this last name is just used for naming a certain function-'ξ' is not used to hold any place open. Hence, in spite of being used to name functions, these expressions are not unsaturated, and are then unsuitable for this purpose 27 .

The solution that Frege offers in " Über Begriff und Gegenstand" matches up with the nature of the problem, since it does not merely consist in suggesting some linguistic tricks. It goes as follows ([33], p. 197; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], pp. [START_REF] Geach | Saying and showing in Frege andWittgenstein[END_REF][START_REF] Goldfarb | Frege's conception of logic[END_REF]:

In logical enquiries one often needs to assert [auszusagen] something about a concept, and to shape it in the usual form for it, namely to put the content of the assertion into the grammatical predicate. Consequently, one would expect that the reference of the grammatical subject would be the concept; but, because of its predicative nature, this cannot play this part; it must first be converted into an object, or, speaking more precisely, represented [vertreten] by an object, which we designate by the prefix 'the concept', as in 'the concept man is not empty'.

The problem with this solution is that it is begging the question, at least partially. As the same point could and should also be done about functions in general, it requires that for any function whose name supplies the grammatical subject of an assertion about itself, there is an object "representing" this same function, to which this name refers, in the context of this assertion. But, for this to provide an effective solution to the problem, one should also require that the truth-conditions of this assertion depend on the relevant function, i.e. that the object representing this function reflect what makes it a certain particular function. And this requires, in turn, that appropriate conditions for singling out this function to be provided.

Frege acknowledges that the objects representing functions should be of "a quite special kind" ([33]; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF]; p. 50). But he is silent not only on their very nature, but also on the way they might reflect the relevant features of the functions they represent, and on the sameness conditions of these functions.

It is quite tempting to take these objects to be the value-ranges of the corresponding functions, and even arguing that this is what Frege himself implies when he claims to have never "identified concept and extension of concept" and adds that he "merely expressed [. . . ][the] view that in the expression 'the number that applies to the concept F is the extension of the concept like-numbered to the concept F ', the words 'extension of the concept' could be replaced by 'concept'" ( [START_REF] Frege | Über Begriff und Gegenstand[END_REF], p. 199; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF]; p. 48). But there are many reasons for escaping this temptation 28 .

Let me advance two of them, both of which depend on taking the relevant problem to be not merely that of providing a reference for 'the function Φ (ξ)' or 'Φ (ξ)' in the context of an assertion about a certain function, but rather that of explaining what makes that this assertion holds of this very function rather than of some other one. On this understanding, admitting that 'the function Φ (ξ)' or 'Φ (ξ)' refer, in the context of this assertion, to the value-range of Φ (ξ) results in admitting both that, with respect to this context, Φ (ξ) is to be taken to be the same function as Ψ (ξ) if and only if the value-range of Φ (ξ) is the same of that of the function Ψ (ξ), and that the truth conditions of this assertion just depend on the value-range of the function Φ (ξ).

The first reason is that, if this were so, many distinctions and assertions that one would plausibly like to make would respectively collapse and have quite odd truth-conditions. For example, one should conclude that, with respect to the context of an assertion about the functionξ, this last function is to be taken to be the same function as ξ = (ξ = ξ), and that the assertions 'ξ = (ξ = ξ) is an elementary function of the Begriffsschrift' and 'the function ξ = (ξ = ξ) is called 'horizontal' and enters into any statement of the Begriffsschrift' are true insofar as ' -ξ is an elementary function of the Begriffsschrift' and 'the functionξ is called 'horizontal' and enters into any statement of the Begriffsschrift' are true.

These conclusions are not only odd. They also seem to go against Frege's claims. For example, in Grundgesetze, I.10, he undertakes to offer a "more precise determination of what the value-range of a function should be". To this purpose, he considers the three functions introduced in the previous sections, namelyξ, ξ and ξ = ζ, and remarks that "we can bring back [zurückführen] the function ξ to the function ξ = ζ", since "the function ξ = (ξ = ξ) has the same value as the functionξ for every argument" ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], pp. XXVII and 16; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF]: pp. [START_REF] Frege | Collected Papers on Mathematics, Logic and Philosophy[END_REF][START_REF] Geach | Saying and showing in Frege andWittgenstein[END_REF], which seems to imply that, with respect to the context of these assertions, he takes the functionsξ and ξ = (ξ = ξ) to be two distinct functions with the same value-range .

The second reason is as follows 29 . Let 'Φ (ξ)' and 'Ψ (ξ)' be two (distinct) f -names. To say that the value-range of Φ (ξ) is the same as the value-range of Ψ (ξ) means, for Frege, that Φ (∆) is the same object as Ψ (∆), whatever the object ∆ might be, as Basic Law V prescribes 30 . Hence, admitting that Φ (ξ) is the same function as Ψ (ξ) if and only is the value-range of Φ (ξ) is the same of that of Ψ (ξ) results in admitting that Φ (ξ) is the same function as Ψ (ξ) if and only if Φ (∆) is the same object as Ψ (∆), whatever the object ∆ might be. But what does it mean that Φ (∆) is the same object as Ψ (∆), whatever the object ∆ might be? Insofar as Frege has no way to understand the totality of values of a function otherwise than as the value-range of this function, and has no other identity condition for value-ranges of functions than that stated by Basic Law V, according to him this cannot but mean that the proper names 'Φ (∆)' and 'Ψ (∆)' are identified as the names of the values of two functions Φ (ξ) 28 Some of these reasons have been offered in [START_REF] Schirn | Frege's objects of a quite special kind[END_REF] and [START_REF] Schirn | On Frege's introduction of cardinal numbers as logical objects[END_REF]. For a critical discussion of them, cf. [START_REF] Ruffino | Extensions as representative objects in Frege's logic[END_REF]. 29 I develop here a remark of Hintikka and Sandu ([51], p. 299): for Frege, "the extension of a concept can only be apprehended by our logical faculties starting out from the concept". 30 For simplicity, I only consider here first-level functions with one argument. It is easy to generalise Basic Law V to first-level functions with several arguments. But, if functions of higher levels are considered, it is not perfectly clear what does it mean, for Frege, that these functions have the same or different value-ranges (on this matter, cf. [START_REF] Schirn | Frege's objects of a quite special kind[END_REF], p. 32.), to the effect that it would be hard to allege that, in order to provide sameness conditions for these functions, it would be enough to stipulate that these conditions reduce to the identify conditions of the value-ranges of these functions. and (ξ) for ∆ as argument, and that these functions are associated to appropriate rules, procedures or capabilities which, besides being apt to identify the names of their values, are also apt to warrant that, whatever the object ∆ might be, the reference of the proper name 'Φ (∆)', identified as the names of the value of the function Φ (ξ), cannot but be the same as the reference of the proper name 'Ψ (∆)' identified as the names of the value of the function Ψ (ξ). It would follow that admitting that 'the function Φ (ξ)' or 'Φ (ξ)' refer, in the context of an assertion about the function Φ (ξ), to the value-range of this function would result in admitting that, with respect to this context, Φ (ξ) is to be taken to be the same function as Ψ (ξ) if and only if these functions are associated to such rules, procedures or capabilities. But, if it is admitted that functions are associated to such rules, procedures or capabilities, it seems much more natural to maintain that, with respect to the context of an assertion about the function Φ (ξ), what makes that this function is to be taken to be the same as Ψ (ξ) is something that directly pertains to these very rules, procedures or capabilities, without appealing to the value-ranges of these functions This looks like a reductio ad absurdum of the identification of Frege's objects of a quite special kind with value-ranges of functions. But what about the view that, with respect to the context of an assertion about the function Φ (ξ), what makes that this function is to be taken to be the same as Ψ (ξ) is something that directly pertains to appropriate rules, procedures or capabilities associated to these functions? Answering this question requires taking other elements into account.

The passage of " Über Begriff und Gegenstand" quoted above is not the only text where Frege implies, or even openly claims, that f -names-or, more specifically, concept-words [Begriffsworten]-have both sense and reference. He does it, for example, in a letter to Husserl of May, 24th 1891 ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 2, pp. 94-98), in "Ausführungen über Sinn und Bedeutung", probably written between 1892 and 1895 ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, pp. 128-136), and in "Einleitung in die Logik", of August 1906 ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, p. 208-212; [43], pp. 191-196). In all these cases, he also argues that the reference of a concept-word is the concept itself, and, in the third of these texts, he goes as far as to imply that a function or concept is just the reference of a f -names or a concept-word, respectively.

In this last case, his argument depends on the principle of compositionality, and goes as follows ([42], vol. 1, pp. 209-212; [43], p. 193 and 195). If we say 'Jupiter is larger than Mars', we are saying that the references of 'Jupiter' and 'Mars' stand to one other in a certain relation, and we does it through the words 'is larger than'. Insofar as this relation holds among references of proper names, it "belongs to the realm of references". Hence, one has to admit that also the phrase 'is larger than Mars' is "endowed by reference [bedeutungsvoll ]". So, if a statement is split up into a proper name and the remainder, then the latter "has for its sense an unsaturated part of a though, and we call 'concept' its reference". More in general, there are many proper names that can be analysed in a complete part-a proper name, in turn-, and an unsaturated part. If the latter is such that, by saturating it with a proper names having a reference, one gets another such proper name, then "we call 'function' the reference of this unsaturated part" 31 .

This being said, Frege cannot but remark that claims like these bring back to the paradox tackled in " Über Begriff unf Gegenstand". In "Einleitung in die Logik", he confines himself to argue that "language forces upon us" the "mistake [Fehler ]" or "inaccuracy [Ungenauigkeit]" these claims involve, to the effect that we cannot avoid them but by bearing the difficulty in mind and insisting that concepts are unsaturated or "predicative in character" ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, pp. 209-210; [START_REF] Frege | Posthumous Writings[END_REF], p. 193). In "Ausführungen über Sinn und Bedeutung", he says, or implies at least, something more. He specifies ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, p. 128-132; [START_REF] Frege | Posthumous Writings[END_REF], pp. 118-121) that "a concept-word refers to a concept, if the word is used as it is appropriate for logic". Then he adds, as a clarification, that "in any statement, we can substitute salva veritate one concept-word for another if they have the same extension", to the effect that "in relation to inference and to the laws of logic, concepts differ only insofar as their extensions are different". To reinforce these claims, Frege observes then that unsaturatedness of functions also comes out in the case of concepts entering into the subject of a statement [Subjektsbegriffen] like in 'all equilateral triangles are equiangular', which he takes to be the same as 'if anything is an equilateral triangle, than it is an equiangular triangle'. To consider a simpler example, this means that a statement like 'the morning star is a planet' should be rephrased, in good logic, as 'the object that is the morning star is a planet', to the effect that its subject involves the concept-word '. . . is the morning star', whose reference is the concept Morning-Star. Finally, Frege goes up to argue that identity of extensions of concepts results in a second-level relation holding between the concepts themselves and corresponding to identity of objects 32 .

Frege relativizes here his claims to the case where concept-words, and plausibly f -names in general, are "used as it is appropriate for logic" and inferences and laws of logic are concerned, which means, I suggest, that these names occur (as unsaturated components) within proper names or statements used for affirming and inferring truths about objects, like it always happens in the Begriffsschrift 33 . Hence, his point is that when language is used in order to affirm and infer truths about objects and f -names occur as unsaturated parts of proper names and sentences, the former names have references and refer to functions, and functions differ only if their value-ranges differ, to the effect that a second-level relation analogous to identity between objects apply to functions, when they have the same value-range.

These claims should not be taken as evidence for identifying Frege's objects of a quite special kind with value-ranges of functions, and even less as evidence for arguing that, for Frege, identity of valueranges provides sameness of the corresponding functions. It seems quite clear, indeed, that these claims only apply insofar f -names are used as it is appropriate for logic, i.e only insofar as functions are involved in affirming and inferring truths about objects, namely about their values. This leaves open the problem of understanding what makes that an assertion about a function is about this function rather than some other one, or, more generally, what makes that a certain function is this very function rather than some other one.

Frege argues that a concept-word has a reference and this is just what he calls "concept" also in the 1903 paper on " Über die Grundlagen der Geometrie". But in this case, he adds that "this is not a definition, since the decomposition [of a proper name or statement] into a saturated and an unsaturated part must be considered as a logically primitive phenomenon that must simply be recognised but not reduced to something simpler". This is a hint for better understanding Frege's view. In the language 32 Frege even arrives at suggesting a special sign for this relation (to be used, of course, in the language of the exposition of the Begriffsschrift). Let Φ (ξ) and Ψ (ξ) two concepts with the same extension. Frege suggests to write 'Φ (α) α ⌣ ⌢ Ψ (α)'

arguing that this expresses the same as ' α Φ (α) = Ψ (α)'. 33 That logic is concerned with truths about objects is, in my view, the distinctive mark of Frege's extensionalist conception of logic (which he emphasises in "Ausführungen über Sinn und Bedeutung" by repetitively observing that his remarks favour the "logician of extension against that of intension" ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, p. 128 and 133-134 ; [START_REF] Frege | Posthumous Writings[END_REF], p. 118 and 122-123). But this conception does not entail at all an extensionalist conception of functions.

of the exposition of the Begriffsschrift-the only one in which Frege grants to himself the licence to speak about functions-one can describe what functions and f -names do in the language Begriffsschrift, or in any other language used for affirming truths about objects. But one cannot say what functions are, since, though being at work in these latter languages, functions are not, as such, actual components of them. If the account of what functions and f -names do is intended to be fine-grained enough for identifying the contribute of single functions, then unavoidably we fall into inaccuracy. This should not be such, however, to blur what is essential, namely that functions manifest themselves in the way we refer to objects through proper names and use statements to affirm truths about objects. Saying that the reference of f -names used in these languages (as unsaturated expressions) are functions is then nothing more than saying that f -names contribute to form (molecular) proper names and statements, or can be recognised through an analysis of (molecular) proper names and statements, and that functions "establish connections"34 between the objects whose names are recognised as (saturated) parts of the relevant (molecular) proper names and statements and those that these latter proper names refer to and these statements are about. This naturally suggests that the sense of a f -name depends on the way the references of the (molecular) proper names involving this f -name (as an unsaturated part of it) are to be determined on the base of the references of the proper names which are recognised as (saturated) parts of the former proper names, i.e. on the way functions establish connections between objects. The value-ranges of functions merely depend, instead, on which objects are connected to each others. And, insofar as the same objects can be connected in different ways, two f -names can have different senses though referring to functions with the same value-range.

On this picture, the sense of a f -name essentially differs from the function this name refers to, since the former depends on the way the latter does what it does: in other terms, functions act, and senses differ if the way they act differ. And, both the sense and the reference of a f -name differ from the valuerange of the corresponding function, since value-ranges neither act, nor differ if the way as functions act differ 35 . Still, it seems obvious to admit that the same function cannot connect the same objects in two different ways. Hence, though functions differ (i.e. produce different outcomes) only insofar as their value-ranges differ, when their names are used as it is appropriate for logic, when these same names are used in the context of an assertion about particular functions (necessarily made in the language of the exposition of the Begriffsschrift), these functions differ insofar as the senses of these names (when used as it is appropriate for logic) differ. Now, for Frege, in the language of the Begriffsschrift, and in any other language appropriate for expressing and inferring truths about objects, f -names cannot be used appropriately unless it is determinate which objects the relevant functions connect to each others. This is a requirement that Frege often advances. For example in the "Ausführungen über Sinn und Bedeutung": "it must be determinate [bestimmet] for every object whether it falls under a concept or not; a concept-word which does not meet this requirement on its reference is not endowed with a reference [bedeutungslos]" ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, p. 133; [START_REF] Frege | Posthumous Writings[END_REF], p. 122). I do not see any other way to understand this requirement than by taking it as demanding that an appropriate use of f -names requires the capability of deciding which object the corresponding function connects to any given object. But, at least in the context of a codified language suitable for be-ing used in science (like the Begriffsschrift whatsoever extended), this capability cannot be conceived as a mere subjective ability, but rather depend on the availability of appropriate rules or procedures. And, if this is so, it is natural to admit that the sense of a f -name (when used as it is appropriate for logic) just depend on these rules or procedures, to the effect that, in the context of an assertion about functions (which cannot but be an assertion about what functions and f -names do in the language Begriffsschrift), the sameness of functions also depend on these same rules or procedures. This brings us back to the view I have above contrasted to the identification of Frege's objects of a quite special kind with value-ranges of functions. According to this view, these objects should somehow reflect the distinctive features of these rules or procedures (i.e. the differences among them), even when they connect the same objects to each others and result then in the same value-ranges 36 .

Compositionality of Functions, Higher-level Functions, and the Notion of Arbitrary Function

This picture seems perfectly to fit with the compositional approach to functions that is at work in the Grundgesetze. This approach is evident from the way the exposition of the Begriffsschrift precedes. Here I cannot but limit myself to consider another example that manifests this approach quite clearly and should be enough to complete what I have said on this matter so far. I have already mentioned the § I.10 of the Grundgesetze, where Frege's tries to determine as precisely as he can what is the value-range of a function, since, he says ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], p. 16; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF]: p. 46), "the reference of a name like 'ε c Φ(ε)' is not completely determined" by Basic Law V (already informally advanced in § I.3). This lack of determination, he argues, can be overcome if, "for each function, it is determined, when it is introduced, what values it takes on for value-ranges as arguments".

This claim makes already clear that, for him, any function that receives a name in his system is to be introduced in a way that makes possible to determine its values. But, this is not all. To better spell out his point, Frege looks for the values that the three functions introduced above-namely ξ = ζ, -ξ and ξ-take for value-range as arguments. He begins by arguing that, without contradicting Basic Law V, "it is always possible to stipulate that an arbitrary value-range is to be the True and another 36 In a letter to Husserl of October 30th -November 1st, 1906 ( [START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 2, pp. 101-105), Frege argues both that the though expressed by a statement is what it has in common with any other equipollent [äequipollent] statement (ibid., p. 102) and that 'if A then B' and 'it is not the case that A without B' are equipollent (ibid., pp. 103-104). Insofar as the though expressed by a statement is its sense, this means that these last statements have the same sense, to the effect that also the f -names 'if ξ then ζ' and 'it is not the case that ξ without ζ' should have the same sense. This might appear to conflict with the view that two statements have different senses if one can "understand" both of them in the same time "while coherently taking different [epistemic] attitude towards them", that Evans has ascribed to Frege ([29], pp. [START_REF] Diamond | Inheriting from Frege: the work of reception, as Wittgenstein did it[END_REF][START_REF] Dummett | Frege: Philosophy of Language[END_REF]. To solve this conflict, C. Penco has suggested to distinguish semantic from epistemic sense of statements, arguing that the latter "could be represented by the different procedures through which each formula is given a truth condition" ( [START_REF] Penco | Frege: two theses, two senses[END_REF], pp. 104-105). This suggests that 'if ξ then ζ' and 'it is not the case that ξ without ζ' have the same semantic sense but different epistemic sense, since these f -names are related to different procedures. Though Penco's notion of epistemic sense of a statement fits with my understanding of Frege's notion of sense of a f -name, it seems to me relevant to observe that, in the language of the Begriffsschrift, conjunction is expressed through implication and negation ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § I.12, pp. 21-21), to the effect that 'ξ and ζ' is, by convention, a shortcut for 'it is not the case that if ξ then non ζ'. One could then argue that the previous statements have the same sense (without specification), since they correspond to the same procedure, to the effect that one could also say (in the language of the exposition of the Begriffsschrift) that the f -names 'it is not the case that ξ without ζ' and 'if ξ then ζ' refer, once appropriately rendered, to the same function.

the False" ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], p. 17; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF]: p. 48) 37 . This allows him to go further and stipulate that the value-range ofξ is the True and that of ξ = a a = a is the False, which is the same as stipulating that 'ε c ( -ε)' refers to the True, and 'ε c (ε = a a = a)' refers to the False. It follows that 'ε c ( ε)' also refers to the False, whereas 'ε c (ε = ∆)' refers to the False if '∆' refers to the False, and to the True if '∆' refers to the True. Finally, he remarks that this is all that can be established by considering the objects and functions introduced above, and concludes as follows ( [START_REF] Frege | Grundgesetze der Arithmetik[END_REF], p. 18; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF]: p. 49):

Only when a further issue arises of introducing a function that cannot be completely brought back to the functions known already, we shall be able to stipulate what values it should have for value-ranges as arguments; and this can then be regarded as a determination of the value-range of that function.

This claim clearly manifests a compositional approach to functions. But it still does not provide enough evidence for concluding that the universe of Frege's functions include only functions that are introduced or purported to be introduced in such a way that they result to be ipso facto associated with a rule or procedure to be used for determining the references of the names of their values.

After all, all what has been said up to now only applies to functions that have a name in the language of the exposition of the Begriffsschrift and whose values have a name in the Begriffsschrift itself. The fact that these functions are associated to such a rule or procedure is an obvious consequence of the fact that these functions are elementary functions introduced through stipulations like [START_REF] Bradley | Cauchy's Cours d'analyse. An Annotated Translation[END_REF], or functions composed by elementary functions so introduced. Hence-one could argue-wondering for the sameness conditions of theses functions is essentially different from wondering for the sameness conditions of functions whatsoever.

But is this distinction appropriate to the case of Frege? For us, the notion of a function whatsoever is not to be reduced to that of a function having whatsoever name in an appropriate language, or whose values have whatsoever name in an(other) appropriate language. But it seems to me that this cannot be also the case of Frege. Insofar as functions are not actual components of some world of concteta and abstracta, but merely manifest themselves in the way we refer to objects, they can only be distinguished for the fact that their names contribute to the formation of proper names and statements, or can be recognised as (unsaturated) components of proper names and statements.

To this, one can retort that in the language of the Begriffsschrift functions are also supposed to provide arguments of other functions of higher level. To see the problem, take the way Frege introduces the first-order universal quantifier in Grundgesetze, I. This stipulation introduces a second-level concept: the concept a ϕ(a). The empty place in the name of this concept is marked by 'ϕ' that works in names of second-level function as 'ξ' works in names of first-level ones. Now, it seems that, as a stipulation introducing first-level functions implicitly relies on the totality of objects (which provides the range of the relevant schematic letters for objects), a stipulation introducing a second-level function implicitly relies on the totality of first-level functions with 37 For a discussion of the argument Frege advances for this, cf. [START_REF] Wehmeier | Frege's permutation argument revisited[END_REF].

the appropriate number of arguments (which would provide the range of the relevant schematic letters for functions, like 'Φ' in the foregoing stipulation). If it were so, the question would be obvious: does Frege hold that this totality includes only functions having names, or whose values have names-these names being either appropriately introduced in the relevant languages, or composed on the base of names appropriately introduced-, or does he hold that this totality is larger? This question is similar to that which Hintikka and Sandu answer in their paper mentioned in section 2 38 . There is then no need to consider second-order quantifiers to advance such a question. The consideration of first-order quantifiers, or, more generally, of second-level functions, is enough.

But, is this question appropriate? The following quotation drawn again from " Über Begriff und Gegenstand" makes me to doubt that it is ([33], p. 201; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF]: pp. 50-51):

[. . . ] the assertion that is made about a concept does not suit an object. Second-level concepts, under which concept fall are essentially different from first-level concepts, under which objects fall. The relation of an object to a first-level concept under which it falls is different from the relation, certainly analogous, of a first-level to a second-level concept. To do justice at once to that distinction and to the analogy, we might perhaps say that an object falls under a first-level concept, a concept falls within a second-level concept. The distinction of concept and object thus still hold, with all its sharpness. At first glance, this is a quite vague distinction. But one could perhaps clarify it by suggesting that what Frege means here is that in the language of the Begriffsschrift names of second-level functions occur within proper names or statements, as unsaturated components of them, insofar as these latter names result, or are taken to result, by saturating the former names with appropriate names of first-level functions. If any possible saturation of a name of a second-level function with a name of a fist-level one results in a name of a truth-value, the corresponding second-level function is concept or a relation, and the relevant first-level functions fall within it if this names refer to the True. Consider the previous example. The f -name ' a ϕ(a)' of a second-level function occurs in the proper name ' a a = a' insofar as the latter results by saturating the former with the name 'ξ = ξ' of a first-level function 39 . Now, insofar as ' a a = a' is a name of a truth-value, and this is also the case for any other proper name resulting by saturating ' a ϕ(a)' with a name of a first-level function, a ϕ(a) is a concept. Furthermore, insofar as ' a a = a' refers to the True, the function 'ξ = ξ' falls within this concept.

More in general, if a proper name results, or is taken to result, by saturating the name of a secondlevel function with appropriate names of first-level functions, then the first-level functions named by these latter f -names are said to be arguments of the second-level function named by the former f -name. The difference with the case of first-level functions is clear: for a proper name resulting by saturating a 38 The question has also been considered by Dummett which has argued ( [START_REF] Dummett | Frege. Philosophy of Mathematics[END_REF], pp. 219-220) that "there is meagre evidence" for attributing to Frege the conception that his function-variables "range over the entire classical totality of [appropriate] functions", and that "his formulation make it more likely that he thought of his function-variable as ranging over only those functions that could be referred to by functional expressions in his symbolism". 39 To understand what I mean by speaking of proper names or statements which are taken to result (rather than merely resulting) by saturating names of second-level functions with appropriate names of first-level functions, consider the example of proper names like 'Φ(∆)' and 'Ψ(∆, Γ)'. These can be either taken to result by saturating the names 'Φ(ξ)' and 'Ψ(ξ, ζ, )' of first-level functions with the proper names '∆' and 'Γ', or taken to result by saturating the names 'ϕ(∆)' and 'ψ(∆, Γ)' of second-level functions with these same names of first-level functions.

name of a first-level function with names of objects to belong to the language of the Begriffsschrift, these names of objects have in turn to belong, as such, to this same language; a proper name belonging to the language of the Begriffsschrift cannot result, instead, by saturating a name of a second-level function with f -names belonging, as such, to this same language, for the simple reason that this language does not include f -names (otherwise than as unsaturated components of proper names or statements).

This syntactical difference is structurally relevant but does not undermine what is essential for my present purpose: Frege's treatment of functions both of first and of higher level, in the exposition of the Begriffsschrift, focuses on the way proper names (namely names of values of functions) and statements are formed by saturating f -names with other appropriate names. Hence, though one could and should say that a second-level function connects first-level functions to objects, rather than objects to objects, the work that first and second-level functions make within the language of the Begriffsschrift is essentially the same, and-which is the most important for my purpose-it essentially depends on their having a name, or on the fact that their values have a name.

Mutatis mutandis, all what has been said for second-level functions also applies to higher-level ones. An example is given by the second-order universal quantifier, which Frege introduces in all its generality in Grundgesetze, I.24 as the third-level function f µ β (f (β)) defined by stipulating that 'Ω β (Φ (β))' refers to the True whatever the first-level function Φ (ξ) might be 40 . Hence, the possibility of functions which are not endowed with a name, or are not at least associated to appropriate rules to be used for forming the names of their values and determining their reference merely lies outside the horizon of Frege's use of the notion of function in the exposition of the Begriffsschrift. Any argument to be used for arguing that he admits functions like these would be not only merely speculative, but also intrinsically vague, since Frege give us no hint for understanding what he could mean by claiming that certain functions exist, if this were not merely intended as a metaphoric way for saying that their names or the names of their values are at work in some appropriate language.

In Grundgesetze, I.2, Frege describes a process through which the mathematical notion of function was gradually extended ([34], p. 6; [START_REF] Frege | The Basic Laws of Arithmetic[END_REF]: pp. 34-35): firstly, functions were taken to be formed only by the fundamental arithmetic operations; then operations involving a passage to a limit were admitted; finally, "the word 'function' was so generally understood that in some cases the connection between argument and value of a function could no longer be expressed through the signs of the analysis, but only through words" 41 , and complex numbers were admitted both as arguments and values of functions. Frege alleges to have gone further in this process both for having introduced new signs or used old ones for a new purpose, and for having admitted other objects than numbers as arguments and values of functions. But he neither says nor implies that functions and/or their values could lack of names and/or are not associated to rules or procedures to be used for forming the names of their values and determining their reference.

In another passage, close to this one, drawn from "Function und Begriff" ([32], p. 12; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], p. 28), Frege mentions Dirichlet's function as an example of a mathematical functions merely described through ordinary language, by describing it as a function "whose value is 1 for rational and 0 for irrational arguments". According to Burgess, this is enough for inferring that it is not part of Frege's notion of function "that a function must be definable in a symbolic language". Hence, he continues, even if Frege had been convinced that "there is a finitary symbolic language [. . . ] in which for every function there is an expression", he could have not based this conviction on purely conceptual grounds, being rather forced to appeal, at least partially, to inductive evidence relative to the possibility of defining, in some appropriate language, suitable functions to be used as witnesses for the existence theorems of contemporary mathematical analysis ( [START_REF] Burgess | Frege on arbitrary functions[END_REF], p. 106). This would have been a mistake, but, for Burgess, it is plausible to ascribe such a mistake to Frege, provided that "it was only some years later that "became more or less established orthodoxy in the mathematical community that functions are not restricted to be definable", and he "was largely unaware of the bearing of Cantor's cardinality theorems" entailing that "there are more Fregean concepts than Fregean objects": ibid., p. 107 and 101-102).

This mention of Cantor's cardinality theorems suggests that, for Burgess, Frege notion of function could have been undermined by considerations about sets cardinality, which seems to have been possible only if this notion had been extensional in nature. But all what I have said up to now should provide evidence for concluding that this is not so.

Burgess's discussion is largely based on a passage-also quoted by Hintikka and Sandu as a major evidence for their main thesis ( [START_REF] Hintikka | The skeleton in Frege's cupboard: The standard versus nonstandard distintion[END_REF], p. 312-313)-drawn from "Was ist eine Funktion?", the 1904 paper that I mentioned at the end of section 2 ( [START_REF] Frege | Was ist eine funktion[END_REF], pp. 662-663; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], pp. 112-113), where Frege argues against Czuber's definition of functions. In this paper, he remarks that the idea of function as a law of correlation expressed by an equation "has been found too narrow", but suggests that the difficulty "could be easily avoided by introducing new signs into the symbolic language of arithmetic". This passage is open to many interpretations not necessarily fitting with Hintikka and Sandu's thesis 42 . But it seems to me that another passage drawn from this same paper is much more explicit 43 . In my view, it makes manifest in a nutshell the main feature of Frege's notion of function, by making that it clear that is not extensional at all. This is just the passage where Frege critically discusses Czuber's definition of real functions. Here is what he says ( [START_REF] Frege | Was ist eine funktion[END_REF], p. 661-662; [START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], pp. 111-12):

It would be simpler and clearer to state the matter as follows. 'With every number of an x-domain is correlated a number. I call the totality of these numbers the y-domain'. Here we certainly have a y-domain, but we have no y of which we could say that it is a function of the real variable x. Now, the delimitation of the domain appears irrelevant to the question of the nature of the function [Wesen der Funktion]. Why could we not at once take the domain to be the totality of real numbers, or the totality of complex numbers, including real numbers? The heart of the matter really lies in a quite different place, viz. hidden in the word 'correlated'. Now, how do I acknowledge whether the number 5 is correlated with the number 4? The question is unanswerable unless it is somehow completed. [. . . ] Correlation [. . . ] takes place according to a law [Gesetz ], and different laws of this sort can be though of. Hence, the expression 'y is a function of x' has no sense, unless it is completed by the statement [Angabe] of the law according to which the correlation takes place. This is a mistake in the definition. And is not the law, which this definition treats as not being given, the main thing? [. . . ] Distinctions between laws of correlation will go along with distinctions between functions; and these cannot any longer be regarded as quantitative. If we just think of algebraic functions, the logarithmic function, elliptic functions, we conceive ourselves immediately that these are qualitative differences [. . . ].

Concluding Remarks

In a sense, my account of Frege's notion of function fits with Hintikka and Sandu's conclusions 44 . But it hinges on different concerns. In my view, the relevant question is not whether Frege endorsed the standard or a nonstardard interpretation of second-order logic. What is relevant is rather the way functions are supposed to work both in his formal system and in his exposition of it 45 . For Frege, functions are neither defined on sets, nor conceived as pairs of sets. So, it is out of order wondering whether he takes the range of second-order quantifiers to coincide or not with the whole power set of the range of the first-order quantifiers. The notion of set (however conceived) is not a resource Frege considers himself to be licensed to appeal to in the exposition of his formal system, which is not, by the way, in need of any semantic interpretation, since it is ipso facto presented as a meaningful system.

In replying to Hintikka and Sandu's paper, Heck and Stanley have argued that "Frege would not have accepted any of the familiar arguments in favour of a nonstandard interpretation", to the effect that if he "did interpret his higher-order quantifiers nonstandardly, then a study of his reasons for doing so would presumably provide a entirely new set of motivations for rejecting the standard interpretation" ( [START_REF] Heck | Reply to Hintikka and Sandu: Frege and second-order logic[END_REF], p. 417-418). This argument depends on the admission that Frege could have had positive reasons for rejecting the standard interpretation, and could have then conceived it. But this is just what he could not have done. He was faced neither to the choice between the standard and any nonstandard interpretation of second-order logic, nor to the choice between accepting or rejecting our extensional set-theoretic notion of arbitrary function. His way of conceiving functions was simply such to make this idea unavailable for him 46 . 44 More recently, Sandu has reiterated his and Hintikka's major theses, and added that, for Frege, intensions have "logical primacy" over extensions ( [START_REF] Sandu | Ramsey and the notion of arbitrary function[END_REF], pp. 241-243). To support this, Sandu argues that Ramsey's efforts for reforming logicism ( [START_REF] Ramsey | The foundations of mathematics[END_REF]) were manly motivated by an understanding of Frege's and in Russell's conceptions about functions which is close to that outlined in his common paper with Hintikka. In opposition to this, Ramsey would have aimed to conciliate logicism with "the extensional attitude of the mathematics of his days (Cantorian set theory)", and this resulted in his grasping of "the concept of arbitrary function in extension" ( [START_REF] Sandu | Ramsey and the notion of arbitrary function[END_REF], pp. 238 and 250). This has convinced Demopoulos to reconsider the objections to Hintikka and Sandu's theses advanced in a common paper with Bell ( [START_REF] Demopoulos | Frege's theory of concepts and objects ans the interpretation of second-order logic[END_REF]), and conclude that "Frege's functions" should be distinguished from "arbitrary correspondences" i. e. arbitrary functions in set-theoretic sense ( [START_REF] Demopoulos | On logicist conceptions of functions and classes[END_REF], especially p. 6). 45 I agree then with Demopoulos, according to which, "the interest of Hintikka and Sandu's paper has less to do with standard vs. nonstandard interpretations of second-order logic than with Frege's concept of a function" ( [START_REF] Demopoulos | On logicist conceptions of functions and classes[END_REF], p. 6) 46 Despite their focusing on the question whether Frege adopted the standard or a nonstandard interpretation of secondorder logic, Hintikka and Sandu also suggest something like this when they claim ( [START_REF] Hintikka | The skeleton in Frege's cupboard: The standard versus nonstandard distintion[END_REF], p. 313) that "there is no niche in [. . . ][Frege's] world for [. . . ][our] notion of an arbitrary function", and that Frege's logic "there is no room for the idea of Rather to project Frege's conception on the modern (set-theoretic) setting, we should then try to understand the intrinsic motivations of his own approach, by placing it in the appropriate historical and philosophical framework. This framework is provided by his reaction to the program of arithmetisation of analysis, namely on the requirement that numbers and magnitudes should be defined within a formal logical system whose exposition is to depend on the appeal to a quite general, and then non-mathematical notion of function, the elucidation of which should moreover result in the elucidation of the notions of concept and concept's extension, and, then, in the clarification of the very nature of logic.

In section 2, we saw that the program of arithmetisation of analysis came out in turn from a reaction to Lagrange's foundational program, which also ascribed a basic role to the notion of function. A comparison between Lagrange's and Frege's views on functions is then quite natural.

Though both of them take the notion of function to be primitive, they take it to be so in two quite different ways. For Lagrange, functions are objects, namely expressions of an appropriate formalism which is taken for granted. The essential purpose for focusing on them is that of providing a purely relational construal of the notion of quantity, whose aim is to free this notion from any specific essence and make it perfectly formal, and then general. For Frege, functions oppose to objects, to the effect that they cannot be expressions. Furthermore, they are supposed to act in any language appropriate for expressing truths about objects, and any language is supposed to be meaningful, to the effect that the elucidation of the notion of function is conceived as a prerequisite for the exposition of any appropriate formalism. The essential purpose for focusing on this notion is that of making clear the way we refer to objects and express truths about them, so as to provide a formal construal of logic, just conceived as the general framework in which truths about objects can be expressed.

Despite these crucial differences, Lagrange's and Frege's conceiving the notion of function as primitive and taking it as a basis for developing the respective foundational programs also result in important analogies and make these programs essentially different both from arithmetisation of analysis and from set-theoretic reduction. What opposes the two former programs to the latter ones is, so to say, an intensional approach: the idea that an appropriate foundation of mathematics necessarily depends on the clarification of the way the relevant items mathematics is about are related to each others. Furthermore, both for Lagrange and Frege, this clarification depends on the identification of a formal expression for the relevant relations within an appropriate formalism. In both cases, mathematics is then conceived as a system of appropriate expressions. For Lagrange, these expressions are functions; for Frege, they merely make the role and nature of function manifest. Still, in both cases the idea of a function detached by any appropriate expression is merely unconceivable. If my account is correct, this is not the effect of Lagrange's and Frege's intellectual myopia (as Hintikka and Sandu have argued in the case of the latter) 47 . It rather depends on the intrinsic nature of their respective programs.

  4; [55], Introduction, p. 3): [. . . ] Newton considered mathematical quantities as generated by motion [...]. But [...] introducing motion in a calculation whose object is nothing but algebraic quantities is the same as introducing an extraneous idea [...].

  is a name of the Truth, since 3 is not T); the latter case obtains if 'ξ' and 'ζ' are replaced by 'b' and 'a', so as to get the formula ' could then say that f -names are tools to be used in the Begriffsschrift for forming proper names and statements, or for analysing them.

  8 ([34], p. 12; [40]: p. 42): ' a Φ(a)' refers to the True if the value of the function Φ (ξ) is the True for any argument, and to the False otherwise.

  , pp. 3-4; [40], p. 32) 17 : [. . . ] my first task will be the exposition [Darlegung] of my Begriffsschrift. [. . . ] It will not always be possible to give a proper definition of everything, precisely because our endeavour must be to go back to what is logically simple, which as such is not properly definable. I must then be satisfied with indicating what I intend by means of hints. What Frege means here with 'exposition [Darlegung]' is close to that which elsewhere (for example in: the same Grundgsetze, § § I.1 (footnote) and I.34-35; [33], p. 193; [38], pp. 301-302 and 305-306; [42], vol. 1, p. 232, and vol. 2, p. 63) he means with 'elucidation [Erläuterung]'.

I thank Andrew Arana, Michael Beaney, Francesca Boccuni, Stefania Centrone, Annalisa Coliva, Michael Detlefsen, Jacques Dubucs, Giovanni Ferraro, José Ferreirós, Sebastiano Moruzzi, Carlo Penco, Eva Picardi, Gabriel Sandu, Stewart Shapiro, François Schmitz, Göran Sundholm, and Jamie Tappenden, for useful comments and/or suggestions.

All quotes from sources in foreign languages are either translated into English by myself in toto, or result from attested translations which I have often slightly modified. In this later case, I refer to these translations, even if I move away from them.

Baker ([3]) has considered, but finally rejected, the idea that Frege could also have ascribed this inappropriateness to himself, by referring to § § 9-10 of his[START_REF] Frege | Begriffsschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens[END_REF]. My purpose here is not to describe the evolution of Frege's views. I shall rather confine myself to consider his mature views, as they emerge from the Grundesetze or other coeval or later works

Broadly speaking, foundation of mathematics aims a reorganisation of mathematics according to a suitable order. For Frege, such an order should have been epistemic: it should have provided arithmetic and real analysis with a ground epistemically sound For Lagrange, it should rather have been obeyed an ideal of purity (this is explained in[START_REF] Ferraro | Lagrange's theory of analytical functions and his ideal of purity of method[END_REF]).

A more comprehensive discussion is offered in[START_REF] Ferraro | Lagrange's theory of analytical functions and his ideal of purity of method[END_REF].

This is suggested by the complete title of the Théorie: 'Théorie des fonctions analytiques contenant les principes du calcul différentiel [. . . ] réduits à l'analyse algébrique des quantités finies'.

For a discussion of Euler's conception, I refer the reader to[START_REF] Panza | Euler's Introductio in analysin infinitorum and the program of algebraic analysis: quantities, functions and numerical partitions[END_REF].

'equal quantities' those that have the same sign and the same numerical value; and 'opposite quantities' two quantities with the same numerical value affected by opposite signs."

For example, in the same § I.5, Frege argues that '2 2 = 4' is a name of the True, and that the statement ' 2 2 = 4' asserts that the square of 2 is 4.

These definitions are informal insofar as they belong to the exposition of the Begriffsschrift, rather than to the Begriffsschrift, itself. Hence, they reduce to stipulations stated in the natural language, as clearly as possible (under the supposition that what is involved in them has been previously elucidated). These are other examples that, if the exposition of the Begriffsschrift is assimilated to elucidation, the latter is not necessarily opposed to definition in broad sense: cf. footnote[START_REF] Diamond | Inheriting from Frege: the work of reception, as Wittgenstein did it[END_REF], above.

In fact, appropriate conventions relative to the "scope of the generality" have to be also made ([START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § § I.8, pp. 11-12 and I.17, p. 31;[START_REF] Frege | The Basic Laws of Arithmetic[END_REF], pp. 41, 65-66). I cannot enter this matter, and merely observe that Frege's use of Latin letters is such that generality cannot be expressed in the Begriffsschrift only through them: universal quantifiers are also necessary.

Frege emphasises this fact by stipulating that a Latin letter for objects "indicate [andeute]" an object rather than referring to it ([START_REF] Frege | Grundgesetze der Arithmetik[END_REF], § I.17, p. 31;[START_REF] Frege | The Basic Laws of Arithmetic[END_REF], p. 66).

That identity only applies to objects is a point that Frege makes in many occasions, as well as he often argues that a "corresponding relation" applies to concepts or functions. But he does not use a fix compact vocabulary for this purpose. In his review of Husserl's Philosophie der Arithmetik ([35], p. 320;[START_REF] Frege | Collected Papers on Mathematics, Logic and Philosophy[END_REF], p. 200), he argues that "coincidence[Zusammenfallen] in extension is a necessary and sufficient condition for the occurrence between concepts of the relation that corresponds to equality [Gleichheit] between objects" (I shall come back later on this claim, p. 23), then remarks: "it should be noted that in this connection that I'm using the word 'equal [gleich]' without further addition in the sense of 'not different [nich verschieden]', 'coinciding [zusamenfallend ]', 'identical [identisch]'". In the "Ausführungen über Sinn und Bedeutung" ([START_REF] Frege | Nachgelassene Schriften und Wissenschaftlicher Briefwechsel[END_REF], vol. 1, pp. 132;[START_REF] Frege | Posthumous Writings[END_REF], p. 122), he also argues that "the word 'the same [derselbe]' used to designate a relation between objects

In order to show that the paradox does not depend on the use of expressions like 'the concept ', C. Wright has stated it as follows ([START_REF] Wright | Why Frege does not deserve his grain of salt[END_REF], pp.74-77; for clarity, I adapt his argument to my setting; on this matter, cf. also[START_REF] Dummett | Frege: Philosophy of Language[END_REF], pp. 212 seq.): i ) the expression 'That which is named by 'Φ (ξ)" is a singular term; ii ) hence, its reference, if any, is an object; iii ) the reference of 'That which is named by 'Φ (ξ)" is that which is named by 'Φ (ξ)'; iv ) hence, that which is named by 'Φ (ξ)' is an object. It follows that the problem cannot be solved by merely jettisoning expressions like 'the concept '.

We find a similar claim already in " Über Sinn und Bedeutung" ([START_REF] Frege | Über Begriff und Gegenstand[END_REF], p. 198;[START_REF] Frege | Translations from the Philosophical Writings of Gottlob Frege[END_REF], pp. 47-48): "We must say in brief, taking [. . . ] 'predicate' in the linguistic sense: a concept is the reference of a predicate".

Cf. the quote from § I.1 of the Grundgesetze at the end of section 3.2 below.

I'm indebted to F. Schmitz for this account of the distinction between sense and reference of a f -name and the value-range of the corresponding function.

The letter 'µ' is here used here to hold a place empty for a second-level function with one argument, the index 'β' is used to make clear that the arguments whose places are indicated by 'β', both in 'f (β)' and in 'Φ (β)', are bounded, and 'Ω' and 'Φ' works as schematic letters for functions of second and first-level, respectively.

This is enough evidence for concluding that, contrarily to what Hintikka and Sandu seems to imply ([START_REF] Hintikka | The skeleton in Frege's cupboard: The standard versus nonstandard distintion[END_REF], p. 311) Frege's admitted the possibility of non-differentiable functions in real analysis (on this matter, cf. also[START_REF] Heck | Reply to Hintikka and Sandu: Frege and second-order logic[END_REF], p. 41, and[START_REF] Burgess | Frege on arbitrary functions[END_REF], pp. 90, 99-100).

According toDemopoulos and Bell ([16], pp. 142-145), the context of this passage suggests that Frege is here merely arguing for the possibility of extending the class of analytically representable function so as "to include all functions of a particular class": a quite common view among mathematicians of his time.Heck and Stanley ( [50], p. 419-421) have considered, instead, that Frege's only point, here, is that functions are unsaturated, which seems to me a quite implausible interpretation.

This passage is also partially quoted byHintikka and Sandu ([51], p. 312).