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

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.

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)

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)

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 mainstream of the philosophy of science in the second quarter of this century—the so-called “logical empiricist” or “logical positivist” movement—assumed that theoretical language in science is parasitic upon observation language and can be eliminated from scientific discourse by disinterpretation and formalization, or by explicit definition in or reduction to observational language. But several fashionable views now place the onus on believers in an observation language to show how such a language is meaningful in the absence of a theory.In the (...) present paper, I propose to show why logical positivism failed to do justice to the basic empirical and logical problems of philosophy of science. I also wish to consider why the drastic reaction, typified by Thomas Kuhn and Paul Feyerabend, fails t o provide a suitable alternative, and to suggest that the radical approaches of recent writers such as Mary Hesse and Dudley Shapere hold out a genuine promise of dealing effectively with the central tasks that face the philosopher of science today. (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.

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.

The essay centers on Gödel's views on the place of our intuitive concept of time in philosophy and in physics. It presents my interpretation of his work on the theory of relativity, his observations on the relationship between Einstein's theory and Kantian philosophy, as well as some of the scattered remarks in his conversations with me in the seventies — namely, those on the philosophies of Leibniz, Hegel and Husserl — as a successor of Kant — in relation to their (...) conceptions of time. (shrink)

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

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 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 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)

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)

It is widely believed that empiricism, though once dominant, is now extinct. This turns out to be mistaken because of incorrect assumption about the initial dominance of logical empiricism and about the content and variety of logical empiricist views. In fact, prominent contemporary philosophers (Quine and Kuhn) who are thought to have demolished logical empiricism are shown to exhibit central views of the logical empiricists rather than having overthrown them.

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)

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)

Conceptual engineering is the method (or methods) via which we can assess and improve our concepts. Can conceptual engineering be usefully employed within analytic theology? Given that analytic theology and analytic philosophy effectively share the same philosophical toolkit then if conceptual engineering works well in philosophy then it ought to work well in analytic theology too. This will be our working hypothesis. To make good on this hypothesis, we first address two challenges. The first challenge makes conceptual engineering look to (...) be too inclusive; the second challenge makes it look to be too revolutionary (for analytic theology). To address these challenges, we propose a refined characterisation of conceptual engineering. We then turn to consider a number of case studies where analytic theology and conceptual engineering may fruitfully cooperate. These are: theological disagreements, inter-faith dialogue, meaning change, celibacy, AI, the name of God, and conceptual genealogy. (shrink)

In this paper, the connection between logicism and the principle of tolerance in Carnap’s philosophy of logic and mathematics is to be presented in terms of the history of its development. Such development is conditioned by two lines of criticism to Carnap’s attempt to combine Logicism and Conventionalism, the first of which comes from Gödel, the second from Alfred Tarski. The presentation will take place in three steps. First, the Logicism of Carnap before the publication of The Logical Syntax of (...) Language will be analyzed in its main features. Second, the relationship between Logicism and the Principle of Tolerance at the time of the publication of Logical Syntax, and thirdly, in the so-called semantical phase of Carnap’s thought will be examined. On the basis of the two preceding points, we will then critically analyze two interpretations of the possibility to maintain a philosophical position like that of Carnap nowadays. (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)

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)

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)

Social scientists, political scientists and philosophers debate key concepts such as democracy, power and autonomy. Contested concepts like these pose questions: Are terms such as “democracy” hopelessly ambiguous? How can two theorists defend alternative accounts of democracy without talking past each other? How can we understand debates in which theorists disagree about what democracy is? This paper first discusses the popular strategy to answer these questions by appealing to Rawls’s distinction between concepts and conceptions. According to this approach, defenders of (...) rival conceptions of, e.g. justice can disagree without talking past each other because they share the concept of justice. It is argued that this idea is attractive but limited in application and that it fails to do justice to the dynamic and normative aspects of concept formation. Reflective equilibrium is then suggested as an alternative approach. It replaces the static contrast between a conceptual ‘core’ and competing conceptions by a dynamic perspective of concept formation as a partly normative undertaking: pre-theoretic language use and commitments can provide a shared starting point for developing alternative accounts which yield different concepts of, e.g. justice. This perspective provides a new understanding of how it is possible that different theorists defend rival accounts of, e.g. justice, without talking past each other. (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)

The idea that thought and language can be clarified through logical methods seems problematic because, while thought and language are not always exact, logic (by its very nature) must be. According to Kuusela, ideal (ILP, represented by Frege and Russell) and ordinary language philosophy (OLP, represented by Strawson) offer opposed solutions to this problem, and Wittgenstein combines the advantages of both. I argue that, given Kuusela’s characterisation of OLP, Strawson was not an OLP’er. I suggest that, instead of seeing ILP (...) and OLP as opposed to one another, it is better to regard OLP as an extension of ILP. (shrink)

Carnap’s 1931 attack against metaphysics notoriously utilises Heidegger’s work to exemplify the meaninglessness of metaphysical pseudo‐statements. This paper interprets Carnap’s metametaphysics as concerned with delimiting theoretical dialogue in such a manner as to exclude unresolvable disagreements. It puts forth a revised version of Carnap’s argument against the viability of metaphysics, by setting aside his stronger claims that rely on verificationism and focusing instead on his account of metaphysical claims as mere expressions of what he calls “Lebensgefühl,” or a general attitude (...) towards life. Such attitudes, Carnap argues, are unsuitable objects of theoretical dialogue, insofar as disagreements that concern them are unresolvable. Carnap thus recommends abandoning the attempt to resolve metaphysical disagreements as if they were theoretical. As long as it does not enter into unresolvable disagreements, art, rather than theory, is the appropriate medium for expressing Lebensgefühl. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

European Journal of Philosophy, EarlyView.

Attribute spaces are a type of conceptual spaces which Carnap introduced in his late basic system of inductive logic. This article shows how to extend Carnap's use of them into a full model of inductive reasoning with geometrically represented concepts, extending my earlier work. The proposed model draws on Bayesian non-parametric techniques in order to define a probability distribution over the attribute space and a way of updating it with data. The model is another example of conceptual and formal continuity (...) of Carnapian inductive logic with subsequent developments in statistics. (shrink)

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)

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.

Do numbers exist? Carnap (1956 [1950]) famously argues that this question can be understood in an “internal” and in an “external” sense, and calls “external” questions “non-cognitive”. Carnap also says that external questions are raised “only by philosophers” (p. 207), which means that, in his view, philosophers raise ”non-cognitive” questions. However, it is not clear how the internal/external distinction and Carnap’s related views about philosophy should be understood. This paper provides a new interpretation. I draw attention to Carnap’s distinction between (...) purely external statements, which are independent from all frameworks, and pragmatic external statements, which concern which framework one should adopt, and argue that the latter express noncognitive mental states. Specifically, I argue that “frameworks” are systems of rules for the assessment of statements, which are utterances of ordinary language sentences. Pragmatic external statements express noncognitive dispositions to follow only certain rules of assessment. For instance, “numbers exist” understood as a pragmatic external statement expresses a noncognitive disposition to use only rules of assessment according to which numbers do exist. Carnap can thereby be understood as proposing a distinctive form of noncognitivism about ontology that is in some respects analogous to norm-expressivism in metaethics. (shrink)

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

In a number of influential papers, Machery, Mallon, Nichols and Stich have presented a powerful critique of so-called arguments from reference, arguments that assume that a particular theory of reference is correct in order to establish a substantive conclusion. The critique is that, due to cross-cultural variation in semantic intuitions supposedly undermining the standard methodology for theorising about reference, the assumption that a theory of reference is correct is unjustified. I argue that the many extant responses to Machery et al.’s (...) critique do little for the proponent of an argument from reference, as they do not show how to justify the problematic assumption. I then argue that it can in principle be justified by an appeal to Carnapian explication. I show how to apply the explication defence to arguments from reference given by Andreasen and by Churchland. (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)

Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for (...) purely practical reasons. Finally, three limitations which call for further development of the method of explication are discussed. (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)

In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...) notion that any system of logic should have a privileged claim to correctness, I argue that there is a sense in which Carnap’s framework-relative conception of logical norms has a constitutive role to play: though they are not constitutive for the conceptual activity for thinking, they do nevertheless set the ground rules that make certain forms of scientific inquiry possible in the first place. I conclude that Carnap’s principle of tolerance is tamer than one might have thought and that, despite remaining differences, Frege’s and Carnap’s conceptions of logic have more in common than one might have thought. (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)

In this paper, I show that there are important but hitherto unnoticed similarities between key figures of the Vienna Circle and early defenders of sociology of knowledge. The similarities regard their stance on potential implications of the study of science for political and societal issues. I argue that notably Otto Neurath and Karl Mannheim are concerned with proposing a genuine political philosophy of science that is remarkably different from today’s emerging interest in the relation between science and society in philosophy (...) of science. (shrink)

The analytic/synthetic distinction has played a central role in discussions of a priori knowledge throughout the twentieth century. One of the primary reasons for the prominence of this distinction is the widespread influence of the tradition of logical empiricism which endorsed the following principles: All analytic propositions are knowable a prioriand All propositions knowable a priori are analytic.Hence, proponents of the a priori often argue in support of the contention that the propositions of a particular discipline, say mathematics or logic, (...) are knowable a priori by arguing that it consists solely of analytic propositions. On the other hand, detractors of the a priori often reject such knowledge on the grounds that the analytic/synthetic distinction is not cogent. My primary goal in this paper is to challenge the prevalent acceptance of. (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 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)

Lehrer Semantics, as it was devised by Adrienne and Keith Lehrer, is imbedded in a comprehensive web of thought and observations of language use and development, communication, and social interaction, all these as empirical phenomena. Rather than for a theory, I take it for a ‘‘model’’ of the kind which gives us guidance in how to organize linguistic and language-related phenomena. My comments on it are restricted to three aspects: In 2 I deal with the question of how Lehrerian sense (...) can be empirically distinguished from Lehrerian reference as a precondition for the claim that sense relationships are in general more stable than reference relations. It seems that this very claim must already be presupposed for doing the respective empirical investigation. But in 3, I argue for the option to interpret the Lehrers’ concept of sense resp. sense vectors as intension concepts, by which move one may gain a generalized concept, so-to-say ‘‘graded analyticity’’, containing Carnapian strict analyticity for language systems as the extreme case of sense vectors with maximum value. Such graded sense may also be empirically investigated in the case of normal languages. In 4, I plead for my view that what the Lehrers take for communal languages are really collections of family-resembling idiolects of individual speakers and hypotheses of individual speakers about the idiolects of their fellow speakers. This move should free us from the fiction of, and sterile discussions about, the ‘‘true’’ meanings of words, but nevertheless keep normal language communication possible. As a concluding remark I propose in 5 to have both: normal languages from an empirical point of view, and codified languages from a logical reconstructionist one. (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)