Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

In this paper, I analyze the concept of ineffability: what does it mean to say that something cannot be said? I begin by distinguishing ineffability from paradox: if something cannot be said truly or without contradiction, this is not an instance of ineffability. Next, I distinguish two different meanings of ‘saying something’ which result from a fundamental ambiguity in the term ‘language’, viz. language as a system of symbols and language as a medium of communication. Accordingly, ‘ineffability’ is ambiguous, too, (...) and we should make a distinction between weak and strong ineffability. Weak ineffability is rooted in the deficiencies of a particular language while strong ineffability stems from the structure of a particular cognitive system and its capacities for conceptual mental representation. Mental contents are only sayable if we are able to conceptualize them and then create signs to represent them in communication. (shrink)

In her paper “Neo-positivist metaphysics” (Philosophical Studies, 160(1), 53–78, 2012), Alyssa Ney promises a naturalized metaphysics that is acceptable even by positivists’ – and specifically Carnap’s – standards. This neo-positivist metaphysics takes its outset in the findings of our best science and relies on them to inform a metaphysics that can avoid the dependence on linguistic frameworks that is inherent to Carnapian deflationism. Neo-positivist metaphysics attempts to sidestep these problems by inheriting its semantic credentials directly from science itself. This paper (...) argues that such attempts are unsuccessful since science contains no resources with which to answer Carnap’s challenge either, and a science-based metaphysics is therefore just as vulnerable to Carnapian deflationism as traditional metaphysics. Consequently, neo-positivist metaphysics does not provide the promised metaphysics that can avoid Carnapian deflationism. While this conclusion focuses on Ney’s neo-positivist metaphysics, its scope includes any attempt to avoid Carnapian deflationism by a naturalized metaphysics that relies on strict deference to the findings of science. Substantial metaphysics – naturalized or not – is impossible unless or until Carnapian deflationism is refuted, and the resources for such a refutation cannot be found in naturalized metaphysics. (shrink)

The question of the political potential possessed by the philosophies of the Vienna Circle is complex for more than one reason. It is so partly due to the politically heterogeneous membership of the Circle, partly due to the difficult if not extreme political circumstances under which they had to operate, and partly due to the variable meanings of the parameter "political," some of which are and some of which are not compatible with, in turn, variable versions of the doctrine of (...) the value-neutrality of science. For instance, philosophies of science may steadfastly be standing guard against pseudo-scientific nonsense being paraded as worthy of credence in public discourse, this concern for intellectual hygene... (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made possible by (...) possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

In this conversation, American philosopher Robert Brandom talks about the historical background of his inferentialism, reconstructing the influence of his teachers Wilfrid Sellars and Richard Rorty.

This paper analyzes the rapid and unexpected rise of deep learning within Artificial Intelligence and its applications. It tackles the possible reasons for this remarkable success, providing candidate paths towards a satisfactory explanation of why it works so well, at least in some domains. A historical account is given for the ups and downs, which have characterized neural networks research and its evolution from “shallow” to “deep” learning architectures. A precise account of “success” is given, in order to sieve out (...) aspects pertaining to marketing or sociology of research, and the remaining aspects seem to certify a genuine value of deep learning, calling for explanation. The alleged two main propelling factors for deep learning, namely computing hardware performance and neuroscience findings, are scrutinized, and evaluated as relevant but insufficient for a comprehensive explanation. We review various attempts that have been made to provide mathematical foundations able to justify the efficiency of deep learning, and we deem this is the most promising road to follow, even if the current achievements are too scattered and relevant for very limited classes of deep neural models. The authors’ take is that most of what can explain the very nature of why deep learning works at all and even very well across so many domains of application is still to be understood and further research, which addresses the theoretical foundation of artificial learning, is still very much needed. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

O holismo fisicalista de Neurath representa a autocrítica do positivismo lógico em um período em que o conflito era travado contra uma perspectiva de reconstrução lógica fundacionalista do conhecimento científico, sobretudo sustentada por Carnap. Neste artigo discutiremos o debate sobre sentenças protocolares ocorrido na década de trinta do século vinte no Círculo de Viena, ressaltando a perspectiva empirista de Neurath e sua influência no pensamento de Carnap rumo ao fisicalismo falibilista.

From 1953 to 1959 Gödel worked on a response to Carnap’s philosophy of mathematics. The drafts display Gödel’s familiarity with Carnap’s position from The Logical Syntax of Language, but they received a dismissive reaction on their eventual, posthumous, publication. Gödel’s two principal points, however, will here be defended. Gödel, though, had wished simply to append a few paragraphs to show that the same arguments apply to Carnap’s later views. Carnap’s position, however, had changed significantly in the intervening years, and to (...) a significant extent, this mature position realizes much of what Gödel himself wanted out of a philosophy of mathematics. (shrink)

Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...) both accounts could be adequate, albeit in their own different ways. In this paper, I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability. To overcome this difficulty, I propose two possible clarifications of the pre-systematic concept of “computability” that can both be captured in recursion theory, and I show how both clarifications avoid an objection arising from Carnap’s constraint. (shrink)

This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The (...) present paper aims to improve this situation by looking at a promising case study and drawing general lessons about the kind of evidence that would support logical pluralism. I argue that the best motivation for logical pluralism will ultimately be rooted in certain kinds of performative data. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis (...) of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

En este artículo recuperamos la lógica diagramática lineal de Leibniz para la silogística y descubrimos sus propiedades lógicas y computacionales a través de una aproximación formal en términos metalógicos, lo cual es algo que, hasta donde sabemos, aún falta por hacerse. Así, en esta contribución buscamos, respectivamente, dos metas, una histórica y una lógica: i) prestar más atención a los aspectos algorítmicos del sistema diagramático lineal de Leibniz para la silogística, de los cuales creemos que han sido desdeñados por un (...) prejuicio general en contra del razonamiento diagramático; y ii) probar propiedades metalógicas del sistema para argumentar que es un sistema lógico bona fide. (shrink)

Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...) of intra-theoretical logical pluralism. (shrink)

According to a growing consensus in the secondary literature on Quine, the judgment Quine makes in favor of the nominalism outlined in “Steps Toward a Constructive Nominalism” is in tension with the naturalism he later adopts. In this paper, I show the consensus view is mistaken by showing that Quine’s judgment is rooted in a naturalistic standard of clarity. Moreover, I argue that Quine late in his career is committed to accepting one plausible reading of his judgment in 1947. In (...) making these arguments, I draw attention to a version of naturalism that misreadings of Quine have prevented philosophers from appreciating, and thereby articulate and clarify a version of naturalism I recommend philosophers investigate today. (shrink)

Rudolf Carnap is well known for his attack on metaphysics, and W. V. Quine is equally well known for his attack on Carnap’s analytic/synthetic distinction. Receiving far less attention is their basic agreement that a properly scientific approach to philosophy should eliminate the metaphysical excesses of the past. This paper aims to remedy this. It focuses initially on the development of Carnap’s rejection of metaphysics from 1932 to 1950 and the role that analyticity plays. It then turns to Quine, emphasizing (...) his basic agreement with Carnap over the elimination of metaphysics and what this looks like without the analytic/synthetic distinction. (shrink)

Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?

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)

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)

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)

I aim to present a solution to the apparent paradox of the Tractatus by means of a minimalist reading grounded in the idea that the correct logical symbolism alone “finally solves” in essentials the philosophical problems. I argue that although the sentences of the Tractatus are nonsensical, rules presented in its symbolism are not. The symbolism itself expresses only a priori rules of logic through schematic variables that do not say anything. I argue that this reading correctly expresses the ladder (...) structure of the book, and that it can account for Wittgenstein's critique of the Tractatus in Some Remarks on Logical Form. (shrink)

In the 1950s, George Canguilhem became known in France as a vocal exponent of the philosophy of the concept, an approach to epistemology that treated science as the highest expression of human rationality and scientific concepts as the necessary preconditions for the manifestation of scientific truth. Philosophers of the concept, Canguilhem included, viewed concepts as the key to the study of science; and science, in turn, as the key to a substantive theory of reason. This article explains what concepts are (...) for Canguilhem, how they are extracted from the history of the sciences, and why they continue to matter for contemporary debates in the History and Philosophy of Science. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

I modify and generalize Carnap’s notion of frameworks as a way of unpacking Goodman’s metaphor of “making worlds with symbols”. My frameworks provide, metaphorically, a way of making worlds out of symbols in as much as all our framework-bound access to the world is through frameworks that always stand to be improved in accuracy, precision, and usually both. Such improvement is characterized in pragmatist terms.

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

Logical universalism, a label that has been pinned on to Frege, involves the conflation of two features commonly ascribed to logic: universality and radicality. Logical universality consists in logic being about absolutely everything. Logical radicality, on the other hand, corresponds to there being the one and the same logic that any reasoning must comply with. The first part of this paper quickly remarks that Frege’s conception of logic makes logical universality prevail and does not preclude the admission of different contexts (...) of discourse. The paper then aims to make it clear how Frege’s universalism can make sense of contextuality. Drawing on a suggestion made by Frege in his discussion of Hilbert, it shows that a properly Fregean notion of model can be devised. Taking up a suggestion from Wilfrid Hodges and William Demopoulos that the non-logical constants of a formal language can be compared to indexicals, this paper shows,paceHodges and Demopoulos, that such an understanding of non-logical constants is not beyond Frege’s horizon. A formal framework, based on the modern tool of fibrations, is set out to explain and justify this point. This framework allows one to compare Frege and Tarski, by formalizing Frege’s suggestion and by presenting Tarski’s semantics in a generalized setting. (shrink)

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of (...) scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

Sider offers a new take on a linguistic account of necessity. In this paper, I assess his view’s vulnerability to objections made against more traditional linguistic accounts, especially an argument I call the “indexical problem.” I conclude that the indexical problem has no force against Sider’s approach because the view is able to attribute modal properties directly to propositions, rather than indirectly via analytic sentences that express them. However, Sider also argues that traditional linguistic accounts fail because of two well-known (...) problems, and I argue that the same two problems undermine his own account. (shrink)

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

Many commentators now view Quine's ‘Truth by Convention’ as a flawed criticism of Carnap. Gary Ebbs argued recently that Quine never intended Carnap as his target. Quine's criticisms were part of his attempt to work out his own scientific naturalism. I agree that Carnap was not Quine's target but object that Quine's criticisms were wholly internal to his own philosophy. Instead, I argue that C.I. Lewis held the kind of truth‐by‐convention thesis that Quine rejects. This, however, leaves Carnap out of (...) the picture. I then show how Quine came to see the earlier criticisms as also having force against Carnap. (shrink)

It is well known that Ernest Gellner made substantial use of his knowledge of the social sciences in philosophy. Here I discuss how he used it on the basis of a few examples taken from Gellner’s philosophical output. It is argued that he made a number of highly original “translations”, or re-interpretations, of philosophical theories and problems using his knowledge of the social sciences. While this method is endorsed, it is also argued that some of Gellner’s translations crossed the line (...) between the original and the idiosyncratic. (shrink)

On an ordinary view of the relation of philosophy of science to science, science serves only as a topic for philosophical reflection, reflection that proceeds by its own methods and according to its own standards. This ordinary view suggests a way of writing a global history of philosophy of science that finds substantially the same philosophical projects being pursued across widely divergent scientific eras. While not denying that this view is of some use regarding certain themes of and particular time (...) periods, this essay argues that much of the epistemology and philosophy of science in the early twentieth century in a variety of projects looked to the then current context of the exact sciences, especially geometry and physics, not merely for its topics but also for its conceptual resources and technical tools. This suggests a more variable project of philosophy of science, a deeper connection between early twentieth-century philosophy of science and its contemporary science, and a more interesting and richer history of philosophy of science than is ordinarily offered. (shrink)

Rudolf Carnap delivered the hitherto unpublished lecture ‘Theoretical Concepts in Science’ at the meeting of the American Philosophical Association, Pacific Division, at Santa Barbara, California, on 29 December 1959. It was part of a symposium on ‘Carnap’s views on Theoretical Concepts in Science’. In the bibliography that appears in the end of the volume, ‘The Philosophy of Rudolf Carnap’, edited by Paul Arthur Schilpp, a revised version of this address appears to be among Carnap’s forthcoming papers. But although Carnap started (...) to revise it, he never finished the revision,1 and never published the unrevised transcript. Perhaps this is because variants of the approach to theoretical concepts presented for the first time in the Santa Barbara lecture have appeared in other papers of his (cf. the editorial footnotes in Carnap’s lecture). Still, I think, the Santa Barbara address is a little philosophical gem that needs to see the light of day. The document that follows is the unrevised transcript of Carnap’s lecture.2 Its style, then, is that of an oral presentation. I decided to leave it as it is, making only very minor stylistic changes—which, except those related to punctuation, are indicated by curly brackets.3 I think that reading this lecture is a rewarding experience, punctuated as the lecture is with odd remarks and autobiographical points. One can almost envisage.. (shrink)

Michael Friedman’s Dynamics of Reason is a welcome contribution to the ongoing articulation of philosophical perspectives for understanding the sciences in the context of post-positivist philosophy of science. Two perspectives that have gained advocacy since the demise of the “received view” are Quinean naturalism and Kuhnian relativism. In his 1999 Stanford lectures, Friedman articulates and defends a neo-Kantian perspective for philosophy of science that opposes both of these perspectives. His proffered neo-Kantian perspective is presented within the context of the problem (...) of theory change or “scientific revolutions,” and its main feature is a conception of scientific knowledge that requires “relativized constitutive a priori principles.” The lectures make up the first part of the book; the second part of the book, “Fruits of Discussion,” is a further elaboration and defence of the ideas advanced in the lectures. The resulting book serves as a useful sequel to Friedman’s impressive historical studies in Foundations of Space-Time Theories, Kant and the Exact Sciences, and Reconsidering Logical Positivism. In the preface, Friedman tells us that this book represents the philosophical viewpoint that he has arrived at as a result of completing these works. As such, it is not surprising that the prominent themes of the book are ones that have occupied Friedman’s attention in the past, viz., the importance of a priori principles in the exact sciences, the conventionalism of the logical positivists, and, more generally, an articulation of what remains defensible in neo-Kantian philosophy of science. (shrink)

Michael Friedman’s Dynamics of Reason is a welcome contribution to the ongoing articulation of philosophical perspectives for understanding the sciences in the context of post-positivist philosophy of science. Two perspectives that have gained advocacy since the demise of the “received view” are Quinean naturalism and Kuhnian relativism. In his 1999 Stanford lectures, Friedman articulates and defends a neo-Kantian perspective for philosophy of science that opposes both of these perspectives. His proffered neo-Kantian perspective is presented within the context of the problem (...) of theory change or “scientific revolutions,” and its main feature is a conception of scientific knowledge that requires “relativized constitutive a priori principles.” The lectures make up the first part of the book; the second part of the book, “Fruits of Discussion,” is a further elaboration and defence of the ideas advanced in the lectures. The resulting book serves as a useful sequel to Friedman’s impressive historical studies in Foundations of Space-Time Theories, Kant and the Exact Sciences, and Reconsidering Logical Positivism. In the preface, Friedman tells us that this book represents the philosophical viewpoint that he has arrived at as a result of completing these works. As such, it is not surprising that the prominent themes of the book are ones that have occupied Friedman’s attention in the past, viz., the importance of a priori principles in the exact sciences, the conventionalism of the logical positivists, and, more generally, an articulation of what remains defensible in neo-Kantian philosophy of science. (shrink)

I aim to show that a semantic minimalist need not also be a semantic internalist. §I introduces minimalism and internalism and argues that there is a prima facie case for a minimalist being an internalist. §II sketches some positive arguments for internalism which, if successful, show that a minimalist must be an internalist. §III goes on to reject these arguments and contends that the prima facie case for uniting minimalism and internalism is also not compelling. §IV returns to an objection (...) from §I and argues for a way to meet it which does not depend on giving up semantic externalism. (shrink)

In this paper I examine a neglected question concerning the centerpiece of Carnap's philosophy: the principle of tolerance. The principle of tolerance states that we are free to devise and adopt any well-defined form of language or linguistic framework we please. A linguistic framework defines framework-internal standards of correct reasoning that guide us in our first-order scientific pursuits. The choice of a linguistic framework, on the other hand, is an ‘external’ question to be settled on pragmatic grounds and so not (...) itself constrained by these standards. However, even if choosing a framework is a practical matter, we would nevertheless expect the process of framework selection to be subject to rational norms. But which norms might those be? And where do they come from? I begin by showing that these questions are crucial to the success of Carnap's entire philosophical project. I then offer a response on behalf of the Carnapian which guarantees the rationality of the process of framework selection, while remaining true to Carnap's firm commitment to tolerance. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 205 Seiten: 37-86.

The main topic of this essay is symbolic mathematics or the method of symbolic construction, which I trace to the end of the sixteenth century when Franciscus Vieta invented the algebraic symbolism and started to use the word ‘symbolic’ in the relevant, non-ontological sense. This approach has played an important role for many of the great inventions in modern mathematics such as the introduction of the decimal place-value system of numeration, Descartes’ analytic geometry, and Leibniz’s infinitesimal calculus. It was also (...) central for the rigorization movement in mathematics in the late nineteenth century, as well as for the mathematics of modern physics in the 20th century.However, the nature of symbolic mathematics has been concealed and confused due to the strong influence of the heritage from the Euclidean and Aristotelian traditions. This essay sheds some light on what has been concealed by approaching some of the crucial issues from a historical perspective. Furthermore, I argue that the conception of modern mathematics as symbolic mathematics was essential to Wittgenstein’s approach to the foundations and nature of mathematics. This connection between Wittgenstein’s thought and symbolic mathematics provides the resources for countering the still prevalent view that he defended an uttrely idiosyncratic conception, disconnected from the progress of serious science. Instead, his project can be seen as clarifying ideas that have been crucial to the development of mathematics since early modernity. (shrink)