This is a personal, incomplete, and very informal take on the role of logic in general philosophy of science, which is aimed at a broader audience. We defend and advertise the application of logical methods in philosophy of science, starting with the beginnings in the Vienna Circle and ending with some more recent logical developments.

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

Elliott Sober has suggested his criterion of contrastive testability as an improvement over previous criteria of empirical significance like falsifiability. I argue that his criterion renders almost any theory empirically significant because its restrictions on auxiliary assumptions are to weak. Even when the criterion is modified to avoid this trivialization, it fails to meet other conditions of adequacy for a criterion of empirical significance that follow from Sober's position. I suggest to define empirical significance as empirical non-equivalence to a tautology, (...) because this definition does meet the conditions of adequacy. Specifically, it is equivalent to the standard Bayesian criterion of empirical significance whenever all probabilities are defined and contains falsifiability as a special case. This latter feature is important because those conditions of adequacy that apply to criteria of deductive empirical significance single out falsifiability. (shrink)

Three related intuitions are explicated in this paper. The first is the idea that there must be some kind of probabilistic version of the HD-method, a ‘Hypothetico-Probabilistic (HP-) method’, in terms of something like probabilistic consequences, instead of deductive consequences. According to the second intuition, the comparative application of this method should also be functional for some probabilistic kind of empirical progress, and according to the third intuition this should be functional for something like probabilistic truth approximation. In all three (...) cases, the guiding idea is to explicate these intuitions by explicating the crucial notions as appropriate ‘concretizations’ of their deductive analogs, being ‘idealizations’. It turns out that the comparative version of the proposed HP-method amounts to the likelihood comparison (LC-) method applied to the cumulated evidence. This method turns out to be not only functional for probabilistic empirical progress but also for probabilistic truth approximation. The latter is based on a probabilistic threshold theorem constituting for this reason the analog of the deductive success theorem. (shrink)

Conceptual analysis has been typically recognized as a traditional methodology within analytic philosophy, but many philosophers have heavily criticized it. In contrast, the methodology of Carnapian explication has been undergoing a revival as a methodological alternative due to its revisionary aim. I will make explicit the shared structural properties and goals of Carnapian explication and the kind of conceptual analysis advanced by the advocates of the Canberra Plan. Also, I will argue that although their goal to make philosophy more scientific (...) is desirable, they cannot achieve their goal of clearly distinguishing philosophy from science. Moreover, since traditional conceptual analysis is an element of both revisionary methodologies, it is also unable to mark a clear distinction between them. The comparison throws some light on the relationship between traditional conceptual analysis and the two revisionary methodologies, their implicit theoretical commitments and deficiencies. (shrink)

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

In recent years two different axiomatic characterizations of the intuitive concept of effective calculability have been proposed, one by Sieg and the other by Dershowitz and Gurevich. Analyzing them from the perspective of Carnapian explication, I argue that these two characterizations explicate the intuitive notion of effective calculability in two different ways. I will trace back these two ways to Turing’s and Kolmogorov’s informal analyses of the intuitive notion of calculability and to their respective outputs: the notion of computorability and (...) the notion of algorithmability. I will then argue that, in order to adequately capture the conceptual differences between these two notions, the classical two-step picture of explication is not enough. I will present a more fine-grained three-step version of Carnapian explication, showing how with its help the difference between these two notions can be better understood and explained. (shrink)

This introduction to the special issue on "Aesthetics of Science" reviews recent philosophical research on aesthetic aspects of science. Topics represented in this research include the aesthetic properties of scientific images, theories, and experiments; the relation of science and art; the role of aesthetic criteria in scientific practice and their effect on the development of science; aesthetic aspects of mathematics; the contrast between a classic and a Romantic aesthetic; and the relation between emotion, cognition, and rationality.