The notion of &lsquo\;function&rsquo\; has for a long time been conceived in two different but closely related ways: a biological function attributed to the organization of living organisms (Aristotle\, Kant)\, and a mathematical function that is taken to be underlying judgments (Kant\, Frege).
\nThe former is ontological (about beings)\, the latter is logical (about thinking). Additionally\, the former is of the order of the imaginary &ndash\; we need to presuppose that the (observable) parts of the organism stand under the idea of a whole\, which is unobservable &ndash\; while the latter is symbolic &ndash\; focusing on symbolic structure at work in the act of speaking and writing\, namely\, function (f) and argument (x) (and value (y)). We call the former of the order of the imaginary because we imagine ourselves into functional organizations of wholes and parts\, which is what mereology is all about. This is not the case in the latter\; we do not imagine ourselves into the symbolic structure\, we read it off of the sentences we utter or the formal systems we write.
\nOur claim is that it makes a difference to explicitly take into account the symbolic\, logical function\, to the extent that it is what allows to capture the specificity of the imaginary\, mereological function. In other words\, we need the symbolic realm to explain the imagination of the whole\, in its position as both necessarily an object and necessarily non-objectifiable. As Woodger states: formalization (formal functionalization\, logics) is what allows to give a place\, on the one hand to what is always already counted as an object (&ldquo\;knowledge about the object&rdquo\;) and on the other hand to what is the place from where something is counted as an object (&ldquo\;knowledge about knowledge&rdquo\;).
\nWe discuss the various forms of confusion that can arise by not clearly distinguishing both takes on function. \;
ORGANIZER;CN=Christoph J. Hueck;CN=Dalia Nassar: METHOD:PUBLISH END:VEVENT END:VCALENDAR