tag:blogger.com,1999:blog-80421424434702591882023-11-15T10:45:32.475-06:00SOH-DanMea Caligine TutusDaniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.comBlogger168125tag:blogger.com,1999:blog-8042142443470259188.post-36733172854262849362021-08-29T18:24:00.003-05:002021-08-29T18:24:37.482-05:00"Purity" in Morals<p>Here is a claim I think is obviously true, but which I'm not sure I've ever seen anyone state clearly, and which in any case doesn't seem to be as significant to people as I think it should be: Decision theory is the pure doctrine of prudence, in Kant's sense: it is the parallel of what Kant does in the first two parts of the "Groundwork for the Metaphysic of Morals". This claim I mean strictly and rigorously; Kantian ethicists who mock decision theory are as misguided as utilitarians who denigrate the Moral Law itself.</p><p>Here is why I think people miss this obvious truth: Decision theory is not "pure", in Kant's sense, because it is not independent of psychology; it is not entirely unempirical, despite being largely mathematized. But Kant's <i>own </i>work is also not independent of psychology, as anyone who has taught Kant's own examples from the second section of the "Groundwork" is well aware: Kant helps himself to just a little bit of psychology, to the claim that (as Plato had already said in the second book of the "Republic") each human has many desires, and no one can satisfy these desires without assistance from others. Kant doesn't realize how much of a cheat this is, and so keeps up the artificial attempt to build ethics on this thin of an account of the human -- it is thus no accident that the full "Metaphysic of Morals" has so much rubbish in it, as Kant was building on sand. Hegel's ethics is free of this artificial limitation that Kant had laid down for ethics, but still shows all the limitations of Hegel's own parochialisms (sexism, racism, nostalgia for guilds and wariness of mass suffrage). So the obvious lack of "purity" in decision theory is not a barrier to granting it status parallel to Kant's own (hypothetical) derivation of the Moral Law in the first two sections of the "Groundwork": that work is itself not really pure, once it has been properly understood. By Kant's own standards, nothing is really "pure": and so what is reasonably called "pure" is not going to meet Kant's strictures.</p><p>That there is still something to the "pure"/"empirical" distinction I think is clearly shown by the case of decision theory: decision theory is not like the mass of information that is involved in making actual decisions; avoidance of dutch books in decision theory is clearly akin to crafting reductio proofs, as anyone who has played a little with both must realize. There's some sort of categorical difference between keeping a dutch book and simply making an unwise choice: this is what I think the "pure"/"empirical" distinction should aim to make clear. But even the terms used in labelling the distinction make this difficult. Hence much becomes muddled when thinking about practical philosophy.</p><p><br /></p><p>Unrelated: I wrote a dissertation, you can find it open-access <a href="https://scholarworks.iu.edu/dspace/handle/2022/26435">here</a>.</p>Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-48872822195654303462018-05-08T13:00:00.002-05:002018-05-08T13:00:58.869-05:00I have a published article now!In case anyone still has this blog in their RSS aggregator: My first published paper, "Hegel's 'Idea of Life' and Natural Purposiveness", is now available in preprint: https://www.journals.uchicago.edu/doi/abs/10.1086/698659<br />
<br />
It's lacking final pagination, but that's it. It has a DOI number that can be cited to for now.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-3956667623072585922015-01-23T13:17:00.000-06:002015-01-23T13:17:05.161-06:00See the Dancing Bearhttp://www.xavier.edu/philosophy/Contemporary-Debates-in-German-Idealism-Conference.cfm<br />
<br />
My poor blog; neglected for so long my imageshack links have all died. Alas!Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-64450053547142824032014-03-09T12:08:00.000-05:002014-03-09T12:08:05.328-05:00Relative Identity in HeideggerPoor neglected blog; even my images are dead now. Ah well, mourning is for the dead.<br />
<br />
I have <a href="http://sohdan.blogspot.com/2012/01/was-heidegger-analytic-philosopher.html">noted before</a> that Heidegger had read some Frege; this isn't a huge surprise, given that he was a student of Husserl, but it's easy to forget from our current "analytic/continental" vantage point. I just stumbled across a place that reminded me of this, and where better to make a note of it than on a dead blog?<br />
<br />
In section 44 of "Being and Time", Heidegger is concerned with picking apart the view of truth as <i>adequatio intellectus et rei</i>. His point in doing this isn't to deny the view so much as to complain that it obscures what is significant about truth: if we try to have a "thing" and a "mind" already in view, and then want to add "truth" (and falsity) on top of those as a certain kind of relation between the two ("agreement", "correspondence", or the lack of this), then we have gone badly awry: instead we need to first have Dasein's openness to the world in view, and then the "mind" and "thing" which are supposed to "agree" will all show up as abstractions from a more important phenomena which originally makes claiming possible at all.<br />
<br />
One of the ways Heidegger tries to do this is by poking at the "<i>adequatio</i>" relation, which Heidegger translates as "Übereinstimmung": "Was meint überhaupt der Terminus »Übereinstimmung«?", what does one in general mean by the term "agreement"? It has to be some sort of relation, it has to be a bringing-together of two things, but clearly not just any relation will do: we need to get a sort of "agreement" which relates a "thought" and a "thing" just in that the one agrees with the other with regards to <i>truth</i>: and this is obscure. Plausibly, the only way to pick out the right sort of relation is by already having an understanding of truth: A true thought agrees with its object just in that the thought says that things are thus-and-so with the object, and the object is thus-and-so -- and cashing out this "says that" talk already will involve a notion of truth, for saying that things are thus-and-so is just to put forward "things are thus-and-so" as true. (And so <i>adequatio intellectus et rei</i> is empty as a definition of truth; it moves in a circle.)<br />
<br />
But that is not what interests me -- I want instead to point to a moment in Heidegger's discussion of relations of "agreement":<br />
<blockquote class="tr_bq">
Die Zahl 6 stimmt überein mit 16 - 10. Die Zahlen stimmen überein, sie sind gleich im Hinblick auf das Wieviel. Gleichheit ist <i>eine </i>Weise der Übereinstimmung. Zu dieser gehört strukturmäßig so etwas wie ein »Hinblick auf«. Was ist das, im Hinblick worauf das in der adaequatio Bezogene übereinstimmt?</blockquote>
<i>Auf Englisch</i>: The number '6' agrees with "16-10". The numbers agree, they are equal in regard to "how many". Equality is <i>one </i>way of agreeing. To this belongs structurally something like a "regards to". What is that in regards to which the terms related by "<i>adequatio</i>" agree? [This is my own translation; someone please let me know if I've fouled it up too much.]<br />
<br />
Heidegger here mentions numerical equality as one form of "agreement", and says that "agreement" always takes a complement: Two things agree <i>in some particular respect, with regards to something</i>: For example, '6' and "16-10" agree in coming to the same number, but not in being the same arithmetical formula.<br />
<br />
Heidegger here puts forward (as unproblematic and not in need of argument) a view of equality as distinct from identity; equality is only sameness of number, not "sameness" as such. This is Frege's early view, in <i>Begriffschrift</i>; I believe he changes to his more familiar view (that equality simply is identity) in "Sense and Reference", when he settles on truth-values as the referents of sentences -- that move lets him consolidate a fair bit of his notation. (I would check this if I were not too lazy to do so.)<br />
<br />
More interestingly (if you are me), Heidegger also puts forward as unproblematic a view of the genus of which numerical equality is a species, a view of what I think we analytics usually call "identity", as needing a complement: "<i>Wieviel</i>", "How much?" specifies the sense in which '6' and "16-10" are identical, they are the same number. Without some such question as this, no species of "agreement" is specified: The question "Do they agree, are they identical?" does not itself have a sense, unless the context makes clear in what respect agreement is being asked about. (It may be that the context makes clear that every respect is meant, and any dissimilarity will be an absolute lack of agreement between the one and the other.)<br />
<br />
If I am reading Heidegger correctly here, then he agrees with Geach against Frege (and against the vast majority of analytic philosophers) in holding that "identity is relative": that to say that A and B are identical is, in the primary case, to say that they are the same in some definite respect, such as being the same color or the same make of shoe. To say that they are absolutely identical, which Frege had taken as the more primordial notion, Geach claims is only to say that they are the same in every respect: they are the same color, the same make of shoe, occupy the same location in space, etc. -- Geach uses Leibniz's Law to introduce the notion of "absolute" or "simple" identity as a defined term in logic.<br />
<br />
To remind the reader of the opposing view: Many have held that to say that A and B are the same color is, when put in a logically regimented way, to say that<br />
<blockquote class="tr_bq">
There is an X and a Y such that X is the color of A, and Y is the color of B, and that X is (absolutely) identical to Y, and that there is no Z such that Z is the color of A or Z is the color of B and Z is not (absolutely) identical to X (and to Y).</blockquote>
This way of rewriting "A is the same color as B" carries with it an ontological commitment to colors; Quine and Davidson take this commitment along happily (Davidson a little more happily than Quine), and so see a sort of Platonism as an unexciting logical consequence of some ordinary claims: There are colors, and there are shapes, because there are true claims on the order of "X and Y are the same shape", and writing those out in a logically acceptable way involves committing oneself to the truth of "There is a W such that W is a shape".<br />
<br />
Geach is able to avoid these commitments: he treats "A is the same color as B" as a primitive equivalence relation in the language, and so does not need to quantify over colors to write "A is the same color as B" in ordinary first-order logical notation; it just comes out as looking like "aRb". By a neat trick, Geach notes that he can (in a sense) keep his ideology conservative as well: Quine's way of writing "A is the same color as B" requires a way to say "A has a color", which he writes as "There is an X such that X is the color of A"; Geach writes "A has a color" as "A has the same color as A", as anything which lacks a color cannot be the same color as anything: he is able to use his primitive equivalence relations to do the work of coloredness-predicates, and so doesn't need the latter as primitive terms in his language. This trick works in general for turning predicates into equivalence relations. So Geach doesn't need to include more predicates in his language than Quine did, but is able to reduce his ontological commitments. And since Geach is able to introduce a sign for "absolute" identity in his language by means of Leibniz's Law, the resulting calculus is just Quine's beloved first-order predicate calculus with identity; Geach disagrees with Quine not over a matter of regimented logical notation, but of how to rewrite ordinary language claims in that regimented form.<br />
<br />
There are a few other wrinkles to Geach's account of relative identity, but hopefully the above is clear enough to get it in view. One aspect of his view which Geach finds remarkable is that he, unlike Frege, is able to treat statements of sameness and statements of number along the same lines: where Frege insisted that "How many?" required a complement, that statements of number were assertions about concepts, he had also insisted that "Are A and B identical?" required no complement, and that this identity was a logically peculiar notion which everyone immediately grasps in a special way. Geach thinks this was quite odd of Frege; Frege had demolished the idea that "oneness" is a special property of every object, and had left "self-identity" as a special property of every object: but in English and German both we have the phrase "one and the same" "<i>ein und dasselbe</i>", which Geach thinks should have already suggested to Frege that sameness and oneness ought to be handled along the same lines. I think that Heidegger had (without having much affection for logical notation) done just this: he requires an <i>im Hinblick auf</i> before questions of sameness are answerable. It would be interesting to see if Heidegger was consistent in this; rejecting "absolute" in favor of "relative" identity has a fair number of consequences in metaphysics, as Geach was well aware -- puzzles about whether a statue is identical with its clay fall to the ground, for example -- and Heidegger is not uninterested in a number of these metaphysical puzzles.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-11485200806858457462013-09-29T02:17:00.000-05:002013-09-29T02:17:06.993-05:00Peregrin on "Logic and Reasoning"I just finished listening to <a href="http://www.youtube.com/watch?v=WUueJspkB4E">this talk</a>; I quite liked it. Peregrin defends the view that logic is "constitutive" of rationality, and not merely normative for it: the laws of logic make the game of giving and asking for reasons possible, not what tells you which moves within the game are good ones or bad ones to make. This isn't a new idea, but I very much liked seeing someone defend it without leaning on the fact that they are also trying to exposit Kant's views on general logic, or the views of the author of the <u>Tractatus</u>.<br />
<br />
There is one bit that struck me as odd, though, which is why I'm writing this post: at one point Peregrin is concerned to show that his view can still claim that logic is <a href="http://youtu.be/WUueJspkB4E?t=44m11s">"a supreme arbiter of rationality"</a> despite not allowing the laws of logic to be violated (in general -- he allows occasional violations by single members of linguistic communities, but says very little about the details of how even this could happen given that the laws violated constitute the act which is supposed to defy them). His reply seems odd, though: He says that being rational may be "having implications, negations, etc., not using them in an appropriate way."<br />
<br />
This seems wrong for at least two reasons. One is that minutes earlier he'd allowed that there might be linguistic communities which don't have implication (a group in Siberia studied by a Soviet scientist is discussed as a possible example), and so don't have modus ponens because of this. So, what he put on his slide seems to contradict his own commentary on it, unless he wants those linguistic communities to fail to be rational (which is obviously undesirable). The other is a generalization of the point Peregrin made when he allowed for a linguistic community to lack "implication": Why should the material conditional, classical negation, exclusive disjunction, etc. be so important for being rational as such? They seem to be of fairly recent invention, and sit uneasily next to the ordinary-language terms often used to characterize them (as anyone who has ever had to teach undergraduates well knows). How could having them in one's language be so important as to constitute the game of giving and asking for reasons?<br />
<br />
The remedy to this, I think, is just what Sebastian <span class="st">Rödl talks about in the first chapter of "Categories of the Temporal": we should retain the idea that logic is constitutive of thought as such, but not identify this logic with a calculus (and so in particular not with classical logic and its material conditional etc.): the possession of any particular logical calculus is an optional tool in reasoning, not constitutive of it. The kind of logic which is constitutive of thought as such is transcendental logic, not general logic: it essentially involves reference to thought's relationship to its objects (and so refers to inquiry, the process by which those objects are known). Being rational cannot plausibly be "having implications, negations, etc." but it is (at least plausibly) having distinctions of truth and falsity, of oneself as an inquirer who can err and be corrected by others or correct oneself, of the objects of inquiry as being capable (at least in many cases) of settling questions about them when some are in error or ignorant of them, etc. It is hard to see how one can be a rational subject without such notions; it is the task of a transcendental logic to outline them and give their laws, without which thought as such is impossible.</span><br />
<span class="st"><br /></span>
<span class="st">I think this sort of view also helps to make sense of so-called disagreements in logic (as between classical and intuitionist logicians, or dialetheists and everyone else): they are not expressing conflicting views on "the" logic constitutive of thought as such (which would have to be a transcendental logic), but expressing views which disagree with one another on which calculus captures the laws of thought as such (or which are normatively correct in describing how one should proceed if one wishes to think rationally, as they tend to think of it). Accepting or rejecting the law of excluded middle, or rejecting (and not merely accepting) the law of noncontradiction can then be seen not as doing the impossible (if laws of logic are constitutive of thought as such), but as advancing rival views on a distinct question -- one which the transcendental logician may reject as relying on a false assumption, that the logic of thought as such is the logic of a calculus, is general and not transcendental logic. So long as it is not among the laws of transcendental logic that one has a particular view of transcendental logic (which would be a surprising result), the disagreements in logic do not need to be seen as violating laws which are constitutive of thought as such, and can be regarded as genuine disagreements without overturning the view of logical laws as constitutive.</span><br />
<br />
<span class="st">It might be thought that the existence of dialetheists still posed a problem: Didn't I say that a distinction between truth and falsity was (plausibly) involved in the laws of transcendental logic, and isn't this just what the dialetheists want to argue about? Are they not still seemingly violating the laws which are supposed to be constitutive of thought as such?</span><br />
<br />
<span class="st">I think not: Even in the extreme case of Graham Priest's acceptance of every version of the denial of the law of noncontradiction he is presented with, one can find him affirming (in "Doubt Truth to Be a Liar") that one cannot both affirm and deny a proposition simultaneously. He views this as a psychological claim, and his ultimate evidence for it is phenomenological, but he recognizes that he needs something of this sort to make his own views so much as stateable: if he has access to no such distinction as this, then he can't intelligibly say that even dialetheists believe that there are monaletheias (propositions which are only true or false, and not both): without something in his system to keep two truth-values apart in the end, there is nothing to keep his opponent from asking "Yes, yes, you accept that P is true and not false, and is a monoletheia -- but how do I know you don't also hold it to be false and not true, and a dialetheia?" (The context in which Priest invokes an absolute psychological-phenomenological distinction between affirmation and denial is one in which he has rehearsed the many "revenge" Liars that a dialetheistical treatment of the Liar leads to; Priest needs some way to handle "This sentence is false and is a monoletheia", which on his treatment is both true and false and has both one and two truth-values, without undermining his own view that dialetheism is compatible with classical monoletheic logic "mostly" holding in everyday reasoning. I would look at my copy of the book to confirm this and find references, but I am lazy and as far as I know I'm the only person who feels a need both to defend the constitutive view of the laws of logic and to make sense of Graham Priest.) So I think that Priest can be seen as still abiding by (and affirming and not denying) the distinction between truth and falsity at the level of generality at which transcendental logic needs to deal with such truth-values: he just has peculiar views about how truth-predicates should be used in formal languages, etc. When it comes to knowing that when a question has been settled in inquiry it is not also still open, or that we can err when we hold that a question has been settled or not and might need reopening, Priest (and I think any other dialetheist who considers the issue) says nothing but what the transcendental logician says we all know <i>qua</i> rational beings: what is, is, and what is not, is not.</span>Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-45826179124211434022013-06-03T17:29:00.002-05:002013-06-03T17:29:43.811-05:00Rödl on Kant's First Analogy of ExperienceHere's how Kant states the First Analogy in the A-edition of KRV, where it is labelled the "Principle of Permanence": "All appearances contain the permanent (substance) as the object itself, and the transitory as its mere determination, that is, as a way in which the object exists." (A182)<br /><br />In the B-edition of KRV, Kant adds a paragraph to the beginning of this section. In "Logical Form as a Relation to the Object", Sebastian Rödl goes through this paragraph sentence-by-sentence (omitting some parenthetical remarks of Kant's and the final sentence). As Rödl presents it, Kant argues as follows (following the Kemp Smith translation, B224-5; each of these is a single sentence of Kant's German):<br /><br />1) All appearances are in time; and in it alone, as substratum [...], can either coexistence or succession be represented.<br /><br />2) Thus the time in which all change of appearances has to be thought, remains and does not change. For it is that in which, and as determinations of which, succession or coexistence can alone be represented.<br /><br />3) Now time cannot by itself be perceived.<br /><br />4) Consequently there must be found in the objects of perception, that is, in the appearances, the substratum which represents time in general; and all change or coexistence must, in being apprehended, be perceived in this substratum, and through relation of the appearances to it.<br /><br />5) But the substratum of all that is real [...] is <i>substance</i>; and all that belongs to existence can be thought only as a determination of substance.<br /><br />Claim 1) is established by the Transcendental Aesthetic. See II.ss4.1, the first paragraph of the Metaphysical Exposition of the Concept of Time, for the argument; the idea is that we can't build up to a representation of time by first perceiving items as simultaneous or sequential and then abstracting "time" out of those perceptions, since perceiving them in that way requires already seeing them as in time: so the representation of time is <i>a priori</i>, as it is only against the background of time that we can represent things as simultaneous or sequential.<br /><br />2) follows from 1): if we need to use time as a background against which to represent things as happening simultaneously or sequentially, then representing anything as changing will also require this (as changes are sequential: there is something changed from and something changed to). The background against which change is represented is not itself represented as changing, but is what makes the change intelligible as a change. As this background is time, time must be represented as remaining without change. Rödl here notes that it seems that the way to represent the logical form of thoughts of items in time is as "determinations of time", as Kant says: something like "A exists at t1", with the time "t#" being part of what the thought determines. Simultaneity would then be existence at the same t#, succession would be existence at a later or earlier t#.<br /><br />3) I am sure Kant argues for somewhere, but I'm not finding a reference at the moment. That time is not itself an empirical intuition follows from the argument for 1), but I don't see where Kant actually makes that inference explicit. But it's a trivial enough point that he hardly needs to: once a distinction is noted between perceiving objects in time and perceiving time itself, it is easy to grant that we do the former and not the latter. (There's a reason we need clocks.) Rödl notes that this simple point poses a problem for the idea that the way to represent an item in time is "A exists at t1": we are trying to articulate the logical form of an appearance of something in time. So if the logical form of an item with a temporal position (simultaneous with, earlier than, or later than some other item) is "A exists at t#", then we cannot be given any items with temporal positions in perception, as perception does not provide us with a time to put for the schematic "t#".<br /><br />4) From this Kant concludes that "there must be found in the objects of perception [...] the substratum which represents time in general": Rödl puts the point thusly: "what is given in intuition—appearances—as such contain something that represents time in the sense that <i>something is conceived as a determination of time in virtue of being apprehended as a determination of it.</i> Apprehending A and B as determinations of this thing, we apprehend A and B as succeeding, or as simultaneous with, one another." (p.365) The problem with thinking that "A exists at t1" could represent the logical form of a thought of an appearance having a temporal position was that nothing was given which could stand in for a "t#": the solution is to see A as a determination of time (as having a temporal position determined in the thinking of it) in virtue of it being represented as a determination of something which <i>is</i> given in perception, and which functions as a substratum against which simultaneity and succession can be represented.<br /><br />5) And here Kant draws the conclusion of the Principle of Permanence: All appearances are in time, as the Transcendental Aesthetic established; this entails that they are given to us as simultaneous with one another or earlier or later than one another. To be represented in this way (which they must be to be given to us <i>as</i> appearances in time), there must be found in these appearances something which is grasped as a substratum against which temporal positions can be apprehended, and the various temporal positions must be represented against the background of such a substratum. But such a substratum in appearance is just what the Principle of Permanence calls "substance": there is in all appearances in time a distinction that can be made between substance and "mere determination", which Rödl calls "state". Rödl puts it this way: "We perceive that A succeeds or is simultaneous with B, as we apprehend A and B as determinations of time [by perceiving them thus]. And we apprehend A and B as determinations of time, not by predicating A and B of a time as in “[A exists at t1 and B exists at t2] ”, but by predicating A and B of a substance as in “S was A and is B” . Temporal thought bears a predicative structure. It is not articulated into a time and what is at this time, but rather into a substance and its states. It is in virtue of being thus articulated that a thought distinguishes a time from what is at this time and thus represents its object as temporal. This completes the proof." (p.365) "S was A and is B" represents a substance, 'S', which can be in different states at different times (is now B, was previously A) while remaining the same substance. Thoughts which represent substances as substances exhibit this form: the substance thought of is known as something which can bear contrary predicates at different times, as Aristotle put it; it is a perceptible item which can be seen to change or remain the same at different times. Being able to perceive such items is what enables us to have appearances which have a temporally order internal to how they are given to us: thinking thoughts of the form "S was/is F" is how we can represent some appearances as coming before, after, or alongside others. A Hume-style skeptic about substance needs to make this intelligible by thinking thoughts of the form "A exists at t1" and "B exists at t2", and this cannot be done, as time is not perceptible. Thus the proof against this sort of skepticism is complete: in all appearances substances are given, as the substrate of changeable states.<br /><br />Rödl continues on to note a few things from the later pages of the Analogy, but the impression given is that the rest is a mop-up operation: the important work is already done in that first five sentences. There is a small puzzle about this, given that these sentences were added in the B-edition, and replaced a short section that doesn't contain this argument. But I think it's plausible that the argument Kant puts more clearly in those five sentences can be found in the first few paragraphs of the A-version Analogy, spread out more widely and unclearly.<br /><br />There are two more puzzling things about Rödl's handling of the First Analogy. One is that it might seem that Rödl's way of handling perception of time-positions can't handle the relative positions of states of distinct substances. I will handle this indirectly, by first looking at something Rödl points out. It might be thought that one advantage of representing temporal thought by "A exists at t#" is that the various numbers which slot in for '#' will all line up of themselves: t1 is before t2, which is before t3, etc. But this is an illusion: "the things to which “t1” and “t2” refer, and the unity of these, cannot be perceived. Here nothing satisfies “the condition of the empirical unity of time” (A 188/B 231). By contrast, in “S was A and now is B”, there is no need to connect two things determined by A and B respectively, for there is only one thing, the substance, determined by both. Its unity represents the unity of time. In this way is the “condition of the empirical unity of time” satisfied." (p.366) That is, the attempt to represent temporal thought by "A exists at t1" and "B exists at t2" etc. fails to satisfy a demand established by the Transcendental Aesthetic: there is only one time, and all times are limitations of it. There is nothing in the representation of temporal appearances by "A exists at t#" which guarantees that everything which stands in for "t#" will be part of a single time. Rödl's way does meet this demand: If S was A and is now B, this can only happen in a single time through which S persists, as is represented by the single symbol 'S' in the notation.<br /><br />Now, what does that have to do with the following worry: Rödl's way can't handle "S is A" and "P is B" being simultaneous, since those two thoughts don't share a substance? Here I think I see why Rödl talks of "states" and not "properties" or "determinations": it is tempting to think that there is something special about monadic properties or determinations, but it is much less tempting to think this about states. The 'A' in "S is A" can perfectly well be "near the P which is B"; this is a state a substance can be in, and the thought of it includes the time-determination of the other substance, and represents the empirical unity of the times in which these substances exist. Here I am speculating as to how Rödl handles this question; it seems like something he should address, but I haven't read anything where he takes it up. But I don't see any reason my way wouldn't do fine for him: relational states are perfectly good states, and an appearance of multiple substances in relational states will satisfy Kant's demand to respect the empirical unity of time. (The Transcendental Aesthetic can, I think, already be taken to have shown that all appearances will be related in a single time; it will thus not be necessary to further guarantee that all states of substances will be so related, as these are merely a species of the genus "appearance". That is to say, I do not need to establish that all substances will stand in relational states to one another which determine their time-relations; the Aesthetic does the needed work. What is needed is only to provide a way of presenting substances in thought which does not violate the condition of the empirical unity of time, as "A exists at t#" did. Provided that substances are in fact related to one another in time, polyadic state-variables represent them as in a single time.)<br /><br />There is another puzzling thing about Rödl's way of handling the First Analogy. The five-sentence proof from Kant he looks at is only in the B-edition, but he only presents the A-edition's statement of the Principle of Permanence. Related to this, he does not discuss the last sentence of the paragraph added to the B-edition: "And as it is thus unchangeable in its existence, its quantity in nature can be neither increased nor diminished." This sentence goes along with the B-edition statement of the (slightly renamed) "Principle of Permanence of Substance", which says "In all change of appearances substance is permanent; its quantum in nature is neither increased nor diminished."<br /><br />Rödl mentions this sentence only in a footnote: "We disregard the last sentence of the proof (“Da diese also im Dasein nicht wechseln kann, so kann ihr Quantum in der Natur auch weder vermehrt noch vermindert werden.”), which does not pertain to anything stated in the First Analogy in the A-edition. It is a further thought, with its own difficulties, which lie beyond the scope of this essay." (p.369)<br /><br />Now, it is curious that Kant changes the statements of the principles of the Analogies in the B-edition. But he leaves so much of the argumentation unchanged in these sections that it seems hard to deny that he thought he merely reworded them, and left their substance unchanged. But I think Rödl is simply right about this much: Nothing in the First Analogy in the A-edition supports the claim that the quantity of substance in nature is constant. Substances are things which can change in various ways while remaining the same substances; Kant tells us nothing here about why "quantity in nature" is something unchangeable. More problematically, I don't think Kant has given a sense to "quantum" here: Does he mean that substance in nature does not change in total mass, or in total energy, or in total extension, or in some other quantity measured in some other way? There are many quantities of substance in nature which do change: the number of dinosaurs is a quantity in nature. As far as I've been able to tell, at this point in the Transcendental Logic Kant has no grounds whatsoever for speaking of a single quantity of any sort which is constant for all substance at all times: the Principle of Permanence is entirely compatible with an Aristotelian world of many finite substances with different natures and different ways of being. (The only thing I can find which can even pretend to be an argument otherwise is the Anticipations of Perception, with its talk of intensive magnitudes of reality -- but this section also does not establish that there is a <i>single </i>scale of reality-magnitude, but only that any reality given in sensation is given in a scaleable way.)<br /><br />Here I suspect Kant changed the B-edition of KRV to make it line up more smoothly with his physics, which he had in the meantime laid a groundwork for in "Metaphysical Foundations of Natural Science". But this sort of move is illicit, by Kant's own standards: principles of a special science such as physics are not established before the System of Principles of the Pure Understanding, as these pure principles are used in determining the principles of the special sciences (which are partly empirical: in MFoNS Kant relies on experience for the claim that bodies have weight, if memory serves). If Kant hasn't established that the sort of substance which must be found in the appearances to make experience possible is the kind his preferred empirical science talks about, he shouldn't pretend otherwise: and viewed from our later vantage-point, we should feel welcome to jettison the supposed necessity of Kant's Newtonianish physics, and feel no compulsion at all to read it back into the Analogies -- even if Kant himself did this while revising the B-edition. It is only Kantian for us to attempt to understand the philosopher better than he understood himself.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-17050085910799531892013-06-02T01:04:00.001-05:002013-06-02T01:04:18.970-05:00"Kantian Humility"I read about half of Rae Langton's "Kantian Humility"; I skimmed the chapters between the one on phenomenal substance and the one on primary/secondary qualities. Here are some thoughts I had.<br /><br />She latches on to some passages that I find fairly opaque, and is able to give a sense to them (the stuff about matter being constituted by "mere relations"), but I felt like her overall interpretation was severely hindered by her unwillingness to discuss core arguments of the Transcendental Analytic. For instance, she doesn't commit herself to any view as to how the argument for the First Analogy is supposed to work. But, she's committed to reading "phenomenal substance" as akin to "wax duck": phenomenal substances just aren't substances (and in her defense, she shows that this is how Wolff used the phrase); the schematized category of substance is not a species of the pure category for her, and on her reading Kant denies that we are ever given anything in experience which "can only be thought as subject, not as predicate". She puts a lot of weight on Kant's remark that we can make anything a "logical subject" in a judgement without that saying anything about whether or not it's a substance ("Love is abiding" and "Yellow is pale" don't make love or yellow into metaphysical substances), and holds that this shows that treating "matter" as a substance is only done by Kant in a "comparative sense": that it is a logical subject relative to empirical predicates of matter, not that it can't be thought of as a predicate of the thing-in-itself. And in fact she holds that this is how it is: the only substances for her Kant are things-in-themselves, which can't be thought as predicates of anything. (She assumes this throughout, without any argument that I saw. I don't know why someone like Spinoza wouldn't deny it, and claim that these monadic "substances" are in fact mere predicates of God; I've never been clear on how Leibniz prevents his monads from collapsing into God in this way, though it's clear he wants them not to.) All of this means that, in fact, no knowledge of substance can play any part at all in the First Analogy: the subsistent in time is only a permanent predicate, not something which can only be thought as subject. This strikes me as ruling out any plausible interpretation of the First Analogy, as it makes the relationship between its principle and the category associated with it essentially null.<br /><br />She constantly turns to Kant's physics when discussing what Kant means by "matter", and reads his dynamical theory of matter as providing argumentative support for large swathes of the critical philosophy. (How this doesn't render the entire project circular is a problem I don't think she ever addresses: From what I recall of the Metaphysical Foundations of Nature, Kant uses the Analogies to argue for his force-theory. So he can't presume that this is how matter works when arguing for the Analogies themselves.) But if the permanent in experience is the matter explicated by Kant's physics, then it's not something we are consciously aware of as such: attractive and repulsive forces are not something we can sense directly. She takes a very radical move here, and severs the connection between the senses and intuition: she reads the Third Analogy's principle as committing Kant to the view that all matter affects us at all times, and that it is only because most of these effects are too small ("lacking in reality") to be brought to consciousness that prevents us from being aware of all objects at all times. This puts Kant's view of experience very close to Leibniz's: every subject represents the entire world at all times. In her defense, she quotes Kant saying things that seem close to this radical a view in his reply to Eberhard in "On a New Discovery etc.", which I haven't read. (I remembered reading Allison's introduction to it years ago, and then skimming the text to confirm that it was how Allison had said it was. But all of the details are now lost to me.)<br /><br />But if this sort of neo-Leibnizian view is Kant's, then it seems simply incoherent: if external bodies are given to us only by means of attractive/repulsive forces, then the fact that forces sum means that external bodies are not given to us individually: two forces of velocity X and one force of velocity 2X are not distinguishable, and so all of those remote objects which Langton's Kant has making "subconscious" effects on us are not distinguishable (in principle) from a single external object making a single impression on us whose force is the sum of those effects. It might seem that her Kant also faces the problem of how to distinguish between proximal and distal causes of the effects on us, but I think that's actually not a problem for her Kant if the issue of forces summing isn't: since Newtonian forces act instantaneously at a distance, a proximal and a distal stimuli simply produce distinct forces on us, and so if these forces can be distinguished then so can the proximal and distal stimuli.<br /><br />I don't think Leibniz's view has these problem, because Leibniz thinks that forces, which are relational properties of bodies, are "well-founded phenomena" which reduce down to simple properties of monads: so the representation in a single monad of some particular lump sum of force is analyzable (by God, not by us finite provers) into non-relational properties of monads, and it is only by means of these non-relational properties that Leibniz has each monad representing the entire world. But Kant is adamant about relations not being reducible to non-relational properties, as Langton shows at length, so I don't see how her Kant can go from the forces to anything which represents the world -- even setting aside that Kant has independent arguments against Leibniz in these quarters (such as Leibniz presuming the identity of indiscernibles, which is needed to make his monads "represent" individual objects by means of non-relational descriptions of them). I don't know how her Kant is supposed to be able to represent individual objects merely by having forces impinging upon it at all, but she is explicit that this sort of physical interactionism is what drives Kant's thoughts about thought's receptivity.<br /><br />I found the book disappointing overall, but if Langton's not right about what "matter being constituted by mere relations" means, I don't know what those passages in Kant mean. (Langton can here apply Modus Tollens; I apply Modus Ponens.) So the book is worth looking at just to see how she handles the passages her view handles well; it is a desideratum for any alternative view of Kant's matter-doctrine to be able to handle them as smoothly, but without sacrificing so much of the rest of Kantianism.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-90023255056198148972013-05-25T21:57:00.001-05:002013-05-25T21:57:20.154-05:00McDowell on Cognitive Science and EpistemologyUniversity College Dublin has put online <a href="http://www.youtube.com/user/MyUCD/videos?query=mcdowell">two lectures (and an interview)</a> McDowell gave there recently; kudos to them for doing this. It is all the to better that more talks are going online these days, so that it's easier for those who want to hear them to do so.<br /><br />I just finished listening to the first one, "Can cognitive science determine epistemology?" Its topic is familiar for anyone who's read McDowell very much, and its content replicates some material available elsewhere recently: McDowell is here replying to Burge's recent attacks on him, just as he was in a talk he gave when visiting IU three years ago.<br /><br />It's actually interesting to listen to McDowell's views on cognitive science while at IU: he is sanguine throughout on the current state of representationalist cognitive science, and explicitly doesn't want to make any waves or raise complaints against it. This is not exactly the attitude one finds most often at IU. (B.F. Skinner was at IU for nine years, and reportedly designed the psychology building; his influence is still felt here.) It's especially surprising to hear him speak of "representations" so blithely, though I suppose this is in accord with the "representations without representationalism" slogan he urged on Rorty back in "Rehabilitating Objectivity".<br /><br />But I think that, even if he does harbor secret doubts about the current state of the science (which I have no reason to believe he does, but which I think is the horse he should bet on), it makes sense to be ameliorist in a lecture like this: there's no reason to fan the flames of people who, like Burge, see self-standing epistemology as just an armchair form of psychology by running together such a self-standing epistemology with a rival vision of psychology. This is especially true because of the claim he concludes his talk with, which I think might represent a genuine shift in his thinking: he claims that cognitive science needs epistemology (as a self-standing enterprise) to be able to identify contentful states in the way that it does.<br /><br />I know McDowell has long claimed that alternative accounts of perceptual knowledge make the very idea of perceptual knowledge unintelligible (this is a central claim of "Knowledge and the Internal", and is tied to the central arguments against Davidson in "Mind and World"), but I can't think of another place where he so straightforwardly says that an <i>empirical science</i> (as opposed to a (discardable) alternative account in philosophy) relies on something that his sort of account of perceptual knowledge provides. I think that's a stronger claim than anything he made up through the 90s, at least; I would need to reread the exchange with Dreyfus to see if there's a similar claim made there, given how Dreyfus views his own relation to psychology. If this sort of thing is true, then philosophy can't be a purely therapeutic enterprise: the sciences need it to do something else in addition to showing flies the ways out of flybottles, in order that they may be sciences. A certain sort of constructive work (in some sense of the term "constructive") is needed from philosophy to allow a properly empirical science to proceed. I don't think that McDowell would have been willing (or happy, at least) to say this at all points in his career, but he seems to have said it explicitly here. I have to wonder whether he thinks claims of this sort generalize beyond the field of representationalist cognitive psychology -- might physics rest on principles like the analogies of experience, or biology on a logical account of the lifeform? If there are some dependencies between empirical sciences and accounts of rational self-consciousness, how deep (far?) do these dependencies go? (This way lies <i>Naturphilosophie</i>, which is worrying and at least a little heady.)<br /><br />Side-note: Michael Friedman argues for something like the claim McDowell made in his "The Dynamics of Reason", that philosophy needs to provide (and has, in the past, provided) the sciences with something they need in transitions between paradigms during periods of revolutionary science. I was unconvinced that Friedman had shown anything stronger than the claim that, in fact, work done in philosophy was instrumental in making turn-of-the-century revolutions in physics possible; I'm not sure how strong of a case can be made for the usefulness of philosophy in the other scientific revolutions he briefly discusses, and am skeptical of a general claim he argues for, that philosophy in general provides the connections between mathematics and mathematical physics that physics needs. He clearly wants to put forward a vision of scientists and philosophers working in tandem in a certain way, but I came away from the book with the impression that he's too weak to a nostalgia for logical positivism in its heyday. I couldn't see a future for that sort of thing, because I couldn't see how his account generalized beyond the weird combination of Neokantianism and crises in physics that lead to the syntheses he spent so much time looking at. On the authority of Einstein, work in philosophy really was important in certain reformulations of physics -- but it's in the nature of revolutionary science that we can't tell in advance what sorts of reformulating will be called for, and so I don't see how philosophers could intentionally try to provide it. It was just a happy accident that it did in that case, it seems to me. But it was a fun little book regardless.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com2tag:blogger.com,1999:blog-8042142443470259188.post-39404685199291301012013-05-18T02:19:00.002-05:002013-05-18T02:19:24.830-05:00Dummett's Frege and RödlI have not been good at blogging recently; I have neglected comments for about a year, and have written nothing. Apologies to those who I did not respond to (which by my records include Daniel Nagase, N.N., Charles Wolverton, Evan Kuehn, and Duck; I could make excuses for this bad behavior, but they would be of merely psychological importance, and that's a poor way to start a Frege post).<br />
<br />
But if I cannot manage to blog well, then I should at least blog badly more often; here then are things I typed to try to get clear to myself on what Rödl is getting from the Dummett essay he leans on in the first chapter of "Categories of Temporality".<a class="GIL3GQOBOB" href="http://www.blogger.com/blogger.g?blogID=8042142443470259188#editor/target=post;postID=4460209278037891528;onPublishedMenu=allposts;onClosedMenu=allposts;postNum=2;src=postname"></a> <br />
<br />
In "The Context Principle: Centre of Frege's Philosophy" Dummett claims that Frege tried to use the context principle to justify his "realism", his treatment of numbers as objects, while simultaneously using it to answer the question of how numbers can be given to us ("epistemologically", in Dummett's term). Dummett's idea is that Frege tried to answer this question (and establish his realism) by fixing the truth-values of every sentence in which a number-word appeared; in the <i>Grundgesetze</i>, this is fixing the truth-value of every sentence in which a term for a value-range appears.<br />
<br />
The line of thought seems to be this:<br />
1. Frege can fix the truth-values of sentences by (in part) stipulation, going through each possible combination of a value-range term with a primitive concept-term and assuring that it has a truth-value.<br />
2. For Frege truth-values are the <i>Bedeutungen </i>of sentences.<br />
3. The context principle: the <i>Bedeutung </i>of a subsentential term is determined only by the way it contributes to the <i>Bedeutungen </i>of the sentences it appears in.<br />
Which gives Dummett's Frege the conclusion that by stipulating truth-values for each (atomic) sentence in which a value-range term appears, he has also settled what the <i>Bedeutungen </i>of value-range terms are.<br />
<br />
Dummett contrasts this to a way of providing terms with <i>Bedeutungen </i>which would go against the context principle: first establish the domain over which the variables of the language can range, and then determine for each term of the language which needs a <i>Bedeutung </i>which of the items from that domain is to be its <i>Bedeutung</i>. As this initial domain-determination requires a grasp of the possible values of variables anterior to the securing of <i>Bedeutungen </i>to the sentences of the language in which those variables appear, it violates Dummett's version of the context principle.<br />
<br />
Dummett spends some time on the objection that one might ascend to a metalanguage to avoid this violation of the context principle: if the domain-determination for the object language takes place in sentences of another language, then the context principle is not sinned against. But Dummett argues that Frege did not mean to be giving <i>Bedeutungen </i>to the terms of <i>Begriffschrift </i>which were already understood by anyone who could read his German: this would make some of Frege's prose a necessary element of his logic, which Frege clearly wants to avoid. The <i>Begriffschrift </i>is supposed to stand on its own, with the German prose serving only as a propaedeutic to its understanding; in particular, if the question of whether numbers are objects or how they may be given to us is to be solved by the <i>Grundgesetze</i> project, then it cannot rely on the German-reader's already knowing these objects and including them in the domains over which <i>Begriffschrift </i>variables are allowed to range.<br />
<br />
Dummett's objection to Frege here is put rather tersely, and I am writing this post because I need to do some work to unpack it for myself: "The fallacy appeared at the very first step. The stipulations governing the primitive functors [what I called concept-words, above], including the criterion of identity for value-ranges embodied in Axiom V, could be determinate only if the domain, consisting wholly or largely of value-ranges, was determinate; but the domain was in the process of being determined by fixing the <i>Bedeutungen </i>of the value-range terms, and so the procedure went round in a circle." (p.18)<br />
<br />
The circle seems to be this: Frege tries to establish that among the objects are value-ranges (the <i>Bedeutungen</i> of value-range terms) by stipulating truth-values for each atomic sentence which results from combining a value-range term and a primitive function of <i>Begriffschrift</i>. But the sentences which are here stipulated to have truth-values can only have truth-values if the domains over which their variables range is determinate; an indeterminacy in the domain means an indeterminacy in what can count as the sentence being true or false, and Frege's stipulations do not settle this question about domains. In fact, Frege wants to settle questions about domains by securing <i>Bedeutungen </i>for his primitive terms, so that he can settle the question of whether numbers are objects, and how numbers can be given to us, by making clear how sentences featuring number-words function in inference. So he both needs to settle the domain issue prior to his procedure and only by means of it, which is contradictory. This is why he is able to think he has given <i>Bedeutungen </i>to all of his <i>Begriffschrift </i>expressions such that all of his Basic Laws are true, when in fact they are jointly inconsistent (because of Basic Law V, whose <i>Bedeutung </i>was supposed to be settled by the procedure of securing <i>Bedeutungen </i>for value-range terms).<br />
<br />
Dummett's verdict here is despair. His closing paragraph:<br />
"The realist interpretation could be jettisoned without abandoning the context principle itself, but only if that principle, as here understood, can be shown to be coherent; and this remains in grave doubt. And yet it is hard to see how it can be abandoned, so strong is the motivation for it. The alternative is an apprehension of objects, including abstract objects, underlying, but anterior to, an understanding of reference to them, or, indeed, a grasp of thought about them; and this is a form of [what Putnam calls] external realism too coarse to be entertained. I am therefore forced to conclude without either endorsing the central feature of Frege's philosophy or rejecting it; I can do no more than to say lamely that the issue if one whose resolution is of prime importance to philosophy." (p.19)<br />
<br />
This is where Rödl intervenes: he claims that the context principle can be saved (and should be saved), but only by rejecting the idea that a logic such as the <i>Begriffschrift </i>can be said to present us with the form of thought as such. As Dummett argued, a coherent version of Frege requires something other than <i>Begriffschrift </i>to settle the question of what objects <i>Begriffschrift </i>is about; <i>Begriffschrift </i>cannot take care of itself, but needs the "pinch of salt" Frege infamously asks his readers for. The distinguishing characteristic of <i>Begriffschrift </i>Rödl picks out for blame here is that <i>Begriffschrift </i>expressions are characterized only by their inferential structure: a <i>Begriffschrift </i>expression is to have its meaning fixed solely by determining how it figures in lines of a <i>Begriffschrift </i>proof. This is what Frege really fixes by his procedures: how <i>Begriffschrift</i> expressions are to be used in constructing <i>Begriffschrift </i>proofs. But Rödl claims that this fails to settle the question of how <i>Begriffschrift </i>expressions relate to their objects, for the reasons Dummett gave: and this is why Frege fails to notice that his logic cannot take care of itself, as part of what determines the thoughts expressible in <i>Begriffschrift </i>is the relation of these thoughts to their objects, and not merely the relations of these thoughts to each other, and this is why Frege fails to determine thoughts expressible in <i>Begriffschrift </i>in the way he believed he had. So the form of thought as such cannot simply be an inferential order, but must already determine the relation of thoughts to their objects in a way that Frege's logic did not.<br />
<br />
The option Dummett's despair overlooks is that of determining the truth-values of sentences not in a way anterior to their relatedness to their objects, but only by already having in view these sentences' relatedness to their objects. Dummett's Frege erred in trying to secure relatedness to objects only indirectly, by means of securing the inferential functions of thoughts, and Dummett as sees the only alternative to secure the relatedness to objects of thoughts to be that of grasping thoughts and objects independently and then bringing them together (in some medium other than thought, which yet stands in need of relatedness to objects). Rödl's excluded third alternative is to promote a logic which determines thoughts only as already related to objects which are given by these thoughts: such a logic is what Kant called "transcendental logic". Kant distinguished this from the sort of logic he infamously claimed to have been settled since Aristotle, which he characterized as a "general logic" that abstracts from all objects of thought and deals with modes of inference independently of the relatedness of thoughts to any objects (which is why for Kant general logic can lead to transcendent metaphysical thoughts by means of fallacious inferences, but transcendental logic does not give any "<i>Sinn oder Bedeutung</i>" to the "thoughts" of transcendent metaphysics).<br />
<br />
To present a transcendental logic is to present a logic which includes within it an account of the objects which can be given to thought; non-transcendental logic can omit this only because it treats of thoughts without inquiring into their relatedness to objects. If a logic is not to leave the question of the relatedness of thougts to their objects outside of itself (as a topic for something other than logic), i.e. if a logic is to take care of itself, to be able to present the form of thought as such, then the objects which are given in thoughts must be treated of by logic itself: thus transcendental logic must be metaphysics. This is just what we find in Kant: the Transcendental Logic is just where Kant establishes the principles of his "metaphysics which is to come forth as a science", that all appearances are substances undergoing lawful changes in mutual interaction etc. As general logic determines the forms of thoughts which are capable of figuring into inference, so transcendental logic determines the forms of thoughts of objects: and so it determines the ways in which objects may be given to us, the way in which objects which can be given to us may (or must) be. And unless there is a distinction made between objects which can be given to thought and objects which can be given to our thought, transcendental logic will not have as a consequence transcendental idealism: if the metaphysics of transcendental logic determines how objects must be to be given to thought, then to speak of objects which are not (or might not be) thus is to speak of something contradictory, or to put forward a thought which has no relation to any object: thus it cannot have as its object any "thing in itself" which is unknowable by thought. Kant's transcendental idealism arises because of his accounting our form of sensibility as not the only logically possible one: hence his transcendental logic does not present the form of objects which can be given to thought, but only the form of objects which can be given to spatiotemporally-formed thinkers; the "thing in itself" thus remains as something which (as far as logic allows) might be given to thought, but cannot be given to our thought, and so is for us unknowable and undetermined by Kant's metaphysics. If Kant's forms of sensibility can be shown to be the only logically possible ones, to be demanded by transcendental logic and not merely an addition from a "transcendental aesthetic", or if Kant can be shown to have erred in his claiming that the (logically contingent) forms of space and time are the forms of our sensibility, then Kant's transcendental idealism can be excised from his system. This is part of Rödl's project, in line with earlier German Idealists such as Ficthe and Hegel: to carry out transcendental logic without an independent transcendental aesthetic, so as to avoid transcendental idealism and the "thing in itself". They do not reject the division between transcendental logic and transcendental aesthetic because of ignorance of the importance of a transcendental aesthetic, of an account of the form of objects which can be given to thought, but because they seek to have transcendental logic alone provide for it, as it should be able to if transcendental logic is a logic which can take care of itself.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com6tag:blogger.com,1999:blog-8042142443470259188.post-67144906014119917862012-10-28T01:35:00.002-05:002012-10-28T01:35:45.846-05:00A Quote from L.E.J. Brouwer"<span class="a" style="left: 726px; top: 1194px; word-spacing: 3px;">Life is a magic garden. With miraculously soft shining flowers, but amidst the flowers the little </span><span class="a" style="left: 726px; top: 1291px; word-spacing: 1px;">people walk, that I am so afraid of, they stand on their heads, and the worst is, that they cry out to</span><span class="a" style="left: 726px; top: 1387px; word-spacing: -1px;"> me that I <span class="w6"></span>must also stand on my <span class="w6"></span>head, now and then I try <span class="w6"></span>it, and I burn with shame; but sometimes</span><span class="a" style="left: 726px; top: 1483px; word-spacing: -1px;"> the little people then shout that I do it very well, and that I am after <span class="w6"></span>all a real gnome too. But under </span><span class="a" style="left: 726px; top: 1579px;">no circumstances are they going to make me believe that."</span><br />
<br />
<span class="a" style="left: 726px; top: 1579px;"> From a letter to Carel Adama van Scheltema, August 7, 1906. Cited <a href="http://www.scribd.com/doc/74408429/46/Arthur-Schopenhauer-and-L-E-J-Brouwer-A-Comparison">here.</a></span>
Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-44602092780378915282012-09-28T00:27:00.002-05:002012-09-28T00:27:55.348-05:00Blanking on RödlFrom today's <a href="http://ndpr.nd.edu/news/33682-the-twenty-five-years-of-philosophy-a-systematic-reconstruction/">NDPR review</a> of "The Twenty-Five Years of Philosophy":<br />
<blockquote class="tr_bq">
Although this seems on its surface to suggest a possible link between
Goethe's idea, at least generally taken, and the more recent work by
Michael Thompson and Sebastian Rödl on how species terms work, Förster
does not explore that link. On the other hand, one can't do everything.</blockquote>
What work by Rödl does Pinkard have in mind? I thought Rödl just pointed to "The Representation of Life" when he needed to talk about species terms; am I just forgetting somewhere that Rödl does the work for himself? Or is Pinkard mistaken in thinking that Rödl is relevant on just this point? (His work is clearly something that should be sat next to Förster's book as a whole, so I'm glad he got mentioned in the review. But I don't see why he got mentioned just <i>here</i>.)<br />
<br />
On Facebook, Ben Wolfson pointed to chapter six of "Categories of Temporality", but that doesn't satisfy me: Rödl doesn't talk about animal species as such very much there, and in any case he points to Thompson a few times in that book (all three parts of "Life and Action" are in his bibliography), so Pinkard's sentence still feels weird.<br />
<br />
Another possibility that occurs to me is that Pinkard meant to point to Rödl's discussion of "species" in the logical sense (the things under a genus), in which case chapter six of "Categories of Temporality" is clearly relevant. But then mentioning <i>Thompson </i>seems odd: I can't think of any work of his which is that general, as opposed to work on "species" as a type of life-form.<br />
<br />
I feel like I'm just forgetting something Rödl's written.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-28050448486174268872012-09-21T00:24:00.002-05:002012-09-21T00:24:56.472-05:00"Thinking"I needed to write some things; I have checked none of my quotations (and give no citations because of it), and am too lazy to italicize where it needs doing etc.; anyone who reads this is advised that they do so only under their own judgement, and I foreswear all responsibility for such actions.<br /><br />"Only in the context of a proposition has a word really a meaning" Frege tells us; this is the stronger formulation used in the middle of the Grundlagen, after his initial, more cautious warning "Never to ask for the meaning of a word except in the context of a proposition", for fear that what we will confuse with the meaning is an "idea", a subjective Vorstellung which comes to mind when a word is heard but is orthogonal to any question of meaning.<br /><br />The author of the Tractatus tells us much the same: "Only in the context of a proposition has a name meaning"; only in a proposition can there be a symbol. Outside of the context of a proposition, we have only things which we can confuse with signs: but as a sign is "the perceptible aspect of a symbol", a blot of ink or a noise which is not presently symbolizing is not even a sign. To see the symbol in a sign, we must consider the context of significant use: this means that if we are considering a putative sign in such a way that we can think of it just as we are without its having a context of significant use, then we are not thinking of even a sign: we have only ink or noise, and these have no innate connection to any symbols (for signification is arbitrary).<br /><br />So, if there is a context in which we are supposed to refer to a sign in a way that is independent of that sign being used, we in fact refer to no sign: we mention only ink or noise, or something else which may (or may not) be arbitrarily connected with a meaning in some further use of it as a symbol. Such a thing cannot have any meaning.<br /><br />There are many ways to use a symbol: this is demanded by what the author of the Tractatus thinks of as the "bipolarity" of a proposition, its ability to be true or false. If we cannot use the same symbols to say both a true thing and a false thing (with the aid of a sign for negation, or by denying where someone has affirmed) then we lose this bipolarity: the same symbols need to be able to function in both affirmation and denial in the same ways for a given thought to be held as true and held as false. So logic demands that there be ways to modify the force of a proposition, to use Frege's terminology.<br /><br />Perhaps the same point, perhaps a better one than I just made: "Thaetetus" must be the same symbol in "Thaetetus sits" and in "Thaetetus flies" for the inferences in which these propositions are involved to be intelligible. So there arises the illusion that we can speak of the meaning of "Thaetetus" in these propositions on its own, so that we can after all speak of the meaning of a word outside of the context of a proposition. It seems we have just done so, by putting "Thaetetus" in quotation marks: by doing this we are now talking about the symbol which is combined with other symbols in propositions, but without its being combined in any particular proposition.<br /><br />I think this must be seeing things wrong.<br /><br />Rather than saying that in ""Thaetetus" refers to Thaetetus" we refer to a name (or that in the longer quoted expression I just used we refer to a sentence), we might say that we use "Thaeteus" with a modified force: where normally "Thaeteus" symbolizes only in some such proposition as "Thaeteus sits" or "Thaetetus flies", the quotation marks around ""Thaetetus"" cancel the force of the rest of the proposition, for all of the propositions in which "Thaeteus" has a use: thus we do not use quotation marks to refer to something which might exist before any proposition, but to refer to something which exists only in abstraction from propositions. Not: A name has a reference, and can be combined with other words to form a sentences, but: A sentence has names in it, which can be picked out in it and seen in other sentences. The use of quotation marks around an expression thus depend on that expression already having a use in the language, to use them in the way they are ordinarily used in logic and semantics. So this way of using "Thaeteus" is not using it outside of the context of a proposition, but it using it in the context of propositions which are bracketed out: not outside of a context of significant use, but in a different context of significant use which is parasitic on those contexts. "Thaeteus" is not something we can mention which has a meaning by itself, but is something we can mention as having its meaning in this-and-that proposition which we leave unstated (but could state examples of).<br /><br />This is contrary to the manner in which artificial languages are constructed (as in Carnap), where we distinguish between the introduction of atomic signs and the rules for formation of sentences from the combination of atomic signs (and from other sentences). This gives the appearance that we can have something logical in view before the final proposition-in-a-context-of-significant-use is given, that we can build up one of these out of some things understandable antecedently.<br /><br />Carnap is one of the inventors of metalogic; he reads into the Tractatus a notion of "a language" which is at home in his own work on metalogic, where a "language" is something we can have in view without presently using it (as its use is external to it: a formal language is in itself a system of manipulable marks, and can be manipulated or not as we please). The Tractatus has no such notion: its author is not teaching us about a formal language, but about a method of rewriting the propositions of ordinary language, which is for its author "the only language I can understand". (Thus we do not need to saddle this author with the view that every language has the same expressive power, that all languages are intertranslatable: his Begriffschrift is not meant to be a language which has the powers of all languages, but to be a style of notation which can serve to rewrite any language. The notation itself does not need to have expressive powers in the way that the languages it is used to rewrite do: anyone who wants to rewrite something in the notation of the Tractatus can make use of whatever sorts of (e.g.) names his own language gives him, and doesn't need a Begriffschrift to supply him with any.)<br /><br />When working with a formal language which resembled ordinary language, we can mistake a sentence of the formal language (which exists only according to the arbitrary dictates of the formal system in which it is produced) with a sentence of ordinary language which superficially resembles it: we can then imagine that our ordinary language is what this formal language has created, forgetting that the formal language is a free creation of a particular subject and no ordinary language can be this. ("The only language which I understand" cannot be something I produce by a free act, for I must already understand it to formulate any such end for myself.) "Formal language" and "ordinary language" have only a sign in common, and the author of the Tractatus reminds us that this is of no logical import.<br /><br />(It is probably important that Davidson rejects Tarski's theory of quotation marks in the Warheitsbegriff as an error, and has to replace it to apply Tarski's definition of truth to natural languages; I would have to look at Tarski again to remember what his view actually was.)<br /><br />This way of thinking goes along with thinking that the rules of "logical syntax" are constitutive of thought, not normative for it: we cannot violate them. Thus there cannot be an impermissible combination of signs, for to speak of "permission" makes no sense here. In not being able to violate these rules, we are not prohibited from thinking anything; outside of the limits of thought there is simply nonsense: not something which we are prohibited from thinking. (I am not happy with any formulation of this I can think of. This is perhaps an important point about the constitutive-normative distinction in these areas, that formulations of either sort of view can be taken as formulations of the other.)<br /><br />In logic we can never do something we shouldn't do, but only misunderstand what we are doing. We can only mistake something other than logic for logic, as Frege warned us about; but Frege's rule to always sharply distinguish the logical and the psychological does not go far enough, for there are other troubles than psychologism to worry about. (Frege perhaps falls into a confusion of logic and language when he looks for the referents of concept-expressions, as both names and concept-expressions are written in words.) Or perhaps: we all too easily underestimate what it is that is "psychological" as opposed to logical: not just the subjective play of Vorstellungen is opposed to the logical. "Logical" is perhaps not a term that wears the pants, as Austin said of "real".<br /><br />I have no idea if I'm going anywhere (with this?). I want to say: I am a mass of errors, and can do nothing but err. Is there a context of significant use in which such "philosophy" as I produce has a sense, or is this too nothing but confusion? (That there is not is suggested by the fact that this question strikes me as sophistry: but I feel it forced upon me by my own thinking, which is also tarred as sophistry by this association, and so the question seems to have force: and on in circles I go.)Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com1tag:blogger.com,1999:blog-8042142443470259188.post-57034243167910044442012-09-16T20:29:00.002-05:002012-09-16T20:29:07.288-05:00Sellars Society InterviewThe Sellars Society has started an interview series; <a href="http://wss.categorymistake.com/wp/wss-interview-1-willem-devries-2/">it's off to a good start.</a><br />
<br />
Aside: As I expected, this semester has me too busy to blog; I get to start grading midterms tomorrow. It's been an unrewarding grind so far, and thinking for fun hasn't seemed like much fun because of it. Hopefully the spring is better.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-23202720587232257182012-09-10T16:14:00.001-05:002012-09-10T16:14:21.765-05:00Hooray for C.I. Lewis!This post is nothing but cheering for the guy I like winning a <a href="http://leiterreports.typepad.com/blog/2012/09/underappreciate-philosophers-active-in-the-us-from-roughly-1900-through-mid-century.html">thing</a>.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-86772182260880575942012-08-15T23:57:00.000-05:002012-08-15T23:57:18.152-05:00Förster's examples of Idea, transitions, and individualsFollowing on from where my previous post left off, here is Förster, in "The Twenty Five Years of Philosophy": <br />
<blockquote class="tr_bq">
<i>First example</i>: Let's suppose we are watching a modern, 'experimental' film in which the scenes follow each other in a seemingly random, unconnected way: Times, places, and actors are constantly changing with no indication of how they are connected. It seems as if every scene constituted an independent and self-contained episode. Then comes the final scene, and suddenly everything that came before is illuminated in a flash. This final scene provides the key to understanding the film and allows us to recognize the idea that the director wanted to present. Now we might perhaps wish to see the film for a second time, and then something decisive occurs: Although we see exactly the same scenes again, this time we see every scene differently. When we watch the film again, the last scene or rather our knowledge of the film's underlying idea is now present in every single scene. And it now makes clear how the scenes which formerly appeared to be unconnected are in fact internally linked.<br />
In this example we are at first, i.e., after seeing the film for the first time, given all the parts (scenes) of a whole as well as the underlying idea, but we are not yet given the internal link, the 'transitions' between the scenes. With the aid of the idea, however, we can produce or reconstruct these transitions for ourselves after a second viewing. This suggests that <i>if</i> a whole consists of these three elements and two of them are given, then I can infer the third element from them. We could put this to the test if for example, differently than in the case of the film, we imagine a case in which the idea and the transitions are given, but the parts still have to be found....(p.258-259)</blockquote>
Two things to immediately note about this example: Förster is explicit that whether a whole consists of an Idea and a series of individuals with Ideal transitions between them is posited, a mere "<i>if</i>", and not a given. And in the particular example, we are merely told that we "recognize the idea that the director wanted to present", which implies there was one in this case. It seems questionable whether even every "modern, 'experimental' film" has <i>an</i> Idea, a single "thing" which could illuminate every transition between scenes, and very doubtful that all films do. (What is the Idea manifested in <i>Return of the Jedi</i>?)<br />
<br />
Now, even granting to Förster that the film he asks us to imagine does have an Idea present in it, his presentation seems optional. He needs us to think of the process as follows:<br />
<br />
1. I first see each scene in sequence, and do not understand them.<br />
2. I see the final scene, and now grasp the Idea of the film.<br />
3. I watch the film again.<br />
4. While doing this, I see each scene along with the transitions between it and its surrounding scenes, according to its Idea.<br />
<br />
But why should we think of it that way, rather than as follows:<br />
<br />
1. I first see each scene in sequence, and do not understand them.<br />
2. I see the final scene, and now, in recollection, understand the scenes that preceded it.<br />
3. I watch the film again.<br />
4. While doing this, I confirm that my recollection was faithful to the film: the final scene did in fact allow me to understand how the earlier scenes hung together.<br />
<br />
This seems to me more faithful to how watching that sort of movie actually works: the understanding of the whole comes in a flash, as Förster says -- but in his explication of this, he divides the "flash" into an initial moment of "grasping an Idea" and then later "understanding the transitions between scenes". Förster's own characterization betrays the artificiality of this divide: as he notes, "we <i>might perhaps</i> wish to see the film a second time", which makes sense if the second viewing is merely confirmatory.<br />
<br />
To concretize this a bit: <i>Memento</i> seems like a decent example of the sort of film Förster has in mind. Although it's not as apparently incoherent as the film he describes, it is a film which is really understood only once its final scenes have been seen: before then, the viewer has a wildly false idea of the reality of the film. But I didn't need to see the film twice to get this effect: the correction of my view of the reality of the film came alongside the viewing of the final scenes themselves. It seems false, "phenomenologically", to say that my grasping of "the Idea of <i>Memento</i>" and my seeing how the earlier scenes hung together were two distinct acts of the mind. So I can't grant that this example shows what Förster wants it to show, that if two elements (of Idea/sequence/transitions) are given, I can "<i>infer</i>" the third. The example doesn't seem to have the sort of division he needs it to have between elements two and three, the Idea and the transitions.<br />
<br />
And now on to the <br />
<blockquote class="tr_bq">
<i>Second example</i>: A psychiatrist interested in philosophy delves ever more deeply into the intellectual world of Nietzsche. Because of his profession, he take a special interest in Nietzsche's insanity and its causes. Time and again he wonders how it might have been if Nietzsche could have undergone psychoanalysis. Since his illness took place in the period in which psychoanalysis was first developed, the thought is not unrealistic. It gradually grows into the idea for a novel: 'Nietzsche in Therapy'. However: everything we know about Nietzsche indicates that he himself would never have agreed to undergo therapy. How, then, is the idea to be realized? Our author conceives the following plan: In the story, Nietzsche, who was very proud of his deep psychological insights, has to be convinced that it is <i>he himself</i> who has to give therapy to someone since only he, Nietzsche, can help that person, whereas in reality and without Nietzsche's being aware of the fact, the 'patient' is the psychiatrist and Nietzsche himself is the object of the therapy. To this end, one of Nietzsche's friends (Lou Salome), who is deeply worried about his mental health, persuades a doctor with whom she is acquainted (Josef Breuer, Freud's mentor), to take part in the scheme and present himself as the 'patient'. With this a narrative framework is in place which connects the beginning, middle and end of the story and become a central thread, making transitions possible between the individual scenes. The only thing still missing are the scenes themselves -- the different parts of the narrative in which the idea is to be realized. But now they can be 'found' in light of what is already given: they have to be realistic scenes in the sense that they are not only to reflect the locality and the Viennese milieu in the period when psychoanalysis was originally developed, but also to draw on Nietzche's biography in such a way that a fictional narrative about <i>Nietzsche</i> comes about and not about someone who would bear no resemblance to the philosopher.<br />
Whereas in the film example the parts and the idea were given and the transitions were to be discovered on their basis, in this second example the idea and the transitions (the 'central thread') are given and it is the parts which have to be found. Can we then also imagine a third case in which the parts and the transitions are given and the idea is to be discovered on their basis? Here I no longer need to construct an example, for this is exactly the case that Goethe seeks to solve with the help of his morphological method: all the parts ('the complete series') and the attentive observation of the transitions between them are to provide a basis for studying the idea underlying the whole. Here, too, I require two elements in order to find the third. (p.259-260)</blockquote>
Förster notes that this premise of the bestseller "When Nietzsche Wept", by Irvin Yalom.<br />
<br />
This example I find implausible on its face. Förster needs this example to work as follows:<br />
<br />
1. Yalom has the Idea of a novel about Nietzsche undergoing psychoanalysis.<br />
2. Yalom thinks of the "central thread" of the novel, which connects the novel's beginning, middle, and end.<br />
3. These suffice to provide Yalom with the individual scenes depicted in the novel.<br />
<br />
But 3 is simply implausible: After one has an idea for a novel, and even has a fairly detailed idea about how the plot will go and what gets the reader from the beginning through the middle to the end, actually <i>writing</i> the novel is a lot of additional work. The scare-quotes Förster puts around "'found'" cannot be removed; there really is not a <i>finding </i>of the words, as they must be created. If the process was as simple as Förster here implies, there would be no need for drafting and editing this novel: the Idea and the transitions ("the guiding thread") were had before a single word was put on paper, and they are supposed to suffice for the finished product, so how can the composition itself be more than a mechanical affair? So I can't grant Förster that this example shows that you can go from the two elements of "Idea" and "transitions" to the sequence in which the Idea is manifested.<br />
<br />
For such a transition to be plausible <i>at all</i> in this example, the "central thread" of the novel which is supposed to be in Yalom's mind before it is written would have to be so detailed as to lay out exactly how to write the novel, in a way sufficient to issue in a publishable result. But then Förster's point would still not follow, for then it would appear that the transitions <i>and the scenes themselves</i> were already had, and there is no transition from two elements to a third. More problematically, it would appear here that the transitions and the scenes meld into one another, as in the first example the transitions and the Idea melded into one another: to make the example realistic, the three elements dissolve into two.<br />
<br />
So, neither of Förster's examples seems to me to show what he needs, that one can transition between two of the elements Idea/transitions/sequence to the third. Either the transition is impossible, or there is no real transition from two to three.<br />
<br />
Extending these complaints to his third example (which he doesn't need to produce an example for), I find myself with the following suspicion/complaint: Rather than a transition from a sequence and the transitions between its members to knowledge of an Idea, Goethe presents us only with either<br />
<br />
1) a man who surveys the members of a sequence as transitioning between moments of an Idea; or<br />
2) a man who surveys members of a sequence and notes connections between them, and then (groundlessly) posits an Idea underlying them; or (most charitably)<br />
3) a man who surveys members of a sequence and notes connections between them (rhapsodically, as it were), and then begins to survey them as transitioning between the moments of an Idea.<br />
<br />
In the first case, Goethe is no help to we who wish to acquire <i>scientia intuitiva</i>: we are only assured that he has it, and are not helped to gain it by this assurance.<br />
<br />
In the second case, the very possibility of <i>scientia intuitiva</i> is left doubtful, and Goethe's example is no help.<br />
<br />
In the third case, we are given a model we can imitate (unlike the first), and which leads to <i>scientia intuitiva</i> (unlike the second), but not in sufficient detail to know how. Against Förster's desires, there is no transition from two elements to a third: there is a transition from two elements, not seen as elements of a triple, to seeing three elements as elements of a triple. What is needed for the transition is not the elements themselves, but the elements grasped correctly: and this is done only with all of the elements available for viewing.<br />
<br />
So, regarding the question of the reality of the (absolute) Idea, I see no help for Förster in his examples.<br />
<br />
On an unrelated note: My semester is starting again, so blogging will probably dry up for a while again. But at least this time I posted all I had meant to post on Förster's book -- which I still think very highly of, and recommend to all my readers.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-60216246041304825472012-08-09T00:29:00.001-05:002012-08-09T00:29:50.126-05:00Problems with scientia intuitiva and the Absolute IdeaI have mentioned a few times that I should write a post discussing Förster's examples from "The Methodology of the Intuitive Understanding", chapter 11 of "The Twenty-Five Years of Philosophy".<br />
<br />
First, it's probably best to look at what Spinoza tells us about <i>scientia intuitiva</i>, what he calls in his <u>Ethics</u> "the third kind of knowledge". There's surprisingly little telling us what this actually <i>is</i> in the <u>Ethics</u>; the only clear treatment of all three "kinds of knowledge" comes at EIIP40S2:<br />
<blockquote class="tr_bq">
From all that has been said above it is clear, that we, in many cases, perceive and form our general notions:--(1.) From particular things represented to our intellect fragmentarily, confusedly, and without order through our senses (<a href="http://frank.mtsu.edu/%7Erbombard/RB/Spinoza/ethica2.html#Prop.%20XXIX.%20Cor.">II. xxix. Coroll.</a>); I have settled to call such perceptions by the name of knowledge from the mere suggestions of experience. (2.) From symbols, e.g., from the fact of having read or heard certain words we remember things and form certain ideas concerning them, similar to those through which we imagine things (<a href="http://frank.mtsu.edu/%7Erbombard/RB/Spinoza/ethica2.html#Prop.%20XVIII.%20Note.">II. xviii. note</a>). I shall call both these ways of regarding things knowledge of the first kind, opinion, or imagination. (3.) From the fact that we have notions common to all men, and adequate ideas of the properties of things (<a href="http://frank.mtsu.edu/%7Erbombard/RB/Spinoza/ethica2.html#Prop.%20XXXVIII.%20Cor.">II. xxxviii. Coroll.</a>, <a href="http://frank.mtsu.edu/%7Erbombard/RB/Spinoza/ethica2.html#Prop.%20XXXIX.">xxxix.</a> and <a href="http://frank.mtsu.edu/%7Erbombard/RB/Spinoza/ethica2.html#Prop.%20XXXIX.%20Cor.">Coroll.</a> and <a href="http://frank.mtsu.edu/%7Erbombard/RB/Spinoza/ethica2.html#Prop.%20XL.">xl.</a>); this I call reason and knowledge of the second kind. Besides these two kinds of knowledge, there is, as I will hereafter show, a third kind of knowledge, which we will call intuition <i>[scientia intuitiva</i>]. This kind of knowledge proceeds from an adequate idea of the absolute essence of certain attributes of God to the adequate knowledge of the essence of things. I will illustrate all three kinds of knowledge by a single example. Three numbers are given for finding a fourth, which shall be to the third as the second is to the first. Tradesmen without hesitation multiply the second by the third, and divide the product by the first; either because they have not forgotten the rule which they received from a master without any proof, or because they have often made trial of it with simple numbers, or by virtue of the proof of the nineteenth proposition of the seventh book of Euclid, namely, in virtue of the general property of proportionals.<br />
<br />
But with very simple numbers there is no need of this. For instance, one, two, three, being given, everyone can see that the fourth proportional is six; and this is much clearer, because we infer the fourth number from an intuitive grasping of the ratio, which the first bears to the second.</blockquote>
Now, it is famously unclear how to understand this example, but as Spinoza exegesis is not Förster's concern, I can ignore those questions. One thing worth noting is that Spinoza also characterizes <i>scientia intuitiva</i> as proceeding from knowledge of the essence of a thing to knowledge of its properties; I am too lazy to look up that quote, but I believe it's in <u>Treatise on the Emendation of the Intellect</u>. But I am mainly interested here in Spinoza's example itself: We are given three numbers in a series, 1, 2, 3, and told to find the fourth. The answer Spinoza is looking for is '6', which is (3*2)/1, as 6/3=2/1.<br />
<br />
I remember when I first read this passage, I didn't pay any attention to the math-talk and was surprised when the number after 1, 2, 3 was not '4'. This nicely illustrates an important point: being given a series of numbers does not always uniquely determine "what number comes next" in the series.<br />
<br />
More strongly, the following is true: No finite series of numbers uniquely determines a function. Trivially, a finite series of numbers that fit a function will also fit an infinite number of piecewise functions which are defined for the given elements in the same way as that function, but in some other way for elements not given in the series. (I'm not sure if the same holds for infinite series, since my math skills are inadequate, but I only need the weaker claim for discussing Förster's examples).<br />
<br />
A point related to this is one Leibniz spends some time discussing (somewhere): given a series of points, there is no line which uniquely fits those points. (I believe this is equivalent to proving the stronger claim I was hesitant about in the previous paragraph, since an infinite series of elements can be treated as a list of ordered pairs, which will equate to points on a graph, and if no line is determined by them then neither can they determine a function, since if they determined a function you could draw the line the function displayed and it would uniquely fit the points. Yes, I have now convinced myself of this. But again, I don't need that stronger claim.)<br />
<br />
Now, here is Goethe, in "The Experiment as Mediator Between Object and Subject", quoted by Förster on page 256:<br />
<blockquote class="tr_bq">
In the first two installments of my optical contributions I sought to conduct such a series of experiments which border on and immediately touch upon each other, and which indeed, once one has become thoroughly familiar with them and contemplates them as a whole, constitute but <i>one single</i> experience seen from the most various vantage points. -- An experience of this kind, consisting as it does in a series of experiments, is manifestly of a <i>higher kind</i>. It represents the formula in which countless individual problems of arithmetic are expressed. To work towards such experiences is, I believe, the highest duty of the natural scientist.</blockquote>
Förster then reminds the reader of the historical context: Goethe had believed that he could "see" the Idea of color by doing all possible experiments with the way light shines through a prism onto boundaries between light and dark surfaces, and then his "seeing" of this Idea would allow him to articulate a correct theory of color. Lichtenberg had pointed out that the theory of color Goethe put forward on this basis didn't explain why I see green dots if I stare at red dots and then turn quickly to look at a white surface. The moral Förster draws from this is general: Goethe believed that if he looked at enough individuals of a certain kind, he could grasp the Idea which manifested itself in these various individuals (the Idea of color which made all colors colors, the <i>Urpflanze</i> which made all of the various plants plants). But the (merely empirical) fact that his early theory of color fails to explain the empirical phenomena of <i>"couleurs accidentelles</i>" revealed a logical problem with his methodology: given what an Idea is supposed to be, one cannot grasp an Idea by simply seeing individuals which manifest it; some further logical element is needed.<br />
<br />
Here it is probably helpful to remember the Kantian context for this problem: Goethe's strange efforts with colors and trying to see the "Idea of color" are akin to trying to see a cow <i>as a cow</i>. Kant believed that we cannot know whether there are genuine purposes in nature (such as organisms), and that the idea of such things was of only regulative use. Here is a passage from section 77 of the <u>Critique of Judgement</u>, AK 5:407:<br />
<blockquote class="tr_bq">
Our understanding, namely, has the property that in its cognition, e.g., of the cause of a product, it must go from the <b>analytical universal</b> (of concepts) to the particular (of the given empirical intuition), in which it determines nothing with regard to the manifoldness of the latter, but must expect this determination for the power of judgement from the subsumption of the empirical intuition (when the object is a product of nature) under the concept. Now, however, we can also conceive of an understanding which, since it is not discursive like ours but is intuitive, goes from the <b>synthetically universal</b> (of the intuition of a whole as such) to the particular, i.e., from the whole to the parts, in which, therefore, and in whose representation of the whole, there is no <b>contingency</b> in the combination of the parts, in order to make possible a determinate form of the whole, which is needed by our understanding, which must progress from the parts, as universally conceived grounds, to the different possible forms, as consequences, that can be subsumed under it. In accordance with the construction of our understanding, by contrast, a real whole of nature is to be regarded only as the effect of the concurrent moving forces of the parts. Thus if we would not represent the possibility of the whole as depending upon the parts, as is appropriate for our discursive understanding, but would rather, after the model of the intuitive (archetypal) understanding, represent the possibility of the parts (as far as both their constitution and their combination is concerned) as depending upon the whole, then, given the very same special characteristic of our understanding, this cannot come about by the whole being the ground of the possibility of the connection of the parts (which would be a contradiction in the discursive kind of cognition), but only by the <b>representation</b> of a whole containing the ground of the possibility of its form and of the connection of parts that belong to that. But now since the whole would in that case be an effect (<b>product</b>) the <b>representation</b> of which would be regarded as the <b>cause</b> of its possibility, but the product of a cause whose determining ground is merely the representation of its effect is called an end, it follows that it is merely a consequence of the particular constitution of our understanding that we represent products of nature as possible only in accordance with another kind of causality than that of natural laws of matter, namely only in accordance with that of ends and final causes, and that this principle does not pertain to the possibility of things themselves (even considered as phenomena) in accordance with this sort of generation, but pertains only to the judging of them that is possible for our understanding.</blockquote>
This passage is where Goethe (and Förster) get the idea of an "intuitive intellect", of an intellect which can see "a whole as a whole" rather than having to see a whole only by seeing its parts (and then concluding that these are parts of a whole, in a separate act of the mind). Kant has earlier argued (to the satisfaction of all of the German idealists, and Goethe) that knowing a particular object in nature as an organism requires knowing it as a whole in which the parts are reciprocally the cause and effect of the whole: seeing a cow as a cow requires seeing its parts as being there <i>because they are organs of a cow</i>, and of seeing the cow as there <i>because of the functioning of its organs</i>. Now, Kant thinks that the peculiar nature of our "discursive" understanding prevents us from having this sort of knowledge. As he puts it in this passage, a discursive understanding has only "analytical universals" as concepts, it has concepts which do not determine any of the content which is given in intuition. In seeing a metal sphere lying on an incline, the concepts which I bring the intuition of that sphere under ("metal", "sphere", "substance", "solid") do not determine what will be given to me in intuition. If what is next given to me is this sphere rolling up the incline instead of down it, then this shows that I was wrong in bringing it under some of the concepts I brought it under (it must not be made of metal, or at least must not be solidly metal). However the sphere behaves, I require further intuition to know it: thus there is a contingency between my representation of the sphere as solid metal and its being given to me in future intuitions as behaving like I expect a solid metal sphere to behave. In contrast to this, suppose I see a cow as a cow: then in bringing it under the concept of "cow" I determine that it must have four legs, chew cud, give birth to calves after mating with bulls, etc. I do not require future intuitions to know that it does this: if it does not do these things, then it has failed <i>as a cow</i>, and I did not fail in bringing it under the concept "cow". Future intuitions of the cow living as a cow lives can only confirm what I already knew about it when I saw it as a cow, and are not required for me to know this. Thus there is <i>not</i> a contingency between my representing the cow as a cow and its being given to me in future intuitions as behaving in the way I expect a cow to behave. I also know that it must have a stomach with four components, a liver, kidneys, lungs, etc., for these are among the organs proper to a cow: if a particular cow lacks any of them, then it is deficient <i>as a cow</i>. And so I do not require future intuitions to know that the cow has them: I require new information to tell me ways in which an animal is unhealthy, not to tell me how it is healthy.<br />
<br />
Because of Kant's overextension of a particular picture of how concept and intuition are united in cognition, he denies that we can have empirical knowledge of organisms. Goethe makes a <i>modus tollens</i> out of Kant's <i>modus ponens</i>: because we do have knowledge of organisms, we must have intuitive intellects (and not merely discursive ones).<br />
<br />
So, Goethe's problem is this: How can it be possible to see "a whole as such", as opposed to only ever seeing a whole by progressing from the parts to the whole?<br />
<br />
His initial, flawed, answer, is that we can see "a whole as such" by seeing individuals which are instances of that kind of whole. But I cannot learn what a cow is simply by seeing many cattle; for to know what a cow is, I need to know things about the ways a cow's organs interrelate with one another, and the way that various actions of a cow function in the life-cycle of a cow. But if I only ever look at particular cow organs on their own, and particular cow actions in isolation from one another, then I will never learn from this how these organs and these actions are organically united in the life of the cow.<br />
<br />
Returning to Förster, and Goethe:<br />
<blockquote class="tr_bq">
What is the problem here? Let us consider once again Goethe's characterization of what he calls an experience of a <i>higher kind</i>: It comprises a number of different experiences and "represents the formula in which countless individual problems of arithmetic are expressed." Like a mathematical formula, the experience of a higher kind is meant to provide a means for deriving the individual phenomena from it. Is this the case? If for example I have the formula y=2x+1, I can express it in countless instances: 1, 3, 5, 7, 9, 11... This does not represent any problem. However, our task is still to <i>discover</i> the formula corresponding to the idea! Instead of generating the series on the basis of the formula, we have to derive the formula on the basis of the series. Thus to begin with all I have is (say) the series 1, 1, 2, 3, 5, 8, 13, 21... What is the formula on which the series is based? What would be the next number, after 21?<br />
And here we see: Just as little as the arithmetic series as such provides the formula that generates it, neither does the 'systematic variation of every single experiment' in a complete series reveal the underlying idea.... When assembling the materials that comprise an experience of a higher kind, we must also take care not to leave out a single step if the underlying regularity is to be determined. However, the mere fact of having discovered all the parts (properties) is not in itself equivalent to having derived them from a single origin (idea).<br />
...Something crucial is still missing, but what is it? Goethe's own path, the one that in the end actually lead him to the solution of his problem, left hardly any traces in his writings. Even so, the mathematical example from above gives us a clue what to look for. What must I do in order to find the appropriate formula for the series 1,1,2,3,5,8,13,21? Apparently I have to investigate the transitions between the numbers in order to see how one arises from the other and whether the intervals between them are based on some regularity. However I end up achieving this, there is no doubt that the path from the series to the formula lies in studying the <i>transitions</i>.[Footnote: An intellectual re-presentation of the transitions between 1,1,2,3,5,8,13,21, is necessary in order to realize that, from the third element in the series onward, every number is the sum of the two preceding numbers; hence the next number must be 34, and we are dealing here with the formula for the Fibonacci series.] (ps.256-7)</blockquote>
So to put the case in parallel with Kant (and my example of the cow):<br />
<br />
1. I am given a series of numbers/intuitions of parts of a cow.<br />
2. I want to know the formula which produces the series/to intuit the cow as a whole.<br />
3. I cannot proceed from the mere series to the formula/discursive intellection cannot provide me with an intuition of the cow as a whole.<br />
-- but here there is a further parallel, which Förster gives too little time to --<br />
4. I cannot know if there is a formula for the series/we cannot know that there exist organisms in nature by discursive intellection.<br />
<br />
Now, consider the following sequence of numbers: 3, 12, 10, 7, 10, 19.... To know the formula behind this series, Förster says, I must "intellectually re-present" "the transitions" between them. Well, here is how that series was generated: I rolled a d20 several times, and recorded my rolls. The transitions between the items were my picking up the die and throwing it again. So even if there is a simple function that fits my rolls (as there would be if I had rolled 1, 2, 3, 4, 5, 6), this would tell you nothing about that series: the next element in the series will always be a random number between 1 and 20. There is a fact of the matter about what the next number in the series was (it was a 4), but no formula would have been able to tell you it. So if "the formula" being looked for is something that will both tell you what numbers are in the series and what future numbers will be added to the series, there simply is no such formula to be found: the relation between the present list of elements and any future elements in the series is contingent. This is how Kant thinks of our knowledge of (what we heuristically imagine to be) organisms: the "whole" imagined serves merely a regulative function in judgement, and doesn't allow us to know the object intuited. And there are areas where Kant's picture of our understanding is correct, just as there are serieses of numbers which are not determinations of a formula: sometimes there is no "whole" to be grasped, but a mere conglomeration of contingently related items. So there is a real possibility that the sort of "higher experience" Goethe wanted in a particular case will just not be available, because the items he is looking at are not manifestations of a (single) Idea. Even if Förster/Goethe are granted a <i>great deal</i> about "Ideas" and our cognitive capacities for apprehending them, it remains open that there simply will <i>not</i> be an Idea where one is looked for. It might be that the concept being sought after in the phenomena is simply discursive, and not an Idea at all.<br />
<br />
But Förster/Goethe want to avoid Kant's skeptical result, and at least in some cases it is clearly right to resist it. So let us look again at the mathematical example and the cow in parallel, without Kant's skeptical item 4:<br />
4a. If there is a formula for the series, it determines how to proceed from one element in the series to the next/If the cow is an organic whole, then its being an organism determines how the parts of the cow relate to one another.<br />
5. If I can proceed from one element in the series to the next while knowing that this is what I am doing (and not merely by a prior knowledge of which numbers are in the series), then I have a practical knowledge of the formula (This is something like Spinoza's second kind of knowledge.)/If I can see the particular parts of the cow as working in such a way that they cannot work without one another, or the various actions of the cow as actions that could not be done by something which did not do all of those sorts of actions, then I have a practical recognition that the object I am apprehending is an organism.<br />
6. If I can see the elements in the series as following from one another with necessity simply by following the series along, this is what Spinoza called <i>scientia intuiva</i>/If I can see the individual parts or actions of the cow in such a way that I could not see them without seeing them as done <i>by a cow</i> (here considered as an organism, a natural end), then I have an intuitive intellect and intuit by means of what Kant called a "synthetic universal": what I see is already determined by the concept, and does not depend on future intuitions to give me knowledge of its future states.<br />
<br />
Förster identifies three elements in "the methodology of the intuitive understanding" he finds in Goethe: there is a series of elements, there are transitions between those elements, and there is the Idea which makes itself manifest in the elements. He argues that if we are given any two of these, we can infer the third: "<i>if</i> a whole consists of these three elements and two of them are given, then I can infer the third from them." (p.259)<br />
<br />
He gives two examples to try to show we can go from Idea and elements to transitions and from Idea and transitions to elements; the movement from elements and transitions to Idea is then left as what Goethe and Hegel accomplished.<br />
<br />
I think that neither of his examples shows what he wants to. But as this post is getting long (and feels already impossibly dense), I think I will again put off looking at those two; I have at least done all the ground-clearing for looking at them now. The bigger problem is one I believe I mentioned in my first post on Förster's book, but which I can now put with more clarity: Förster does not take seriously enough his own italicized "<i>if</i>".<br />
<br />
Again, here is Förster: "<i>if</i> a whole consists of these three elements and two of them are given, then I can infer the third from them" (p.259) -- a few pages later, this is taken as haven been proved: "In summary, then, we can say that <i>if</i> an idea lies at the basis of a set of phenomena and is operative in all its parts, then that fact can only be recognized by the method described here. <i>Whether or not</i> an idea in this sense lies at the foundation of a set of phenomena can also only be determined in this way." (p.264) -- So, by Förster's own lights, whether or not an Idea lies at the basis of phenomena is a question that is not immediately answerable, but rather is answered only by "the methodology of intuitive understanding": knowing that there is an Idea underlying phenomena does not come before actually grasping that Idea, and seeing how it guides the transitions between the individuals in which it manifests itself.<br />
<br />
Now, look at Förster's treatment of "the classical and continually recurring objection" to the claim "that Hegel's description of the path of philosophical consciousness to the standpoint of science is in principle correct" (p.372) as it has "sublated the subject-object dichotomy that previously constituted it, thereby giving birth to a new kind of thought distinct from the discursive thought which had been appropriate within the dichotomy that previously laid claim to (almost) exclusive validity" (p.371-2). (Another way he puts this central claim is that Hegel had succeeded at demonstrating "the <i>actuality</i> of the (absolute) idea" (p.367).) The objection to this claim is that "the steps in Hegel's argumentation are lacking in necessity; that the historical shapes that he discerns do not exhaust the alternatives; that, on the contrary, many new alternatives have emerged since Hegel's time in science, art, and so on." (p.376)<br />
<br />
Förster's reply is as follows, in four parts:<br />
<blockquote class="tr_bq">
(1) As we saw at the beginning of Chapter 13, Hegel is not concerned in the <i>Phenomenology</i> with 'historical shapes' -- these are ultimately no more than examples and could be replaced by equally serviceable 'alternatives'. Rather, Hegel is interested in the 'method of the passing over of one form into another and the emergence of the one form out of the other'. But then the question is not whether there are alternatives to Hegel's examples, to the historical shapes chosen by him, but whether there are alternatives to the <i>transitions</i> between them.</blockquote>
Förster is clearly right about this, and I'm always astonished when people can't recognize this. The idea that in the first few chapters of the <u>Phenomenology</u> Hegel is concerned with the transition from Russellian "knowledge by acquaintance" to Platonic forms to Newtonianism to <i>the instiution of slavery</i> to Stoicism/Skepticism/Roman Catholicism is simply wacky: how could <i>that</i> grab-bag assortment of historical phenomena, in their weird non-temporal order, be something that has a logical progression? [It is worth noting here that Förster is chiefly concerned with roughly the first half of the <u>Phenomenology</u>, up through the section on "Spirit"; he convincingly argues that this is what Hegel had originally planned to have as the "introduction" to the <u>Science of Logic</u>, and these sections do in fact seem to function as the "Positions of Thought" chapters in the opening of the <u>Encyclopedia Logic</u> do.]<br />
<blockquote class="tr_bq">
(2) And here again, the question is not whether we today, with the conceptual means placed at our disposal by the current level of development, might be able to imagine different transitions, but whether a different transition would be possible for the observed consciousness <i>on its level</i>. What <i>we</i> can imagine is therefore irrelevant to answering this question.<br />
(3) If this is conceded, then the objection ought rather to be formulated this way: it is not convincing that a specific transition is supposed to be necessary for consciousness at its given level. And such an objection may, in any given case, in fact be justified. Then the question becomes: Is the transition itself not necessary, or has its necessity simply not been convincingly presented? As long as we find that some of the <i>other</i> transitions are necessary, we can always be sure that the problem is one of <i>presentation</i>. That is the crucial point! **If** a whole makes its parts possible and gives them their shape, then it must be active in all the parts and in all their transitions, not only in some. If that activity (necessity) has been recognized in some of the transitions but not in others, all this implies is that the latter have not yet been adequately grasped and presented.<br />
(4) Hegel's project could therefore only be said to have 'failed' if no necessity whatsoever was to be found in the 'science of the experience of consciousness' [the <u>Phenomenology</u>'s original title, which corresponds to the parts through "Spirit"], and if instead the transitions between shapes were contingent and thus might have happened differently. But that assumption is unwarranted, as I hope to have shown in Chapter 13 despite the undeniable imperfections in my presentation.</blockquote>
Förster's (2) is unobjectionable, and I accept that he has in fact shown in his chapter 13 that at least some of the transitions between the "shapes of spirit" happen with necessity. But his (3) is problematic: he grants that many of Hegel's transitions, as written, are unconvincing. But he tries to argue that this can only be a problem of presentation, for all of these transitions must in fact be there to be described. (In this he follows Fichte's views of the "deductions" in the published version of the <i>Wissenschaftslehre</i>, which Förster argues Hegel took as a guide for his project in the <u>Phenomenology</u>; Fichte thought his published "deductions" were largely awful, but that this was always a flaw merely in the presentation and not in the <i>Wissenschaftslehre</i> itself.)<br />
<br />
The problem is the "if" which I added emphasis on, and which Förster had (previously in the book) always italicized: it is a real question whether an Idea lies behind a group of phenomena. Some wholes are mere aggregates, and not organically structured: in that case the "if" fails, and the whole does not make the parts possible or give them shape, and is not active in them or their transitions. (Indeed, whether there are "transitions" between them seems doubtful; it appears there are only "transitions" between our apprehensions of them, as there is nothing uniting them beyond our having united them.) And given what I thought I understood about "the metholodogy of the intuitive intellect", we cannot know whether an Idea lies behind phenomena without knowing that all of this is true: so Förster here argues in a circle, asserting that there is an (absolute) Idea because of the transitions and that there are transitions because there is an (absolute) Idea.<br />
<br />
This is related to a puzzling paragraph in the concluding chapter of the book. Förster notes that Goethe's Ideas are multiple and various, as the Idea of color and the <i>Urpflanze</i> are very different sorts of Ideas. This is in distinction from Hegel, who speaks of <i>the</i> Idea, the Absolute Idea, and not of various "Ideas" in the plural. But Förster thinks this reflects only a difference of attention, and that the two approaches complement one another:<br />
<blockquote class="tr_bq">
Nor, of course, does a multiplicity of ideas contradict the fact of a single, unified reality. Just as a concept (the manifestation of the idea in the subject) is impossible in isolation from the broader conceptual network, and just as an isolated <i>Urphaenomen</i> is an impossibility, neither is it conceivable that there could be ideas existing apart from any connection with other ideas. They too must be moments of an internally differentiated whole; they must stand to each other in relations of greater or lesser affinity, mutually conditioning, facilitating, impeding, or excluding one another, and hence they must be hierarchically ordered and subordinated to a highest (absolute) idea constituting the internal nexus of the whole. Goethe remarks in this connection...(p.370)</blockquote>
and then he gives two Goethe quotations which are not arguments in support of these claims. I don't see what support he <i>can </i>give for them. I am well acquainted with arguments to the effect that concepts only come in groups, and an <i>Urphaenomen</i> that doesn't make itself manifest in individuals is clearly not doing the work of an <i>Urphaenomen</i>. But why do Ideas require other Ideas? And why do they have to stand in an orderly hierarchy with regards to one another? (That's not true of concepts, since not all concepts are "the manifestation of the idea in the subject": some are merely discursive representations. It was with good reason that Kant only urged as a task that our concepts should be organized in a single Porphyrian tree, and did not claim that they already are so organized.)<br />
<br />
As far as I can see, the actuality of the absolute idea is left as an assumption in Förster's book. Which is rather problematic, since that's what the whole thing is trying to demonstrate.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-23531797480650324562012-08-01T05:13:00.001-05:002012-08-01T05:13:25.420-05:00Some remarks of Fichte's about general logic, with an aside about Schopenhauer and mathFrom a letter to Reinhard, January 15 1794:<br />
"But isn't it true that philosophy, unlike geometry and mathematics, is quite unable to <i>construct</i> its concepts in <i>intuition</i>? Yes, this is quite true; it would be unfortunate if philosophy were able to do this, for then we would have no philosophy, but only mathematics. But philosophy can and should employ <i>thinking</i> in order to <i>deduce</i> its concepts from one single first principle which has to be granted by everyone. The form of deduction is the same as in mathematics, that is, it is the form prescribed by general logic." (p.793 in <u>Early Philosophical Writings</u>, tr. Dan Breazeale)<br />
<br />
From a letter to Reinhold, March 1 1794:<br />
"I have been avidly awaiting the second part of your <i>Contributions</i>. I particularly look forward to the explanation of how you derive the categories. (To derive them from the logical forms of judgement presupposes that logic provides the rules for philosophy, and this I cannot accept.)" (p.376, ibid)<br />
<br />
<br />Fichte apparently changed his mind about the relationship of general logic to philosophy during these months, while he was first working on the <i>Wissenschaftslehre</i>, after Schulze's "Aenesidemus" gave him such a shock.<br />
<br />
The first quotation surprised me: I am used to Fichte affirming the paradoxical aim of establishing logic through the <i>Wissenschaftslehre</i>, or else of it being its own distinct "science" apart from philosophy. I didn't know he had at one point <i>affirmed </i>that what he was trying to do was find a first principle "which has to be granted by everyone" and then get all of the rest of his philosophy out of it analytically. Though I suppose that's not too big of a surprise, since this was how Reinhold viewed his own philosophy, and Fichte at this point was still self-consciously a Reinholdian. (It's insane to think you can get anything interesting out of a principle like "I=I" analytically, but I think the error is more understandable if you imagine that Fichte's first principle was something longer, and in prose, like Reinhold's "Principle of Consciousness" was.)<br />
<br />
The first quotation is also interesting for Fichte's remark that deduction in mathematics proceeds according to "the form prescribed by general logic". This might seem tautological (what other sort of <i>deduction</i> could a proof have?), but it's not obviously a Kantian way to think about mathematical proof. Schopenhauer, for instance, says things like this:<br />
<br />
"In mathematics, according to Euclid's treatment, the axioms are the only indemonstrable first principles, and all demonstrations are in gradation strictly subordinate to them. This method of treatment, however, is not essential to mathematics, and in fact every proposition again begins a new spatial construction. In itself, this is independent of the previous constructions, and can actually be known from itself, quite independently of them, in the pure intuition of space, in which even the most complicated construction is just as directly evident as the axiom is." (WWR I, p.63)<br />
<br />
"Now if with our conviction that intuition is the first source of all evidence, that immediate or mediate reference to this alone is absolute truth, and further that the shortest way to this is always the surest, as every mediation through concepts exposes us to many deceptions; if, I say, we now turn with this conviction to mathematics, as it was laid down in the form of a science by Euclid, and has on the whole remained down to the present day, we cannot help finding the path followed by it strange and even perverted. We demand the reduction of every logical proof to one of perception. Mathematics, on the contrary, is at great pains deliberately to reject the evidence of perception peculiar to it and everywhere at hand, in order to substitute for it logical evidence." (WWR I, p.69)<br />
<br />
and my favorite one<br />
<br />
"Therefore, I knew of nothing to take away from the theories of the Transcendental Aesthetic, but only of something to add to them. Kant did not pursue his thought to the very end, especially in not rejecting the whole of the Euclidean method of demonstration, even after he had said on p.87(V, 120) that all geometrical knowledge has direct evidence from perception. It is most remarkable that even one of his opponents, in fact the cleverest of them, G. E. Schulze (<i>Kritik der theoretischen Philosophie</i>, ii, 241), draws the conclusion that an entirely different treatment of geometry from what is actually in use would result from Kant's teaching. He thus imagines that he is bringing an apagogical argument against Kant, but as a matter of fact, without knowing it, <b>he is beginning a war against the Euclidean method</b>." (WWR I, p.438, my emphasis)<br />
<br />
Now, Kant's actual views on geometry and arithmetic are obscure, even by Kant's standards; there is not much in the way of consensus in the secondary literature on any point related to it. But I think Schopenhauer actually latched onto an interesting way to read Kant here: if Kant is <i>really serious</i> about all our synthetic knowledge standing under the principle of the conditions of a synthetic unity of intuition in a possible experience, and if mathematics is synthetic, then it looks like mathematics should depend on a relation to possible experience in a way that it hasn't traditionally. In Euclid, it looks like what we are given is some self-evident axioms, and then logic is supposed to carry us from those to all of the proofs (if this is not true of Euclid himself, then consider how the <i>more geometrico</i> ends up appearing in the hands of a Descartes or Spinoza). Euclid-style mathematics looks an awful lot like rationalist metaphysics, Schopenhauer thinks. Kant himself had drawn the moral that philosophy can't try to imitate mathematics; Schopenhauer draws a further moral that <i>mathematics </i>can't try to imitate mathematics: the procedure the rationalists tried to follow isn't just illegitimately extended by the rationalists, it's rotten in and for itself. Brouwer's intuitionistic mathematics self-consciously follows Schopenhauer on this.<br />
<br />
Fichte's view is much less revisionary, in this respect: he seems to think that math relies on intuition somewhere along the line, but that mathematical proofs are just logical ones; the rules for what follows from what in geometry are the same sort of rules that govern syllogistic. FWIW, I think this was Kant's own position; but it is hard to fit to the text of the <i>Critique</i>: there Kant says odd things about mathematics and geometry, and their supposed relation to pure intuitions of time and space. Schopenhauer is able to make those odd things look intelligible, at least, even if the position he endorses looks crazy. (Or maybe it's not! I don't want to pick any fights with intuitionists if I don't have to.)<br />
<br />
Now, it's possible that Fichte's views on mathematics changed after 1793; I have read literally nothing on Fichte's philosophy of mathematics. But I think he probably had to change them, given that he certainly changed his views on general logic. In the letter to Reinhold above, he's already refusing to put logic before philosophy; later on, he gets even harsher. So far in my Fichte studies, I've ignored anything that happened after 1800, just because the Jena-period work is what influenced Hegel & co. But I recently read the short article "Nothing More or Less than Logic: General Logic, Transcendental Logic, and Kant's Repudiation of Fichte's <i>Wissenschaftslehre</i>" by Wayne Martin, and it has this startling bit:<br />
<blockquote class="tr_bq">
In his earlier discussions of the relationship of logic and philosophy, Fichte had been concerned only to mark the difference between the two disciplines, content to leave the doctrines of general logic well enough alone. But he now calls for a thorough-going critique of logic itself. He explicitly marks this as a shortcoming of Kant’s philosophy, complaining that Kant “was not so disinclined as he ought to have been [toward general logic]”; that he “had not recognized that his own philosophy requires that general logic be destroyed to its very foundation” – a destruction Fichte now vows to undertake “in Kant’s name” (SW IX, 111–112). As the lecture course unfolds we find that the scorn previously reserved for the so-called “dogmatists” is now directed against “<i>die Logiker</i>” instead. Their account of concept-formation is said to be “<i>durchaus falsch</i>” (SW IX, 317); their accounts of judgment and of the syllogism are said to be in need of “total reform” (SW IX, 367); and the “spirit” of their enquiry is said to be “the same as that of all untrue philosophy – that is, of all philosophy that is not idealistic (SW IX, 407)" (p.35-36)</blockquote>
Martin's article ends shortly after this; if anyone can point me towards discussions of Fichte's later views on general logic, I'd appreciate it.<br />
<br />
But there are a few things Martin does note about Fichte's critique here. One is that Kant's discussion of concept-formation in the Jasche logic looks like it's <i>literally</i> the same as Locke's account of how we get general ideas: it's an unreconstructed abstractionism. But if Kant endorses Locke here, it can only be out of mental inertia; Kant simply can't have taken on such a central part of empiricist epistemology, given how much of it he (rightly) rejected entirely.<br />
<br />
There are more than a few reasons Kant couldn't have consistently been a Lockean abstractionist about concepts, but Fichte latches onto an interesting one: "If the logicians had indeed realized all this they would have realized that the concept, in this case, of a horse, only occurs in the grasping of something as a horse – that is, in the judgment that something is a horse. (SW IX, 331)" (quoted on p.37 of Martin's article).<br />
<br />
As Kant had already said, the understanding can make no use of concepts except to judge by means of them; Fichte puts this even more forcefully, and has concepts simply <i>being</i> nothing but capacities to make certain sorts of judgements. So one reason abstractionism is false is because it tries to explain how we first derive concepts from our experience, and <i>then</i> combine them in judgements -- but there can be no gap here, for deriving concepts is nothing but coming to be able to make certain sorts of judgements: Fichte thus prefigures Geach's main objection to abstractionism in "Mental Acts": Possession of a concept is the capacity to make certain sorts of judgements; it is not primarily a recognitional capacity. But abstractionism tries to explain how we acquire certain recognitional capacities, not the capacity to make certain sorts of judgements. Hence abstractionism does not explain <i>how <b>any</b> of our concepts are acquired</i>.<br />
<br />
Fichte is then already seeing what's wrong with <i>much</i> work that is done even today on concepts: read a random article on "Whether animals have concepts?" and you are almost certain to be told that they do, because e.g. a dog can recognize when his name is called, or a dolphin can recognize its image in a mirror. It will often then swiftly be granted that we have <i>more</i> concepts than dolphins and dogs, for e.g. they do not have a concept of a logical copula (or at least this is rarely claimed), and that sort of thing is supposed to explain the difference between the minds of brutes and the minds of rational beings. But it's just Kant's insight that the concepts which are employed in the logical forms of judgements are needed to bring objects under concepts at all: no logical form, no judgement; no judgement, no relation of intuition and concept; no relation of intuition and concept, no representation with objective purport, and hence no concept.<br />
<br />
Fichte's complaint about Kant here can then be put thus: Kant knows that abstractionism is deeply wrong, and that we can't form judgements by putting together logical forms which we "already have" with concepts which we "get via abstraction"; the concepts and the logical forms are nothing outside our capacity to judge, which requires both to be the capacity it is. But it looks like his procedure regarding general logic, for instance in the "Metaphysical Deduction" in the first <i>Critique</i>, is just the abstractionist one: he regards the logical forms as being something over against the concepts which are supplied to them <i>ab extra</i> for combination, in Lockean fashion. Kant seems to introduce judgement by <i>first</i> having in view the table of logical forms of judgement; what is needed is to arrive at the logical forms of judgement (the topic of general logic) only by first having judgement itself in view. And if it is transcendental logic that shows us what our capacity for judgement is in its full actuality, then general logic will need to be <i>preceded</i> by transcendental logic, and not be followed by it.<br />
<br />
Something I find exciting here: Fichte is here presenting the problem of the Metaphysical Deduction and the question of general logic in Kant as tied to (what is later called) the problem of the unity of the proposition. Fichte's objections to Kant's views on general logic thus look similar to the author of the <i>Tractatus</i>'s objections to Russell: Kant/Russell take logical forms as "given" in some peculiar way (Kant is silent about it, but implies the understanding simply <i>has</i> them; Russell appeals to "acquaintance" with these strange "objects"); nothing "given" in this way can do the work of a logical form (Fichte's objection about the primacy of judgement; Wittgenstein's objection about it being impossible to judge a nonsense); hence "general logic" is in need of rethinking from the ground up, and any attempt to establish a substantial truth on a logical basis (such as deriving Kant's categories from general logical forms) or to make a logical proposition itself appear substantial (as Russell and Frege did) must be shown to be confused.<br />
<br />
But if that is the point I reach, then I now can say to myself: "Well! Then I will have the problematic status of general logic in Kant cleared up as soon as I clear up what's right and wrong about the role of logic in the <i>Tractatus</i>." I am reminded of something Locke says somewhere (I cannot locate the passage) about being able to move around piles of dirt, but never being able to actually clean the room.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com18tag:blogger.com,1999:blog-8042142443470259188.post-74436026220275979232012-07-28T08:14:00.002-05:002012-07-28T08:14:28.961-05:00Geach's "Mental Acts" and the dualism of the conceptual and the sensibleI have been reading through "Mental Acts" over the past few days. It's long been on my short list of things to read, but I'd never picked the book up until this week. (Literally: if I had seen for myself how short it was, I would've gotten it read years ago.)<br />
<br />
It's mainly good, in the way that everything I've read by Geach has been mainly good.<br />
<br />
I am making a post about it largely as a reminder to myself: Chapter 15, "Judgements About Sensible Particulars [Reference to Particulars]" is striking, from a Kantian perspective. But spelling out what I find so striking about it is probably of more general interest.<br />
<br />
Geach's puzzle is about how we can judge about particulars, given that judgements are acts of our conceptual capacities, and our conceptual capacities are always universal (as they are capable of repeated use independently of what might be presently sensed).<br />
<br />
The judgement he considers is "That flash was before this bang", uttered on different occasions and referring to different flashes and bangs. Of this he says "there is no difference to be found on the side of the judgement itself [on these two occasions]. What we may call the intelligible content of the judgement is the same in all judgements expressible as "that flash was before this bang", regardless of which flash and bang are in question." (ps.63-64) So, given that judgements are always capable of being formed regardless of occasion, how can any judgement have reference to an occasion?<br />
<br />
Geach's answer: "How could the utterance "flash before bang" be taken to refer to a particular flash and bang? The answer is obvious[!]; the utterance can be, and probably will be, so understood in a sensory context in which the hearer notices a flash and a bang. Similarly, the utterance "some cats, white" could be taken to refer to particular cats if its hearer was looking attentively in the right direction. The content of the judgement is always intelligible and conceptual -- acquaintance with a particular sensible thing is no part of the judgement itself -- but an act of judgement performed in a particular sensory context may thereby be referred to particular sensible things." (p.64)<br />
<br />
The most striking fact about this answer is that Geach tries to answer the question of how judgement can have reference to particulars by referring to what a <i>hearer</i> would take an utterance to refer to, in a given context. He seems to want to answer the question of how thought can be about the world by noting that others take it to be so: but this is patently Munchhausenianism, with empirical content being pulled up by its own bootstraps. Unless the hearer can already judge concerning particulars, then she can't take an utterance to refer to particulars: so it does no good for Geach to appeal to her judgements on the matter.<br />
<br />
But this may be unfair: he seems to not notice what he has said, and thinks of all the work in his picture as being done by "the context" of a judgement. How to spell this out, he is unsure of: "It is clear, indeed, that the act of judgement must bear a closer relation than mere simultaneity to the context of sense-perception that gives it its special reference to <i>these</i> particular sensible things; I am not prepared to characterize this special relation it must bear to its context.... But I do not think this throws any doubt on what I have said; although more remains to be said." (p.64)<br />
<br />
It is "clear" to Geach that context must be able to do this work, for we do in fact judge about particulars, and he doesn't see anything else that can make inherently-universal judgements latch onto sensible things. He is aware that "mere" simultaneity between an act of judgement and a thing will not suffice, but I hear in this the suggestion that something <i>more</i> than "mere" simultaneity will do the work: Judgement + Thing + Simultaneity + Y = Judgement is about Thing; future philosophy can solve for Y.<br />
<br />
I begin here a long aside:<br />
<br />
I find this sort of buck-passing in philosophy disagreeable, setting aside the particular problem Geach lays out for working on: it is too easy for everyone to only think through a problem so far, because "others" can always do the rest of the work. I encountered a particular egregious version of this in a seminar recently: several rival positions on a topic in the metaphysics of social groups were compared, and a criticism against one of them (I believe it was Searle's) was rejected on the grounds that if it worked, it would work for all of the positions on offer: "And if it's everybody's problem, then it's also <i>nobody's</i> problem", it was said with a grin. This sort of "metaphysics" struck me as nothing but intellectual masturbation: it was an intentionally restricted way of thinking, and could never bear fruit. The sort of thing people made fun of scholasticism for.<br />
<br />
Immediately after the last Geach quote, he continues: "The problem I have just been discussing -- how we judge about sensible particulars -- was much agitated in the Middle Ages; and in my solution of it I believe I am following Aquinas. Aquinas's expression for the relation of the 'intellectual' act of judgement to the context of sense-perception that gives it a particular reference was "<i>conversio ad phantasmata</i>", "turning round towards the sense-appearances". [I don't know why Geach gives a gloss on this; the book is peppered with untranslated Latin phrases.] This metaphorical term is obviously a mere label, with negligible explanatory value; but it does not pretend to be more than a label. Aquinas has, in my opinion, at least rightly located the problem; the problem is not how we advance from judgements like <i>this is before that</i> to more general judgements, but contrariwise how a judgement inherently general can be tied down to referring to particular things (Ia q. 86 art. 1)" (p.65)<br />
<br />
What do we find, if we follow Geach's pointer to Thomas? <a href="http://www.newadvent.org/summa/1086.htm">Here</a> we read that "Our intellect cannot know the singular in material things directly and primarily.... But indirectly, and as it were by a kind of reflection, it can know the singular, because, as we have said above (Question 85, Article 7), even after abstracting the intelligible species, the intellect, in order to understand, needs to turn to the phantasms in which it understands the species, as is said De Anima iii, 7. Therefore it understands the universal directly through the intelligible species, and indirectly the singular represented by the phantasm."<br />
<br />
So in the passage Geach cites, Thomas points a few pages earlier in his book. I believe there is an error in the online edition here; Question 85, Article 7 seems irrelevant, but <a href="http://www.newadvent.org/summa/1084.htm">Question 84</a>, Article 7 is about precisely this question: "Whether the intellect can actually understand through the intelligible species of which it is possessed, without turning to the phantasms?" Thomas's <i>sed contra</i> is that "The Philosopher says (De Anima iii, 7) that "the soul understands nothing without a phantasm."" -- so even in following Geach's pointer to Aquinas through Aquina's pointer to Aquinas through an incorrect citation to Aquinas we find: a pointer to Aristotle. (In fairness to Aquinas, he had given the same reference in the first place Geach pointed to.)<br />
<br />
But Thomas does add some argumentation in support of Aristotle's view, in his replies in the same article. He states the view he is defending thusly: "In the present state of life in which the soul is united to a passible body, it is impossible for our intellect to understand anything actually, except by turning to the phantasms." -- But now it emerges that Thomism cannot help Geach here, for Thomas is concerned with a narrower problem than the one Geach has. Geach needs an answer for how judgement can be about particulars, but Thomas is concerned only with how <i>our</i>, human, intellect has need of "turning to the phantasms". So in his replies, he appeals to psychological facts about our minds (even appealing that "anyone can experience this of himself") to ground the need for "turning to the phantasms". But Geach's problem is a logical one: how can it be so much as possible that "inherently general" judgements can be "tied down to referring to particular things?" It is no help to note that, in fact, our judgements <i>are</i> so tied down, and human minds cannot but be so tied down: Thomas's investigations enter too late to be of use.<br />
<br />
<br />
(I won't trouble with looking at De Anima III 7; I remember the
passage in question, and looking at it will not help make Geach's puzzle
clearer. From what I could see, Aristotle was merely marking a psychological fact with his "no thought without an image" remark: there are always things fluttering about "before the eye of the mind" while we think. But merely noting this does not make thinking less mysterious.)<br />
<br />
I end here my long aside.<br />
<br />
<br />
--So, Geach thinks he can tell that there must be a Y such that Judgement + Thing + Simultaneity + Y = Judgement is about Thing.<br />
<br />
Geach faces the same problem in his next chapter, "Judgements Involving Identifications [Judgements of Identification]", which involves judgements that contain proper names. It appeared that perhaps "This flash" could be made to pick out the right flash by demonstrative ostension; proper names do not appear handleable this way, as "Smith" can be Smith's name even if Smith is not within my ostensible reach. Geach closes out his discussion of this problem with a simile: "The problem how you call Smith, the right Smith, to mind is like the problem how you <i>call</i> him ([Philosophical Investigations], Part I, ss691). Although lots of people are called "Smith", the summons "Smith!" may be quite effective to fetch the Smith I want if he is the only man of that name within earshot; and similarly, a judgement that might in principle relate to many men may yet in a particular real-life context be relatable to just one." (p. 73)<br />
<br />
Here again we see the pattern of<br />
1. There is a problem for my view of judgement.<br />
2. In "real-life" this problem does not arise.<br />
.'. 3. Context must supply what is lacking in my view.<br />
<br />
At no point does Geach consider that our conceptual capacities might <i>inherently</i> refer to particulars, just as he knows they are <i>inherently</i> general. He sees that empiricism asks a bad question when it tries to solve hour we can judge of general matters, given that we can judge of particular ones; but he thinks their error was that the real question is how we can judge of particular matters, given that we can judge of general ones. There is a dualism of the conceptual and the sensible in Geach, just as there is in the empiricists he spends so much time attacking. And if he is right about the medievals, Thomas errs on his side while many Thom<i>ists</i> and other scholastics err with the empiricists, with Aristotle claimed by all parties. If nothing else, reading Geach has been good for helping me see that Kant's problems are not new -- or at least they can be seen to have caused trouble, beneath the surface, further back than Kant traces his histories. <br />
<br />
On a final note (and this was actually what I originally found interesting enough to post on, before I got caught up in providing context for it), Geach notes that "Quite similar considerations apply to judgements involving tense. The difference between judgements to the effect that a hydrogen bomb <i>will be</i> exploded and that a hydrogen bomb <i>has been</i> exploded is an intelligible or conceptual difference -- a specifically different exercise of concepts is involved. But there is no conceptual difference between judgements formed in different years to the effect that a hydrogen bomb has been exploded, although such a judgement formed in 1940 would have been false and one formed in 1956 would be true." (p.65) When I first read it, I was surprised by how closely connected Geach's claim about tense was to his claims about judgements of particulars: they are treated of in the same section, are said to have "similar considerations" applying to them, and I thought that perhaps the same Kantian solution was what he had overlooked. I had hopes that perhaps here I could finally find a compelling argument for why time is the form of all intuition, what the connection is between reference to particulars and reference to temporal entities. But thinking on it more, I think Geach is just mistaken about how tenses work in language (in thought): it is the same conceptual capacity at work when I judged yesterday <i>that I would be up all night</i> and when I judge today <i>that I was up all night</i>; what has changed is not the judgement, but the context in which it is considered. There is an indexical element to judgements involving tense, just as with judgements involving the concept "now", and changes of index are not changes of indexical. (Ironically, I take this to be something I learned from reading Anscombe on the first person.)<br />
<br />
But if this is where Geach went wrong, then the connection between reference to particulars and time boils down to the connection between reference to particulars and the indexicals "here" and "now". And it strikes me as hopeless to try to establish why space and time <i>must</i> be forms of intuition from the fact that (as it happens) we have spatial and temporal indexicals in our language; for if there are other possible forms of intuition, presumably the minds which intuit by them have their own indexicals. So again Kant is proving damnably right: I cannot show why space and time are (our, the) forms of intuition, though it seems clear that they are. So for now I am no better than Geach; I daydream about "others" solving that problem, and think it <i>must</i> have a solution!Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-82532737604417016982012-07-21T19:54:00.000-05:002012-07-21T23:25:06.680-05:00A Link Post<a href="http://www.3ammagazine.com/3am/hegels-modest-metaphysician/">Robert Stern</a> was interviewed in 3:AM magazine; it is a good read.<br />
<br />
In the wake of Förster's book, I have been reading more about Schelling and Goethe. Robert Richards's work has been very helpful here; "<a href="http://home.uchicago.edu/%7Erjr6/articles/Did%20Goethe%20and%20Schelling%20Endorse%20Species%20Evolution.pdf">Did Goethe and Schelling Endorse Species Evolution?</a>" (PDF) was particularly stimulating.<br />
<br />
Richards gave a seminar on "The Origin of Species" while I was at Chicago; I only sat in on the first couple of classes at the time, since I was busy and it was being recorded for posting <a href="http://darwin-chicago.uchicago.edu/course.html">online.</a> Sadly, the video and podcast links are dead now, but I had most of the podcasts downloaded. (For some reason I didn't download week 2's podcast; ironically, that is the one class I am sure I was present at. The slides for that week of the course are still <a href="http://darwin-chicago.uchicago.edu/Slides/Brief%20history%20of%20evolution%20prior%20to%20Darwin.pdf">posted</a> (PDF), and are worth looking at just for the cartoon of Professor Icthyosaurus on page 13. (The context for that cartoon was a cyclical theory of evolution, where extinct species were supposed to arise again once catastrophic floods had changed the character of the Earth so that humans were no longer viable, but e.g. ichthyosaurs were again. I just really like the design on the whole thing.)<br />
<br />
Edit: This is a great sentence: "This kind of metaphysics enticed Goethe the way several of his women friends did at this time: with great allure and seduction, with the poet giving way even while recognizing the impropriety of his indulgence." (<a href="http://home.uchicago.edu/%7Erjr6/articles/Schelling-Goethe.pdf">Source, PDF</a>)Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-25818730377115477632012-07-17T00:48:00.000-05:002012-08-08T23:39:42.853-05:00Förster's "Twenty Five Years": an overview.It seems worthwhile to outline the story of German Idealism, as Förster presents it in "The Twenty Five Years of Philosophy". I suspect my previous post on Förster's book is unreadable, and so unread. <br />
<br />
Kant begins with the realization that philosophy before him has taken for granted that our thoughts can get things right or wrong -- that they have "objective validity", in his later terminology, or objective <i>purport</i> as McDowell says it -- and that metaphysics is building on sand so long as it is unsettled whether metaphysical thinking can so much as get things wrong. So in the first Critique, Kant tries to settle the question of how and when thinking can have objective purport. The answer he arrives at is that thinking has objective purport by standing in a relation to sensibility: the receptive aspect of our cognition provides us with a kind of cognition which is dependent on the objects it purports to be about, and so the question of objective purport does not arise for it; the other aspects of our cognition (the categories and the ideas) are explicated as structuring and guiding this receptive aspect of our cognition. As time and space are the forms of our sensibility, this means that thinking has objective purport only in relation to objects in time and space: as the traditional objects of metaphysics are extraspatiotemporal, traditional metaphysics thus shows itself as confused.<br />
<br />
But a new sort of metaphysics stands primed to take its place: in establishing how it is that our (empirical, spatiotemporal) thinking can have objective purport, Kant has also established that certain principles govern such thinking. That they in fact do this is a condition on the possibility of thought, as thought must be (able to be made) self-conscious. It is the task of the new metaphysics to establish these principles, and lay out what follows from them.<br />
<br />
Förster notes that Kant subtly changes the question he is answering after the A-edition of the first Critique: where before he was asking "How can thinking have objective purport?", starting with the Prolegomena he is asking "How are synthetic <i>a priori</i> judgements possible?" In the case of <i>theoretical</i> synthetic <i>a priori</i> judgements, this question is what the new metaphysics confronts and answers. This shift in Kant's question is both a narrowing of his original question, as he is no longer questioning how empirical judgements are possible as such (though this will in fact still be a topic he addresses in the B-edition of the first Critique), and a broadening of it: for there are judgements which do not depend on a relation to an object for their validity, but which are connected with synthetic <i>a priori</i> principles. These are practical judgements. In the first Critique, Kant had left moral questions underscrutinized, and he had explicitly denied that practical philosophy was connected with transcendental philosophy. But now practical and theoretical philosophy are both the concerns of the transcendental philosopher.<br />
<br />
Förster thinks that Kant's attempt at his project fails at several points. For one, Kant's construction of matter in "Metaphysical Foundations of Natural Science" is circular, as Kant and Schelling both notice; Förster notes that Kant was still working on this problem in the Opus Postumum, and that he still did not solve it there. Förster thinks that this is a significant problem, because he thinks the Metaphysical Foundations was trying to complete something the first Critique had accidentally ignored: a spatial schematism of the categories to parallel the temporal one given in the first Critique's Analytic. Whether Kant needed such a thing is controversial in the literature. (My judgement is that Kant didn't think he needed one, and that by his own standards he was right -- but that these standards were too low, and he in fact did need one if he wasn't to take the spatial form of our intuition as simply Given. I'm not sure that his failure to construct the concept of dense matter matters for this, though.)<br />
<br />
This is related to a second place where Förster thinks Kant failed: he simply takes the fact that space and time are the forms of our receptivity as <i>given</i>, and he does the same with the table of general logical forms. Förster spends less time on this complaint, but I think it's the most important one he brings up.<br />
<br />
Very shortly after the first Critique, Reinhold will try to present Kant's philosophy in a more systematic form than Kant had managed (following up on hints from Kant that such a system <i>should</i> be possible, that the transcendental unity of apperception really is the ground of all synthetic <i>a priori</i> judgements). The form this takes in Reinhold is an attempt to derive all of the Critical Philosophy from what he calls "the principle of consciousness": "In consciousness representation is distinguished though the subject from both object and subject and is related to both". Reinhold held this to be an analytic judgement, and from it tried to prove via a "short argument" that we can never know the thing-in-itself (because we know representations only, which are distinguished from the object) or the subject-in-itself (because we know representations only, which are distinguished from the subject), but that our representations have objective purport (because they are related through the subject to the object). (I know Reinhold only second-hand, through Karl Ameriks's "The Fate of Autonomy", but the prospects for his project strike me as dim.)<br />
<br />
In "Aenesidemus" Schulze criticized Reinhold's attempt to found all of the Critical Philosophy on this one analytic principle. He claimed that Reinhold was tacitly appealing to many other principles in his derivations from it, for instance to the logical principle of noncontradiction, and so the appearance of systematicity was merely apparent. It was his reading of "Aenesidemus" that first startled Fichte out of his dogmatic attraction to Reinhold's philosophy; Schulze did not convince him that the whole project was hopeless, but rather spurred Fichte to try to fill the gaps and genuinely establish all of the Critical Philosophy on a single self-evident principle (from which he hoped to derive the "principle of consciousness", and therefrom use Reinhold's efforts to derive the bulk of Kant's philosophy).<br />
<br />
Telling this part of the story occupies several chapter of Förster's book, and for my money this is the most interesting and successful part of the work. I found the accounts of how Fichte and (his very Fichtean) Hegel tried to systematize Kant's philosophy intriguing and energizing, even when I did not find them convincing as presented. The general idea is that Kant simply did not go far enough in trying to establish the conditions under which self-consciousness is possible, and that he mischaracterized the nature of self-consciousness. Where Kant still (sometimes) seems to think of self-consciousness as receptive, as relying on an "inner sense" which relates consciousness to a (noumenal) self which is not dependent on the thought of it, Fichte resolutely treats the self as nothing but its apperceptive unity. This residual empiricism in Kant's conception of the self has vanished in Fichte, and the results which are claimed as proved will be considerably more impressive, but the very general argumentative strategy of the <i>Wissenschaftslehre</i> is Kant's: What must be the case, given that I am aware of myself as a self?<br />
<br />
There is a third area where Förster thinks Kant failed where I found his criticisms less clear, and the responses on the part of German Idealists seemed less on-point. This is the question of the unity of practical and theoretical reason hinted at in the third Critique, where the regulative principle of the purposiveness of nature is used to guide inquiry (as it already was in the appendix to the Dialectic of the first Critique), and also to somehow aid moral faith (by suggesting that since both the order demanded by the moral law and the order demanded by the purposiveness of nature are demands put by reason to nature, seeing one fulfilled (in scientific empirical inquiry and in beauty) is an aid to believing that the other is fulfilled, that the world is morally structured).<br />
<br />
As I recall, Förster's complaint is largely focused on Kant's skepticism regarding whether we can know there to be purposes in the world. He presents Schelling as presenting as an empirical hypothesis that the world is so structured, and as taking contemporary developments in physics as confirming it. Förster is generally skeptical of Schelling's whole approach here (and he presents Hegel as likewise skeptical of it, after the break with Schelling in his Jena period). Förster's positive remedy to Kant's skepticism here comes from Goethe's botanical and optical writings: Goethe claimed that he could "see ideas", and Förster endorses this, and presents it as <i>the </i>way forward for philosophy.<br />
<br />
Now, it is easy to see that Kant's skepticism has to be wrong somehow: we do know that there are purposes in nature, for we know that there are living things in nature, and living things are purposes. A horse does things for the sake of maintaining itself and reproducing its kind; it is not merely mechanically explicable, and in fact cannot be understood <i>as a horse</i> if approached mechanically. Human action is the action of a living being, and so likewise is purposive: so if we are not to be skeptical of whether there is human action in nature, of whether freedom is at work in the world, we must not be skeptical of whether we can know nature to have purposes in it.<br />
<br />
But Schelling seems to want to prove more than this: not merely that there are purposes in the world, or that the world is purposive to the extent that morality requires (that virtue and happiness will coincide), but that nature as such is purposive. Schelling wants to derive the general structure of nature from what he calls an "intellectual intuition", but it is not at all clear how he can have such a thing. Kant used the term "intellectual intuition" to characterize how God knows the world (supposing he does): he knows it by creating it. Fichte follows Kant in this: the I knows itself in its act of self-positing, and in its act of self-positing knows itself. Schelling explicitly does *not* mean this: his "intellectual intuition" is not creating the world, for the world is already there before Schelling's <i>Naturphilosophie</i>. Fichte's intellectual intuition of the I was used to work out the <i>Wissenschaftslehre</i>, and it appears that this is the usage Schelling is following: his "intellectual intuition" is the foundational principle for his <i>Naturphilosophie</i>. It's unclear how he can establish it, and Förster seems to be of the view that he simply can't: Schelling built on sand.<br />
<br />
Förster opposes Schelling and Goethe on this score. Where Schelling ultimately appeals to an intellectual intuition (which is hopeless), Goethe appeals to something else: an intuitive intellectual apprehension of an idea, which Förster also refers to by the Spinozan title <i>scientia intuitiva</i>. Goethean <i>scientia intuitiva</i> is supposed to establish what Schelling could not, and what Fichte left only as an incompletable task: that the world and the mind are both structured by the mind, that nature and reason are both rational, that the purposiveness demanded by freedom is the end of the world itself.<br />
<br />
I said some things about why I don't think the <i>scientia intuitiva</i> stuff works in my previous post about Förster's book, but I think the real problems show up in his examples (the film, the book, etc.). Looking at those is probably something I need to devote a post to, because this one is already feeling too dense to be read. So I stop here.<br />
<br />
tl;dr: Kant is insufficiently systematic; Fichte is sufficiently systematic, but does not establish all that he needs; Goethe establishes limited results about colors and plants; Hegel uses Goethe's methods to establish all that Fichte had not, to supplement what Fichte had genuinely established, and in this way brings Kant's program to a successful close. Schelling was an enthusiastic blind alley.<br />
<br />
The future of philosophy, as I see Förster presenting it: Hegel's own post-Phenomenology work is doing a better job presenting what was already contained <i>in nuce</i> in his Jena-period work. Where there are problems in Hegel's system, they are to be resolved by doing Hegel's job better than he managed it himself -- but Hegel has effectively established what it is that should be done. The Absolute Idea was presented in Jena; what is left to us later philosophers is the seeing of subordinate ideas, such as Goethe saw in his optical and botanical works. (Presumably philosophers can also just do something else, not directly related to the history of metaphysics that Kant is working in: Kierkegaard and Nietzsche simply wrote books which are not trying to do what German Idealism is trying to do, and their work neither contributes to nor (directly) challenges what was going on in "the twenty five years of philosophy". But I suspect that people like Russell and Heidegger would figure as mere epigones to Fichte, on Förster's view.)Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-81684727497284670992012-07-01T22:29:00.000-05:002012-07-01T22:35:27.731-05:00Zizek googles himself too much, Or: Fess up, who linked Zizek to a post of mine from five years ago?An edit on a <a href="http://itself.wordpress.com/2012/07/01/zizeks-gift-to-reviewers/">post </a>of Adam Kotsko's has alerted me to the fact that I'm in the <a href="http://www.amazon.com/Less-Than-Nothing-Dialectical-Materialism/dp/1844678970/ref=sr_1_1?ie=UTF8&qid=1341192212&sr=8-1&keywords=less+than+nothing#reader_1844678970">index</a> to "Less Than Nothing", Zizek's latest big book. He block-quotes a <a href="http://sohdan.blogspot.com/2007/10/christianity-and-terror-or-more-zizek.html">post </a>of mine from back when I was still in law school, durdling around with a blog to avoid doing my reading for "Contracts". I haven't read one of the pages that's presumably in reply to me because I can't see it via "Search Inside", but I replied to what I could see about myself in the comments on Kotsko's post.<br />
<br />
It is at least a little embarrassing to see my old prose in print. But hey, I can go to Barnes & Noble and see my name now!<br />
<br />
The elipses in the block-quote of my post in the book omits the fact that I originally had a picture of an anime character (Caster from "Fate/Stay Night") as my "Read More!" link. That used to seem like a reasonable thing to do with my blog. Oh internet, you so crazy.<br />
<br />
edit: From page 289: "for me, replying to this critique is almost embarrassing": you and me both, buddy! So why did you feel the need to do it? From what I recall of watching my old blog-traffic, that post was never linked to anywhere online and I only had ~30 regular readers (based on pageviews). Why is it committed to the page, now?Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com3tag:blogger.com,1999:blog-8042142443470259188.post-12084773950144053722012-06-01T09:49:00.002-05:002012-08-08T23:39:54.643-05:00"The Twenty-Five Years of Philosophy": some criticismsAs I mentioned in my previous post, I really like "The Twenty-Five Years of Philosophy", which I have now finished. It gives the clearest accounts I've seen of big chunks of German Idealism, and I think Förster is especially good at laying out what the post-Kantians took to be the problems Kant had left them with. My high praise of those parts of the book remains. Where I think he's less successful is in showing that those problems do in fact get resolved by the post-Kantians. This post will be about those less successful parts.
<br />
<br />
To give an example: One of the clear issues in Kant that the post-Kantians tried to get past is Kant's conviction that out finite intellect is a <i>special </i>sort of finite intellect, and that others are possible (or at least thinkable); this aspect of Kant's thought means that when Kant proves that such-and-such is a condition on reality's being an object of cognition <i>for us</i>, we must not infer that such-and-such is a condition on the object's being an object of cognition <i>as such</i>. If our intellect was the only possible sort of intellect, then we could infer from "Such-and-such must be the case if reality is to be cognizable by us" to "Such-and-such must be the case if reality is to be cognizable" -- and then skepticism about such-and-such would refute itself, for it would cognize reality in trying to deny that such-and-such was true of the reality it cognized.
<br />
<br />
(If skepticism tried to back up and say that it merely wanted to say of reality <i>as such</i> that it might not be such-and-such, abstracting from whether or not we can cognize it that way, then skepticism can state a truth only at the cost of reducing itself to a tautology: apart from the conditions under which we can think of things/know things, we cannot think of things/know things. This is no real limitation on our knowledge, and so no real skepticism; this is the place to bring in Kant's discussion of the "noumenon in the negative sense".)
<br />
<br />
But, since Kant thinks that our intellect <i>is </i>of a special sort (finite as opposed to infinite, discursive as opposed to intellectual, sensibly intuitive as opposed to intellectually intuitive, spatiotemporal as opposed to having some other forms of intuition), it remains the case that anything Kant can show about the conditions for objects to be cognizable by us will leave open that there might be other sorts of intellects (even finite, discursive, sensible ones) that could cognize the objects which we can cognize only <i>under</i> those conditions <i>outside of</i> them: the objects of our cognition might not in themselves be as we (must) cognize them to be, and our forms of cognition might distort their objects. At this level, as opposed to an empirical level, Kant thinks that skepticism is true: things-in-themselves are not knowable by us, because of the distinctive form of our intellect. (Again, I think Förster is very good at explaining this stuff, though his account in the first two chapters of the book is admittedly compressed.)
<br />
<br />
Kant thinks we can entertain the (merely logical) possibility of other forms of finite discursive sensible intellects than our spatiotemporal one, and so the fact that he (takes himself to have) proved that our synthetic <i>a priori</i> knowledge is limited to spatiotemporal objects gives us transcendental idealism in its familiar form: we can know <i>a priori</i> only objects of possible experience, and this is not to know objects as things-in-themselves. Our understanding is not bound by the forms of our intuition, and so we can <i>think</i> objects in ways that we cannot <i>cognize</i> them; this is what makes transcendental idealism coherently formulatable, and simultaneously what makes transcendent metaphysics possible (it thinks erroneously of objects which are not given in space and time as being cognizable). Kant is explicit that we cannot know why we have the forms of intuition we have: "This peculiarity of our understanding, that it can produce <i>a priori</i> unity of apperception solely by means of the categories, and only by such and so many, is as little capable of further explanation as why we have just these and no other functions of judgement, or why space and time are the only forms of our possible intuition." (B146, section 21 of the B-Deduction). The earlier parts of the paragraph which this sentence closes makes clear that Kant is here calling "incapable of further explanation" the facts that our intellect is discursive, sensible, and has spatiotemporal forms of intuition.
<br />
<br />
Förster spends a good deal of time on the first two of these qualifications: he thinks that Fichte showed that our intellect is not (solely) sensible, but that the I knows itself via an intellectual intuition (it knows only its own act/product, and that is what the pure I is), and that Goethe showed that our intellect is not solely discursive, but that in <i>scientia intuitiva</i> (such as Förster and Goethe say was behind Goethe's theories of morphology and color) we know objects as a whole prior to knowing their parts. He also spends some time at least sketching how Fichte tried to address the issue of our having "such and so many" categories and "just these and no other functions of judgement", in chapter 8, "Fichte's "<i>Complete</i> Revolution of the Mode of Thought"". I didn't find this account satisfying, but it was clearly not meant to be fully rigorous or complete: Förster doesn't even try to tell us how Fichte derives the categories of Quantity or Modality, nor does he try to tell us how Fichte proceeds from his deductions of the logical laws of identity and non-contradiction to Kant's table of judgements.
<br />
<br />
But one major issue in Kant, the question of whether our spatiotemporal forms of intuition are the only ones possible (for a finite, discursive, sensitive intellect) is only addressed in a single footnote, number 13 on page 201. Förster partly excuses himself here by noting that Ficthe himself skimmed over this point in <u>Foundation of the Entire <i>Wissenschaftslehre</i></u>: "Kant demonstrates the ideality of objects from the presupposed ideality of space and time: we, on the contrary, shall prove the ideality of space and time from the demonstrated ideality of objects. He required ideal objects to fill up space and time; we require space and time in order to locate the ideal objects." But Förster says that Fichte gives a "deduction of space and time" in <u>Outline of the Distinctive Character of the <i>Wissenschaftslehre</i></u>, and that "in strict terms such a deduction is indeed required at this point in order to explain how it is possible for the image and the thing to correspond or agree with each other." It would've been nice to see more discussion of this, but then one can only ask so much of a 400 page book.
<br />
<br />
But another issue in Kant, the discursive nature of our intellect, gets a great deal of treatment by Förster, and he clearly means for the reality of non-discursive knowledge to be one of the main results of his book. To quote the last sentences of the final chapter: "The path of <i>scientia intuitiva</i> [non-discursive knowledge] alone is still open". Chapter 11, "The Methodology of the Intuitive Understanding", is supposed to show how we can achieve <i>scientia intuitiva</i> of natural objects. (As a reminder, Spinoza's examples of <i>scientia intuitiva</i> in the <u>Ethics</u> are always mathematical; it is unclear how much he believed we could really have <i>scientia intuitiva</i> of non-mathematical finite objects, though the general thrust of part five of the <u>Ethics</u> suggests that acquiring this is in fact within our power, and also important for us to achieve.)
<br />
<br />
I think that a summary version of my complaint about Förster here can be put by looking at a conclusion Förster takes himself to have demonstrated in his methological discussion of Goethe's botanical studies: "In summary, then, we can say that <i>if</i> an idea lies at the basis of a set of phenomena and is operative in all its parts, then that fact can only be recognized by the method described here. <i>Whether or not</i> an idea in this sense lies at the foundation of a set of phenomena can also only be determined in this way." (p.264) -- By "idea" here Förster means something peculiar, and it's probably best to read the book yourself to get the details. But the gist of what an "idea" is here can, I think, be appreciated by looking at the example that Kant originally uses in section 77 of the <u>Critique of the Power of Judgement</u>, and that inspired Goethe <i>et al</i>: a plant. In thinking of a plant as a plant, we are thinking of it as a certain sort of organism. Thus, following Kant's account of organisms in the third <u>Critique</u> (which, as Förster notes in a footnote on p.138, is similar to Hume's in the <u>Treatise</u>), we are thinking of it as having parts which are both the cause and effect of its whole: a tree has roots and limbs and flowering buds because it is the sort of tree it is, and its having roots and limbs and flowering buds are how it is able to be that sort of tree.
<br />
<br />
Kant thinks that we are unable to know anything in nature in this way, because of the discursive nature of our intellect: "Our understanding, namely, has the property that in its cognition, e.g., of the cause of a product, it must go from the <b>analytical universal</b> (of concepts) to the particular (of the given empirical intuition), in which it determines nothing with regard to the manifoldness of the latter, but must expect this determination for the power of judgment from the subsumption of the empirical intuition (when the object is a product of nature) under the concept. Now, however, we can also conceive of an understanding which, since it is not discursive like ours but is intuitive, goes from the <b>synthetically universal</b> (of the intuition of a whole as such) to the particular, i.e., from the whole to the parts, in which, therefore, and in whose representation of the whole, there is no <b>contingency</b> in the combination of the parts, in order to make possible a determinate form of the whole, which is needed by our understanding, which must progress from the parts, as universally conceived grounds, to the different possible forms, as consequences, that can be subsumed under it. In accordance with the constitution of our understanding, by contrast, a real whole of nature is to be regarded only as the effect of the concurrent moving forces of the parts." (AK 5:407, section 77 of the third <u>Critique</u>) In other words: to know an organism as a product of nature, we would have to know it as having its parts produced by its whole (and vice-versa, in reciprocal fashion). But we can only know products of nature as having their parts produced by forces, and of all natural "wholes" as aggregates of such parts. For our thought is (thinks Kant) always discursive: we are first given particulars, and then bring those under universals; we are never given particulars as already "under" universals, such as would be the case in an organism whose particular parts are caused by the universal which is its whole.<br />
<br />
This is a jarringly skeptical result: it certainly <i>seems</i> as if we can have knowledge of organisms in nature. So the post-Kantians unite in thinking that Kant has made an error in thinking that our understanding is (always) discursive, for they all agree that Kant has given a correct account of what would have to be the case if we could have knowledge of organisms, but reject his skepticism about knowledge of organisms: so our understanding must also be "intuitive", and sometimes proceed from cognition of wholes to cognition of parts. The sort of cognition of a whole involved here is what Goethe calls knowledge of an "idea", and identifies with <i>scientia intuitiva</i>: we know the "synthetic universal" or "idea" of a particular kind of tree, and so know its parts as being those sorts of parts because it is that sort of tree.
<br />
<br />
I think there's something to this line of thought, when we are dealing with living things: organisms do have a sort of whole, the knowledge of which is (in a sense) prior to the knowledge of their parts. You need to have some notion of an object in nature as having a whole of that sort to grasp it as an organism, because you need to have some notion of how its parts can be parts of an <i>organic </i>whole. And the account Förster gives of Goethe's methodology seems to me to have a plausible claim to being how we come to know organisms as the organisms they are: we have to recognize the ways in which each part functions to produce and maintain the whole, and the ways in which the whole is nothing but this activity of its parts. Only when we have grasped all of these "transitions" can we fully know an object in nature as an organism. As Förster says, "<i>if</i> an idea lies at the basis of a set of phenomena and is operative in all its parts, then this can only be recognized by the method described here." If this is false, then I think it is at least in the vicinity of the truth. But I'm not sure how to tell whether the antecedent of this conditional is satisfied. It looks like organisms satisfy it, if there are any, as Kant's analysis of what it is to think of something as an organic whole is. Apart from that, I don't see how to tell whether learning about a bunch of connections between natural happenings can constitute coming to know the moments of an idea or not: Förster needs for us to grasp ideas, to come to have <i>scientia intuitiva</i>, by observing transitions, but I don't see how he gets from observing a number of transitions which we <i>take</i> to be the moments of an idea to actually <i>knowing</i> that they are just the moments of an idea. Goethe thought that he had achieved knowledge of the idea of color, but Lichtenberg convinced him he was wrong (as Förster discusses). How are we supposed to tell whether or not we've really grasped an idea, then?
<br />
<br />
I think Förster's suggestion is that we can know we have an idea on our hands when we have a plurality of moments and all of the transitions between them: the idea is then the totality of those moments/transitions, and is "at the basis of the set of phenomena and operative in all its parts". But how do we know if we have all of the relevant moments? Do ideas have smaller ideas as the parts, which are at the basis of subsets of their moments, so that any plurality which has transitions between its moments will do? Where does Förster get his conviction that ideas are at the basis of <i>all</i> reality, as opposed to being what gives unity to organisms?
<br />
<br />
If I can find an answer to this, then I will also have an answer to my biggest complaint about the book, which is how Förster shows that Hegel's <u>Phenomenology of Spirit</u> (or something very close to it) in fact brings an end to the twenty-five years of philosophy and resolves all of the problems Kant left for the post-Kantians. On the penultimate page of the epilogue, he considers the following objection to the claim that Hegel really did solve it all: "it is not convincing that a specific transition [between shapes of consciousness in the <u>Phenomenology]</u> is supposed to be necessary for consciousness at its given level. And such an objection may, in any given case, be justified. Then the question becomes: Is the transition itself not necessary, or has its necessity simply not been convincingly presented? As long as we find that some of the <i>other</i> transitions are necessary, we can always be sure that the problem is one of <i>presentation</i>. <b>That is the crucial point! If a whole makes its parts possible and gives them their shape</b>, then it must be active in all the parts and in all their transitions, not only in some. If that activity (necessity) has been recognized in some of the transitions but not in others, all this implies is that the latter have not yet been adequately grasped and presented." (p.376, my bolding)
<br />
<br />
As a matter of fact, I find the transitions between the shapes of "Self-Consciousness" very convincing, and have ever since reading McDowell's "Towards a Heterodox Reading of Lordship and Bondage". I also find parts of the "Consciousness" chapters more or less clear. (I can see what is wrong with "Sense-Certainty", but what is going on in the "Perception" chapter always fades in and out of view for me, and "Force and the Understanding" is a very hard piece of Hegeling.) And most of the "Reason" chapter is pretty clear, for Hegel (it helps that the phrenology jokes are funny). So, if I know that these transitions are between moments of an idea (the Absolute Idea that Hegel tells us about in the <u>Science of Logic</u>, as it will happen), then I can be sure that Förster is right: the transitions which look to me to fail are just not convincingly presented. As they are parts of the Absolute Idea, there must <i>be</i> transitions between all of its moments which follow simply from the essence of those moments; this is analytic of what being moments of an idea comes to. But, as Förster presented it, the project of "The Science of the Experience of Consciousness" as originally conceived was just to <b>demonstrate</b> that there is in fact an Absolute Idea for a "Science of Logic" to lay out the moments of! And as this "Science of the Experience of Consciousness" is what became the <u>Phenomenology of Spirit</u>, I cannot simply grant to Hegel that there is in fact an Absoute Idea: this is what he needed to show me by presenting a total account of the plurality of the forms of knowledge-claims and the transitions between them. So Förster's defense of the result of the <u>Phenomenology</u> begs the question: I can be sure that the transitions between the shapes of "Self-Consciousness" are parts of a totality of transitions between moments of the Absolute Idea only if I already know that they are transitions between moments of an idea, which the <u>Phenomenology</u> was meant to show by exhibiting <i>all</i> of the moments of an idea. Förster has not shown that there are not problems with Hegel's approach in principle: that there might not be any idea for a "Science of Logic" to lay out for us, and that Kant's scattershot approach to our forms of thinking might not be where we have to rest, skeptical results and all.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com0tag:blogger.com,1999:blog-8042142443470259188.post-71971042489686723542012-05-23T10:44:00.000-05:002012-08-08T23:39:33.686-05:00"The Twenty-Five Years of Philosophy"<a href="http://www.amazon.com/The-Twenty-Five-Years-Philosophy-Reconstruction/dp/0674055160">This book</a> is the best book on German Idealism I've ever read. Engaging, clear, and deep.<br />
<br />
I'm usually really bad about starting books and then putting them down, but I haven't been tempted to read any other books since starting "The Twenty-Five Years of Philosophy". (Watch "Game of Thrones" instead of read philosophy, yes. Read any other books, no.) I'm in the part about Schelling's <i>Naturphilosophie</i> now, and it's still remarkably clear. I've always wondered how Kantianism somehow lead to that stuff, and Förster is actually making that move seem intelligible. He's already made everything from Kant's first realization that there's a problem about how thought of objects which are not sensibly given can be possible to the <i>Wissenschaftslehre</i> clearer to me than they've ever been, and I am excited to get to the Hegel chapters (and find out what the weird swirly diagram on the cover is about).<br />
<br />
I really have nothing to say about this book right now other than that I love it and you should read it immediately. I'm going to go back to reading it now.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com2tag:blogger.com,1999:blog-8042142443470259188.post-73198114684253534192012-03-25T20:23:00.003-05:002012-03-25T20:50:15.129-05:00"Unclear statements don't get a bit clearer by being repeated!"Wittgenstein's crack about <i>Principia Ethica</i> came to mind while reading <a href="http://www.3ammagazine.com/3am/metaphysical-kit/">this interview</a> with Kit Fine:<blockquote>Part of the problem here is that terms like ‘exists’ and ‘real’ are used in many different ways, especially in philosophy. For me, the fundamental question of ontology is not ‘what is there?’ but ‘what is real?’. But what do I mean by ‘real’?<br /><br />As a first stab, I would say that what is real is what one must make reference to in giving a description of reality. Thus suppose you were a platonist and thought that reality included facts about numbers, such as that 2 + 2 = 4. Then numbers for you would be real. This is to explain the real in terms of reality. But what is reality? Here perhaps the best I can do is to explain the role of reality in metaphysical thinking.<br /><br />Reality is what accounts, in the most perfect way possible, for everything that is the case. Suppose, for example, that I thought that the existence of a chair consisted in nothing more than certain atoms arranged in the shape of a chair. Then this would strongly suggest that reality did not include the existence of a chairs, since I could account for their existence in other terms.</blockquote>I am impressed by how resolutely unclear this is: Every sentence seems like it might be the worst of the bunch.<br /><br />3AM's interviews are odd. I don't know what determines their selection of subjects. The Setiya and Teichmann interviews were both pretty good, though.Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com3tag:blogger.com,1999:blog-8042142443470259188.post-53619466085237369802012-02-18T09:21:00.004-06:002012-02-18T13:06:52.451-06:00The Endogenous given: why I am not satisfied with McDowell on this frontI ended my last post on the endogenous given with this summary of how I think the dialectic of pure thought has gone:<blockquote>Quine rejects the very idea of an endogenous given, and so becomes prone to speaking of logic as merely "obvious", of our knowledge of the law of non-contradiction as simply on a par with our knowledge of the solidity of the earth beneath our feet. He loses pure thought into the world. Carnap had tried to secure pure thought on a conventionalist basis, but this is hopeless; Quine reacted by jettisoning the very idea of it. But as Davidson showed, Quine also made empiricism impossible; where Quine wanted to maintain a link between thought and world, he lapsed into incoherence. McDowell showed that Davidson, in making empiricism impossible, unintentionally made thought itself impossible, and so sought to resecure empiricism. A task I think McDowell has left unfinished is a further retrieval: once empiricism has been vindicated, how are we to further vindicate pure thought?</blockquote>In the comments, Nikhil asks a fair question: Didn't McDowell already answer this question in section nine of "Davidson in Context"? Why do I think he's left something unfinished? This post is my answer.<br /><br />In section nine, McDowell says rejecting the dualism of scheme and content does not threaten "the idea that there are limits to what makes sense: that our mindedness, as Jonathan Lear puts it, has a necessary structure.... And analytic truths (in an interesting sense, not just definitionally guaranteed truisms like "A vixen is a female fox") might be just those that delineate such a necessary structure." This "interesting" sense of "analytic truth" is what I was calling "pure thought" in my previous post.<br /><br />(To support my talking in this way, I note that two pages later (p.160) McDowell mentions that "An analytic statement should be a statement with no vulnerability to experience", and that the idea of the synthetic <i>a priori</i> comes up nowhere in the book. So I feel confident that the bolded claim from my last post was on the right track: the endogenous given includes both the analytic and the synthetic <i>a priori</i>.)<br /><br />I take what follows in this section of "Davidson in Context" to be a series of gestures towards how we to think about "the idea that there are limits to what makes sense", how to think about pure thought.<br /><br />First, Lear: if one turns to the Lear essay that McDowell mentions above, "Leaving the World Alone", one finds that Lear articulates his idea of a necessary form of mindedness in terms of the Tractarian doctrine of truths which can only be shown, and cannot be said. Statements that articulate the necessary forms of our mindedness are a special sort of nonsense, in that they show us thinking of both sides of the limits of how we can be minded. I think this idea is simply incoherent, as any serious attention to it shows. If we can't think something, we can't think it; we can't whistle it, either.<br /><br />I think it's also not a doctrine espoused in the Tractatus, because that book is not a book of doctrine, and Wittgenstein did not conceive of philosophy as a body of doctrine. When I met him in 2010, I asked McDowell about his occasional use of "The world is all that is the case" to express the view of "the world" he wanted to call our attention to in, for example, the closing pages of "Conceptual Capacities in Perception". (p.143 in <i>Having the World in View</i>, where he calls it "idealism in an obvious sense".) I put the question to him: Does he deny that the world is all that is; that the world is the totality of things, not facts? Happily, he answered "No". Those are both perfectly fine ways of using the word "world", and he agreed with me that Wittgenstein did not mean in the Tractatus to promote one of them to the exclusion of the other; he likes the "resolute" approach to the book. He also emphasized that the closing pages of "Conceptual Capacities in Perception" must be read in the context of the Ayer essay it's responding to, which he clearly felt was just <i>awful</i> and deserved the response he gave it: "You think I can't talk in this way? Well I <i>can</i>, so <i>nyah!</i>" [My paraphrase.]<br /><br />So, I think McDowell cannot be happy with resting on the idea that we can articulate the necessary structure of our mindedness by attempting to say what can only be shown, in Tractarian fashion. The Lear essay is a dead-end so far as rehabilitating the idea of pure thought goes.<br /><br />The second way I see McDowell trying to think about pure thought is in terms of an idea of Sellars, discussed earlier in section four of "Davidson in Context". Sellars wrote in "Empiricism and Philosophy of Mind" that "empirical knowledge, like its sophisticated extension, science, is rational, not because it has a <i>foundation</i> but because it is a self-correcting enterprise which can put <i>any</i> claim in jeopardy, though not <i>all</i> at once." McDowell glosses this as saying "that any of our beliefs, including beliefs about structures that must be instantiated in intellectually respectable belief systems -- the beliefs that implicitly or explicitly govern adjustments in belief systems in response to experience -- are open to revision." (p.136) In section nine he returns to this claim: "Sellars's thought [that all forms of Givenness are to be overcome]... did not require him to claim that absolutely everything we think is up for revision. Immunity to revision, come what may, is a mark of Givenness only if it is understood in terms of the two factors [of scheme and content], and it need not be." (p. 158) So, he thinks that Sellars slipped up, and that immunity to revision come what may is an idea that needs rehabilitation.<br /><br />Now, one reason I have for not being happy with this way of thinking about pure thought is just the fact that I like what Sellars had to say, in its full radicalness: thought is rational because it can put <i>any</i> claim in jeopardy, thought not <i>all</i> at once. (This may be stronger than Sellars himself meant it; I'm not sure if "empirical knowledge" is a pleonasm for him.) It seems to me that even in the realm of pure thought, there is room for disputation (though of a non-empirical sort).<br /><br />For example: it is part of our form of mindedness that all thinkers have beliefs, have a way that they take the world to be. This is not an empirical claim, as if it just so happened that all thinkers we have found have beliefs, but a pure one: it is an interesting analytic truth, in McDowell's sense. But some have denied this: the ancient Pyrrhonists wrote that to live without <i>doxa</i> lead one to <i>ataraxia</i>, and some have read this as claiming that one should not have beliefs, or a view of the world, at all: one should suspend judgement about it, and be lead by impressions (which one does not take to give oneself a view of the world). Alternatively, Richard Jeffrey claimed that Ramsey "sucked the marrow from the bone of belief", and that we should henceforth talk of subjective probabilities instead: belief-talk was "the old religion" that has been replaced by the clear sunshine of probabilism, and it should be discarded, like phlogiston-talk has been. I want to say that it's <i>good</i> that these positions get argued over; I think we get clearer on what's involved with belief-talk, with it being a necessary part of our mindedness that we have beliefs, by seeing what's wrong with these alternative views. Why, then, would I want to deny that what I take to articulate a necessary form of our mindedness is up for dispute? I don't say this on Quinean grounds (the idea that everything is more or less physics), but on grounds of pure thought: I think dialectical encounters like this, which require that parts of our conceptual scheme be actually called into doubt by some parties to the encounter, are good for us reasoners. They help us to understand ourselves.<br /><br />Historically, I suspect that the very idea of belief-talk in our familiar form got banged out because of Ancient philosophy's dealing with Parmenides: his weird split between the one truth/reality/Being and the "likely story" of the universe that is false (which occupies most of the proem that the goddess tells him) leads to Plato distinguishing various points along the divided line in the <i>Republic</i>, etc. It can be hard to take Parmenides seriously now, since he seems to simply <a href="http://kellydeanjolley.com/2011/08/07/a-bit-of-parmenidean-dialogue/">say bizarre things</a>, but he really was taken incredibly seriously by Plato and Aristotle, both of whom thought that his views were subtle and difficult to properly handle. I think a case can be made that Aristotle's distinctions among the ways in which "being" is said are due to his having to handle Parmenides: and Aristotle's success has passed into our common sense, which is why Parmenides now seems to simply be goofy. Such goofiness is the soil in which common sense is nurtured.<br /><br />(Random aside, since I found it while trying to find that Jolley post: <a href="https://twitter.com/#!/petersagal/status/146752011155673088/photo/1">Yo Yo Ma on the floor of a bathroom, with a wombat.</a>)<br /><br />On another front: I continue to feel the attraction of Isaac Levi's version of decision theory/pragmatism, where all of my beliefs are on a par: I presently expect to revise none of them, ever, and for all of them to endure come what may. This is just what it comes to for me to take seriously that my beliefs are my worldview: this is how I take the world to be, and so I can't take the world to maybe not be this way. If I want to doubt my own view of the world, I can only do this on the basis of my own view of the world: thus I can only put things into question piecemeal, and not all at once, just as Sellars said. Empirical knowledge, on Levi's view, has a sort of unrevisability that is shared with pure knowledge: I have utmost confidence in it, and reject what is incompatible with it just on the grounds that it <i>is</i> incompatible with it. To have a view of the way the world is means also having a view of the way the world can't be, and isn't. All of this knowledge is revisable in the light of "experience" in Dewey's sense, the sense in which a job listing can ask for a typist with three years' experience, but this is just to say that (in some way or other) all parts of it can be put into question. It is still fully compatible with saying that Quine was wrong to think that logic and all the rest of pure thought were revisable because they were only remote parts of physical theory.<br /><br />But, these are external criticisms (though ones I think McDowell should be somewhat sympathetic to). Can I also find internal criticisms to make of McDowell's idea that pure thought is what is unrevisable come what may?<br /><br />I think I can, to some extent. One of the things McDowell implied above is that he wants to think that "beliefs about structures that must be instantiated in intellectually respectable belief systems" are unrevisable. But this idea of "structures that must be instantiated in intellectually respectable belief systems" strikes me as unsteady in the way that the Tractarian doctrine mentioned above is: it suggests that also thinkable are intellectually <i>unrespectable</i> belief systems, belief systems which lack the structures which are our necessary forms of mindedness. McDowell wants to deny that one could have beliefs about the structures which are our necessary form of mindedness such that one is thinking of such a belief system; if he does not, then I do not understand how he could claim that such beliefs are unrevisable. For unless one cannot get these structures wrong, beliefs about them must be revisable, lest we be stuck in eternal error about them. But if we can't get this sort of thing wrong, then I don't know what the contrast is supposed to be between intellectually respectable and intellectually unrespectable belief systems. The distinction can't be between those who do and don't make mistakes (fall for illusions, trust bad testimony), because the sort of structures McDowell is talking about have to be common between those if they are to be structures of our mindedness as such. But then the contrast seems to be: between minds which are minded and minds which are not. But this is no contrast at all. So, I think McDowell actually meant a contrast between minds which make mistakes regarding pure thought and those which don't. Intellectually respectable belief systems are those which are respectable <i>qua</i> intellect: they are not confused about thought as such, even if they are confused about empirical matters in various fashions. But then it looks like pure thought is a realm in which one can make mistakes (in a non-empirical fashion), and so one ought to hold beliefs about pure thought open to revision in the light of "experience" in Dewey's sense: further life and dialogue with others might lead one to see that one had not gotten clear about thinking, even when one thought one had.<br /><br />The rest of section nine is involved in a discussion of transcendental idealism and its mere semblance of securing our beliefs, and some very brief remarks about Wittgenstein's talk of "how we go on". I think McDowell's simply right about Wittgenstein not being a transcendental idealist (at least in his later work), but that part of the essay seems to me tangential. The real issue is how Wittgensteinian "reminders" can do their work without providing the illusion of security that transcendental idealism (or conventionalism, I'd add) can appear to. But this post is already long and tangled, so I'll leave off here, with more closing obscure questions: McDowell, p.159: ""How we go on" is just our mindedness, which is <i>ex hypothesi</i> in constituted harmony with our world; it is not something that constitutes the harmony, as it were from outside." -- Is this harmony always so constituted? Can this <i>hypothesis</i> be false, in particular cases? What is one to say if one appeals to "How we go on" and is asked "But must we do this?" or "But should we do this?" or "Who is this <i>we</i>, Kemosabe?"Daniel Lindquisthttp://www.blogger.com/profile/05443116324301716578noreply@blogger.com44