Bentham, a founder of political science based on the calculation of interest, has been misread as a crass materialist. I argue, instead, that Bentham's interest is a specific product of the imagination, and the pleasures and pains of which it is composed are also products of the imagination. On my reading, interests and imaginations are always governed and the role of Bentham's political science is to help govern them more effectively and efficiently. Political science is a mode of what he (...) calls. Various interest-based modes of analysis have been attacked by constructivist critics, but I argue that the arch-theorist of interest himself relies on constructivist modes of analysis. What lessons can we learn from this? We should pay less attention to methodological and foundational conflicts, and pay more attention to the practices of government that social science may or may not indirectly legislate. (shrink)

Jeremy Bentham, philosopher and reformer, is one of the most influential thinkers of the modern age. This introduction to his writings presents a representative selection of texts authoritatively restored by the Bentham Project, University College London. As well as more familiar pieces on utility, law, and politics/policy, highlights include the succinct essay “On Retrenchment” and a never-before-published treatise on sex. The volume is completed by major interpretative essays by Mark Canuel, David Lieberman, Jennifer Pitts, and Philip Schofield. The texts included (...) in the book are: -Sex -An Introduction to the Principles of Morals and Legislation, Preface and Chapters 1–5 -Place and Time -Rationale of Judicial Evidence, Specially Applied to English Practice, Book 1, Chapter 1 -Constitutional Code Rationale, Chapters 1 and 2 -Pannomial Fragments -Panopticon, or, the Inspection-House, Letters 1, 2, and 6 -Of Publicity -Manual of Political Economy, Chapters 1 and 2 -Nonsense Upon Stilts -On Retrenchment. (shrink)

Historically, the scientific method has been said to require proposing a theory, making a prediction of something not already known, testing the prediction, and giving up the theory (or substantially changing it) if it fails the test. A theory that leads to several successful predictions is more likely to be accepted than one that only explains what is already known but not understood. This process is widely treated as the conventional method of achieving scientific progress, and was used throughout the (...) twentieth century as the standard route to discovery and experimentation. But does science really work this way? In Making 20th Century Science, Stephen G. Brush discusses this question, as it relates to the development of science throughout the last century. Answering this question requires both a philosophically and historically scientific approach, and Brush blends the two in order to take a close look at how scientific methodology has developed. Several cases from the history of modern physical and biological science are examined, including Mendeleev's Periodic Law, Kekule's structure for benzene, the light-quantum hypothesis, quantum mechanics, chromosome theory, and natural selection. In general it is found that theories are accepted for a combination of successful predictions and better explanations of old facts. Making 20th Century Science is a large-scale historical look at the implementation of the scientific method, and how scientific theories come to be accepted. (shrink)

The thesis that scientists give greater weight to novel predictions than to explanations of known facts is tested against historical cases in physical science. Several theories were accepted after successful novel predictions but there is little evidence that extra credit was given for novelty. Other theories were rejected despite, or accepted without, making successful novel predictions. No examples were found of theories that were accepted primarily because of successful novel predictions and would not have been accepted if those facts had (...) been previously known. (shrink)

This essay traces the interlinked origins of two concepts found in Charles Darwin's writings: "unconscious selection," and sexual selection as applied to humanity's anatomical race distinctions. Unconscious selection constituted a significant elaboration of Darwin's artificial selection analogy. As originally conceived in his theoretical notebooks, that analogy had focused exclusively on what Darwin later would call "methodical selection," the calculated production of desired changes in domestic breeds. By contrast, unconscious selection produced its results unintentionally and at a much slower pace. Inspiration (...) for this concept likely came from Darwin's early reading of works on both animal breeding and physical ethnology. Texts in these fields described the slow and unplanned divergence of anatomical types, whether animal or human, under the guidance of contrasting ideals of physical perfection. These readings, it is argued, also led Darwin to his theory of sexual selection as applied to race, a theme he discussed mainly in his book The Descent of Man. There Darwin described how the racial version of sexual selection operated on the same principle as unconscious selection. He thereby effectively reunited these kindred concepts. (shrink)

A selective history of the benzene problem is presented, starting with August Kekulé's proposal of a hexagonal structure in 1865 and his hypothesis of 1872 that the carbon–carbon bonds oscillate between single and double. Only those theories are included that were accepted or at least discussed by a significant number of chemists. Special attention is given to predictions, their empirical tests, and the effect of the outcomes of those tests on the reception of the theories. At the end of the (...) period covered by this article, chemists generally accepted the valence bond theory proposed by Linus Pauling; some of them considered this a more sophisticated version of Kekulé's oscillation hypothesis. The sequel describes the replacement of the valence bond theory by the molecular orbital theory in the period ending around 1980. (shrink)

In the first part of the 19th century, geologists explained volcanoes, earthquakes and mountain-formation on the assumption that the earth has a large molten core underneath a very thin solid crust. This assumption was attacked on astronomical grounds by William Hopkins, who argued that the crust must be at least 800 miles thick, and on physical grounds by William Thomson, who showed that the earth as a whole behaves like a solid with high rigidity. Other participants in the debate insisted (...) that there is evidence for a fluid or plastic layer not far below the crust. It was also suggested that the interior of the earth is a supercritical fluid. By the end of the century many geologists had incorporated the doctrine of a completely solid earth into their theories. Acceptance of a relatively small liquid core, indicated by seismological research, was delayed for another two decades. (shrink)

In the second chapter of The descent of man , Charles Darwin interrupted his discussion of the evolutionary origins of language to describe ten ways in which the formation of languages and of biological species were ‘curiously’ similar. I argue that these comparisons served mainly as analogies in which linguistic processes stood for aspects of biological evolution. Darwin used these analogies to recapitulate themes from On the origin of species , including common descent, genealogical classification, the struggle for existence, and (...) natural selection, among others. Skeptical of this interpretation, Gregory Radick sees the naturalistic account of language formation in the Descent comparisons as reinforcing Darwin’s idea that languages and the races of mankind have both undergone progressive development. Yet the details of Darwin’s language–species comparisons, as well as the polemical context in which they appear, show that they were not aimed at so limited a function. Rather, they addressed issues related to species transmutation in general. (shrink)

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...) dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of Kjos-Hanssen, Kjos-Hanssen/Miller/Solomon, and others concerning LR-reducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i. e., 0″ is truth-table computable from B ′, the Turing jump of B. (shrink)

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

The "new family" of disciples was formed by faith and commitment and included those who had traditionally been outsiders. Similarly, Christian ethics can support the bonding in covenant love of nonbiological families brought together by sometimes painful circumstances that can be redeemed by their actions. While the Christian tradition is supportive of the idea that birth parents should rear their children, it also relativizes the biological family by adding meaning to adoption. This is a creative tension.

Summary In The Origin of Species, Charles Darwin famously accounted for the lack of fossil evidence in support of species evolution on the grounds that the fossil record is naturally incomplete. This essay examines a similar argument that Darwin applied to his analogy between natural and artificial selection: the scarcity of data about the historical backgrounds of domestic breeds was the natural by-product of an extremely gradual change process. The point was to enhance the ability of the artificial selection analogy (...) to suggest that nature's species had undergone a similar transformation. Darwin did not depend on this negative inference alone, however, for in his writings he included whatever information he could find about the actual histories of particular breeds. A comparison with Darwin's treatment of the fossil record suggests the reasonableness of this combined use of opposite kinds of evidence to establish a single point. The comparison also suggests the unique qualities of negative inference as applied to the breeding analogy. (shrink)

This paper examines Charles Darwin’s idea that language-use and humanity’s unique cognitive abilities reinforced each other’s evolutionary emergence—an idea Darwin sketched in his early notebooks, set forth in his Descent of man , and qualified in Descent’s second edition. Darwin understood this coevolution process in essentially Lockean terms, based on John Locke’s hints about the way language shapes thinking itself. Ironically, the linguist Friedrich Max Müller attacked Darwin’s human descent theory by invoking a similar thesis, the German romantic notion of (...) an identity between language and thought. Although Darwin avoided outright contradiction, when he came to defend himself against Müller’s attacks, he undercut some of his own argumentation in favor of the coevolution idea. That is, he found it difficult to counter Müller’s argument while also making a case for coevolution. Darwin’s efforts in this area were further complicated by British and American writers who held a naturalistic view of speech origins yet still taught that language had been invented by fully evolved homo sapiens, thus denying coevolution. (shrink)

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

This paper examines the way Charles Darwin applied his domestic breeding analogy to the practical workings of species evolution: that application, it is argued, centered on Darwin's distinction between methodical and unconscious selection. Methodical selection, which entailed pairing particular individuals for mating purposes, represented conditions of strict geographic isolation, obviously useful for species multiplication (speciation). By contrast, unconscious selection represented an open landmass with a large breeding population. Yet Darwin held that this latter scenario, which often would include multiple ecological (...) subdistricts and thus partial isolation, was better suited for speciation than were isolated conditions. At the same time, many passages in Darwin's writings that apparently portrayed phyletic evolution exclusively (these including references to unconscious selection), actually applied to speciation as well, for phyletic change in a single district could constitute a local manifestation of a larger common-descent pattern. This generic use of "phyletic" change was reflected in Darwin's deployment of the unconscious selection analogy in his published writings as well as in his dispute with Moritz Wagner over the necessity of geographic isolation for speciation. We can thus understand Darwin's otherwise puzzling declaration in The Origin of Species that unconscious selection was 'more important' than the methodical approach. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

The history of science has often been presented as a story of the achievements of geniuses: Galileo, Newton, Maxwell, Darwin, Einstein. Recently it has become popular to enrich this story by discussing the social contexts and motivations that may have influenced the work of the genius and its acceptance; or to replace it by accounts of the doings of scientists who have no claim to genius or to discoveries of universal importance but may be typical members of the scientific community (...) at a particular time and place. In this article I consider a different type of story, which further research might reveal to be more common than we now suspect: progress stimulated by gadflies – outspoken critics who challenge the ideas of geniuses, forcing them to revise and improve those ideas, resulting in new knowledge for which the genius gets the credit while the gadfly is forgotten. (shrink)

Are theories judged on the basis of empirical tests of their predictions, as proposed by Karl Popper and others, or are new theories adopted by younger scientists while old theories fade away when their advocates die, as Max Planck suggested? A famous historical episode, the rejection of steady state cosmology and the revival of the big bang cosmology following the 1965 discovery of the cosmic microwave background radiation, is examined to determine whether the scientific community followed Popper’s or Planck’s principle. (...) It is found that by 1975 almost all supporters of the steady state had either switched to the big bang or stopped publishing on cosmology. This case therefore seems to exemplify Popper’s principle, although it should be noted that two of the founders of steady state cosmology had strongly proclaimed their adherence to that principle. The case does not support the Popperian claim that successful novel predictions provide better evidence for a theory than deductions of known facts. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)