Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to (...) the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (shrink)

Rudolf Carnap’s mature work on the logical reconstruction of scientific theories consists of two components. The first is the elimination of the theoretical vocabulary of a theory in terms of its Ramsification. The second is the reintroduction of the theoretical terms through explicit definitions in a language containing an epsilon operator. This paper investigates Carnap’s epsilon-reconstruction of theories in the context of pure mathematics. The main objective here is twofold: first, to specify the epsilon logic underlying his suggested definition of (...) theoretical terms and a suitable choice semantics for it. Second, to analyze whether Carnap’s approach is compatible with a structuralist conception of mathematics. (shrink)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

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)

This chapter traces the development of structural realism within the scientific realism debate and the wider current of structuralism that has swept the philosophy of the natural sciences in the twentieth century.1 The primary aim is to make perspicuous the many manifestations of structural realism and their underlying claims. Among other things, I will compare structural realism’s various manifestations in order to throw more light onto the relations between them. At the end of the chapter, I will identify the main (...) objections raised against the epistemic form of structural realism. This last task will pave the way for the evaluation of the structural realist answer to the main epistemological question, an evaluation that will be central to the rest of this dissertation. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 1, which addresses empirical equivalence and definitional equivalence. (shrink)

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 2, which addresses categorical equivalence, interpretational equivalence, and duality. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)

Probabilistic realism and syntactical positivism were two among outdated theories that Feigl criticised on account of their semantical poverty. In this paper, I argue that a refined version of probabilistic realism, which relies on what Feigl specified as the pragmatic description of the symbolic behaviour of scientists’ estimations and foresight, is defendable. This version of statistical realism does not need to make the plausibility of realist thesis dependent on the conventional acceptance of a constructed semantic metalanguage. I shall rely on (...) the Prediction Error Minimisation theory to support my probabilistic version of realism with a scientifically-informed and naturalistically plausible statistical account of the theories-world relationship which has a pragmatic ring to it. (shrink)

In this paper I discuss the Newman problem in the context of contemporary epistemic structural realism (ESR). I formulate Newman’s objection in terms that apply to today’s ESR and then evaluate a defence of ESR based on Carnap’s use of Ramsey sentences and Hilbert’s ε-operator. I show that this defence improves the situation by allowing a formal stipulation of non-structural constraints. However, it fails short of achieving object individuation in the context of satisfying the Ramsified form of a theory. Thus, (...) while limiting the scope of Newman’s argument, Carnap sentences do not fully solve the problem. (shrink)

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (shrink)

The paper surveys Floridi’s attempt for laying down informational structural realism. After considering a number of reactions to the pars destruens of Floridi’s attack on the digital ontology, I show that Floridi’s enterprise for enriching the ISR by borrowing elements from the ontic form of structural realism is blighted by a haunting inconsistency. ISR has been originally developed by Floridi as a restricted and level dependent form of structural realism which remains mainly bonded within the borders of a Kantian perspective. (...) I argue that this perspective doesn’t mesh nicely with the ontic interpretation that Floridi attached to the ISR. I substantiate this claim through the assessment of Floridi’s strategy for reconciling the epistemic and ontic forms of the SR, as well as by close examination of his use of method of levels of abstraction and his notion of semantic information. My proposal is that the ISR could be defended best against the mentioned and similar objections by being interpreted as an extension of the epistemic SR. (shrink)

This paper seeks to evaluate the potential of the Newman objection to function as an immanent critique of Carnap's use of the Ramsey method of regimenting scientific theories. Stress is laid on the distinctive way in which ramseyfications are used by Carnap to formulate the analytic/synthetic distinction for the theoretical language and on the difference between the ontological and the epistemic readings of the Newman objection. While the former reading of the Newman objection is rejected as trading on an assumption (...) that Carnap did not share, the latter is accepted as critical. It is argued to turn on overlooking that the Ramsey sentence constitutes an idealization concerning which our normal expectations of what theories are like are bound to be frustrated. This idealisation need not reflect Carnap's considered view but can be regarded as adopted solely for the project of semantic explication. The distinctions drawn in the course of the argument also help to motivate Carnap's abstention from the discourse of realism and its denial. (shrink)

The Institute Vienna Circle held a conference in Vienna in 2003, Cambridge and Vienna a?

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

In this dissertation, I examine a view called ‘Epistemic Structural Realism’, which holds that we can, at best, have knowledge of the structure of the physical world. Put crudely, we can know physical objects only to the extent that they are nodes in a structure. In the spirit of Occam’s razor, I argue that, given certain minimal assumptions, epistemic structural realism provides a viable and reasonable scientific realist position that is less vulnerable to anti-realist arguments than any of its rivals.

In a recent PSA paper (2001a) as well as some other papers ((1995), (2000), (2001b)) and a book chapter (1999, ch. 7), Stathis Psillos raised a number of objections against structural realism. The aim of this paper is threefold: 1) to evaluate part of Psillos’ offence on the Russellian version of epistemic structural realism (ESR for short), 2) to elaborate more fully what Russellian ESR involves, and 3) to suggest improvements where it is indeed failing.

‘Epistemic structural realism’ (ESR) insists that all that we know of the world is its structure, and that the ‘nature’ of the underlying elements remains hidden. With structure represented via Ramsey sentences, the question arises as to how ‘hidden natures’ might also be represented. If the Ramsey sentence describes a class of realisers for the relevant theory, one way of answering this question is through the notion of multiple realisability. We explore this answer in the context of the work of (...) Carnap, Hintikka and Lewis. Both Carnap and Hintikka offer clear structuralist perspectives which, crucially, accommodate the openness inherent in theory change. Unfortunately there is little purchase for a viable form of realism in either case. Lewis’s approach, on the other hand, offers more scope for realism but, as we shall see, concerns arise as to whether a relevant form of structuralism can be maintained. In particular his thesis of Ramseyan humility undermines certain conceptions of scientific laws that the structural realist might naturally cleave to. Our overall conclusion is that the representational device of Ramsey sentence plus multiple realisability can accommodate either the structuralist or realist aspects of ESR but has difficulties capturing both. (shrink)

The paper addresses the issue of theory-ladenness of observation/experimentation. Motivated by a naturalistic reading of Thomas Kuhn's insights into the same topic, I draw on cognitive neuroscience (predictive coding under Free Energy Principle) to scrutinise theory-ladenness. I equate theory-ladenness with the cognitive penetrability of perceptual inferences and argue that strong theory-ladenness prevails only under uncertain circumstances. This understanding of theory-ladenness is in line with Thomas Kuhn's view on the same subject as well as a cognitive version of modest realism rather (...) than downright antirealism. (shrink)

Herbert G. Bohnert (1918–84) was a student and lifelong friend of Carnap. He wrote a doctoral thesis on Ramsey sentences and, after wavering between academia and the computer industry, eventually taught at Michigan State University. Bohnert defended Carnapian positions throughout his career and was especially productive in the 1970s. Unfortunately, Carnap’s philosophy was deemed hopelessly out of date during this period, and partly for this reason, Bohnert is almost completely forgotten today. This fate is undeserved. In this article, I reconstruct (...) his career and philosophical development by drawing on publications, as well as diary entries and private correspondence. I then argue that Carnap scholarship would benefit from closer attention to Bohnert’s writings. I support this claim by means of a case study from the philosophy of mathematics: Bohnert’s account of a conversation about set theory with Carnap in 1968 sheds new light on the contested question of whether Carnap held mathematics to be analytic in natural language. (shrink)