The aim of this paper is to argue for a revised and precisified version of the infamous Verifiability Criterion for the meaningfulness of declarative sentences. The argument is based on independently plausible premises concerning probabilistic confirmation and meaning as context-change potential, it is shown to be logically valid, and its ramifications for potential applications of the criterion are being discussed. Although the paper is not historical but systematic, the criterion thus vindicated will resemble the original one(s) in some important ways. (...) At the same time, it will also be more modest insofar as meaningfulness will turn out to be relativized linguistically and probabilistically, and different choices of the linguistic and probabilistic parameters may lead to different verdicts on meaningfulness. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

In what follows, I will give examples of the sorts of step that can be taken towards spelling out the intuition that, after all, good models might be true. Along the way, I provide an outline of my account of models as ontologically and pragmatically constrained representations. And I emphasize the importance of examining models as functionally composed systems in which different components play different roles and only some components serve as relevant truth bearers. This disputes the standard approach that (...) proceeds by simply counting true and false elements in models in their entirety and concludes that models are false since they contain so many false elements. I call my alternative the functional decomposition approach. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...) that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

Funding policies for science are usually directed at supporting technological innovations. The im-pact and success of such policies depend crucially on how science and technology are connected to each other. I propose an “interactive view” of the relationship between basic science and technol-ogy development which comprises the following four claims: First, technological change derives from science but only in part. The local models used in accounting for technologically relevant phenomena contain theoretical and non-theoretical elements alike. Second, existing technologies and rules (...) of experience constitute another major repository of technological inventions. Third, technology dynamics is only weakly coupled to progress in basic science but it is closely related to science. There is a dependence of technological change on a more fundamental understanding, to be sure, but it is of an indirect and long-term character. Fourth, progress in basic research is some-times the effect of technological change. Technological change sometimes brings about increased theoretical understanding. (shrink)

Interpretation in science has gained little attention in the past because philosophers of science believed that interpretation belongs to the context of discovery or must be associated with meaning. But scientists often speak about interpretation when they report their findings. Elsewhere I have argue in favour of a pragmatic-rhetorical theory of explanation, and it is in light of this theory that I suggest we can understand interpretation in the natural sciences.

In this paper it is argued that the multiple realizability argument and Kripke's argument are based on schemas of identifications rather than identification. In fact, "heat = molecular motion" includes a term "molecular motion" that does not capture a natural kind, nor has a unique referent. If properly framed, this schema suits also for the type identity theory of mind. Some consequences of this point are evaluated.

The objective of this papper is to examine, under the light of some recent works in general philosophy of science as well as in special philosophy of biology, the different forms that assumes the thesis of the unity of science, in order to be able to determine in what sense it can be spoken about the unity of biological sciences.

The important switch from the so-called old B-theory to the new tenseless theory of time (NTT), which had significant implications for the field of tense and indexicals, occurred after Carnap’s era. Against this new background, Carnap’s original inter-translatability thesis can no longer be upheld. The most natural way out would be to modify Carnap’s position according to the NTT; but this is not compatible with Carnap’s metaphysical neutrality thesis. Even worse, Carnap’s work on measurement theory can be used to develop (...) an argument in favour of the A-theory. I argue that there are tensed basic sentences which are needed in order to construct a tenseless system and thus cannot be translated without loss of meaning into tenseless ones (old B-theory) or made true by tenseless facts (NTT). (shrink)

Graphical models are a powerful tool for causal model specification. Besides allowing for a hierarchical representation of variable interactions, they do not require any a priori specification of the functional dependence between variables. The construction of such graphs hence often relies on the mere testing of whether or not model variables are marginally or conditionally independent. The identification of causal relationships then solely requires some general assumptions on the relation between stochastic and causal independence, such as the Causal Markov Condition (...) and the Faithfulness Condition (Spirtes et al. 2000; Pearl 2000). However, a procedure would require further assumptions to hold. Namely those the independence tests themselves are based on. In continuous settings, Spirtes et al. (2000) suggest causal inference based on a very restrictive formulation of independence, that is, vanishing partial correlations. Such a measure does, however, limit the applicability of causal inference to linear systems. This constitutes a serious drawback especially for the social sciences where an a priori specification of the functional form proves difficult or at odds with linearity. In short: graphical models theoretically reduce specification uncertainty regarding functional dependence, but their implementation in practice deprives them of this virtue. In this paper we investigate how causal structures in continuous settings can be identified when both functional forms and probability distributions of the variables remain unspecified. We focus on tests exploiting the fact that if X and Y are conditionally independent given a set of variables Z, the two conditional densities f (X|Y, Z) and f (X|Z) must coincide. We start by estimating the conditional densities f(X|Y, Z) and f(X|Z) via nonparametric techniques (kernel methods). We proceed by testing if some metric expressing the distance between these very conditional densities is sufficiently close to zero. Out of several metrics available in the literature to express such distance we choose two, the Euclidean, and the Hellinger distance. We investigate in a Monte Carlo study how different tests involving either measure are able to detect statistical independence, conditioned on a small set of variables. One limitation may result from nonparametric density estimation being subject to the curse of dimensionality. As the number of variables increases, the estimated empirical density converges at a slower rate to its population value. To compensate this drawback we use a local bootstrap procedure which consists of resampling the data for each test. While local bootstrap strongly increases the computational time of the test, it succeeds in counterbalancing the curse of dimensionality. (shrink)

The paper reconstructs three main stages in the development of Carnap’s approach to language in the years 1931 – 1947. It starts with Carnap’s approach to metalogic in his Viennese Zirkelprotokolle and his Logische Syntax der Sprache from the point of view of one-level approach to the relation between metalanguage and its object-language. It then analyzes Tarski’s turn to semantics in his paper presented at the Paris conference in September 1935, as well as the implications of his view for Carnap’s (...) approach to semantics from 1935 until 1943. Finally, it analyzes Church’s rediscovery of Frege and its impact on Carnap’s shift to the extension/intension distinction in his semantics in the years 1943 – 1947. (shrink)

In this article I examine whether an influential theory of mechanisms proposed by Peter Machamer, Lindley Darden and Carl Craver can accommodate polygenic effects. This theory is both interesting and problematic, I will argue, because it ascribes a central role to activities. In it, activities are needed not only to constitute mechanisms but also to perform their causal role. These putative functions of activities become problematic in certain situations where several causes or elements of a mechanism contribute simultaneously, i.e. with (...) certain forms of polygenic causation. The problematic form of polygeny, polygeny 2, occurs when the polygenic contribution concerns one and the same property or aspect of the affected object. When the result of such causation is that nothing happens, the theory suggested by Machamer and his colleagues cannot be applied. More generally, it seems that, whenever polygeny 2 is involved, the Machamer approach leads to an impoverished conception of mechanism. (shrink)

According to the theory of meaning as justification, semantics is closely entangled with epistemology: knowing the meaning of an utterance amounts to knowing the justification one may offer for it. In this perspective, the theory of meaning is connected with the epistemic theory of justification, namely the theory that undergoes the more explicit attempts of naturalization. Is it possible to extend those attempts to the notion of meaning? There are many ways of naturalizing the notion of meaning, independently of its (...) links with the notion of justification. Our goal in this paper is to explore the possibility of naturalizing meaning using those very links. To this aim, we will evaluate in brief three main directions: a) the interaction between justification and discovery; b) Quine's naturalized epistemology; c) the naturalization of logic. (shrink)