This book argues for the need to put into practice a profound and comprehensive intellectual revolution, affecting to a greater or lesser extent all branches of scientific and technological research, scholarship and education. This intellectual revolution differs, however, from the now familiar kind of scientific revolution described by Kuhn. It does not primarily involve a radical change in what we take to be knowledge about some aspect of the world, a change of paradigm. Rather it involves a radical change in (...) the fundamental, overall intellectual aims and methods of inquiry. At present inquiry is devoted to the enhancement of knowledge. This needs to be transformed into a kind of rational inquiry having as its basic aim to enhance personal and social wisdom. This new kind of inquiry gives intellectual priority to the personal and social problems we encounter in our lives as we strive to realize what is desirable and of value – problems of knowledge and technology being intellectually subordinate and secondary. For this new kind of inquiry, it is what we do and what we are that ultimately matters: our knowledge is but an aspect of our life and being. (shrink)

Emphasis in historiography of science is naturally placed on the discoveries and inventions which scientists make and generally less on new methods of doing science, but sometimes the latter can he an important clue to help us understand the former. For example, while we all acknowledge how great the contributions of Maxwell, Boltzmann, Planck, and Einstein were to physics from roughly 1870 to 1920, we often overlook the significance of a methodological phrase which was popular during that same period, namely, (...) what in German was called “Bildtheorie” or in English “picture theory”. But even before we can properly study its significance we have to know what the theory was, but even this presents problems, since the meaning changed. In fact, this paper is an attempt not only to describe the history of that change from Maxwell to Wittgenstein but to study in particular how Boltzmann’s conception of Bildtheorie seems to have been at least partly incorporated into the approach of Ludwig Wittgenstein. (shrink)

in this paper i assess Pierre Duhem’s criticism of crucial experiments, and argue that we have reasons to vindicate their existence. i then analize the experiments carried out by Fizeau and Foucault in 1850, and criticize Duhem’s interpretation of their results. i contend that the results of crucial experiences can be described in terms that are neutral with respect to the competing theories. For that reason an experimental result is relatively stable and open to different interpretations in the light of (...) new theories. i conclude by distinguishing successful crucial experiments from decisive experiments. The former are meant to provide evidence that confirms one theory and disconfirms its rivals, but not necessarily to provide sufficient reasons for accepting or rejecting one of those theories. (shrink)

Although the existence of correspondence between George Boole (1815?1864) and William Stanley Jevons (1835?1882) has been known for a long time and part was even published in 1913, it has never been fully noted; in particular, it is not in the recent edition of Jevons's letters and papers. The texts are transcribed here, with indication of their significance. Jevons proposed certain quite radical changes to Boole's system, which Boole did not accept; nevertheless, they were to become well established.

Hypotheticals, conditionals, and their connecting relation, implication, dramatically changed their meanings during the nineteenth and early part of the twentieth century. Modern logicians ordinarily do not distinguish between the terms hypothetical and conditional. Yet in the late nineteenth century their meanings were quite different, their ties to the implication relation either were unclear, or the implication relation was used exclusively as a logical operator. I will trace the development of implication as an inference operator from these earlier notions into the (...) first third of the twentieth century using as the starting point the ideas primarily of R. Whately and W. Hamilton before discussing the work of the transitional logicians, A. De Morgan and G. Boole on these topics. Then we discuss the relevant views of four prominent but relatively unknown nineteenth century British logicians, W.E. Johnson, J.N. Keynes, E.E.C. Jones, and H. MacColl, as well as those of the more influential logicians, W.S. Jevons and J. Venn, closing with a section on ‘implication as inference’ where we explore some key ideas of B. Russell and sketch the work of D. Hilbert, P. Hertz, and G. Gentzen who together are responsible for the development of the modern ideas related to the subjects of this paper. (shrink)

This paper is concerned with De Morgan’s explanation of the validity of arguments that involve relational notions. It discusses De Morgan’s expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up his new logic are not sound. Nevertheless, the most important scholarly work on De Morgan’s logic, and contrary to that De Morgan’s mistake is not beyond repair. The rules that determine his new logic (...) are in fact monotonie replacement rules. And provided they are restricted in the correct way, these rules are demonstrably sound. (shrink)

In this essay, I discuss some observations by Peirce which suggest he had some idea of the substantive metalogical differences between logics which permit both quantifiers and relations, and those which do not. Peirce thus seems to have had arguments?which even De Morgan and Frege lacked?that show the superior expressiveness of relational logics.

That past patterns may continue in many different ways has long been identified as a problem for accounts of induction. The novelty of Goodman’s ”new riddle of induction” lies in a meta-argument that purports to show that no account of induction can discriminate between incompatible continuations. That meta-argument depends on the perfect symmetry of the definitions of grue/bleen and green/blue, so that any evidence that favors the ordinary continuation must equally favor the grue-ified continuation. I argue that this very dependence (...) on the perfect symmetry defeats the novelty of the new riddle. The symmetry can be obtained in contrived circumstances, such as when we grue-ify our total science. However, in all such cases, we cannot preclude the possibility that the original and grue-ified descriptions are merely notationally variant descriptions of the same physical facts; or if there are facts that separate them, these facts are ineffable, so that no account of induction should be expected to pick between them. In ordinary circumstances, there are facts that distinguish the regular and grue-ified descriptions. Since accounts of induction can and do call upon these facts, Goodman’s meta-argument cannot provide principled grounds for the failure of all accounts of induction. It assures us only of the failure of accounts of induction, such as unaugmented enumerative induction, that cannot exploit these symmetry breaking facts. (shrink)

Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support.

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

The ArgumentMany find it “notoriously difficult to see how societal context can affect in any essential way how someone solves a mathematical problem or makes a measurement.” That may be because it has been a habit of western scientists to assert their numerical schemes were untainted by any hint of anthropomorphism. Nevertheless, that Platonist penchant has always encountered obstacles in practice, primarily because the stability of any applied numerical scheme requires some alien or external warrant.This paper surveys the history of (...) measurement standards, physical dimensions and dimensionless constants as one instance of the quest to purge all anthropomorphic taint first in the metric system, then in the dimensions provided by the atom, then in physical constants intelligible to extraterrestrials, only then to end up back at overt anthropomorphism in the late 20th century. This suggests that the “naturalness” of natural numbers has always been conceptualized in locally contingent cultural terms. (shrink)

In this work, attention is drawn to the abundant use of metaphor and analogy in works of logic. I argue that pervasiveness of figurative language is to be counted among the features that characterize logic and distinguish it from other sciences. This characteristic feature reflects the creativity that is inherent in logic and indeed has been demonstrated to be a necessary part of logic. The goal of this paper, in short, is to provide specific examples of figurative language used in (...) logic that yield insights into the nature of the subject. I encourage the reader to take metaphors seriously, and to accept that they are not mere embellishments but key elements in our understanding of logic. (shrink)

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

Three fundamental claims are defended in this dissertation. First, the influence of Hume's epistemological program and his skepticism with respect to causal knowledge have hindered the development of an adequate theory of scientific explanation. Second, Hume's conception of causal knowledge is outdated, and knowledge of causation should be relieved of the special epistemological burden placed on it by Hume's followers. Finally, once relieved of this Humean epistemological burden, the causal theory of scientific explanation is superior to alternatives lying in the (...) tradition of Humean positivism. ;Humean positivism places severe constraints on theories of scientific explanation, and its influence on extant theories is reviewed. Recent positivist theories of scientific explanation are discussed critically, and are shown to suffer serious difficulties. Particular attention is paid to recent pragmatic theories and to Kitcher's unificationist theory. ;The causal theory of scientific explanation is developed through an examination of theories of causation. Traditional views , recent statistical theories, and Salmon's theory of causation are rejected in favor of Cartwright's thesis that causal laws are best understood as capacity ascriptions. The essential features of scientific explanations are then outlined: most prominent are the ascription of causal capacities and the description of causal interactions. The philosophical benefits of the causal theory are also summarized. ;Common objections to causal theories of explanation are treated. Of central importance is Hume's skeptical argument. Once Hume's conception of causal knowledge is modernized, however, his arguments yield no skepticism particular to the knowledge of causation: causal knowledge is as defensible as are more respectable types of empirical knowledge. Other important objections are also reviewed. ;Finally, historical studies of two well-known explanatory controversies--the Jensen-Lewontin debate concerning the heritability of IQ, and a dispute about the nature of cosmic radiation--are presented. Positivist theories of scientific explanation can account for neither the origin nor the manner of resolution of these controversies. In contrast, the causal theory of explanation is shown to illuminate the controversies successfully. This success offers additional evidence in favor of the causal theory of scientific explanation. (shrink)

In this paper an outline of a metaphysical conception of modern science is presented in which a fundamental distinction is drawn between scientific principles, laws and theories. On this view, ontologicalprinciples, rather than e.g. empirical data, constitute the core of science. The most fundamental of these principles are three in number, being, more particularly (A) the principle of the uniformity of nature, (B) the principle of the perpetuity of substance, and (C) the principle of causality.These three principles set basic constraints (...) on the methodology of both empirical and theoretical science. The uniformity principle is central to the empirical aspect of science, suggesting a methodology consisting in the attempt to discover empiricallaws, while the causality principle is central to the theoretical aspect of science, suggesting the postulation of scientifictheories capable of indicating the causal basis of the laws. And the perpetuity principle functions so as to form a bridge between the theories and the laws. (shrink)

By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the other hand, (...) is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems. (shrink)

According to the fitting-attitude analysis of value , to be valuable is to be a fitting object of a pro-attitude. In earlier publications, setting off from this format of analysis, I proposed a modelling of value relations which makes room for incommensurability in value. In this paper, I first recapitulate the value modelling and then move on to suggest adopting a structurally similar analysis of probability. Indeed, many probability theorists from Poisson onwards did adopt an analysis of this kind. This (...) move allows to formally model probability and probability relations in essentially the same way as value and value relations. One of the advantages of the model is that we get a new account of Keynesian incommensurable probabilities, which goes beyond Keynes in distinguishing between different types of incommensurability. It also becomes possible to draw a clear distinction between incommensurability and vagueness in probability comparisons. (shrink)

The word ``deme'' was coined by the botanists J.S.L. Gilmour and J.W.Gregor in 1939, following the pattern of J.S. Huxley's ``cline''. Its purposewas not only to rationalize the plethora of terms describing chromosomaland genetic variation, but also to reduce hostility between traditionaltaxonomists and researchers on evolution, who sometimes scorned eachother's understanding of species. A multi-layered system of compoundterms based on deme was published by Gilmour and J. Heslop-Harrison in1954 but not widely used. Deme was adopted with a modified meaning byzoologists (...) leading the evolutionary synthesis – Huxley, Simpson, Wright,and Mayr. Connections are shown between Gilmour's ideas around definingthe deme, his role in founding the Systematics Association, and his chapter``Taxonomy and Philosophy'' in the book The New Systematics. Thishistorical episode raises questions about the role of carefully-definedwords in scientific practice. (shrink)

Is rhetoric just a new and trendy way toépater les bourgeois?Unfortunately, I think that the newfound interest of some economists in rhetoric, and particularly Donald McCloskey in his new book and subsequent responses to critics, gives that impression. After economists have worked so hard for the past five decades to learn their sums, differential calculus, real analysis, and topology, it is a fair bet that one could easily hector them about their woeful ignorance of the conjugation of Latin verbs or (...) Aristotle's Six Elements of Tragedy. Moreover, it has certainly become an academic cliché that economists write as gracefully and felicitously as a hundred monkeys chained to broken typewriters. The fact that economists still trot out Keynes's prose in their defense is itself an index of the inarticulate desperation of an inarticulate profession. (shrink)