Thanks for the summary, it's very helpful.
I don't know about anyone else, but I found this chapter a little bewildering, and am not sure even now I understand it. The last paragraph, in particular, is very difficult to parse. In particular, Derrida's insistence that what was outside essential demonstration was therefore 'outside of truth' was a little bizarre. This is characteristic of my frustration so far with this text – Husserl never disavows empirical truth.
It also seems to me that Husserl's definition of indication is not actually as broad as Derrida makes it out to be (causing him to drill down to 'indication proper,' which excludes demonstration), because Husserl clarifies in his definition that he is speaking of non-evident motivation, which has a precise technical meaning that excludes demonstration, which requires evident motivation in the sense of having adequate evidence for its claims. But this is less important.
Yet the origin of indication, for Husserl, lies in the association of ideas (as the footnote on page 25 tells us — csalisbury
True. Though late in his career, Husserl also begins to speak of a pure phenomenological notion of association that does not have to do with empirical psychology (even pure psychology). Again, I do not really understand how this works: it's one of the mysterious sections in the Cartesian Meditations (and may appear elsewhere).
Husserl still sees us as discovering ideal logical truths/relations/orders, rather than transcendentally constituting them. Thus, at this stage the processes whereby we discover these truths must be something entirely separate from the truths themselves (otherwise the psychologists are right.) In other words expression must be absolutely separable in principle from indication, otherwise expression (and so the order of ideal logical/mathematical truths) falls right back into the maw of psychologism. — csalisbury
I am having a hard time with this because the fact that the psychological acts whereby these truths are discovered require indication does nothing, at least in principle, to show that logic itself must be psychologistic. All it shows is that the human practice by which these non-psychological laws are discovered is amenable to psychology, which I take it no one denies. The point is just that
regardless of how we discover the logical truths or draw logical implications, these implications
in themselves have adequate evidence, and the psychological means by which they're reached is irrelevant. We would not, for example, mention necessarily any such method of discovery in a logic textbook at all.
Derrida also talks about how the reductions factor into this, and Husserl had not come up with the notion of reduction in the Investigations yet. So if Derrida means to criticize Husserl, and not just 1901-Husserl (which is the only way the text holds together), this sort of subjectivity versus objectivity thing, and discovering versus constituting ideal truths, should fall through, since as Derrida admits, Husserl's method of viewing ideal objectivities in terms of experiential constitution effectively transcends the subjectivist-objectivist divide (phenomenology is if you like no more than an assimilation of the science of experience to logic rather than to physics).