Hilary Putnam

Record year1975

summaryThe Twin Earth thought experiment uses natural kinds such as “water” to argue that at least some mental content and meaning depend on an individual's external environment. The SEP identifies Putnam's 1975 work as a standard source of externalism, while retaining independent paths by Burge and others, as well as subsequent debates.

M rationaleThe SEP explicitly identifies Putnam 1975/Twin Earth as one of the most common sources of content externalism and defines the environmental-dependence claim, centered at M6.0.

attribution rationalePutnam 0.41; prehistory of semantics, natural kinds, and philosophy of science 0.31; peer editors 0.08; institutions 0.04; unresolved 0.16.

overlap boundaryPutnam's 1973 to 1975 extension of causal reference for natural kinds/theoretical terms and the Twin Earth argument for environmental dependence; machine functionalism, Burge's independent externalism, and later results in linguistics and cognitive science are excluded.

Evidence gapsThe Meaning of Meaning and related papers need to be read directly to distinguish the specific budget for causal reference, the division of linguistic labor, and content externalism.

Record year1960–1988 (proposal and later self-criticism)

summaryMachine functionalism understands mental states as a framework of states describable by their functional roles. It rests on earlier discussions of computation, behaviorism, and mind–body identity theory; Putnam later criticized this position, so it is not treated as an unchanging or established scientific conclusion.

M rationaleHarvard materials explicitly list functionalism as a major area of Putnam's work, and the existing intake has limited it to distinguishing behaviorism and simple mind–brain type identity theory through functional states, centered at M5.8; its value comes from a clear reusable framework, not from whether all of its claims were later accepted.

attribution rationalePutnam 0.42; prehistory of computation and philosophy of mind 0.28; peer editors 0.10; institutions 0.05; unresolved 0.15.

overlap boundaryPutnam's machine functionalism around 1960 to 1970: mental states are defined by a system's functional organization rather than behavioral dispositions or a single brain-state type; later cognitive-science models, experiments, other functionalists, and Putnam's later reflections are excluded.

Evidence gapsThe primary texts need to distinguish machine functionalism, multiple realizability, and Putnam's later criticism, to avoid attributing the whole theory of computational mind to one individual.

Record year1960

summaryIn 1960 Davis and Putnam coauthored A Computing Procedure for Quantification Theory, proposing a unified proof procedure for quantification theory and a propositional-elimination component. It is an important predecessor of later automated theorem proving and the Davis–Putnam/DPLL lineage, but does not include DPLL's subsequent improvements, modern SAT solvers, hardware implementations, or DPR results in number theory.

M rationaleThe first page and overview of the 1960 original paper explicitly establish the procedure's termination guarantee, scope, and computational improvement over existing procedures, supporting an independent algorithmic final state at M5.6; its problem, inputs, and downstream outputs all differ from the DPR number-theoretic representation-theorem problem.

attribution rationalePutnam 0.40; Davis 0.44; prehistory of logic and computation 0.10; publishing institution 0.02; unresolved 0.04.

overlap boundaryThe unified quantification-theory proof procedure and its propositional-elimination component proposed in the 1960 A Computing Procedure for Quantification Theory; the Davis–Putnam–Logemann–Loveland successor procedure, modern SAT solvers, hardware implementations, and the DPR Diophantine theorem are excluded.

Evidence gapsThe algorithmic steps, the Davis/Putnam division of labor, and the exact boundary with later DPLL modifications need complete section-by-section verification.

Record year1970s–2000s

summaryA continuing revision of model-theoretic arguments and realism, involving scientific realism, internal realism, pragmatic realism, and later common-sense/naive realism. It is a set of philosophical arguments undergoing self-revision, rather than a separate intellectual achievement for each change of position, and it does not establish any one of those views as true.

M rationaleSEP sets out the specific structure and anti-realist aim of the model-theoretic arguments, while Harvard materials confirm multiple turns in realism; M5.5 is used. A single M covers the arguments and their self-revision, rather than being duplicated for each position.

attribution rationalePutnam 0.43; logical and philosophical prehistory 0.28; critical editors 0.10; institutions 0.04; unresolved 0.15.

overlap boundaryA continuing family of questions from scientific realism and model-theoretic arguments against metaphysical realism through internal, pragmatic, and common-sense realism; individual changes of position, single papers, and philosophy of science in general do not receive separate M values.

Evidence gapsRequires close reading of Models and Reality, texts on internal realism, and later revision texts to distinguish propositions abandoned from questions that persisted.

Record year1961

summaryDavis, Putnam, and Robinson obtained a key result on exponential Diophantine equations, forming part of the path to the later solution of Hilbert's tenth problem. This item does not include the step later completed by Matiyasevich, all proof work, or computability theory as a whole.

M rationaleSEP identifies the three-person collaboration's first important result in this direction and its exponential-Diophantine scope; M5.7 is used. M counts only the key partial theorem, rather than feeding the entire later solution back to the three researchers.

attribution rationalePutnam 0.23; Davis 0.23; Robinson 0.23; mathematical and computability prehistory 0.19; publication team 0.05; unresolved 0.07.

overlap boundaryCounts only the key exponential-Diophantine representation result proved by Davis, Putnam, and Robinson before Matiyasevich's final completion; the complete negative solution to Hilbert's tenth problem, Matiyasevich's subsequent bridging work, and general undecidability theory are excluded.

Evidence gapsRequires the original papers and technical history to distinguish Davis's, Putnam's, and Robinson's proofs and prior results.

Record year1968

summaryPutnam and George Boolos coauthored 1968 work on degrees of unsolvability for constructible sets of integers. It is a collaborative result at the intersection of constructibility and recursion theory; it does not subsume the general von Neumann cumulative hierarchy, Boolos's later iterative conception of set, or all fine-structure theory.

M rationaleJournal of Symbolic Logic metadata and abstract establish the title, coauthor, 1968 volume and pages, and the Post–Kleene problem of degrees of unsolvability, correcting the previously overbroad description of a 'cumulative hierarchy'; M4.9 is used.

attribution rationalePutnam 0.36; Boolos 0.42; set-theoretic prehistory 0.16; institutions 0.03; unresolved 0.03.

overlap boundaryCounts only constructible sets of integers and degrees of recursive unsolvability discussed in Boolos and Putnam's 1968 coauthored Degrees of unsolvability of constructible sets of integers; the general von Neumann cumulative hierarchy, Boolos's later iterative conception of set, and Putnam's other work in model theory are excluded.

Evidence gapsRequires the complete original paper to verify the principal theorem, division of authorial labor, and its relation to Boolos's dissertation and Putnam's 1963 article.