Comments

Showing posts with label Platonist linguistics. Show all posts
Showing posts with label Platonist linguistics. Show all posts

Wednesday, April 10, 2013

Plato and the SMT


On communicating with others about the SMT post (here) I have come to believe that it can be used to illustrate what I find unfortunate about a Platonist conception of linguistics. So with the sincere desire of afflicting the platonistically comfortable, I would like to outline how the version of the SMT I discussed earlier makes relatively little sense from a Platonist perspective. Moreover, given the demonstrated empirical fecundity of this kind of SMT research, so much the worse for a Platonist conception. In other words, any conception of linguistics that insulates itself from these kinds of considerations is one to be shunned, dumped, dispensed with, thrown onto the garbage heap of very bad ideas. Strong words, eh? Good, that was my intent. Let me elaborate.

The previous post suggested that an excellent way of understanding the SMT is in terms of the degree of transparency holding between linguistic representations and those exploited by the interfaces to do whatever they do.  Pietroski, Lidz, Halberda and Hunter (PLHH) argue that the right linguistic representation for the meaning of most concerns quite a bit more than getting the truth conditions right.  It also includes getting a decent account of how these representations are deployed to “count.” The argument proceeds as follows: They observe that there are many distinct ways of presenting the truth conditions and that some are more congenial to the ANS+visual system than others in in being favored by ANS+visual interface when it evaluates sentences like Most of the dots are blue when presented with various dot arrays. Specifically, they demonstrate that subjects evaluate the truth of such sentences in such scenes by applying the operations and predicates explicitly represented in (1c), not those in the truth functionally equivalent (1a,b). Indeed, they show that representations like (1a,b) are shunned even when they could have been effectively used.[1] 

            (1)       a. OneToOnePlus*: [{x: D (x)}, [x: Y (x)}] iff some some set s, s Ì {X: D
    (x)} and OneToOne [s, {x: Y (x)}]
                        b. |{x: D (x) & Y (x)}| > {x: D (x) & - Y (x)}|
                        c. |{x: D (x) & Y (x)}| > |{ x: D (x)}| - |{x: D(x) & Y (x)}|

What’s this mean? Well, given that these three representations are truth functionally identical they must support all the same inferences.  So looking at standard linguistic data (e.g. what inferences each supports) fails to choose between them. However as they get to these same truth conditions in different ways (i.e. using different predicates and operations) then if you assume that the interfaces use the representations provided by L to do what they do (i.e. the SMT), then not all truth functionally equivalent representations of most need be empirically equal. Why not? Because some (e.g. (1c)) might explain how humans judge visual displays while the others (e.g. (1a,b)) do not. In other words, as the ANS+visual system evaluates sentences like most of the dots are blue by comparing the size of the set of blue dots and the size of the set of all the dots minus the blue dots (i.e. by using the information as depicted in (1c)) this argues for (1c) being the correct representation of the meaning of most.  More interesting still, PLHH show that if we assume that it is a design feature of linguistic representations that they perfectly cater to the needs of the interfaces (viz. the SMT understood in terms of transparency) we can explain why (1c) has some of the properties it does (hint: because the interfaces are capable of doing some things well and not others).[2] 

Now, I really like this argument form. It provides a way of unpacking the SMT in terms of the Transparency Thesis. It is able to generate rich non-trivial hypotheses about linguistic representations that are susceptible to empirical testing (as PLHH demonstrate).  However, and here is the punchline, none of this makes much sense from a Platonist perspective. Why? Because it presupposes that linguistic representations can be investigated by considering how they fit with other features of human cognition. More specifically, it assumes that we can learn something about linguistic structures by investigating how they are used by other human mental organs (here, the ANS+visual system).  Or to put this another way, entailment relations and judgments of truth conditions do not exhaust the evidence relevant to discovering the  properties of linguistic representations. As PLHH demonstrate, how humans verify these truth conditions (i.e. how the products of FL interact with performance-interface systems) is relevant as well. But this only makes sense if these representations are psychologically active, i.e. they don’t live in some disembodied platonic heaven. Put crudely, though competence is not the same as performance, on my view of linguistics (and PLHH’s and Berwick and Weinberg’s and Colin Phillips’ and Poeppel’s and (I believe) Chomsky’s, in fact in all those with a reasonable view of scientific practice) it is possible to learn about the structure of competence grammars (i.e. about how sentences are represented mentally) by looking at how they are put to use.  Some (e.g. the later Katz[3]) seem to have concluded from the fact that this is hard to do and that many peaks at the interface fail to reveal anything interesting that this is in principle impossible.  This is a very counter-productive view to take. And, talking methodology, this is the strongest kind of criticism one can level against a proposed conception. Bluntly, Platonism is a bad position to adopt for it blinkers your investigative options by precluding certain questions from consideration.

I mentioned a while ago (here) that one thing that I don’t like about the Platonic Attitude is that it serves to confine linguistic investigation to its own little empirical ghetto. Roughly “grammaticality” judgments count, entailments ok, ditto, synonymy and paraphrase. However, no psycho evidence please: what kids do in acquiring their grammar, or how people parse sentences or how dot displays are evaluated are not relevant to linguistics proper. This latter kind of data is in principle incapable of probing linguistic representations. Sure, once linguists have done their work, we can ask how their constructs might be used. But, only linguistic evidence is relevant in evaluating linguistic structure, psycho, bio and neuro evidence is in principle besides the point. What the work on most (and the other stuff discussed in the previous post) shows is that this attitude cuts research off from a bevy of interesting questions and investigations. Of course, one can take a cramped view of linguistic research, but, really, why do it?  Why cleave to a view that imposes blinders on research? Why draw metaphysical lines in the sand that hinder investigation?  My conclusion: not only are there no good arguments against the mentalist conception of grammar and the cog-bio conception of linguistics but there are good methodological reasons to reject Platonism in this domain. One cannot stop people from choosing a cramped scientific aesthetic if this is where they are determined to go, but there are good reasons of scientific hygiene to shun this step. Consider yourself duly warned!



[1] Recall, here could have been means that the interface has the power to apply the relevant information in (1a,b) (i.e. they present evidence that in other contexts it does so) and it would be a very good (viz. optimal)  strategy to do so in some of the arrays presented.  So, logically speaking, all three of the alternatives could have been on an equal footing, circumstances choosing between them This, however, turned out to be false, and that is very very interesting.
[2] I confess that I am not sure that I believe that this is a reasonable metaphysical assumption, though it is an excellent methodological principle. Thus, it works well as a directive for exploring the properties of linguistic representations. However, I find it harder to see how the interfaces could cause FL to have the properties it has. Darwin and his buddies could in principle be useful here, were it not for the fact that the time apparently available seems pretty short, hence not leaving much room for natural selection to work its magic. For now, I am putting these sophistications aside. Maybe I’ll post more on this later. Be warned!
[3] In fact, the early Katz (he of Katz and Fodor 1963 (“The structure of semantic theory” in Language)) had the more expansive conception outlined here. Someone who might know (p.c.) speculates that the “failure” to empirically ground the derivational theory of complexity is what led Katz to throw in the towel and retreat to Platonism. Too bad. But unlike some later epigones, at least Katz had it right the first time.