Non-empirical principles have always been a subject of interest of philoso-phers. Authors from different times and traditions agree that principles such as analogy or simplicity are present in the scientific practice. The disagreement comes out when these authors affirm that these principles have an epistemic function, and when they try to present reasons in order to found this state-ment. The first goal of this paper is to describe these principles and to point out their methodological importance. The second goal is (...) to introduce the discussion between the two most important models of philosophical fundamentation – it means, the logicism and the psychologism. The last goal – the main one – is to defend that the non-empirical principals have, legitimately, an epistemic role in the scientific investigation. (shrink)

This paper examines whether Sherlock Holmes’ “Science of Deduction and Analysis,” as reconstructed by Hintikka and Hintikka The sign of three: Peirce, Dupin, Holmes, Indiana University Press, Bloomington, 1983), exemplifies a logic of discovery. While the Hintikkas claimed it does, their approach remained largely programmatic, and ultimately unsuccessful. Their reconstruction must thus be expanded, in particular to account for the role of memory in inquiry. Pending this expansion, the Hintikkas’ claim is vindicated. However, a tension between the naturalistic aspirations of (...) their model and the formal apparatus they built it on is identified. The paper concludes on suggestions for easing this tension without losing the normative component of the Hintikkas’ epistemological model. (shrink)

Essential to Peirce's distinction among three kinds of reasoning, deduction, induction and abduction, is the claim that each is correlated to a unique species of validity irreducible to that of the others. In particular, abductive validity cannot be analyzed in either deductive or inductive terms, a consequence of considerable importance for the logical and epistemological scrutiny of scientific methods. But when the full structure of abductive argumentation — as viewed by the mature Peirce — is clarified, every inferential step in (...) the process can be seen to dissolve into familiar forms of deductive and inductive reasoning. Specifically, the final stage is a special type of practical inference which, if correct, is deductively valid, while the creative phase, surprisingly, is not inferential at all. In neither is abduction a type of inference to the best explanation. The result is a major reassessment of the relevance of Peirce's views to contemporary methodological studies. (shrink)

In recent years there has been a great deal of discussion about the prospects of developing a ‘naturalized epistemology’, though different authors tend to interpret this label in quite different ways. One goal of this paper is to sketch three projects that might lay claim to the ‘naturalized epistemology’ label, and to argue that they are not all equally attractive. Indeed, I'll maintain that the first of the three—the one I'll attribute to Quine—is simply incoherent. There is no way we (...) could get what we want from an epistemological theory by pursuing the project Quine proposes. The second project on my list is a naturalized version of reliabilism. This project is not fatally flawed in the way that Quine's is. However, it's my contention that the sort of theory this project would yield is much less interesting than might at first be thought. (shrink)

In recent years there has been a great deal of discussion about the prospects of developing a “naturalized epistemology,” though different authors tend to interpret this label in quite different ways.1 One goal of this paper is to sketch three projects that might lay claim to the “naturalized epistemology” label, and to argue that they are not all equally attractive. Indeed, I’ll maintain that the first of the three – the one I’ll attribute to Quine – is simply incoherent. There (...) is no way we could get what we want from an epistemological theory by pursuing the project Quine proposes. The second project on my list is a naturalized version of reliabilism. This project is not fatally flawed in the way that Quine’s is. However, it’s my contention that the sort of theory this project would yield is much less interesting than might at first be thought. (shrink)

Herbert Simon’s work on scientific discovery deserves serious attention by philosophers of science for several reasons. First, Simon was an early advocate of rational scientific discovery, contra Popper and logical empiricist philosophers of science (Simon 1966). This proposal spurred on investigation of scientific discovery in philosophy of science, as philosophers used and developed Simon’s notions of “problem solving” and “heuristics” in attempts to provide rational accounts of scientific discovery (See Nickles 1980a, Wimsatt 1980). Second, Simon promoted and developed many of (...) the crucial techniques and methods used in cognitive science. One is the use of computers to model internal psychological processes, a technique central to his account of scientific discovery. Another is protocol analysis, the use of the verbal reports of experimental subjects in psychology to construct accounts of their psychological processes. Protocol analysis is given a detailed formulation by Simon (Simon and Ericsson 1984), and is modified for use in the study of scientific cognition in the paper on Krebs (Kulkarni and Simon 1988). (shrink)

Scientific knowledge systems function as effective and specialized apparatus for formulating, analyzing and solving scientific problems. In science, problems become internal parts of the knowledge systems; thus they acquire new forms and properties in comparison with common-sense problems. Definite theoretical structures connected with problems and questions appear in the theory. Among them are erotetic expressions and languages, calculi and algebras of problems. On the basis of the structure-nominative reconstruction of a theory, the unified treatment of these structures is given. Methods (...) of the theory of named sets are used in the logical analysis of problems and their systems. As a consequence a new formalized model of the problem part of theory is constructed. (shrink)

Scientists routinely solve the problem of supplementing one’s store of variables with new theoretical posits that can explain the previously inexplicable. The banality of success at this task obscures a remarkable fact. Generating hypotheses that contain novel variables and accurately project over a limited amount of additional data is so difficult—the space of possibilities so vast—that succeeding through guesswork is overwhelmingly unlikely despite a very large number of attempts. And yet scientists do generate hypotheses of this sort in very few (...) tries. I argue that this poses a dilemma: either the long history of scientific success is a miracle, or there exists at least one method or algorithm for generating novel hypotheses with at least limited projectibility on the basis of what’s available to the scientist at a time, namely a set of observations, the history of past conjectures, and some prior theoretical commitments. In other words, either ordinary scientific success is miraculous or there exists a logic of discovery at the heart of actual scientific method. (shrink)

Summary The recent turn to the ‘context of discovery’ and other ‘postmodernist’ developments in the philosophy of science have undermined the idea of a universal rationality of science. This parallels the fate of the classical dream of a logic of discovery. Still, justificational questions have remained as a distinct perspective, though comprising both consequential and generative justification — an insight delayed by certain confusions about the (original) context distinction. An examination of one particular heuristic strategy shows its local rationality; even (...) as an efficient procedure of hypothesis generation, it carries probative weight. It will be explored in which respects such a strategy can be normative or contain normative elements. (shrink)