Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In particular, (...) I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...) the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

Recent years have witnessed a revival of interest in the method of explication as a procedure for conceptual engineering in philosophy and in science. In the philosophical literature, there has been a lively debate about the different desiderata that a good explicatum has to satisfy. In comparison, the goal of explicating the concept of explication itself has not been central to the philosophical debate. The main aim of this work is to suggest a way of filling this gap by explicating (...) ‘explication’ by means of conceptual spaces theory. Specifically, I show how different, strictly-conceptual readings of explication desiderata can be made precise as geometrical or topological constraints over the conceptual spaces related to the explicandum and the explicatum. Moreover, I show also how the richness of the geometrical representation of concepts in conceptual spaces theory allows us to achieve more fine-grained readings of explication desiderata, thereby overcoming some alleged limitations of explication as a procedure of conceptual engineering. (shrink)

Recent years have witnessed a revival of interest in the method of explication as a procedure for conceptual engineering in philosophy and in science. In the philosophical literature, there has been a lively debate about the different desiderata that a good explicatum has to satisfy. In comparison, the goal of explicating the concept of explication itself has not been central to the philosophical debate. The main aim of this work is to suggest a way of filling this gap by explicating (...) ‘explication’ by means of conceptual spaces theory. Specifically, I show how different, strictly-conceptual readings of explication desiderata can be made precise as geometrical or topological constraints over the conceptual spaces related to the explicandum and the explicatum. Moreover, I show also how the richness of the geometrical representation of concepts in conceptual spaces theory allows us to achieve more fine-grained readings of explication desiderata, thereby overcoming some alleged limitations of explication as a procedure of conceptual engineering. (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)

The analysis of theory-confirmation generally takes the deductive form: show that a theory in conjunction with physical data and auxiliary hypotheses yield a prediction about phenomena; verify the prediction; provide a quantitative measure of the degree of theory-confirmation this yields. The issue of confirmation for an entire framework (e.g., Newtonian mechanics en bloc, as opposed, say, to Newton’s theory of gravitation) either does not arise, or is dismissed in so far as frameworks are thought not to be the kind of (...) thing that admits scientific confirmation. I argue that there is another form of scientific reasoning that has not received philosophical attention, what I call Newtonian abduction, that does provide confirmation for frameworks as a whole, and does so in two novel ways. (In particular, Newtonian abduction is not inference to the best explanation, but rather is closer to Peirce’s original idea of abduction.) I further argue that Newtonian abduction is at least as important a form of reasoning in science as standard deductive and inductive forms. The form is beautifully summed up by Maxwell (Proc Camb Philos Soc II:292–294, 1876): “The true method of physical reasoning is to begin with the phenomena and to deduce the forces from them by a direct application of the equations of motion.”. (shrink)

Huw Price has sketched a program for a globalized expressivism in support of which he has repeatedly invoked Rudolf Carnap. This paper argues that this is entirely appropriate, as Carnap had something quite similar in mind. However, it also argues that Price’s recent attempts to integrate Robert Brandom’s inferentialism to this program are less successful, and that a more empirically-oriented descriptive pragmatics along Carnapian lines would be a better fit with his original program than Brandom’s explicitly hermeneutical agenda.

It is generally thought that Carnap’s principle of tolerance cannot be integrated into a coherent overall conception of rationality. The doubts come from many sides, of which two are singled out. This paper argues that both are wrong, and that Carnapian rationality is a viable and perhaps quite interesting program for further development.

In this paper, we reconsider the highly underrated Carnap–Sellars relationship, arguing that Sellars might be able to provide an interesting resolution to some of Carnap’s finest problems around explication by offering a grand-scale picture of science/common-sense or manifest interactions. The narrative developed here points toward the need for some stratification and re-evaluation of a field of scholarship that all too often still engages in challenging and contradictory dichotomies, undermining the genuine intentions of scholars who were collaborating with, as well as (...) living and researching in parallel with each other. We would like to explore what these figures can offer to each other, and whether, for example, a truly Sellarsian perspective could illuminate any problematic points in Carnap that have not yet been problematized by Carnapians but could still improve the original system. (shrink)

This paper argues for two conclusions: (1) evaluating the success of engineered concepts necessarily involves empirical work; and (2) the Carnapian Explication criterion precision ought to be a methodological standard in conceptual engineering. These two conclusions provide a new analysis of the race and gender debate between Sally Haslanger and Jennifer Saul. Specifically, the argument identifies the resources Haslanger needs to respond to Saul’s main objections. Lastly, I contrast the methodology advocated here with the so-called “method of cases” and draw (...) out some general implications for how we should think about concepts. (shrink)

This paper argues for two conclusions: (1) evaluating the success of engineered concepts necessarily involves empirical work; and (2) the Carnapian Explication criterion precision ought to be a methodological standard in conceptual engineering. These two conclusions provide a new analysis of the race and gender debate between Sally Haslanger and Jennifer Saul. Specifically, the argument identifies the resources Haslanger needs to respond to Saul’s main objections. Lastly, I contrast the methodology advocated here with the so-called “method of cases” and draw (...) out some general implications for how we should think about concepts. (shrink)

Verificationism has had a bad press for many years. The view that the meaning of our words is bound up with the discernible difference it would make if what we say, think or write were true or false, nowadays is scorned as “positivist” though it was shared by eminent empiricists and pragmatists. This paper seeks to sort through some of the complexities of what is often portrayed as an unduly simplistic conception. I begin with an overview of its main logical (...) empiricist varieties before considering which aspects of it fall victim to which of the three major types of objection that have been raised against it. I will conclude that what is left standing is a modest proposal that seems worth further investigation. (shrink)

Carnap’s lectures at the 1935 Paris Congress for the Unity of Science marked the beginning of his mature metaphilosophy. This paper considers what role remained for epistemology once it was “purified” of all psychological elements as Carnap there demanded. It is argued that while this did mean the end of traditional epistemology, room was found for nontraditional versions in the course of the further development of Carnap’s logic of science.

This paper considers the question whether the notion of the relative apriori, central to Michael Friedman’s transcendentalist programme for philosophy of science, is available also to philosophers who reject appeals to a synthetic a priori. After tracing the rediscovery of the relative a priori and delineating its potential, the question is considered whether Friedman’s arguments against Quinean naturalism and Carnap’s attenuated logicism tell against a conception of philosophy as scientific metatheory that combines logical and empirical inquiries. Finding an opening here (...) it is argued that this conception can also help itself to the notion of a relative a priori which, it is agreed, is central to historically informed theorising about science. (shrink)

The tendency to attribute foundationalist ambitions to the Vienna Circle has long obscured our view of its attempted revolution in philosophy. The present paper makes the case for a consistently epistemologically anti-foundationalist interpretation of all three of the Circle's main protagonists: Schlick, Carnap, and Neurath. Corresponding to the intellectual fault lines within the Circle, two ways of going about the radical reorientation of the pursuit of philosophy will then be distinguished and the contemporary potential of Carnap's and Neurath's project explored.

On a widespread reading, the Carnap-Quine debate about ontology concerns the objectivity and non-triviality of ontological claims. I argue that this view mischaracterizes Carnap’s aims in “Empiricism, Semantics, and Ontology” : Carnap’s fundamental goal is to free up decisions about scientific language from constraints deriving from ontological doctrine. The contention, based on his internal/external distinction, that ontological claims are either meaningless or trivial was Carnap’s means to achieving this more fundamental goal. Setting the record straight on this point brings out (...) three important and often overlooked features of Carnap’s views on ontology. First, the target of Carnap’s critique in ESO is not Quine’s mature views on ontology, as laid out in “On What There Is”. Rather, Carnap is responding to arguments for nominalism that were given by Tarski, Goodman, and Quine in the 1940s. Second, a more general rejection of conservatism in theory choice is essential to Carnap’s aims and is implicit in his fundamental views on language. Third, even if it turns out to be tenable, the i/e distinction is not adequate for Carnap’s aim in ESO. Drawing on his basic conception of scientific language, I will suggest an alternative approach on his behalf. (shrink)

Recent defenses of a priori knowledge can be applied to the idea of conventions in science in order to indicate one important sense in which conventionalism is correctsome elements of physical theory have a unique epistemological status as a functionally a priori part of our physical theory. I will argue that the former a priori should be treated as empirical in a very abstract sense, but still conventional. Though actually coming closer to the Quinean position than recent defenses of a (...) priori knowledge, the picture of science developed here is very different from that developed in Quinean holism in that categories of knowledge can be differentiated. (shrink)

Several recent works in history and philosophy of science have re-evaluated the alleged opposition between the theses put forth by logical empiricists such as Carnap and the so-called "post-positivists", such as Kuhn. Although the latter came to be viewed as having seriously challenged the logical positivist views of science, recent authors maintain that some of the most notable theses of the Kuhnian view of science have striking similarities with some aspects of Carnap's philosophy. Against that reading, Oliveira and Psillos argue (...) that within Carnap's philosophy there is no place for the Kuhnian theses of incommensurability, holism, and theory-ladenness of observations. This paper presents each of those readings and argues that Carnap and Kuhn have non-opposing views on holism, incommensurability, the theory-ladenness of observations, and scientific revolutions. We note at the very end - without dwelling on the point, however - that they come apart on other matters, such as their views on metaphysics and on the context of discovery/justification distinction. (shrink)

The present article purports to show that the protocol sentence debate, pursued by some leading members of the Vienna Circle in the mid-1930s, was essentially a controversy over the explanation and the real significance of the concept of truth. It is further shown that the fundamental issue underlying the discussions about the concept of truth was the relationship between form and content, as well as between logic/language and the world. R. Carnap was the philosopher who most explicitly and systematically attempted (...) to come to grips with this problem. It is shown that the form-content distinction pervades the three most important phases of Carnap's philosophical development: the structuralist (in Der logische Aufbau der Welt), the syntactical and the semantical. His final semantical stance is essentially determined by the concept of linguistic frameworks. The article purports to demonstrate that this concept cannot be dispensed with in philosophy, but that Carnap failed to work out its ontological implications. Finally, the concept of an internal ontology is briefly delineated. (shrink)

A. W. Carus champions Rudolf Carnap’s ideal of explication as a model for liberal political deliberation. Constructing a linguistic framework for discussing social problems, he argues, promotes the resolution of our disputes. To flesh out and assess this proposal, I examine debate about the social institutions of marriage and adoption. Against Carus, I argue that not all citizens would accept the pragmatic principles underlying Carnap’s ideal. Nevertheless, explication may facilitate inquiry in the social sciences and be used to create models (...) that help us to understand past disputes. This latter application reveals explication’s potential for refining the social histories that inform contemporary political discourse. (shrink)

Idealist Heresies in Philosophy of Science: Cassirer, Carnap, and Kuhn. As common wisdom has it, philosophy of science in the analytic tradition and idealist philosophy are incompatible. Usually, not much effort is spent for explaining what is to be understood by idealism. Rather, it is taken for granted that idealism is an obsolete and unscientific philosophical account. In this paper it is argued that this thesis needs some qualification. Taking Carnap and Kuhn as paradigmatic examples of positivist and postpositivist philosophies (...) of science it is shown that these accounts share important features with Cassirer's idealist philosophy of science developed in the first half of this century. As it turns out, often Cassirer is more modern than those classical philosophers of (post)posivitist philosophy of science. For instance, Quine's criticism against Carnap's empiricist philosophy of science launched in Two Dogmas of Empiricism is anticipated by Cassirer for several decades. (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)

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...) consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...) only explains their differences on the question of analyticity, but points to a Quinean way to answer a challenge that Quine posed to Carnap. The answer to this challenge leads to a Quinean view of analyticity such that arithmetical truths are analytic, according to Quine’s own remarks, and set theory is at least defensibly analytic. (shrink)

When a debate seems intractable, with little agreement as to how one might proceed towards a resolution, it is understandable that philosophers should consider whether something might be amiss with the debate itself. Famously in the last century, philosophers of various stripes explored in various ways the possibility that at least certain philosophical debates are in some manner deficient in sense. Such moves are no longer so much in vogue. For one thing, the particular ways they have been made have (...) themselves undergone much critical scrutiny, so that many philosophers now feel that there is, for example, a Quinean response to Carnap, a Gricean reply to Austin, and a diluting proliferation of Wittgenstein interpretations.2 Be that as it may,3 there do of.. (shrink)

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach to philosophical (...) analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology, and even the history of philosophy. It discusses the import of quantifier variance in the model theory of mathematics. It advances an argument for the uniqueness of quantifier meaning in terms of Evert Beth’s notion of implicit definition, and clarifies the oldest explicit formulation of quantifier variance: the one proposed by Rudolf Carnap. -/- (...) The volume further examines what it means that a quantifier can have multiple meanings, and addresses how existential vagueness can induce vagueness in our modal notions. Finally, the book explores the role played by quantifiers with respect to various kinds of semantic paradoxes, the logicality issue, ontological commitment, and the behavior of quantifiers in intensional contexts. ​. (shrink)

One of the key events in the relations between the Central European philosophers and those of the Nordic countries was the Second International Congress for the ...

This volumes aim is to provide an introduction to Carnaps book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.

The main aim of this paper is to analyze Susan Stebbing’s views on the nature of clarity in the 1930s. I limit myself to this period because it allows for a contrast between her sophisticated and significant views on what I call ‘the standard conception of clarity’ with her view on ‘democratic clarity’ developed in her (1939) book, *Thinking to Some Purpose*. I contextualize her views with some alternative characterizations of clarity on offer among other early analytic philosophers (including brief (...) discussions of Carnap, Quine, Price, and Nagel). While my focus is on Stebbing, I show, thereby, that in the great age of clarification in early analytic philosophy there were was no clarity or consensus on the nature of clarity. This helps illuminate some of the by now well-known difficulties in treating analytic philosophy as a unified project. The other pay-off of my approach should be the start of taxonomy of the kinds of clarity in early analytic philosophy. (shrink)

This encyclopedia article provides a procedural account of explication outlining each step that is part of the overall explicative effort (2). It is prefaced by a summary of the historical development of the method (1). The latter part of the article includes a rough structural theory of explication (3) and a detailed presentation of an examplary explication taken from the history of philosophy and the foundations of mathematics (4).

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)

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...) the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

Every physical theory has two different forms of mathematical equations to represent its target systems: the dynamical and the kinematical. Kinematical constraints are differentiated from equations of motion by the fact that their particular form is fixed once and for all, irrespective of the interactions the system enters into. By contrast, the particular form of a system's equations of motion depends essentially on the particular interaction the system enters into. All contemporary accounts of the structure and semantics of physical theory (...) treat dynamics, i.e., the equations of motion, as the most important feature of a theory for the purposes of its philosophical analysis. I argue to the contrary that it is the kinematical constraints that determine the structure and empirical content of a physical theory in the most important ways: they function as necessary preconditions for the appropriate application of the theory; they differentiate types of physical systems; they are necessary for the equations of motion to be well posed or even just cogent; and they guide the experimentalist in the design of tools for measurement and observation. It is thus satisfaction of the kinematical constraints that renders meaning to those terms representing a system's physical quantities in the first place, even before one can ask whether or not the system satisfies the theory's equations of motion. (shrink)

Several recent works in history and philosophy of science have re-evaluated the alleged opposition between the theses put forth by logical empiricists such as Carnap and the so-called "post-positivists", such as Kuhn. Although the latter came to be viewed as having seriously challenged the logical positivist views of science, recent authors (e.g., Friedman, Reisch, Earman, Irzik and Grünberg) maintain that some of the most notable theses of the Kuhnian view of science have striking similarities with some aspects of Carnap's philosophy. (...) Against that reading, Oliveira and Psillos argue that within Carnap's philosophy there is no place for the Kuhnian theses of incommensurability, holism, and theory-ladenness of observations. This paper presents each of those readings and argues that Carnap and Kuhn have non-opposing views on holism, incommensurability, the theory-ladenness of observations, and scientific revolutions. We note at the very end - without dwelling on the point, however - that they come apart on other matters, such as their views on metaphysics and on the context of discovery/justification distinction. (shrink)

We discuss scientific realism from the perspective of modern cosmology, especially primordial cosmology: i.e. the cosmological investigation of the very early universe. We first state our allegiance to scientific realism, and discuss what insights about it cosmology might yield, as against "just" supplying scientific claims that philosophers can then evaluate. In particular, we discuss: the idea of laws of cosmology, and limitations on ascertaining the global structure of spacetime. Then we review some of what is now known about the early (...) universe : meaning, roughly, from a thousandth of a second after the Big Bang onwards. The rest of the paper takes up two issues about primordial cosmology, i.e. the very early universe, where "very early" means, roughly, much earlier than one second after the Big Bang: say, less than 10^{-11} seconds. Both issues illustrate that familiar philosophical threat to scientific realism, the under-determination of theory by data---on a cosmic scale. The first issue concerns the difficulty of observationally probing the very early universe. More specifically, the difficulty is to ascertain details of the putative inflationary epoch. The second issue concerns difficulties about confirming a cosmological theory that postulates a multiverse, i.e. a set of domains each of whose inhabitants cannot directly observe, or otherwise causally interact with, other domains. This again concerns inflation, since many inflationary models postulate a multiverse. For all these issues, it will be clear that much remains unsettled, as regards both physics and philosophy. But we will maintain that these remaining controversies do not threaten scientific realism. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

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)

In the early 1970s it is was realized that there is a striking formal analogy between the Laws of black-hole mechanics and the Laws of classical thermodynamics. Before the discovery of Hawking radiation, however, it was generally thought that the analogy was only formal, and did not reflect a deep connection between gravitational and thermodynamical phenomena. It is still commonly held that the surface gravity of a stationary black hole can be construed as a true physical temperature and its area (...) as a true entropy only when quantum effects are taken into account; in the context of classical general relativity alone, one cannot cogently construe them so. Does the use of quantum field theory in curved spacetime offer the only hope for taking the analogy seriously? I think the answer is 'no'. To attempt to justify that answer, I shall begin by arguing that the standard argument to the contrary is not physically well founded, and in any event begs the question. Looking at the various ways that the ideas of "temperature" and "entropy" enter classical thermodynamics then will suggest arguments that, I claim, show the analogy between classical black-hole mechanics and classical thermodynamics should be taken more seriously, without the need to rely on or invoke quantum mechanics. In particular, I construct an analogue of a Carnot cycle in which a black hole "couples" with an ordinary thermodynamical system in such a way that its surface gravity plays the role of temperature and its area that of entropy. Thus, the connection between classical general relativity and classical thermodynamics on their own is already deep and physically significant, independent of quantum mechanics. (shrink)

I argue that an adequate semantics for physical theories must be grounded on an account of the way that a theory provides formal and conceptual resources appropriate for---that have propriety in---the construction of representations of the physical systems the theory purports to treat. I sketch a precise, rigorous definition of the required forms of propriety, and argue that semantic content accrues to scientific representations of physical systems primarily in virtue of the propriety of its resources. In particular, neither the adequacy (...) of those representations nor any referential relations their terms may enter into play any fundamental role in the determination of the representation's semantic content. One consequence is that anything like traditional Tarskian semantics is inadequate for the task. (shrink)