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)

Legal terms, such as “ownership,”“contract,”“validity,”“negligence,” are used as middle terms in legal deduction. The paper distinguishes two problems regarding this use. One is the logical function of terms for deduction within a normative system. Specific problems dealt with in this connection are meaning, definition, and economy of expression. The other problem connected with middle terms is the “moulding” and possible manipulation of the meaning of legal terms, for arriving at desired conclusions in a given scheme of inference. It is indicated (...) how the moulding of contested legal concepts, if not restricted, will obscure the ratio of legal rules. This problem is relevant, inter alia, to arguments ex analogia in the law. (shrink)

In this article, the prospects of deflationism about the concept of truth are investigated. A new version of deflationism, called inferential deflationism, is articulated and defended. It is argued that it avoids the pitfalls of earlier deflationist views such as Horwich’s minimalist theory of truth and Field’s version of deflationism.

Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...) formal-semantical) nature. In contrast, for Mill such a question is as valid as any other. These differing views have their consequences for contemporary erotetic logic. (shrink)

Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap's developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap's mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see this, however, we need to see why the Newman problem raised in the context of recent work on structural realism is no (...) problem for Carnap's conception; and we also need to locate Carnap's work on theoretical terms within his wider program of Wissenschaftslogik or the logic of science. (shrink)

La philosophie analytique est ici considérée à son point de départ. Les conditions de l’expression sont vues comme synonymes de celles de la pensée. Une entreprise d’explicitation est à cette suite appliquée en retour à la méthode scientifique qui était auparavant le modèle. La distinction de la syntaxe et de la sémantique, commandée par l’analyse logique, est alors appliquée à l’ensemble des systèmes de représentation: oeuvre d’art, action humaine, esprit. Cette évolution montre un souci essentiel: l’instrument technique de la connaissance.

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains quotation (...) marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

, Rudolf Carnap became a chief proponent of the doctrine that the statements of intuitionism carry nonstandard intuitionistic meanings. This doctrine is linked to Carnap's ‘Principle of Tolerance’ and claims he made on behalf of his notion of pure syntax. From premises independent of intuitionism, we argue that the doctrine, the Principle, and the attendant claims are mistaken, especially Carnap's repeated insistence that, in defining languages, logicians are free of commitment to mathematical statements intuitionists would reject. I am grateful to (...) Nathan Carter, Gary Ebbs, Janet Folina, Luise Prior McCarty, Stewart Shapiro, Neil Tennant, Christopher Tillman, Beth Tropman, Wen-fang Wang, and two anonymous referees for their comments and suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

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)

I argue that Quine’s early critique of Carnap’s conventionalism is in serious tension with the holism of "Two Dogmas of Empiricism", since his critique of convention- alism makes a compelling case for a privileged status either for logic, or for some other principle by means of which to derive consequences. Based on this, I call for a modification of Quinean holism, on grounds internal to Quine’s views. The result motivates a rehabilitation of Carnap’s notion of framework principles, and a rethinking (...) of logic as a kind of relativised a priori. (shrink)

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.

This paper consists of three sections. In the first one, some of the main developments in the philosophy of science through the xx century up to the present will be pointed out, and inserted them in the frame of some more general philosophical transformations, such as the so-called “linguistic turn” and “pragmatic turn”, respectively. In the second one, the established connection will be nuanced, from a revision of the work of a “classical” author such as Carnap. Finally, it will be (...) intended a kind of “balance and future perspectives”. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. This paper presents a case study of a new type of intertheoretic relation that is inspired by Montague’s analysis of the linguistic syntax-semantics relation. The paper develops a simple model of this relation. To motivate the adoption of our new model, we show that this model (...) extends the scope of application of the Nagelian models and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework. (shrink)

In this article I will compare two approaches for defining theoretical terms, that of Logical Empirism and that of Structuralism. I will determine explicitly the accounts of theoreticity in both Logical Empirism and Structuralism, and compare them by means of a case study: a structuralistic reconstruction of Neurobiological Constructivism. I will point out that the structuralistic criticism on the account of theoreticity of Logical Empirism is insufficient and that the structuralistic criterion of theoreticity does not satisfy the requirements of demarcation (...) for theoretical terms demanded by Logical Empirism. (shrink)

In his paper on ‘Frege's Theory of Sense and Reference’ Saul Kripke remarks: “Like the present account, Künne stresses that for Frege times, persons, etc. can be part of the expression of the thought. However, his reading is certainly not mine in significant respects . . .”. On both counts, he is right. As regards the differences between our readings, in some respects I shall confess to having made a mistake, in several others I shall remain stubbornly unmoved. Thus I (...) shall insist on the need for distinguishing Fregean sense from linguistic (lexico-grammatical) meaning, I shall resist Kripke's function-theoretic account of ‘hybrid’ thought-expressions, and I shall deplore his transformation of Gottlob Frege into Gottrand Fressell. As regards this transformation, I shall argue that some of the main points Kripke wants to drive home do not depend on it. (shrink)

The paper analyses Frege's approach to the identity conditions for the entity labelled by him as Sinn. It starts with a brief characterization of the main principles of Frege's semantics and lists his remarks on the identity conditions for Sinn. They are subject to a detailed scrutiny, and it is shown that, with the exception of the criterion of intersubstitutability in oratio obliqua, all other criteria have to be discarded. Finally, by comparing Frege's views on Sinn with Carnap's method of (...) extension and intension and the method of intensional isomorphism, it is proved that these methods do not provide a criterion for the identity of Frege's Sinn, even for extensional contexts, that the concept of intension does not coincide, as stated by Carnap, in these contexts, with Frege's concept of Sinn, and that Carnap's claim that in oratio obliqua Frege's semantics leads to an infinite hierarchy of Sinn entities can be questioned at least hypothetically in the light of certain new historical facts. (shrink)

The difference between Carnap and Quine over analyticity is usually thought to turn on a disagreement as to whether there is a notion of meaning, or rules of language, which enable us to define that idea. This paper argues that the more important disagreement is epistemological. Quine came to accept a notion of analyticity. That leaves him in a position somewhat like Putnam's in ‘The Analytic and the Synthetic’: that there is a notion of analyticity, but that it is of (...) no philosophical importance. But their reasons for thinking analyticity unimportant are quite different: for Putnam it is because all analytic truths are trivial; for Quine, the notion of analyticity itself is unimportant. I contrast Putnam's position with that of Carnap, and also contrast Carnap and Quine. Analyticity only has the force that it has for Carnap because he accepts the Principle of Tolerance, the idea that changes within a language and changes of language are subject to justification in different senses. Quine rejects that idea. That is why he does not take analyticity to be philosophically important or useful. (shrink)

The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. Haack compares (...) deduction to induction, and I will critically discuss her argument for the thesis that we cannot justify the principles of deduction next. In concluding I will defend the thesis that we can justify induction deductively relative to one end, and deduction inductively relative to a different end, and that we can do so in a non-circular way. Along the way I will show how we can understand deductive and inductive logic as normative theories, and I will briefly sketch an argument to the effect that there are only hypothetical, but no categorical imperatives. (shrink)

Keywords: climate change, integrated assessment, knowledge integration, transdisciplinary research, vulnerability, vulnerability assessment. This thesis explores how transdisciplinary knowledge integration can be facilitated in the context of integrated assessments and vulnerability assessments of climate change. Even though knowledge integration is fundamental in such transdisciplinary assessments, the actual process of integrating knowledge is rarely addressed explicitly and methodically. Here, knowledge integration is conceptualised into the subsequent phases of the elaboration of a shared language and the design of a methodology. Three devices for (...) facilitating knowledge integration are put forward: 1. semantic ascent or the shift from speaking in a language to speaking in a meta-language about the former, 2. formalisation or the translation of statements made in ordinary or technical language into a formal language, and 3. knowledge integration methods, which are methods that provide a meta-language for speaking about the knowledge to be integrated and organise the process of integration. Four cases of knowledge integration are presented. First, the general problem of methodology design is addressed and a graphical framework for representing methodologies is presented. Second, the problem of developing a shared language for speaking about vulnerability to climate change is addressed. A formal mathematical framework of vulnerability and related concepts is presented. Third, a special case of methodology design, the integration of computer models in the context of modular integrated assessment modelling is addressed. A modular approach developed in the PIAM project is presented. Fourth, the integration of computer models, this time in the context of a global assessment of coastal vulnerability to sea-level rise, is addressed. A knowledge integration method, which was developed and applied in the DINAS-COAST project, is presented. These cases show that semantic ascent is a useful device in those cases in which it is difficult to directly elaborate a shared language at the beginning of the assessment. Formalisation can contribute to the elaboration of a shared language in those cases in which concepts overlap non trivially in their meanings. More emphasis should be placed on the development and application of iterative knowledge integration methods as iteration is crucial in order to benefit from the mutual learning during the course of the assessment. (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.

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

It is shown that at least part of the terminology of the theory of speech acts can be methodically introduced within the constructive ortholanguage-programm. There is evidence that a methodical constraint leads the reconstruction of the basic speech-act-types from requests via statements to questions. Moreover there is evidence that requests and questions don't involve "propositional acts".

Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...) to Quine’s work, I show how both internal tensions and external criticisms forced him to continuously develop, rebrand, and refine his metaphilosophy before he explicitly decided to label his view ‘naturalism’ in the late 1960s. (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)

According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...) the expressive role of vocabulary by which we ascribe logical relations. (shrink)

The paper reconstructs three main stages in the development of Carnap’s approach to language in the years 1931 – 1947. It starts with Carnap’s approach to metalogic in his Viennese Zirkelprotokolle and his Logische Syntax der Sprache from the point of view of one-level approach to the relation between metalanguage and its object-language. It then analyzes Tarski’s turn to semantics in his paper presented at the Paris conference in September 1935, as well as the implications of his view for Carnap’s (...) approach to semantics from 1935 until 1943. Finally, it analyzes Church’s rediscovery of Frege and its impact on Carnap’s shift to the extension/intension distinction in his semantics in the years 1943 – 1947. (shrink)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

W. V. Quine is arguably the intellectual father of contemporary naturalism, the idea that there is no distinctively philosophical perspective on reality. Yet, even though Quine has always been a science-minded philosopher, he did not adopt a fully naturalistic perspective until the early 1950s. In this paper, I reconstruct the genesis of Quine’s ideas on the relation between science and philosophy. Scrutinizing his unpublished papers and notebooks, I examine Quine’s development in the first decades of his career. After identifying three (...) commitments supporting his naturalism—viz. empiricism, holism, and realism—I piece together the evolution of Quine’s position by examining the origins of these commitments one by one, showing how his early views gradually evolved into the mature naturalistic position that would have such an enormous impact on post-war analytic philosophy. (shrink)

The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...) whose presuppositions are critically investigated right away. At least one result remains: Claims of pseudoproblemship and their refutations must not be voiced casually - they are to be relativized and need substantial interpretive effort. (shrink)

In his seminal work “The Concept of Truth in Formalized Languages”, Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski as (...) putatively changing his logical framework from type theory to set theory. In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results. (shrink)

Popper emphasised both the problem-solving nature of human knowledge, and the need to criticise a scientific theory as strongly as possible. These aims seem to contradict each other, in that the former stresses the problems that motivate scientific theories while the one ignores the character of the problems that led to the formation of the theories against which the criticism is directed. A resolution is proposed in which problems as such are taken as prime in the search for knowledge, and (...) subject to discussion. This approach is then applied to the problem of induction. Popper set great stake to his solution of it, but others doubted its legitimacy, in ways that are clarified by changing the form of the induction problem itself. That change draws upon logic, which is the subject of another application: namely, in contrast to Popper’s adhesion to classical logic as the only welcome form (because of the maximal strength of criticism that it dispenses), can other logics be used without abandoning his philosophy of criticism? (shrink)

I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the issue than in my earlier work. I also offer new considerations on subsisting issues of interpretation concerning Tarski’s views on the logical (...) correctness of certain omega-arguments, on the Tarskian proof that Etchemendy took to be modal and fallacious, and on Tarski’s appeals to the “common concept of consequence”. (shrink)

Quine is routinely perceived as having changed his mind about the scope of the Duhem-Quine thesis, shifting from what has been called an 'extreme holism' to a more moderate view. Where the Quine of 'Two Dogmas of Empiricism' argues that “the unit of empirical significance is the whole of science” (1951, 42), the later Quine seems to back away from this “needlessly strong statement of holism” (1991, 393). In this paper, I show that the received view is incorrect. I distinguish (...) three ways in which Quine's early holism can be said to be wide-scoped and show that he has never changed his mind about any one of these aspects of his early view. Instead, I argue that Quine's apparent change of mind can be explained away as a mere shift of emphasis. (shrink)

In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (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)

It is one of the distinctive claims of Neurath, though not of the Vienna Circle generally, that the Vienna Circle's philosophy was not really German philosophy at all. The relation is, if Neurath is to be trusted, anything but straight-forward. To understand it, not only must some effort be expended on specifying Neurath's claim, but also on delineating the different party-lines within the Vienna Circle.

First, I offer a short overview on the classical occidental philosophy as propounded by the ancient Greeks and the natural philosophies of the last 2000 years until the dawn of the empiricist logic of science in the twentieth century, which wanted to delimitate classical metaphysics from empirical sciences. In contrast to metaphysical concepts which didn’t reflect on the language with which they tried to explain the whole realm of entities empiricist logic of science initiated the end of metaphysical theories by (...) reflecting on the preconditions for foundation and justification of sentences about objects of investigation, i.e. a coherent definition of language in general, which was not the aim of classical metaphysics. Unexpectedly empiricist logic of science in the linguistic turn failed in the physical and mathematical reductionism of language and its use in communication, as will be discussed below in further detail. Nevertheless, such reflection on language and communication also introduced this vocabulary into biology. Manfred Eigen and bioinformatics, later on biolinguistics, used ‘language’ applied linguistic turn thinking to biology coherent to the logic of science and its formalisable aims. This changed significantly with the birth of biosemiotics and biohermeneutics. At the end of this introduction it will be outlined why and how all these approaches reproduced the deficiencies of the logic of science and why the biocommunicative approach avoids their abstractive fallacies. (shrink)

Manfred Eigen extended Erwin Schroedinger’s concept of “life is physics and chemistry” through the introduction of information theory and cybernetic systems theory into “life is physics and chemistry and information.” Based on this assumption, Eigen developed the concepts of quasispecies and hypercycles, which have been dominant in molecular biology and virology ever since. He insisted that the genetic code is not just used metaphorically: it represents a real natural language.However, the basics of scientific knowledge changed dramatically within the second half (...) of the 20th century.Unfortunately, Eigen ignored the results of the philosophy of science discourse on essential features of natural languages and codes: a natural language or code emerges from populations of living agents that communicate. This contribution will look at some of the highlights of this historical development and the results relevant for biological theories about life. (shrink)