Hilary Whitehall Putnam (born July 31, 1926) is a key figure in the philosophy of mind and many other areas of philosophy during the 20th century. After receiving his AB (undergraduate degree) from the University of Pennsylvania and PhD from UCLA (under Hans Reichenbach), he taught at Northwestern, Princeton, MIT, and Harvard, where he is now Cogan University Professor emeritus. While an undergraduate at the University of Pennsylvania, Putnam was a member of the Philomathean Society, the oldest US literary society.
Putnam has earned a reputation for changing his mind frequently during the course of his career, and he has written on so many diverse topics that it is often difficult to sort out his views. Some regard this as cause for ridicule; others admire his courage in admitting his mistakes and submitting his own views to intense criticism.
Putnam also formulated a complementary argument based on what he called functional isomorphism. He defined the concept in these terms: "Two systems are functionally isomorphic if there is a correspondence between the states of one and the states of the other that preserves functional relations." So, in the case of computers, two machines are functionally isomorphic if and only if the sequential relations among states in the first are exactly mirrored by the sequential relations among states in the other. Therefore, a computer made out of silicon chips and a computer made out of cogs and wheels can be functionally isomorphic but constitutionally diverse. Functional isomorphism implies multiple realizability. This is sometimes referred to as an "a priori argument".
Jerry Fodor, Putnam, and others immediately noted that, along with being a very effective argument against type-identity theories, multiple realizability implied that any low-level explanation of higher-level mental phenomena would be insufficiently abstract and general. Functionalism, which attempts to identify mental kinds with functional kinds that are characterized exclusively in terms of causes and effects, abstracts from the physico-chemical level of microphysics and hence seemed to be a more suitable alternative explanation of the relation between mind and body. In fact, there are many functional kinds, such as mousetraps, software and bookshelves, which are multiply realized at the physical level.
In non-technical terms, a Turing machine can be visualized as an infinitely long tape divided into squares (the memory) with a box-shaped scanning device that sits over and scans one square of the memory at a time. Each square is either blank (B) or has a 1 written on it. These are the inputs to the machine. The possible outputs are:
An extremely simple example of a Turing machine which writes out the sequence '111' after scanning three blank squares and then stops is specified by the following machine table:
| State One | State Two | State Three | |
| B | write 1; stay in state 1 | write 1; stay in state 2 | write 1; stay in state 3 |
| 1 | go right; go to state 2 | go right; go to state 3 | * |
This table states that if the machine is in state one and scans a blank square (B), it will print a 1 and remain in state one. If it is in state one and reads a 1, it will move one square to the right and also go into state two. If it is in state two and reads a B, it will print a 1 and stay in state two. If it's in state two and reads a 1, it will move one square to the right and go into state three. Finally, if it is in state three and reads a B, it prints a 1 and remains in state three.
The essential point to consider here is the nature of the states of the Turing machine. Each state can be defined exclusively in terms of its relations to the other states as well as inputs and outputs. State one, for example, is simply the state in which the machine, if it reads a B, writes a 1 and stays in that state, and in which, if it reads a 1, it moves one square to the right and goes into a different state. This is the functional definition of state one; it is its causal role in the overall system. The details of how it accomplishes what it accomplishes and of its material constitution are completely irrelevant.
According to machine-state functionalism, the nature of a mental state is just like the nature of the automaton states described above. Just as state one simply is the state in which, given an input B, such and such happens, so being in pain is the state which disposes one to cry "ouch", become distracted, wonder what the cause is, and so forth.
He also developed a separate argument in 1988, based on Fodor's generalized version of multiple realizability, against functionalism. Noting that functionalism is essentially a watered-down reductionist or identity theory in which mental kinds are ultimately identified with functional kinds, Putnam argued that mental kinds were probably multiply realizable over functional kinds. The same mental state or property could be implemented or realized by different states of a universal Turing machine.
In particular, Putnam maintains in The Meaning of "Meaning" that the objects referred to by natural kind terms (such as tiger, water, tree, and so on) are the principle elements of the meaning of such terms. There is a linguistic division of labor (analogous to Adam Smith's economic division of labor) according to which such terms have their references fixed by the "experts" in the particular field of science to which the terms belongs. So, for example, the reference of the term lion is fixed by the community of zoologists, the reference of the term elm tree is fixed by the community of botanists, the reference of the term table salt is fixed as NaCl by chemists, and so on. These referents are considered rigid designators in the Kripkean sense and are then disseminated outward to the linguistic community at large.
Putnam then specifies "a normal form (or, rather, a type of normal form) for the description of the meaning" of every term in the language. Such a "normal form" consists in a finite sequence - or vector - whose components are:
Such a normal form offers a description of the reference and use of an expression within a particular linguistic community, providing explicit conditions for its correct usage and making it possible to judge whether a single speaker attributes to the expression E the appropriate meaning, or whether the use of E has undergone a transformation within the community significant enough to determine a semantic change. It is legitimate, according to Putnam, to speak of a change in meaning of an expression only if the reference of the term has changed and not its stereotype. But since there is no possible algorithm which can determine which aspect, the stereotype or the reference, has changed in a particular instance, it is necessary to consider the usage of other expressions of the language. Since there is no limit, in principle, to the number of such expressions which must be considered, Putnam embraces a form of semantic holism.
The justification for the first premise is obviously the most controversial. Both Putnam and Quine invoke naturalism to justify the elimination of all non-scientific or supernatural entities, and hence to defend the only part of all and only in the first premise. The assertion that all entities quantified over in scientific theories, including numbers, should be accepted as real is justified through the invocation of confirmation holism. Since theories are not confirmed in an atomistic and piecemeal fashion but as a whole, there seems be no logical justification for excluding any of the entities postulated by well-confirmed theories. This puts the nominalist who wishes to exclude the existence of sets and non-Euclidean geometry but include the existence of quarks and other postulated but undetectable entities of physics, for example, in a very difficult position.
Putnam also held the view that in mathematics, as in physics and other empirical sciences, we don't use only strict logical proofs, but rather, while not doing this explicitly, we use "quasi-empirical" methods. That is, methods like verifying by many calculations that for no integer n > 2 do there exist positive integer values of x, y, and z such that xn + yn = zn (Fermat's last theorem proved in 1993 by Andrew Wiles). Even if we treat such knowledge as more conjectural than a strictly proven theorem, we still make use of it in developing mathematical ideas that are based on it.
As a mathematician, Putnam has also contributed to the resolution of Hilbert's tenth problem in mathematics.
Internal realism is essentially the view that, though the world is indeed causally independent of the human mind, the structure of the world - its division into kinds, individuals and categories, - is a function of the human mind, and hence the world is not ontologically independent. The general idea is substantially influenced by Kant's idea of the dependence of our knowledge of the world on the categories of thought.
The problem with metaphysical realism, according to Putnam, is that it fails to explain the possibility of reference and truth. According to the metaphysical realist, our concepts and categories refer because they match up in some mysterious manner with the pre-structured categories, kinds and individuals that are inherent in the external world. But how is it possible that the world "carves up" into certain structures and categories, the mind carves up the world into its own categories and structures, and the two "carvings" perfectly coincide? The answer must be that the world does not come pre-structured but that structure must be imposed on it by the human mind and its conceptual schemes.
1926 births | Living people | 20th century philosophers | American philosophers | Analytic philosophers | Pragmatists | University of Pennsylvania alumni | Philosophers of mind
Hilary Putnam | Hilary Putnam | Hilary Putnam | Hilary Putnam | Hilary Putnam | Hilary Putnam | Hilary Putnam | Hilary Putnam | Hilary Putnam
This article is licensed under the GNU Free Documentation License.
It uses material from the
"Hilary Putnam".
Home Page • arts • business • computers • games • health • hospitals • home • kids & teens • news • physicians • recreation• reference • regional • science • shopping • society • sports • world