The paper examines the interrelationship between mathematics and logic, arguing that a central characteristic of each has an essential role within the other. The first part is a reconstruction of and elaboration on Paul Bernays’ argument, that mathematics and logic are based on different directions of abstraction from content, and that mathematics, at its core it is a study of formal structures. The notion of a study of structure is clarified by the examples of Hilbert’s work on the axiomatization of (...) geometry and Hilbert et al.’s formalist proof theory. It is further argued that the structural aspect of logic puts it under the purview of the mathematical, analogously to how the deductive nature of mathematics puts it under the purview of logic. This is then linked, in the second part, to certain aspects of Gödel’s critique of Carnap’s conventionalism, that ‘mere syntax’ cannot capture the full content of mathematics, which is revealed to be closely related to the characteristic of mathematics argued for by Bernays. Finally, this is connected with Gödel’s latter-day views about two kinds of formality, intensional and extensional, and the relationship between them. (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)

Theories of meaning developed within the analytic tradition, starting with Gottlob Frege, and within continental philosophy, starting with Husserl, can be distinguished by their disagreement about the phenomenon of collapse or failure of meaning. Our text focuses on Frege’s legacy, taken up by Rudolph Carnap, which culminated in a view of the collapse of meaning defined first by a purely syntactic conception of categorial error and second, when Tarski entered the scene, by the paradoxes created by the conflict between the (...) use of the predicate truth and the concept of proof. As positivism’s conventionalism and late model-theoretic semantics became the paradigms derived from this position, the result, in our view, was a conception of meaning success and meaning failure dominated by dependence on a technological conception. We will argue that this dependence leads to the inability to evaluate the breaks in rational parameters and crises of meaning addressed by the phenomenological and transcendental perspectives. Husserl’s critique of logic as technology is the basis for the reflexive standpoint on the phenomena of meaning failure that leads to a theoretical and eidetic ideal approach to that phenomenon. It is then suggested that this phenomenological reflective standpoint on the problem of meaning failure is the origin of the doors that lead to the divergent paths between the analytic and continental traditions. Thus, this is an article with three argumentative phases connected into a larger unity. The first phase presents Husserl’s critique of a purely extensional, syntactic, and recursive conception of logical consequence and the concept of truth; the second presents Hussel’s larger conception of meaning-failure; the third—presented in an appendix— presents a lesson on the division between continental and analytic philosophy. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

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)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

This paper rejects as unfounded a recent criticism of research on the so-called left wing of the Vienna Circle and the claim that it sported a political philosophy of science. The demand for ‘specific, local periodized claims’ is turned against the critic. It is shown (i) that certain criticisms of Red Vienna’s leading party cannot be transferred to the members of the Circle involved in popular education, nor can criticism of Carnap’s Aufbau be transferred to Neurath’s unified science project; (ii) (...) that neither with regard to Carnap nor to Neurath does the criticism raise points that either engage with the thesis proposed or stand up to closer scrutiny; (iii) that the main thesis attacked is just what I had warned the claim that the Vienna Circle had a political philosophy of science should not be understood as. The question whether theirs is ‘political enough’ today can and should be discussed without distortion of the historical record. (shrink)

Discussions of the relation between pragmatism and logical empiricism tend to focus on the period when the logical empiricists found themselves in exile, mostly in the United States, and then attempt to gauge the actual extent of their convergence. My concern lies with the period before that and the question whether pragmatism had an earlier influence on the development of logical empiricism, especially on the thought of the former members of the “first” Vienna Circle. I argue for a substantially qualified (...) affirmative answer. (shrink)

The aim of this paper is to defend a prototype B-theory answer to McTaggart’s Puzzle about Time. Smart hopes to solve the issue by pointing to the “anthropocentricity” of temporal A-notions. There is one important problem: explaining Prior cases (for instance being relieved that a painful experience is over ) in B-theoretic terms. First, it is argued that the problem is how to explain the nature of the subject’s tensed belief in Prior cases; the essential indexicality of the concept ‘ (...) now ’. Then it is suggested that Smart could utilize Burge’s framework for dealing with de re beliefs and a way of formalizing tensed beliefs is proposed. The last section of the paper deals with the exact role of the formalized indexical element. If these three steps are worked out, we might have an explanation of the facts involved in Prior cases without mentioning any A-facts. Hence an important problem to a Smart-influenced B-theory is solved, and McTaggart’s Puzzle answered in an adequate manner. (shrink)

Hans Hahn's long-neglected philosophy of mathematics is reconstructed here with an eye to his anticipation of the doctrine of logical pluralism. After establishing that Hahn pioneered a post-Tractarian conception of tautologies and attempted to overcome the traditional foundational dispute in mathematics, Hahn's and Carnap's work is briefly compared with Karl Menger's, and several significant agreements or differences between Hahn's and Carnap's work are specified and discussed.

In the 1930s, Carnap set out to incorporate psychology into the unity of science, by showing that all cognitively meaningful sentences of psychology can be translated into the language of physics. I will argue that Carnap, relying on his notion of protocol languages, defends a physicalistic philosophy of psychology that shows due appreciation to 'introspection' as a strictly subjective, but reliable way to verify sentences about one’s own mind. Second, I will point out that Carnap’s philosophy of psychology not only (...) takes into account overt behaviour, but must comprise neurophysiological processes as well. Last, I will show that Carnap aims to develop a philosophy of psychology that does justice to the ongoing changeability of scientific knowledge. (shrink)

The impartial reader notices that Frege, in Die Verneinung, treats an opposing conception of negation, but without specifically naming its proponent. In this paper, it is proven for the first time that the view in question is that of his colleague in Jena, Bruno Bauch. Besides their different views, concerning above all the status of false thoughts, there are nonetheless broader points of agreement between the ideas of Bauch and Frege. These points of agreement cast light on both thinkers as (...) representatives of a current of Neo-Kantianism, having its source in Lotze, in which Kantian and Platonic elements are fused to form a ?transcendental Platonism? (shrink)

Der Raum marks a transitional stage in Carnap’s thought, and therefore has both negative and positive implications for his further development. On the one hand, he is here largely a follower of Husserl, and a correct understanding of that background is important if one wants to understand what it is that he later rejects as “metaphysics.” On the other hand, he has already broken with Husserl in certain ways, in part following other authors. His use of Hans Driesch’s Ordnungslehre, in (...) particular, foreshadows the theme of so-called “voluntarism” which will characterize his later thought. (shrink)

Two people may claim both to be naturalists, but have divergent conceptions of basic elements of the natural world which lead them to mean different things when they talk about laws of nature, or states, or the role of mathematics in physics. These disagreements do not much affect the ordinary practice of science which is about small subsystems of the universe, described or explained against a background, idealized to be fixed. But these issues become crucial when we consider including the (...) whole universe within our system, for then there is no fixed background to reference ob- servables to. I argue here that the key issue responsible for divergent versions of naturalism and divergent approaches to cosmology is the conception of time. One version, which I call temporal naturalism, holds that time, in the sense of the succes- sion of present moments, is real, and that laws of nature evolve in that time. This is contrasted with timeless naturalism, which holds that laws are immutable and the present moment and its passage are illusions. I argue that temporal naturalism is em- pirically more adequate than the alternatives, because it offers testable explanations for puzzles its rivals cannot address, and is likely a better basis for solving major puz- zles that presently face cosmology and physics. -/- This essay also addresses the problem of qualia and experience within naturalism and argues that only temporal naturalism can make a place for qualia as intrinsic qualities of matter. (shrink)

As Einstein’s successor in Prague and the author of a biography on Einstein, the physicist and philosopher Philipp Frank made relativity a central aspect of his thoughts on morality. He published his views on this topic mainly in the year 1950 in a small book entitled Relativity—A Richer Truth. As far as morality as a part of social and political life is concerned, Frank’s primary interest is to show that as in science, relativity in morality does not preclude objectivity. The (...) paper deals with the question of which conceptions of relativity and relativism Frank refers to in the context of modern science and examines the implications for objectivity and absolute values in morality. (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)

Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) theoretical language for science. The first thesis of this paper is that recourse to an intended interpretation led to a partial retrenchment of the conventionalism implied by the Principle of Tolerance. It required that the choice of a language be based on abstraction from a context; this procedure later became a component of the process of explication that was distinctive to Carnap’s mature views. The interpretive origin of formal systems also ensured their likely syntactic consistency, an issue on which Carnap was strongly criticized by figures such as Beth and Gödel. The second thesis of this paper is that this reliance on an intended interpretation enabled constructed formal systems to be relevant to the development of empirical science. (shrink)

This essay looks at some of the key aspects of Hans Reichenbach’s career as a radio engineer, broadcaster, and producer. It argues that some of the themes of Reichenbach’s logical empiricism can be illuminated by looking at them in relation to his work as a radio engineer during and after World War One. It also argues that attention to the educational activities he undertook in the new broadcast radio medium can help us understand that affinities he saw between logical empiricism (...) and other modernizing projects of Weimar Germany. (shrink)

Historically, the Vienna Circle and the Dessau Bauhaus were related, with members of each group familiar with the ideas of the other. Peter Galison argues that their projects are related as well, through shared political views and methodological approach. The two main figures that connect the Vienna Circle to the Bauhaus—and the figures upon which Galison focuses—are Rudolf Carnap and Otto Neurath. Yet the connections that Galison develops do not properly capture the common themes between the Bauhaus and Neurath’s philosophical (...) projects. We demonstrate this by considering Neurath’s philosophical commitments. We suggest different connections between Neurath’s projects and the Bauhaus, connections that are both substantive and philosophically interesting. (shrink)

El presente escrito se propone presentar el modelo de tres niveles del conocimiento científico (datos, fenómenos y teorías) desde los recientes resultados de la filosofía de la ciencia obtenidos por dos perspectivas filosóficas particulares: el nuevo experimentalismo y el enfoque semántico de las teorías. Para ello contrasta los planteamientos principales de estas dos perspectivas con el modelo de dos niveles del conocimiento científico (observación y teoría) del positivismo lógico, que dominó el panorama de la filosofía de la ciencia en las (...) primeras seis décadas del siglo XX. (shrink)

Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking (...) place. In my article, I present a survey of these notes with special emphasis on Tarski's rejection of the analytic/synthetic distinction, the passage from typed languages to first-order languages, Tarski's finitism/nominalism, and the construction of a finitist language for mathematics and science. (shrink)

Axiomatic systems can be understood as subsets of syntactic systems. By a process of increasing abstraction, the notion of a syntactic system can become useful for understanding Meillassoux’s concept of hyper-Chaos.

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

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 his “Wissenschaftslogik: The Role of Logic in the Philosophy of Science,” Michael Friedman argues that Carnap’s philosophy of science “is fundamentally anti-metaphysical—he aims to use the tools of mathematical logic to dissolve rather [than] solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine”. In this paper, I take issue with this claim, arguing that Quine, too, is a part of this anti-metaphysical tradition. I begin in section I (...) with Russell’s account of scientific philosophy, focusing on its critique of metaphysics and its reliance on logical constructions. I then argue that each of Carnap and Quine take up this call to scientific philosophizing but that they both find Russell’s account of logic wanting. In section II, I first provide an account of Carnap’s critique of metaphysics and its reliance on developments in logic. This is followed by a discussion of his appeal to the analytic/synthetic distinction so as to improve upon Russell’s account of logic. Section III follows this same structure but focuses on Quine. In the end, though, Quine turns not to the analytic/synthetic distinction but to holism to provide an account of logic suitable to scientific philosophy. Carnap had claimed to be “more Russellian than Russell,” and in this final move by Quine I argue that he is “being more Carnapian than Carnap.” I conclude by showing how, contrary to Friedman’s view, Quine’s rejection of the analytic/synthetic distinction does not yield a return to the kind metaphysics that he, Carnap, and Russell all objected to. (shrink)

The aim of this paper is to discuss the “Austro-American” logical empiricism proposed by physicist and philosopher Philipp Frank, particularly his interpretation of Carnap’s Aufbau, which he considered the charter of logical empiricism as a scientific world conception. According to Frank, the Aufbau was to be read as an integration of the ideas of Mach and Poincaré, leading eventually to a pragmatism quite similar to that of the American pragmatist William James. Relying on this peculiar interpretation, Frank intended to bring (...) about a rapprochement between the logical empiricism of the Vienna Circle in exile and American pragmatism. In the course of this project, in the last years of his career, Frank outlined a comprehensive, socially engaged philosophy of science that could serve as a “link between science and philosophy”. (shrink)

In his “Epistemology Naturalized,” Quine embraces a form of Humeanism. In this paper, I try to work out the significance of this Humeanism. In particular, I argue that it represents an anti-metaphysical position that Quine shares with Carnap. Crucial to my account is that contrary to much contemporary thinking on metaphysics, Carnap, and Quine following him, recognize both an ontological and an epistemological sense of metaphysics. As commentators have frequently acknowledged, Carnap and Quine disagree over rejecting metaphysics in the ontological (...) sense. I will argue, though, that they agree in rejecting metaphysics in their shared epistemological sense of the term. (shrink)

An underappreciated fact in the history of analytic philosophy is that American pragmatism had an early and strong influence on the Vienna Circle. The path of that influence goes from Charles Peirce to Frank Ramsey to Ludwig Wittgenstein to Moritz Schlick. That path is traced in this paper, and along the way some standard understandings of Ramsey and Wittgenstein, especially, are radically altered.

This paper examines from a historical perspective Tarski's 1936 essay, "On the concept of logical consequence." I focus on two main aims. The primary aim is to show how Tarski's definition of logical consequence satisfies two desiderata he himself sets forth for it: (1) it must declare logically correct certain formalizations of the -rule and (2) it must allow for variation of the individual domain in the test for logical consequence. My arguments provide a refutation of some interpreters of Tarski, (...) and notably John Etchemendy, who have claimed that his definition does not satisfy those desiderata. A secondary aim of the paper is to offer some basic elements for an understanding of Tarski's definition in the historical logico-philosophical context in which it was proposed. Such historical understanding provides useful insights on Tarski's informal ideas on logical consequence and their internal cohesion. (shrink)

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

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

Inductive probability is the logical concept of probability in ordinary language. It is vague but it can be explicated by defining a clear and precise concept that can serve some of the same purposes. This paper presents a general method for doing such an explication and then a particular explication due to Carnap. Common criticisms of Carnap's inductive logic are examined; it is shown that most of them are spurious and the others are not fundamental.

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

Rudolf Carnap's 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)

This paper will deal with three questions regarding Carnap's transition from the position he held at the time of writing Syntax to the doctrines he held during his semantic phase: (1) What was Carnap's attitude towards truth at the time of writing Syntax? (2) What was Carnap's position regarding questions of reference and ontology at the time of writing Syntax? (3) Was Carnap's acceptance of Tarski's analysis of truth and reference detrimental to his philosophical project? Section 1 of this paper (...) will deal with the first of these questions. Special attention will be paid to identifying what it was that prevented Carnap from defining a truth predicate for descriptive languages in Syntax. Section 2 of this paper will deal with the question of Carnap's attitude towards reference and ontology in Syntax. It will be shown that the attempt in Syntax to address ontological questions is seriously defective. Section 3 of this paper addresses the last of the questions posed above. It is argued that in the light of what is established in Sections 1 and 2, Carnap could not have retained the position of Syntax with respect to truth and reference. (shrink)

This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem of (...) epistemic access to numbers. For an incompatibilist, proofs of numerical non-identities must appeal to primitive incompatibilities. I argue that no analytic primitive incompatibilities are forthcoming. Hence incompatibilists cannot be Fregeans. (shrink)