Scientific discovery is often regarded as romantic and creative - and hence unanalyzable - whereas the everyday process of verifying discoveries is sober and more suited to analysis. Yet this fascinating exploration of how scientific work proceeds argues that however sudden the moment of discovery may seem, the discovery process can be described and modeled. Using the methods and concepts of contemporary information-processing psychology (or cognitive science) the authors develop a series of artificial-intelligence programs that can simulate the human thought (...) processes used to discover scientific laws. The programs - BACON, DALTON, GLAUBER, and STAHL - are all largely data-driven, that is, when presented with series of chemical or physical measurements they search for uniformities and linking elements, generating and checking hypotheses and creating new concepts as they go along. "Scientific Discovery examines the nature of scientific research and reviews the arguments for and against a normative theory of discovery; describes the evolution of the BACON programs, which discover quantitative empirical laws and invent new concepts; presents programs that discover laws in qualitative and quantitative data; and ties the results together, suggesting how a combined and extended program might find research problems, invent new instruments, and invent appropriate problem representations. Numerous prominent historical examples of discoveries from physics and chemistry are used as tests for the programs and anchor the discussion concretely in the history of science. Pat Langley is an Associate Professor in the Department of Information and Computer Science at the University of California, Irvine.Herbert Simon is a Professor in the Departments of Psychology, Computer Science, and Philosophy at Carnegie-Mellon University. Gary L. Bradshaw is an Assistant Professor in the Department of Psychology and Institute of Cognitive Science at the University of Colorado, Boulder. Jan M. Zytkow is an Associate Professor in the Computer Science Department at Wichita State University. (shrink)

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (shrink)

Kant declared that philosophy began in 1781 with his Critique of Pure Reason. In 1806 Hegel announced that it had been completed. Förster assesses the steps that led from Kant’s “beginning” to Hegel’s “end” and concludes that both Kant and Hegel were indeed right. His study reveals Goethe’s significant contribution to post-Kantian thinking.

In Hegel's Idea of a Phenomenology of Spirit, Michael N. Forster advances an original reading of the work.

Forster demonstrates that Hegel did not in fact ignore epistemology, but on the contrary he fought a tireless and subtle campaign to defeat the threat of skepticism. Forster's work should dispel once and for all the view that Hegel was naive or careless in epistemological matters. Along the way, Forster makes much that has hither to remained obscure in Hegel's texts intelligible for the first time.

In the course of developing these historical points, this book also shows that Herder and his tradition are in many ways superior to dominant trends in more ...

What is the nature of a conceptual scheme? Are there alternative conceptual schemes? If so, are some more justifiable or correct than others? The later Wittgenstein already addresses these fundamental philosophical questions under the general rubric of "grammar" and the question of its "arbitrariness"--and does so with great subtlety. This book explores Wittgenstein's views on these questions. Part I interprets his conception of grammar as a generalized version of Kant's transcendental idealist solution to a puzzle about necessity. It also seeks (...) to reconcile Wittgenstein's seemingly inconsistent answers to the question of whether or not grammar is arbitrary by showing that he believed grammar to be arbitrary in one sense and non-arbitrary in another. Part II focuses on an especially central and contested feature of Wittgenstein's account: a thesis of the diversity of grammars. The author discusses this thesis in connection with the nature of formal logic, the limits of language, and the conditions of semantic understanding or access. Strongly argued and cleary written, this book will appeal not only to philosophers but also to students of the human sciences, for whom Wittgenstein's work holds great relevance. (shrink)

We create a database of company codes of ethics from firms listed on the Standard & Poor's 500 Index and, separately, a sample of small firms. The SEC believes that "ethics codes do, and should, vary from company to company." Using textual analysis techniques, we measure the extent of commonality across the documents. We find substantial levels of common sentences used by the firms, including a few cases where the codes of ethics are essentially identical. We consider these results in (...) the context of legal statements versus value statements. While legal writing often mandates duplication, we argue that value-based statements should be held to a higher standard of originality. Our evidence is consistent with isomorphic pressures on smaller firms to conform. (shrink)

William Whewell’s philosophy of scientific discovery is applied to the problem of understanding the nature of unification and explanation by the composition of causes in Newtonian mechanics. The essay attempts to demonstrate: the sense in which ”approximate’ laws successfully refer to real physical systems rather than to idealizations of them; why good theoretical constructs are not badly underdetermined by observation; and why, in particular, Newtonian forces are not conventional and how empiricist arguments against the existence of component causes, and against (...) the veracity of the fundamental laws, are flawed. (shrink)

This book puts forward a much-needed reappraisal of Immanuel Kant's conception of and response to skepticism, as set forth principally in the Critique of Pure Reason. It is widely recognized that Kant's theoretical philosophy aims to answer skepticism and reform metaphysics--Michael Forster makes the controversial argument that those aims are closely linked. He distinguishes among three types of skepticism: "veil of perception" skepticism, which concerns the external world; Humean skepticism, which concerns the existence of a priori concepts and synthetic a (...) priori knowledge; and Pyrrhonian skepticism, which concerns the equal balance of opposing arguments. Forster overturns conventional views by showing how the first of these types was of little importance for Kant, but how the second and third held very special importance for him, namely because of their bearing on the fate of metaphysics. He argues that Kant undertook his reform of metaphysics primarily in order to render it defensible against these types of skepticism. Finally, in a critical appraisal of Kant's project, Forster argues that, despite its strengths, it ultimately fails, for reasons that carry interesting broader philosophical lessons. These reasons include inadequate self-reflection and an underestimation of the resources of Pyrrhonian skepticism. (shrink)

The false attribution of autonomy and related concepts to artificial agents that lack the attributed levels of the respective characteristic is problematic in many ways. In this article, we contrast this view with a positive viewpoint that emphasizes the potential role of such false attributions in the context of robotic language acquisition. By adding emotional displays and congruent body behaviors to a child-like humanoid robot’s behavioral repertoire, we were able to bring naïve human tutors to engage in so called intent (...) interpretations. In developmental psychology, intent interpretations can be hypothesized to play a central role in the acquisition of emotion, volition, and similar autonomy-related words. The aforementioned experiments originally targeted the acquisition of linguistic negation. However, participants produced other affect- and motivation-related words with high frequencies too and, as a consequence, these entered the robot’s active vocabulary. We will analyze participants’ non-negative emotional and volitional speech and contrast it with participants’ speech in a non-affective baseline scenario. Implications of these findings for robotic language acquisition in particular and artificial intelligence and robotics more generally will also be discussed. (shrink)

Ramsey, Stick and Garon (1991) argue that if the correct theory of mind is some parallel distributed processing theory, then folk psychology must be false. Their idea is that if the nodes and connections that encode one representation are causally active then all representations encoded by the same set of nodes and connections are also causally active. We present a clear, and concrete, counterexample to RSG's argument. In conclusion, we suggest that folk psychology and connectionism are best understood as complementary (...) theories. Each has different limitations, yet each will co-evolve with the other in an overlapping domain of 'normal' psychology. (shrink)

The relativist strain in Rorty’s work should be distinguished from the Davidsonian strain. The latter may be exploited in support of Rorty’s critique of philosophy but it is at odds with his use of “solidarity” and “ethnocentrism”as explanatory concepts. Once this is recognized, there remains in Rorty’s work a consistent challenge to the search for general philosophical theories of truth, objectivity, and rationality (of which relativism itself is an example). On this reading, however, Rorty’s pragmatism is not a theory that (...) offers answers to questions about the authority of beliefs and practices but rather a critical tool used to open detailed, concrete, and critical investigation into particular questions about the establishment and viability of the beliefs and practices we have. (shrink)

(2008). Neither Dogma nor Common sense: Moore's confidence in his ‘proof of an external world’1. British Journal for the History of Philosophy: Vol. 16, No. 1, pp. 163-195.

This book not only sets the historical record straight but also champions the Herderian tradition for its philosophical depth and breadth.

Recent solutions to the curve-fitting problem, described in Forster and Sober ([1995]), trade off the simplicity and fit of hypotheses by defining simplicity as the paucity of adjustable parameters. Scott De Vito ([1997]) charges that these solutions are 'conventional' because he thinks that the number of adjustable parameters may change when the hypotheses are described differently. This he believes is exactly what is illustrated in Goodman's new riddle of induction, otherwise known as the grue problem. However, the 'number of adjustable (...) parameters' is actually a loose way of referring to a quantity that is not language dependent. The quantity arises out of Akaike's theorem in a way that ensures its language invariance. (shrink)

The phrase ‘The iterative conception of sets’ conjures up a picture of a particular settheoretic universe – the cumulative hierarchy – and the constant conjunction of phrasewith-picture is so reliable that people tend to think that the cumulative hierarchy is all there is to the iterative conception of sets: if you conceive sets iteratively, then the result is the cumulative hierarchy. In this paper, I shall be arguing that this is a mistake: the iterative conception of set is a good (...) one, for all the usual reasons. However, the cumulative hierarchy is merely one way among many of working out this conception, and arguments in favour of an iterative conception have been mistaken for arguments in favour of this one special instance of it. (This may be the point to get out of the way the observation that although philosophers of mathematics write of the iterative conception of set, what they really mean – in the terminology of modern computer science at least – is the recursive conception of sets. Nevertheless, having got that quibble off my chest, I shall continue to write of the iterative conception like everyone else.). (shrink)

It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the T-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-permutation-models of assertions which have perfectly sensible ZF-style meanings, such as: the existence of wellfounded sets of great size or rank, or the nonexistence of small counterexamples to the wellfoundedness of ∈. Everything here holds also for NFU if the permutations are taken to fix all urelemente.

Universities must transmit technically exploitable knowledge. That is, they must meet an industrial society's need for qualified new generations and at the same time be concerned with the expanded reproduction of education itself. In addition, universities must not only transmit technically exploitable knowledge, but also produce it. This includes both information flowing from research into the channels of industrial utilization, armament, and social welfare, and advisory knowledge that enters into strategies of administration, government, and other decision-making powers, such as private (...) enterprises. Thus, through instruction and research the university is immediately connected with functions of the economic process. (shrink)

This volume brings together about 50 scientists and researchers from the four corners of the world to redefine and anticipate tomorrow's values, and reflect on ...

Sober (1984) has considered the problem of determining the evidential support, in terms of likelihood, for a hypothesis that is incomplete in the sense of not providing a unique probability function over the event space in its domain. Causal hypotheses are typically like this because they do not specify the probability of their initial conditions. Sober's (1984) solution to this problem does not work, as will be shown by examining his own biological examples of common cause explanation. The proposed solution (...) will lead to the conclusion, contra Sober, that common cause hypotheses explain statistical correlations and not matchings between event tokens. (shrink)

We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.

The simple question, what is empirical success? turns out to have a surprisingly complicated answer. We need to distinguish between meritorious fit and ‘fudged fit', which is akin to the distinction between prediction and accommodation. The final proposal is that empirical success emerges in a theory dependent way from the agreement of independent measurements of theoretically postulated quantities. Implications for realism and Bayesianism are discussed. ‡This paper was written when I was a visiting fellow at the Center for Philosophy of (...) Science at the University of Pittsburgh; I thank everyone for their support. †To contact the author, please write to: Department of Philosophy, University of Wisconsin–Madison, 5185 Helen C. White Hall, 600 North Park Street, Madison, WI 53706; e-mail: mforster@wisc.edu. (shrink)

The theory of fast and frugal heuristics, developed in a new book called Simple Heuristics that make Us Smart (Gigerenzer, Todd, and the ABC Research Group, in press), includes two requirements for rational decision making. One is that decision rules are bounded in their rationality –- that rules are frugal in what they take into account, and therefore fast in their operation. The second is that the rules are ecologically adapted to the environment, which means that they `fit to reality.' (...) The main purpose of this article is to apply these ideas to learning rules–-methods for constructing, selecting, or evaluating competing hypotheses in science, and to the methodology of machine learning, of which connectionist learning is a special case. The bad news is that ecological validity is particularly difficult to implement and difficult to understand. The good news is that it builds an important bridge from normative psychology and machine learning to recent work in the philosophy of science, which considers predictive accuracy to be a primary goal of science. (shrink)