The most influential critique of the Logical Positivists’ analysis of scientific observation was posed by Paul Feyerabend in his classic essay, “Explanation, Reduction, and Empiricism”. Feyerabend countered the later Positivist conception with his so-called ‘Pragmatic Theory of Observation’ which was founded on two ideas. The first is that observation reports are ‘theory-laden’, in the sense that they are always interpreted in the light of the best current theory and are subject to reinterpretation when one theory succeeds another. Feyerabend traced the (...) development of this idea in the early writings of the Positivists, especially Rudolf Carnap, in the classic discussion of protocol sentences. In that context, Feyerabend finds that the theory-ladenness of observation leads inexorably to the second idea of the Pragmatic Theory, that what counts as an observation report does not depend on either its empirical content or its logical form, but on its causal or pragmatic features. (shrink)

Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

Some philosophers argue that many contemporary debates in metaphysics are “illegitimate,” “shallow,” or “trivial,” and that “contemporary analytic metaphysics, a professional activity engaged in by some extremely intelligent and morally serious people, fails to qualify as part of the enlightened pursuit of objective truth, and should be discontinued” (Ladyman and Ross, Every thing must go: Metaphysics naturalized , 2007 ). Many of these critics are explicit about their sympathies with Rudolf Carnap and his circle, calling themselves ‘neo-positivists’ or ‘neo-Carnapians.’ Yet (...) despite the fact that one of the main conclusions of logical positivism was that metaphysical statements are meaningless, many of these neo-positivists are themselves engaged in metaphysical projects. This paper aims to clarify how we may see a neo-positivist metaphysics as proceeding in good faith, one that starts with serious engagement with the findings of science, particularly fundamental physics, but also has room for traditional, armchair methods. (shrink)

This article discusses recent disagreements over the correct formulation of physicalism. Although there appears to be a consensus outside those who discuss the issue that physicalists believe that what exists is what is countenanced by physics, as we will see, this orthodoxy faces an important puzzle now frequently referred to as 'Hempel's Dilemma'. After surveying the historical trajectory from Enlightenment-era materialism to contemporary physicalism, I examine several mainstream approaches that respond to Hempel's dilemma, and the benefits and drawbacks of each.

We naturally evaluate the beliefs of others, sometimes by deliberate calculation, and sometimes in a more immediate fashion. Epistemic intuitions are immediate assessments arising when someone’s condition appears to fall on one side or the other of some significant divide in epistemology. After giving a rough sketch of several major features of epistemic intuitions, this article reviews the history of the current philosophical debate about them and describes the major positions in that debate. Linguists and psychologists also study epistemic assessments; (...) the last section of the paper discusses some of their research and its potential relevance to epistemology. (shrink)

The aim of this paper is to show that global scientific promises aka “scientific world-conceptions” have an interesting history that should be taken into account also for contemporary debates. I argue that the prototypes of many contemporary philosophical positions concerning the role of science in society can already be found in the philosophy of science of the 1920s and 1930s. First to be mentioned in this respect is the Scientific World-Conception of the Vienna Circle (The Manifesto) that promised to contribute (...) to the realization of an enlightened, rational and science-oriented society and culture. The Manifesto was not the only „scientific world-conception“ that philosophers and scientists put forward in the 1920s. Also the scientific world-conception of the philosopher and physicist Moritz Schlick, and the Weltanschauung of Sigmund Freud deserve to be mentioned. Still other examples of are Carnap’s Scientific Humanism and the project of The International Encyclopedia of Unified Science which was related to American pragmatism as well, as is shown by Charles W. Morris and others. Forgotten for a long time, since the beginning of the 21rst century, at least some of the Viennese projects are reconsidered in a new wave of „socially engaged philosophy of science”. (shrink)

Many commentators now view Quine's ‘Truth by Convention’ as a flawed criticism of Carnap. Gary Ebbs argued recently that Quine never intended Carnap as his target. Quine's criticisms were part of his attempt to work out his own scientific naturalism. I agree that Carnap was not Quine's target but object that Quine's criticisms were wholly internal to his own philosophy. Instead, I argue that C.I. Lewis held the kind of truth‐by‐convention thesis that Quine rejects. This, however, leaves Carnap out of (...) the picture. I then show how Quine came to see the earlier criticisms as also having force against Carnap. (shrink)

Value judgments are meaningless. This thesis was one of the notorious tenets of Carnap's mature logical empiricism. Less well known is the fact that in the Aufbau values were considered as philosophically respectable entities that could be constituted from value experiences. About 1930, however, values and value judgments were banished to the realm of meaningless metaphysics, and Carnap came to endorse a strict emotivism. The aim of this paper is to shed light on the question why Carnap abandoned his originally (...) positive attitude concerning values. It is argued that his non-cognitivist attitude was the symptom of a deep-rooted and never properly dissolved tension between conflicting inclinations towards Neokantianism and Lebensphilosophie. In America Carnap's non-cognitivism became a major obstacle for a closer collaboration between logical empiricists and American pragmatists. Carnap's persisting adherence to the dualism of practical life and theoretical science was the ultimate reason why he could not accept Morris's and Kaplan's pragmatist theses that cognitivism might well be compatible with a logical and empiricist scientific philosophy. (shrink)

Although now largely forgotten, the international language movement was, from the 1880s to the end of the Second World War, a matter of widespread public interest, as well as a concern of numerous scientists and scholars. The primary goal was to establish a language for international communication, but in the early twentieth century an increasing accent was placed on philosophical considerations: wanted was a language better suited to the needs of modern science and rational thought. In this paper, we examine (...) the example of the English scholar C.K. Ogden's international language Basic English and his efforts to win the Vienna Circle philosophers Otto Neurath and Rudolf Carnap over to the project. Basic is shown to be an implementation of key ideas in Ogden's philosophy of language, ideas shared to a large extent with Neurath and Carnap. This we see through an examination of their unpublished correspondence, as well as through the collaboration that emerged between Ogden and Neurath, in which Neurath's Isotype, a system for graphically representing statistical data, became closely aligned with Basic. Through the ideas and endeavours we investigate here, we gain a new perspective on this crucial period in the history of analytic philosophy. (shrink)

The purpose of this paper is to examine some passages of Tarski‘s paper ’On the concept of logical consequence’ and to show that some recent readings of those passages are wrong. John Etchemendy has claimed that in those passages Tarski gave an argument purporting to show that the notion of logical consequence defined by him (as opposed to some pretheoretic notion of logical consequence) possesses certain modal properties. Etchemendy further claims that the argument he attributes to Tarski is fallacious. Some (...) of Etchemendy’s critics have granted him that Tarski did give an argument purporting to show that the defined notion possesses certain modal properties ; but they have claimed that Tarski’s argument was not a fallacious one. I will show that both Etchemendy and his critics are wrong; in the relevant passages, Tarski did not offer (nor did he intend to offer) an argument that the defined notion of logical consequence possesses any modal properties. (shrink)

For several decades, Carnap's philosophy of mathematics used to be either dismissed or ignored. It was perceived as a form of linguistic conventionalism and thus taken to rely on the bankrupt notion of truth by convention. However, recent scholarship has revealed a more subtle picture. It has been forcefully argued that Carnap is not a linguistic conventionalist in any straightforward sense, and that supposedly decisive objections against his position target a straw man. This raises two questions. First, how exactly should (...) we characterise Carnap's actual philosophy of mathematics? Secondly, is his position an attractive alternative to established views? I will tackle these issues by looking at Carnap's response to the incompleteness theorems. Drawing on arguments put forward by Gödel and Beth, I show that some crucial aspects of Carnap's positive account have remained underdeveloped. Suggestions on what a full evaluation of Carnap's position requires are made. (shrink)

What are Carnap's views on the epistemology of mathematics? Did he believe in a priori justification, and if so, what is his account of it? One might think that such questions are misguided, since in the 1930s Carnap came to reject traditional epistemology as a confused mixture of logic and psychology. But things are not that simple. Drawing on recent work by Richardson and Uebel, I will show that Carnap's mature metaphilosophy leaves room for two distinct notions of a priori (...) justification: one propositional, the other doxastic. The latter is especially interesting since it comes closest to a traditional understanding of a priority. On the other hand, Carnap has little to say about doxastic justification in his writings. This lacuna can be filled by drawing on an unpublished exchange with Irving M. Copi. In it, so I will show, Carnap endorses the view that agents can come to know all mathematical truths a priori. This fact, so I will further argue, can be used to adjudicate a dispute between Ricketts and Friedman about the nature and viability of Carnap's philosophy of mathematics—specifically his reliance on infinitary methods. (shrink)

Rudolf Carnap’s principle of tolerance states that there is no need to justify the adoption of a logic by philosophical means. Carnap uses the freedom provided by this principle in his philosophy of mathematics: he wants to capture the idea that mathematical truth is a matter of linguistic rules by relying on a strong metalanguage with infinitary inference rules. In this paper, I give a new interpretation of an argument by E. W. Beth, which shows that the principle of tolerance (...) does not suffice to remove all obstacles to the employment of infinitary rules. (shrink)

In this article, we argue that although Bohr's version of the Copenhagen interpretation is in line with several key elements of logical positivism, pragmatism is the closest approximation to a classification of the Copenhagen interpretation, whether or not pragmatists directly influenced the key figures of the interpretation. Pragmatism already encompasses important elements of operationalism and logical positivism, especially the liberalized Carnapian reading of logical positivism. We suggest that some elements of the Copenhagen interpretation, which are in line with logical positivism, (...) are also supported by pragmatism. Some of these elements are empirical realism, fallibilism, holism, and instrumentalism. However, pragmatism goes beyond logical positivism in espousing some other key elements of the Copenhagen interpretation, though imperfectly, such as the correspondence principle, complementarity, and indeterminism. (shrink)

Bayesian decision theory is here construed as explicating a particular concept of rational choice and Bayesian probability is taken to be the concept of probability used in that theory. Bayesian probability is usually identified with the agent’s degrees of belief but that interpretation makes Bayesian decision theory a poor explication of the relevant concept of rational choice. A satisfactory conception of Bayesian decision theory is obtained by taking Bayesian probability to be an explicatum for inductive probability given the agent’s evidence.

I conceive of inductive logic as a project of explication. The explicandum is one of the meanings of the word `probability' in ordinary language; I call it inductive probability and argue that it is logical, in a certain sense. The explicatum is a conditional probability function that is specified by stipulative definition. This conception of inductive logic is close to Carnap's, but common objections to Carnapian inductive logic (the probabilities don't exist, are arbitrary, etc.) do not apply to this conception.

This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...) are among the philosophers considered along the way. (shrink)

I show that the central notion of Constructive Empiricism, empirical adequacy, can be expressed syntactically and specifically in the Received View of the logical empiricists. The formalization shows that the Received View is superior to Constructive Empiricism in the treatment of theories involving constants or functions from observable to unobservable objects. It also suggests a formalization of ‘full empirical informativeness’ in Constructive Empiricism.

In his Tractatus Logico-Philosophicus Ludwig Wittgenstein (1889–1951) presents the concept of order in terms of a notational iteration that is completely logical but not part of logic. Logic for him is not the foundation of mathematical concepts but rather a purely formal way of reflecting the world that at the minimum adds absolutely no content. Order for him is not based on the concepts of logic but is instead revealed through an ideal notational series. He states that logic is “transcendental”. (...) As such it requires an ideal that his philosophical method eventually forces him to reject. I argue that Wittgenstein’s philosophy is more dialectical than transcendental. (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (led (...) by the Cracow Circle and Quine). (shrink)

Among philosophers of science nearly a century ago the dominant attitude was that (in Rudolph Carnap’s words) philosophy of science was “like science itself, neutral with respect to practical aims, whether they are moral aims for the individual, or political aims for a society.” The dominant attitude today is not much different: our aim is still to articulate scientific rationality, and our understanding of that rationality still excludes the moral and political. I contrast this with the growing entanglements within the (...) sciences of the ethical and the epistemic, and I suggest ways in which philosophers of science can usefully respond. †To contact the author, please write to: Department of Philosophy, 100 Malloy Hall, University of Notre Dame, Notre Dame, IN 46556; e‐mail: [email protected]. (shrink)

I will defend explication, in a Carnapian sense, as a strategy for revisionary ontologists and radical sceptics. The idea is that these revisionary philosophers should explicitly commit to using expressions like “S knows that p” and “Fs exist” differently from how these expressions are used in everyday contexts. I will first motivate this commitment for these revisionary philosophers. Then, I will address the main worries that arise for this strategy: the unintelligibility worry and the topic shift worry. I will focus (...) on the latter worry and provide a solution that makes use of a distinction between practically and theoretically oriented beliefs. On my view, the revisionary philosophers who admit to departing from the everyday language can still criticize everyday knowledge and existence claims, by arguing that while the language embedded in these claims is suitable for beliefs-1, it is not suitable for beliefs-2. (shrink)

Abstract Recent criticisms of intuition from experimental philosophy and elsewhere have helped undermine the authority of traditional conceptual analysis. As the product of more empirically informed philosophical methodology, this result is compelling and philosophically salutary. But the negative critiques rarely suggest a positive alternative. In particular, a normative account of concept determination—how concepts should be characterized—is strikingly absent from such work. Carnap's underappreciated theory of explication provides such a theory. Analyses of complex concepts in empirical sciences illustrates and supports this (...) claim, and counteracts the charge explication is only suitable for highly mathematical, axiomatic contexts. Explication is also defended against the influential criticism it is “philosophically unilluminating”. Content Type Journal Article Category Original paper in Philosophy of Science Pages 1-19 DOI 10.1007/s13194-011-0027-5 Authors James Justus, Philosophy Department, Florida State University and University of Sydney, Tallahassee, FL 32306, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912. (shrink)

The paper analyses Frege's approach to the identity conditions for the entity labelled by him as Sinn. It starts with a brief characterization of the main principles of Frege's semantics and lists his remarks on the identity conditions for Sinn. They are subject to a detailed scrutiny, and it is shown that, with the exception of the criterion of intersubstitutability in oratio obliqua, all other criteria have to be discarded. Finally, by comparing Frege's views on Sinn with Carnap's method of (...) extension and intension and the method of intensional isomorphism, it is proved that these methods do not provide a criterion for the identity of Frege's Sinn, even for extensional contexts, that the concept of intension does not coincide, as stated by Carnap, in these contexts, with Frege's concept of Sinn, and that Carnap's claim that in oratio obliqua Frege's semantics leads to an infinite hierarchy of Sinn entities can be questioned at least hypothetically in the light of certain new historical facts. (shrink)

Kurt Gödel criticizes Rudolf Carnap's conventionalism on the grounds that it relies on an empiricist admissibility condition, which, if applied, runs afoul of his second incompleteness theorem. Thomas Ricketts and Michael Friedman respond to Gödel's critique by denying that Carnap is committed to Gödel's admissibility criterion; in effect, they are denying that Carnap is committed to any empirical constraint in the application of his principle of tolerance. I argue in response that Carnap is indeed committed to an empirical requirement vis‐à‐vis (...) tolerance, a fact that becomes clear upon closer scrutiny of Carnap's relevant writings. *Received July 2009; revised January 2010. †To contact the author, please write to: Department of Philosophy, University of Saskatchewan, 9 Campus Drive, Saskatoon, SK S7N 5A5, Canada; e‐mail: [email protected]. (shrink)

Summary Ordinary language philosophers frequently draw on the fact that an appropriately selected sentential combination of the form p but not q can, or cannot, be uttered without absurdity; however, they do so without sufficient reflection on the methodology of such combination tests, which results in considerable shortcomings even in practical application. To improve things, I shall discuss two criteria for distinguishing ‘pragmatic’ from ‘non-pragmatic’ implications and for separating the latter into ‘linguistic’ (‘semantic’ and ‘syntactical’) and ‘non-linguistic’ ones (2–3); consider (...) the bearing of the principle of ‘sense-constancy‘ on the applicability of combination tests (4); and call attention to the important, though merely heuristic, function of investigating pragmatic, as opposed to semantic, implications (5.1–5.2). Finally, I shall hint at a striking analogy between the linguistic (yet non-empirical) method of combination tests, the phenomenological method of ‘fictional variation’, and the empirical method of ‘conjectures and refutations’ (5.3). (shrink)

The reference class problem arises when we want to assign a probability to a proposition (or sentence, or event) X, which may be classified in various ways, yet its probability can change depending on how it is classified. The problem is usually regarded as one specifically for the frequentist interpretation of probability and is often considered fatal to it. I argue that versions of the classical, logical, propensity and subjectivist interpretations also fall prey to their own variants of the reference (...) class problem. Other versions of these interpretations apparently evade the problem. But I contend that they are all “no-theory” theories of probability - accounts that leave quite obscure why probability should function as a guide to life, a suitable basis for rational inference and action. The reference class problem besets those theories that are genuinely informative and that plausibly constrain our inductive reasonings and decisions. I distinguish a “metaphysical” and an “epistemological” reference class problem. I submit that we can dissolve the former problem by recognizing that probability is fundamentally a two-place notion: conditional probability is the proper primitive of probability theory. However, I concede that the epistemological problem remains. (shrink)

There is a tradition, tracing back to Kant, of recasting metaphysical questions as questions about the utility of a conceptual scheme, linguistic framework, or methodological rule for achieving some particular end. Following in this tradition, I propose a ‘means-ends metaphysics ’, in which one rigorously demonstrates the suitability of some conceptual framework for achieving a specified goal. I illustrate this approach using a debate about the nature of events. Specifically, the question is whether the time at which an event occurs (...) is an essential property of that event. I argue that this question is naturally transformed into a question about the methodology of causal modeling. In this new framework, the question concerns what kind of variables to use to represent the effects of potential interventions on a system. This question has a demonstrably correct answer, which sheds new light on the original question. (shrink)

In this paper, we examine the viability of avoiding value judgments encoded in thick concepts when these concepts are used in economic theories. We focus on what implications the use of such thick concepts might have for the tenability of the fact/value dichotomy in economics. Thick concepts have an evaluative and a descriptive component. Our suggestion is that despite attempts to rid thick concepts of their evaluative component, economists are often not successful. We focus on the strategy of explication to (...) remove the evaluative component of thick concepts and argue that often economists either have to make value judgments or are unable to individuate out the phenomenon under analysis. We support our claim with a case study, namely the concept of addiction in Gary Becker and Kevin Murphy’s Theory of Rational Addiction (1988). One consequence of our analysis is that theories containing thick concepts could commit economists to making value judgments and as such undermine the fact/value dichotomy. (shrink)

In this paper, I critically discuss recent work on the role that the principle of tolerance plays in Rudolf Carnap's philosophy. Specifically, I consider how two prominent interpretations of Carnap's principle of tolerance can be used to argue for Carnap's anti-metaphysical views. I then argue that there are serious problems with these arguments, and I diagnose those problems as resulting, in part, from a tension between competing goals of Carnap's philosophical project.

Carnap's early system of inductive logic make degrees of confirmation depend on the languages in which they are expressed. They are sensitive to which predicates are, in the language, taken as primitive. Hence they fail to be ‘linguistically invariant’. His later systems, in which prior probabilities are assigned to elements of a model rather than sentences of a language, are sensitive to which properties in the model are called primitive. Critics have often protested against these features of his work. This (...) paper shows how to make his systems independent of any choice of primitive predicates or primitive properties.The solution is related to another criticism of inductive logic. It has been noticed that Carnap's systems are too all-embracing. Hisc(h, e) is defined for all sentencesh ande. Yet for manyh ande, the evidencee does not warrant any assessment of the probability ofh. We need an inductive logic in whichc(h, e) is defined only whene really does bear onh. This paper sketches the measure theory of such a logic, and, within this measure theory, provides ‘relativized’ versions of Carnap's systems which are linguistically invariant. (shrink)

The formulae advanced by Popper to calculate the degree of corroboration C of a scientific hypothesis are unsatisfactory in that the probability values required in the computation are often not available. An attempt is made to define a quantitative measure B* in the place of C in which only countable empirical values would be used. This condition is fulfilled in two basic formulae and eq. ), which could be applied to calculate the degree of corroboration. When m successful falsifications of (...) the hypothesis h appear after a sequence of n unsuccessful ones, the pragmatic degree of corroboration B* results from the difference between B and the analogue value of the falsification F* and eq. ). In the event that the hypothesis can be "rescued" through a correction, increased experimental effort must be made with the revision. This would be taken into account through the correction equation ). When the hypothesis cannot be corrected, however, it can no longer exceed the value of 1-F*, even after numerous verification experiments. In the process of deciding whether a hypothesis is "adequately" verified or falsified, a lower threshold ${\rm B}_{{\rm u}}$ und Bₒ must be selected. These values have to be chosen on an intuitive subjective basis. The same applies to the strength of unsuccessful falsifications . This evaluation is expressed by a multiplicative constant a̱ ) or an additive constant kₐ in eq. . Despite the subjectivity of the values a̱, kₐ necessary for the calculation of B*, and of the values ${\rm B}_{{\rm u}}$ , Bₒ for the decision to discontiue the examination of the hypothesis, I feel that amongst the scientists within a particular field of research, a consensus for these values should be possible. Through a quantitative determination of B* the procedure for testing a hypothesis, considered to be a closed loop process, becomes clearer. To estimate the values of B* could not only have an influence upon the decisions of the respective researchers or research groups examining a hypothesis, but also be of assistance in decisions regarding research grants when financial resources are limited. (shrink)

There have been several different and even opposed conceptions of the problem of logical constants, i.e. of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some ideas about what a good theory would look like. A third aim is to draw from these ideas and (...) from the preceding survey the conclusion that most conceptions of the problem of logical constants involve requirements of a philosophically demanding nature which are probably not satisfiable by any minimally adequate theory. (shrink)

The Experimental Philosophy (“X-Phi”) movement applies the methodology of empirical sciences – most commonly empirical psychology – to traditional philosophical questions. In its radical, “negative” form, X-Phi uses the resulting empirical data to cast doubt on the reliability of common philosophical methods, arguing for radical reform of philosophical methodology.In this paper I develop two connected methodological worries about this second enterprise. The first concerns the data elicited by questionnaires and other empirical survey methods; recent work in political science suggests that (...) such surveys frequently do not elicit the participants’ candid judgements, but rather their expressions of certain attitudes and identifications. This possibility stymies the arguments from experimental data to a radical overhaul of philosophical methodology. The second builds on recent work by L.A. Paul and Kieran Healy concerning social science methodology, applying it to the use of those methods in X-Phi. It concerns experimental design where the treatment investigated is a “transformative” one; since a philosophical education is plausibly one such treatment, doubt is cast on any claim that apparent differences between the judgements of philosophers and ordinary folk has implications for philosophical methodology. (shrink)

The Research Assessment Exercise was introduced in 1986 by Thatcher, and was continued by Blair. So it has now been running for 21 years. During this time, the rules governing the RAE have changed considerably, and the interval between successive RAEs has also varied. These changes are not of great importance as far as the argument of this paper is concerned. We will concentrate on the main features of the RAE which can be summarised as follows.

This paper investigates the kind of empiricism combined with an operationalist perspective that, in the first decades of our Century, gave rise to a turning point in theoretical physics and in probability theory. While quantum mechanics was taking shape, the classical (Laplacian) interpretation of probability gave way to two divergent perspectives: frequentism and subjectivism. Frequentism gained wide acceptance among theoretical physicists. Subjectivism, on the other hand, was never held to be a serious candidate for application to physical theories, despite the (...) fact that its philosophical back-ground strongly resembles that underlying quantum mechanics, at least according to the Copenhagen interpretation. The reasons for this are explored. (shrink)

The few extant arguments concerning the autonomy of science in the rational acceptance of hypotheses are examined. It is concluded that science is not morally autonomous, and that the attendant notion of rationality in science decisionmaking is inadequate. A more comprehensive notion of scientific rationality, which encompasses the old one, is proposed as a replacement. The general idea is that scientists qua scientist ought, in their acceptance decisions, to take into account the ethical consequences of acceptance as well as the (...) consequences with regard to the attainment of "purely scientific" or "epistemic" objectives. The result constitutes an argument for a (presumably cooperative) game theoretic treatment of inductive logic. (shrink)

Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap's developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap's mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see this, however, we need to see why the Newman problem raised in the context of recent work on structural realism is no (...) problem for Carnap's conception; and we also need to locate Carnap's work on theoretical terms within his wider program of Wissenschaftslogik or the logic of science. (shrink)

J C Forge; A Role for Philosophy of Science in the Teaching of Science, Journal of Philosophy of Education, Volume 13, Issue 1, 30 May 2006, Pages 109–117, http.

A definition of a property P is impredicative if it quantifies over a domain to which P belongs. Due to influential arguments by Ramsey and Gödel, impredicative mathematics is often thought to possess special metaphysical commitments. It seems that an impredicative definition of a property P does not have the intended meaning unless P already exists, suggesting that the existence of P cannot depend on its explicit definition. Carnap (1937 [1934], p. 164) argues, however, that accepting impredicative definitions amounts to (...) choosing a "form of language" and is free from metaphysical implications. This paper explains this view in its historical context. I discuss the development of Carnap’s thought on the foundations of mathematics from the mid-1920s to the mid-1930s, concluding with an account of Carnap’s (1937 [1934]) non-Platonistic defense of impredicativity. This discussion is also important for understanding Carnap’s influential views on ontology more generally, since Carnap’s (1937 [1934]) view, according to which accepting impredicative definitions amounts to choosing a "form of language", is an early precursor of the view Carnap presents in "Empiricism, Semantics and Ontology" (1956 [1950]), according to which referring to abstract entities amounts to accepting a "linguistic framework". (shrink)