Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

People occasionally change their moral beliefs and principles, and they may experience such changes as occurring independently of their wishes. Moral realists argue that this phenomenon of moral conversion is evidence for moral realism, and against noncognitivism. However, contemporary noncognitivists can acknowledge such changes--including changes "against our wills"--and can account for the changes in a simpler and more plausible manner. If moral realism posits real moral facts to account for moral conversion the result will be an extreme and untenable inflation (...) of moral realist ontology. (shrink)

Is a policy-friendly philosophy of science possible? In order to respond this question, I consider a particular instance of contemporary philosophy of science, the semantic view of scientific theories, by placing it in the broader methodological landscape of the integration of philosophy of science into STS (Science and Technology Studies) as a component of the overall contribution of the latter to science policy. In that context, I defend a multi-disciplinary methodological integration of the special discipline composing STS against a reductionist (...) interdisciplinary unification, arguing that if STS wants to contribute to policy advising by constructing narratives of science practice feasible for science policy both in terms of descriptive completeness and intelligibility, then it must avoid the explanatory reductionism tendencies of special disciplines in interdisciplinary contexts. This would favour, at the same time, a relaxation of esoteric language. On this basis, it seems that the semantic view is one right candidate among other approaches in the philosophy of science for facilitating the integration of the methodologically different contributions to STS toward policy objectives. In fact, besides offering a more realistic and descriptively complete picture of science practice with respect to its predecessor in the philosophy of science, namely the syntactic view, the semantic view is also able to capture some aspects of science practice that elude even sociological approaches to STS, thus inviting different perspective on the same subject matter. (shrink)

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

In this paper I reconstruct and compare criteria of theoreticity that have been developed by Carnap, Sneed and proponents of the Munich school of structuralist philosophy of science. For this purpose I develop a unified framework in which one can transform model-theoretic theory representations into linguistic ones, and vice versa. This bridges the gap between statement and non-statement view and allows a precise comparison of linguistic and model-theoretic criteria of theoreticity. In the final part I suggest a system of improved (...) definitions of theoreticity and pre-theoreticity. (shrink)

The aim of this paper is make a contribution to the ongoing search for an adequate concept of the a priori element in scientific knowledge. The point of departure is C.I. Lewis’s account of a pragmatic a priori put forward in his "Mind and the World Order" (1929). Recently, Hasok Chang in "Contingent Transcendental Arguments for Metaphysical Principles" (2008) reconsidered Lewis’s pragmatic a priori and proposed to conceive it as the basic ingredient of the dynamics of an embodied scientific reason. (...) The present paper intends to further elaborate Chang’s account by relating it with some conceptual tools from cognitive semantics and certain ideas that first emerged in the context of the category-theoretical foundations of mathematics. (shrink)

We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.

In the philosophy of science, the frame model is used in order to represent and analyze scientific concepts and conceptual change. However, the potential of the frame model is far from being fully exploited: Up to now, the frame model is only applied to a rather small set of different kinds of concepts and important advantages of the frame model for reconstructing and analyzing concepts have been neglected. In this article, we will essentially extend the frame model in the following (...) way: We will develop a frame-based approach for representing a comprehensive class of different kinds of concepts including conjunctively and disjunctively defined concepts, family resemblance concepts, prototype concepts, operationalized concepts, dual concepts integrating two different ways of concept determination, and theoretical concepts. In order to do so, we will define different kinds of frames with respect to the logical structure of the kind of concept that is represented by a particular frame. We will exemplify our approach by means of ten frames applied to standard cases of conceptual analyses in philosophy and cognitive science as well as to scientific concepts of political science, psychology, linguistics and physics. (shrink)

According to a seminal paper by Barsalou , frames are attribute-value-matrices for representing exemplars or concepts. Frames have been used as a tool for reconstructing scientific concepts as well as conceptual change within scientific revolutions . In the frame-based representations of scientific concepts developed so far the semantic content of concepts is determined by a set of attribute-specific values. This way of representing semantic content works best for prototype concepts and defined concepts of a conceptual taxonomy satisfying the no-overlap principle. (...) In addition to the semantic content of prototype concepts and defined concepts, frames can also contain empirical knowledge that is represented as constraints between the values of the frame. Beside prototype concepts and defined concepts, theoretical concepts that are multiply operationalized play an important role in science. However, so far no frame-based representation of theoretical concepts has been proposed. In this paper, it will be shown that theoretical concepts can be represented by frames and that frame-based representations of prototype concepts and defined concepts have another structure than frame-based representations of theoretical concepts. In order to explicate this difference, we will develop a frame-based method for representing all three kinds of concepts by means of mathematical graph-theory. One important consequence will be that the constraints of a frame representing a theoretical concept are entailed by the structure of the frame, as opposed to a frame representing defined or prototype concepts. (shrink)

Karl Marx and Sigmund Freud provided powerful accounts of systematic interested ignorance. Fifty years ago, Anglo-American philosophies of science stigmatized Marx's and Freud's analyses as models of irrationality. They remain disvalued today, at a time when virtually all other humanities and social science disciplines have returned to extract valuable insights from them. Here the argument is that there are reasons distinctive to philosophy why such theories were especially disvalued then and why they remain so today. However, there are even better (...) reasons today for philosophy to break from this history and find more fruitful ways to engage with systematic interested ignorance. (shrink)

The philosopher Rudolf Carnap, although not himself an originator of mathematical advances in logic, was much involved in the development of the subject. He was the most important and deepest philosopher of the Vienna Circle of logical positivists, or, to use the label Carnap later preferred, logical empiricists. It was Carnap who gave the most fully developed and sophisticated form to the linguistic doctrine of logical and mathematical truth: the view that the truths of mathematics and logic do not describe (...) some Platonistic realm, but rather are artifacts of the way we establish a language in which to speak of the factual, empirical world, fallouts of the representational capacity of language. Carnap was also the thinker who, after Russell, most emphasized the importance of modern logic, and the distinctive advances it enables in the foundations of mathematics, to contemporary philosophy. It was through Carnap's urgings, abetted by Hans Hahn, once Carnap arrived in Vienna as Privatdozent in philosophy in 1926, that the Vienna Circle began to take logic seriously and that positivist philosophy began to grapple with the question of how an account of mathematics compatible with empiricism can be given.A particular facet of Carnap's influence is not widely appreciated: it was Carnap who introduced Kurt Gödel to logic, in the serious sense. Although Gödel seems to have attended a course of Schlick's on philosophy of mathematics in 1925–26, his second year at the University, he did not at that time pursue logic further, nor did the seminar leave much of a trace on him. In the early summer of 1928, however, Carnap gave two lectures to the Circle which Gödel attended, or so I surmise. At these occasions, Carnap presented material from his manuscript treatise, Untersuchungen zur allgemeinen Axiomatik, that is, “Investigations into general axiomatics”, which dealt with questions of consistency, completeness and categoricity. Carnap later circulated this material to various people including Gödel. (shrink)

This paper defends scientific realism, the doctrine that we should interpret theories as being just as ontologically committing as beliefs at the observational level. I examine the character of observation to show that the difference in interpretation suggested by anti-realists is unwarranted. Second, I discuss Wilfrid Sellars'' approach to the issue. Finally, I provide a detailed study of recent work by Bas van Fraassen. While van Fraassen''s work is the focus of the paper, the conclusions are far broader: That a (...) wide family of anti-realist views (of which van Fraassen''s is only one) is problematic and unmotivated and hence to be rejected. (shrink)

Recent essays by Michael Friedman1 and William Demopoulos2 on Carnap’s late approach to analyticity in the theoretical language make a convincing case for the continuing philosophic interest of this part of Carnap’s work. The present essay is intended not to disagree with any of these essays but to raise a logically prior worry as to whether Carnap’s account of analyticity here is well motivated and consistent with other attractive aspects of his view. To do this I outline, in §1, Frank (...) Ramsey’s approach to theories and the so-called Ramsey sentence. This will allow us to trace the steps by which Carnap came to use the Ramsey sentence in developing an account of analyticity for the theoretical language. Then, in §2, I articulate my own uneasiness with what I see as Carnap’s motivation. Finally, in §3, I express my practical reservations about how well Carnap’s approach fits with other aspects of his view. This is not intended as a refutation but rather as a reflection on how we can learn from Carnap and as a reminder of how much more we have to do. (shrink)

The foundations of probability are viewed through the lens of the subjectivist interpretation. This article surveys conditional probability, arguments for probabilism, probability dynamics, and the evidential and subjective interpretations of probability.

There is a widely shared belief that the higher-level sciences can provide better explanations than lower-level sciences. But there is little agreement about exactly why this is so. It is often suggested that higher-level explanations are better because they omit details. I will argue instead that the preference for higher-level explanations is just a special case of our general preference for informative, logically strong, beliefs. I argue that our preference for informative beliefs entirely accounts for why higher-level explanations are sometimes (...) better—and sometimes worse—than lower-level explanations. The result is a step in the direction of the unity of science hypothesis. 1Introduction2Background: Is Omitting Details an Explanatory Virtue? 2.1Anti-reductionist arguments2.2Reductionist argument2.3Logical strength3Bases, Links and Logical Strength4Functionalism and Fodor’s Argument5Two Generalizations6Should the Base Really Be Maximally Strong?7Anti-reductionist Arguments Regarding the Base8Should the Antecedent of the Link Really Be Maximally Weak? (shrink)

We assess the celebration of the 1st World Logic Day which recently took place all over the world. We then answer the question Why a World Logic Day? in two steps. First we explain why promoting logic, emphasizing its fundamental importance and its relations with many other fields. Secondly we examine the sense of a one-day celebration: how this can help reinforcing logic day-to-day and why logic deserves it. We make a comparison with other existing one-day celebrations. We end by (...) presenting and commenting the logo of the World Logic Day. (shrink)