View source for Language of thought hypothesis

{{Short description|Hypothesis of philosopher Jerry Fodor}}
The '''language of thought hypothesis''' ('''LOTH'''),<ref name="stanford">{{Cite book|title=Stanford Encyclopedia of Philosophy|chapter=The Language of Thought Hypothesis |date=2019 |publisher=Metaphysics Research Lab, Stanford University |chapter-url=http://plato.stanford.edu/entries/language-thought/}}</ref> sometimes known as '''thought ordered mental expression''' ('''TOME'''),<ref>{{Cite journal|title=Language as grist to the mill of cognition.|author=Tillas A.|journal=Cogn Process|volume=16|issue=3|pages=219–243|date=2015-08-16|doi=10.1007/s10339-015-0656-2|pmid=25976728|s2cid=18301424 }}</ref> is a view in [[linguistics]], [[philosophy of mind]] and [[cognitive science]], put forward by American philosopher [[Jerry Fodor]]. It describes the nature of thought as possessing "language-like" or compositional structure (sometimes known as ''mentalese''). On this view, simple [[concept]]s combine in systematic ways (akin to the rules of [[grammar]] in language) to build [[thought]]s. In its most basic form, the theory states that thought, like language, has [[syntax]].

Using empirical evidence drawn from linguistics and cognitive science to describe [[mental representation]] from a philosophical vantage-point, the hypothesis states that thinking takes place in a language of thought (LOT): [[cognition]] and cognitive processes are only 'remotely plausible' when expressed as a system of representations that is "tokened" by a linguistic or [[semantic]] structure and operated upon by means of a [[combinatorial]] syntax.<ref name="stanford" /> Linguistic tokens used in mental language describe elementary concepts which are operated upon by [[logic reasoning|logical rules]] establishing [[causal]] connections to allow for complex thought. Syntax as well as semantics have a causal effect on the properties of this system of mental representations.

These mental representations are not present in the [[Human brain|brain]] in the same way as [[symbol]]s are present on paper; rather, the LOT is supposed to exist at the cognitive level, the level of thoughts and concepts. The LOTH has wide-ranging significance for a number of domains in [[cognitive science]]. It relies on a version of functionalist materialism, which holds that mental representations are actualized and modified by the individual holding the propositional attitude, and it challenges [[eliminative materialism]] and [[connectionism]]. It implies a strongly [[rationalism|rationalist]] model of cognition in which many of the fundamentals of cognition are innate.<ref name="murataydede" /><ref name=":0" /><ref>{{Cite book|title = The Language of Thought|url = https://books.google.com/books?id=XZwGLBYLbg4C|publisher = Harvard University Press|date = 1975-01-01|isbn = 9780674510302|language = en|first = Jerry A.|last = Fodor}}</ref>

== Presentation ==
The hypothesis applies to thoughts that have propositional content, and is not meant to describe everything that goes on in the mind. It appeals to the representational theory of thought to explain what those tokens actually are and how they behave. There must be a mental representation that stands in some unique relationship with the subject of the representation and has specific content. Complex thoughts get their semantic content from the content of the basic thoughts and the relations that they hold to each other. Thoughts can only relate to each other in ways that do not violate the syntax of thought. The syntax by means of which these two sub-parts are combined can be expressed in [[first-order predicate calculus]].

The thought "John is tall" is clearly composed of two sub-parts, the concept of John and the concept of tallness, combined in a manner that may be expressed in first-order predicate calculus as a predicate 'T' ("is tall") that holds of the entity 'j' (John). A fully articulated proposal for what a LOT would have to take into account greater complexities such as [[Quantifier (linguistics)|quantification]] and [[propositional attitudes]] (the various attitudes people can have towards statements; for example I might ''believe'' or ''see'' or merely ''suspect'' that John is tall).

===Precepts===
# There can be no higher cognitive processes without mental representation. The only plausible psychological models represent higher cognitive processes as representational and computational thought needs a representational system as an object upon which to compute. We must therefore attribute a representational system to organisms for cognition and thought to occur.
# There is causal relationship between our intentions and our actions. Because mental states are structured in a way that causes our intentions to manifest themselves by what we do, there is a connection between how we view the world and ourselves and what we do.

== Reception ==

The language of thought hypothesis has been both controversial and groundbreaking. Some philosophers reject the LOTH, arguing that our public language ''is'' our mental language—a person who speaks English ''thinks'' in English. But others contend that complex thought is present even in those who do not possess a public language (e.g. babies, [[aphasia|aphasics]], and even higher-order primates), and therefore some form of mentalese must be innate. {{Citation needed|date=October 2011}}

The notion that mental states are causally efficacious diverges from [[behaviorists]] like [[Gilbert Ryle]], who held that there is no break between mental state and behavior (as cause and effect). Rather, Ryle proposed that people act in some way because they are in a disposition to act in that way, that these causal mental states are representational. An objection to this point comes from [[John Searle]] in the form of [[biological naturalism]], a non-representational theory of mind that accepts the causal efficacy of mental states. Searle divides intentional states into low-level brain activity and high-level mental activity. The lower-level, nonrepresentational neurophysiological processes have causal power in intention and behavior rather than some higher-level mental representation.{{Citation needed|date=October 2011}}

[[Tim Crane]], in his book ''The Mechanical Mind'',<ref name="mechanicalmind">{{cite book|last=Crane|first=Tim|title=The mechanical mind : a philosophical introduction to minds, machines and mental representation|year=2005|publisher=Routledge|location=London|isbn=978-0-415-29031-9|url=http://www.routledge.com/books/details/9780415290319/|edition=2nd, repr.|author-link=Tim Crane|access-date=2013-01-15|archive-date=2015-01-04|archive-url=https://web.archive.org/web/20150104054413/http://www.routledge.com/books/details/9780415290319/|url-status=dead}}</ref> states that, while he agrees with Fodor, his reason is very different. A logical objection challenges LOTH’s explanation of how sentences in natural languages get their meaning. That is the view that “Snow is white” is TRUE if and only if ''P'' is TRUE in the LOT, where ''P'' means the same thing in LOT as “Snow is white” means in the natural language. Any symbol manipulation is in need of some way of deriving what those symbols mean.<ref name="mechanicalmind"/> If the meaning of sentences is explained regarding sentences in the LOT, then the meaning of sentences in LOT must get their meaning from somewhere else. Thus there seems to be an infinite regress of sentences getting their meaning. Sentences in natural languages get their meaning from their users (speakers, writers).<ref name="mechanicalmind"/> Therefore, sentences in mentalese must get their meaning from the way in which they are used by thinkers and so on ''ad infinitum''. This regress is often called the [[homunculus]] regress.<ref name="mechanicalmind"/>

[[Daniel Dennett]] accepts that homunculi may be explained by other homunculi and denies that this would yield an infinite regress of homunculi. Each explanatory homunculus is “stupider” or more basic than the homunculus it explains, but this regress is not infinite but bottoms out at a basic level that is so simple that it does not need interpretation.<ref name="mechanicalmind"/> John Searle points out that it still follows that the bottom-level homunculi are manipulating some sorts of symbols.

LOTH implies that the mind has some [[tacit knowledge]] of the logical [[rules of inference]] and the linguistic rules of [[syntax]] (sentence structure) and [[semantics]] (concept or word meaning).<ref name="mechanicalmind"/> If LOTH cannot show that the mind knows that it is following the particular set of rules in question, then the mind is not computational because it is not governed by computational rules.<ref name="murataydede">{{Cite book|url=http://plato.stanford.edu/entries/language-thought/ |title=The Language of Thought Hypothesis |author=Murat Aydede |date=2004-07-27|publisher=Metaphysics Research Lab, Stanford University }}</ref><ref name="mechanicalmind"/> Also, the apparent incompleteness of this set of rules in explaining behavior is pointed out. Many conscious beings behave in ways that are contrary to the rules of logic. Yet this irrational behavior is not accounted for by any rules, showing that there is at least some behavior that does not act by this set of rules.<ref name="mechanicalmind"/>

Another objection within representational theory of mind has to do with the relationship between propositional attitudes and representation. Dennett points out that a chess program can have the attitude of “wanting to get its queen out early,” without having representation or rule that explicitly states this. A multiplication program on a computer computes in the computer language of 1’s and 0’s, yielding representations that do not correspond with any propositional attitude.<ref name="murataydede"/>

[[Susan Schneider (philosopher)|Susan Schneider]] has recently developed a version of LOT that departs from Fodor's approach in numerous ways. In her book, The Language of Thought: a New Philosophical Direction, Schneider argues that Fodor's pessimism about the success of cognitive science is misguided, and she outlines an approach to LOT that integrates LOT with neuroscience. She also stresses that LOT is not wedded to the extreme view that all concepts are innate. She fashions a new theory of mental symbols, and a related two-tiered theory of concepts, in which a concept's nature is determined by its LOT symbol type and its meaning.<ref name=":0">{{cite book|last=Schneider|first=Susan|title=The Language of Thought: a New Direction|date=2011|publisher=MIT Press|location=Boston: Mass|url=https://www.amazon.com/Language-Thought-New-Philosophical-Direction-ebook/dp/B006QTGAC6/ref=sr_1_5?s=books&ie=UTF8&qid=1399489463&sr=1-5&keywords=susan+schneider}}</ref>

==Connection to connectionism==
[[Connectionism]] is an approach to [[artificial intelligence]] that often accepts a lot of the same theoretical framework that LOTH accepts, namely that mental states are computational and causally efficacious and very often that they are representational. However, connectionism stresses the possibility of thinking machines, most often realized as [[artificial neural networks]], an inter-connectional set of nodes, and describes mental states as able to create memory by modifying the strength of these connections over time. Some popular types of neural networks are interpretations of units, and learning algorithm. "Units" can be interpreted as neurons or groups of neurons. A learning algorithm is such that, over time, a change in connection weight is possible, allowing networks to modify their connections. Connectionist neural networks are able to change over time via their activation.  An activation is a numerical value that represents any aspect of a unit that a neural network has at any time. Activation spreading is the spreading or taking over of other  over time of the activation to all other units connected to the activated unit.

Since connectionist models can change over time, supporters of connectionism claim that it can solve the problems that LOTH brings to classical AI. These problems are those that show that machines with a LOT syntactical framework very often are much better at solving problems and storing data than human minds, yet much worse at things that the human mind is quite adept at such as recognizing facial expressions and objects in photographs and understanding nuanced gestures.<ref name="mechanicalmind"/> Fodor defends LOTH by arguing that a connectionist model is just some realization or implementation of the classical [[computational theory of mind]] and therein necessarily employs a symbol-manipulating LOT.

Fodor and [[Zenon Pylyshyn]] use the notion of [[cognitive architecture]] in their defense. Cognitive architecture is the set of basic functions of an organism with representational input and output. They argue that it is a law of nature that cognitive capacities are productive, systematic and inferentially coherent—they have the ability to produce and understand sentences of a certain structure if they can understand one sentence of that structure.<ref>{{Cite book|url=http://plato.stanford.edu/entries/connectionism/ |title=Connectionism |author=James Garson |date=2010-07-27|publisher=Metaphysics Research Lab, Stanford University }}</ref> A cognitive model must have a cognitive architecture that explains these laws and properties in some way that is compatible with the scientific method. Fodor and Pylyshyn say that cognitive architecture can only explain the property of systematicity by appealing to a system of representations and that connectionism either employs a cognitive architecture of representations or else does not. If it does, then connectionism uses LOT. If it does not then it is empirically false.<ref name="murataydede"/>

Connectionists have responded to Fodor and Pylyshyn by denying that connectionism uses LOT, by denying that cognition is essentially a function that uses representational input and output or denying that systematicity is a law of nature that rests on representation.{{Citation needed|date=October 2011}} Some connectionists have developed implementational connectionist models that can generalize in a symbolic fashion by incorporating variables.<ref>{{Cite journal|last=Chang|first=Franklin|date=2002|title=Symbolically speaking: a connectionist model of sentence production|journal=Cognitive Science|language=en|volume=26|issue=5|pages=609–651|doi=10.1207/s15516709cog2605_3|issn=1551-6709|doi-access=free}}</ref>

== Empirical testing ==
{{Refimprove section|date=August 2011}}
Since LOTH came to be it has been empirically tested.  Not all experiments have confirmed the hypothesis;

*In 1971, Roger Shepard and Jacqueline Metzler tested Pylyshyn's particular hypothesis that all symbols are understood by the mind in virtue of their fundamental mathematical descriptions.<ref>{{cite journal|last1=Shepard|first1=Roger N.|last2=Metzler|first2=Jacqueline|title=Mental Rotation of Three-Dimensional Objects|journal=Science|date=1971-02-19|volume=171|issue=3972|pages=701–703|doi=10.1126/science.171.3972.701|pmid=5540314|bibcode=1971Sci...171..701S |citeseerx=10.1.1.610.4345|s2cid=16357397 }}</ref> Shepard and Metzler's experiment consisted of showing a group of subjects a 2-D line drawing of a 3-D object, and then that same object at some rotation. According to Shepard and Metzler, if Pylyshyn were correct, then the amount of time it took to identify the object as the same object would not depend on the degree of rotation of the object. Their finding that the time taken to recognize the object was proportional to its rotation contradicts this hypothesis.
*There may be a connection between prior knowledge of what relations hold between objects in the world and the time it takes subjects to recognize the same objects. For example, it is more likely that subjects will not recognize a hand that is rotated in such a way that it would be physically impossible for an actual hand.{{Citation needed|date=August 2011}} It has since also been empirically tested and supported that the mind might better manipulate mathematical descriptions in topographical wholes.{{Citation needed|date=August 2011}} These findings have illuminated what the mind is not doing in terms of how it manipulates symbols.{{Citation needed|date=August 2011}}
*Certain deaf adults who neither have capability to learn a spoken language nor have access to a sign language, known as [[Home sign|home signers]], in fact communicate with both others like them and the outside world using gestures and self-created signing. Although they have no experience in language or how it works, they are able to conceptualize more than iconic words but move into the abstract, suggesting that they could understand that before creating a gesture to show it.<ref>Coppola, M., & Brentari, D. (2014). From iconic handshapes to grammatical contrasts: longitudinal evidence from a child homesigner. Frontiers in Psychology, 5, 830. [http://doi.org/10.3389/fpsyg.2014.00830]</ref> Ildefonso, a homesigner who learned a main sign language at twenty-seven years of age, found that although his thinking became easier to communicate, he had lost his ability to communicate with other homesigners as well as recall how his thinking worked without language.<ref>Downey, G. (2010, July 21). Life without language. Retrieved December 19, 2015, from [http://neuroanthropology.net/2010/07/21/life-without-language/]</ref>
*Other studies that have been done to discover what thought processes could be non-lingual include a study done in 1969 by Berlin and Kay which indicated that the color spectrum was perceived the same no matter how many words a language had for different colors, and a study done in 1981 and fixed 1983 which alluded, that counterfactuals are processed at the same rate, ease of conveying through words notwithstanding.<ref>Bloom, P., & Keil, F. (2001, September 1). Thinking Through Language. Retrieved December 19, 2015, from [http://www.yale.edu/minddevlab/papers/bloom.keil.thinking.pdf]
</ref>
* Maurits (2011) describes an experiment to measure the [[word order]] of the language of thought by the relative time needed to recall the verb, agent, and patient of an event. It turned out that the agent was recalled most quickly and the verb least quickly, leading to a conclusion of a [[subject–object–verb]] language of thought (SOVLOT).<ref name="Maurits">Luke Maurits. ''[https://digital.library.adelaide.edu.au/dspace/bitstream/2440/74128/8/02whole.pdf Representation, information theory and basic word order]''. University of Adelaide, 2011-09. Accessed 2018-08-14.</ref> Surprisingly, some languages, e.g., [[Persian language]], have this ordering form, meaning that the brain needs less energy to convert the concepts in this languages into the thought concepts.

==See also==
* {{annotated link|Private language argument}}
* {{annotated link|Universal grammar}}
* {{annotated link|Psycholinguistics}}
* {{annotated link|Psychological nativism}}
* {{annotated link|World view}}

==Notes==
{{reflist}}

==Bibliography==
* Ravenscroft, Ian, ''Philosophy of Mind''.  Oxford University Press, 2005. pp 91.
* Fodor, Jerry A., ''The Language Of Thought''. Crowell Press, 1975. pp 214.
* {{cite journal|title=Chomsky's Revolution in Linguistics |author=John R. Searle |url=http://www.chomsky.info/onchomsky/19720629.htm |journal=New York Review of Books |date=June 29, 1972 |url-status=dead |archive-url=https://web.archive.org/web/20130911081630/http://www.chomsky.info/onchomsky/19720629.htm |archive-date=September 11, 2013 }}

==External links==
{{Wiktionary|mentalese}}
*{{cite SEP |url-id=language-thought |title=The Language of Thought Hypothesis |last=Rescorla |first=Michael}}
*{{cite IEP |url-id=ot-hypo |title=The Language of Thought Hypothesis |last=Katz |first=Matthew}}
*[http://host.uniroma3.it/progetti/kant/field/lot.html Language of Thought] {{Webarchive|url=https://web.archive.org/web/20070615153105/http://host.uniroma3.it/progetti/kant/field/lot.html |date=2007-06-15 }} - By Larry Kaye.
*[https://philpapers.org/rec/SILRTL Revealing The Language Of Thought] - By Brent Silby
*[https://ruccs.rutgers.edu/jerry Jerry Fodor Homepage]
*[https://web.archive.org/web/20190302182756/http://pdfs.semanticscholar.org/a794/f8274c67ac0975506011dfa5c7c12bc69a21.pdf The Language Of Thought Hypothesis: State Of The Art] - By Murat Aydede

{{Philosophy of mind}}

{{DEFAULTSORT:Language Of Thought}}
[[Category:1975 introductions]]
[[Category:Arguments in philosophy of mind]]
[[Category:Cognition]]