Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Historical reconstructions of the effects of the intellectual migration are typically informed by one of two conflicting narratives. Some scholars argue that refugee philosophers, in particular the logical positivists, contributed to the demise of distinctly American schools of thought. Others reject this ‘eclipse view’ and argue that postwar analytic philosophy can best be characterized as a synthesis of American and positivist views. This paper studies the fate of one of the most influential schools of U.S. philosophy—Columbia naturalism—and argues that both (...) narratives are part of a larger story. First, I reconstruct the rise of the Columbia school, focusing on its naturalist analyses of science, morality, and religion as well as its contributions to the history of ideas. Next, I trace some of the naturalists’ contacts with German philosophers and show that they encountered a strong bifurcation between historical and scientific philosophy in their discussions. I argue that a similar distinction gradually infected debates between naturalists, eventually resulting in a split within the Columbia school itself. The historically-oriented naturalists, I argue, were overshadowed by the analytic movement, whereas the science-minded naturalists were able to incorporate the views of the émigrés, thereby developing the tradition in new directions. (shrink)

In this paper, I argue that current attempts at classifying life–mind continuity (LMC) feature several important ambiguities. We can resolve these ambiguities by distinguishing between the extensional, categorical, and systematic relationships that LMC might encompass. In Sect. 1, I begin by introducing the notion of LMC and the theory behind it. In Sect. 2, I show how different ideas of mind shape different approaches to continuity and how to achieve its aim. In Sect. 3, I canvas various canonical formulations and (...) classifications of LMC; I then demonstrate that they retain important ambiguities. Section 4 builds on this by arguing that we must conceive of the extensional and categorical aspects of continuity independently. In Sect. 5, I show further that current literature has underexplored multiple systematic aspects of continuity. I then take a constructive approach in Sect. 6 by providing a classification model for LMC based on extensional and categorical commitments. Here, I comment on aspects of the thesis omitted from the model but essential for a full classification and thorough comparison between various approaches to LMC. All of these arguments lay the foundation for more exhaustively classifying accounts of LMC. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to appreciate (...) the subtleties of European scientific philosophy. It argues that the received view has a more complicated history and was frequently promoted by the European positivists themselves. The essay shows that the view has roots in both American and European scientific philosophy and emerged as a result of the complex interplay between the two communities in the years before the intellectual migration. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Robert Sinclair’s *Quine, Conceptual Pragmatism, and the Analytic-Synthetic Distinction* persuasively argues that Quine’s epistemology was deeply influenced by C. I. Lewis’s pragmatism. Sinclair’s account raises the question why Quine himself frequently downplayed Lewis’s influence. Looking back, Quine has always said that Rudolf Carnap was his “greatest teacher” and that his 1933 meeting with the German philosopher was his “first experience of sustained intellectual engagement with anyone of an older generation” (1970, 41; 1985, 97-8, my emphasis). Quine’s autobiographies contain only a (...) handful of biographical references to Lewis and he regularly soft-pedaled the latter’s influence in private correspondence. In this note, I discuss some archival evidence that helps us better understand Quine’s reluctance to acknowledge Lewis’s influence. I contextualize the relation between Lewis and Quine and argue that the latter viewed his teacher as a retrograde force in modern epistemology, impeding the more rigorous approach that Carnap had been developing in Europe. Next, I briefly discuss Lewis’s contribution to the development of scientific philosophy in the United States and argue that Quine underestimated his teacher’s role in this process. In doing so, I hope to show that Quine’s zealous commitment to Carnap’s approach negatively affected his assessment of Lewis’s influence, thereby supplementing Sinclair’s praiseworthy reconstruction with an explanation of why Quine himself underestimated Lewis’s role. (shrink)

Carnap and Quine first met in the 1932-33 academic year, when the latter, fresh out of graduate school, visited the key centers of mathematical logic in Europe. In the months that Carnap was finishing his Logische Syntax der Sprache, Quine spent five weeks in Prague, where they discussed the manuscript “as it issued from Ina Carnap’s typewriter”. The philosophical friendship that emerged in these weeks would have a tremendous impact on the course of analytic philosophy. Not only did the meetings (...) effectively turn Quine into Carnap's disciple, they also paved the way for their seminal debates about meaning, language, and ontology---the very discussions that would change the course of analytic philosophy in the decades after the Second World War. -/- Yet surprisingly little is known about these first meetings. Although Quine has often acknowledged the impact of his Prague visit, there appears to be little information about these first encounters, except for the fact that the Quines “were overwhelmed by the kindness of the Carnaps” and that it was Quine’s “most notable experience of being intellectually fired by a living teacher”. Neither their correspondence nor their autobiographies offer a detailed account of these meetings. In this paper, I shed new light on Carnap’s and Quine’s first encounters by examining a set of previously unexplored material from their personal and academic archives. Why did Quine decide to visit Carnap? What did they discuss? And in what ways did the meetings affect Quine’s philosophical development? In what follows, I address these questions by means of a detailed reconstruction of Quine’s year in Europe based on a range of letters, notes, and reports from the early 1930s. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

As autonomous systems rapidly become ubiquitous, there is a growing need for a legal and regulatory framework that addresses when and how such a system harms someone. There have been several attempts within the philosophy literature to define harm, but none of them has proven capable of dealing with the many examples that have been presented, leading some to suggest that the notion of harm should be abandoned and “replaced by more well-behaved notions”. As harm is generally something that is (...) caused, most of these definitions have involved causality at some level. Yet surprisingly, none of them makes use of causal models and the definitions of actual causality that they can express. In this paper, which is an expanded version of the conference paper Beckers et al. (Neurips, 2022), we formally define a qualitative notion of harm that uses causal models and is based on a well-known definition of actual causality. The key features of our definition are that it is based on contrastive causation and uses a default utility to which the utility of actual outcomes is compared. We show that our definition is able to handle the examples from the literature, and illustrate its importance for reasoning about situations involving autonomous systems. (shrink)

This paper offers a detailed reconstruction of Frege’s theory of side-thoughts and its relation to other parts of his pragmatics, most notably to the notion of colouring, to the notion of presupposition, and to his implicit notion of multi-propositionality. I also highlight some important differences between the subsemantic categories employed by Frege and those used in contemporary pragmatics.

Susanne K. Langer is best known as a philosopher of culture and student of Ernst Cassirer. In this chapter, however, I argue that this standard picture ignores her contributions to the development of analytic philosophy in the 1920s and 1930s. I reconstruct the reception of Langer’s first book *The Practice of Philosophy*—arguably the first sustained defense of analytic philosophy by an American philosopher—and describe how prominent European philosophers of science such as Moritz Schlick, Rudolf Carnap, and Herbert Feigl viewed her (...) as one of the most important allies in the United States. In the second half of this chapter, I turn to Langer’s best-selling *Philosophy in a New Key* and reconstruct her attempts to broaden the scope of the, by then, rapidly growing U.S. analytic movement. I argue that her book anticipated various developments in analytic philosophy but was largely ignored by her former colleagues. I end the chapter by offering some clues as to why New Key did not incite the same laudatory responses from analytic philosophers as her earlier work. (shrink)

This paper reconstructs the American reception of logical positivism in the early 1930s. I argue that Moritz Schlick (who had visiting positions at Stanford and Berkeley between 1929 and 1932) and Herbert Feigl (who visited Harvard in the 1930-31 academic year) played a crucial role in promoting the *Wissenschaftliche Weltauffassung*, years before members of the Vienna Circle, the Berlin Group, and the Lvov-Warsaw school would seek refuge in the United States. Building on archive material from the Wiener Kreis Archiv, the (...) Harvard University Archives, and the Herbert Feigl Papers, as well as a large number of publications in American philosophy journals from the early 1930s, I reconstruct the subtle transformation of the American philosophical landscape in the years immediately preceding the European exodus. I argue that (1) American philosophical discussions about meaning and significance and (2) internal dynamics in the Vienna Circle between 1929 and 1931 significantly impacted the way in which US philosophers came to perceive logical positivism. (shrink)

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the world (...) and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (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)

The author argues that there is no such thing as a unique and general taxonomy of non-at-issue contents. Accordingly, we ought to shun large categories such as “conventional implicature”, “F-implicature”, “CI”, “Class B” or the like. As an alternative, we may, first, describe the “semantic profile” of linguistic devices as accurately as possible. Second, we may explicitly tailor our categories to particular theoretical purposes.

In the years before the Second World War, Rudolf Carnap and Hans Reichenbach emigrated to the United States, escaping the quickly deteriorating political situation on the continent. Once in the U. S., the two significantly changed the American philosophical climate. This two-part paper reconstructs Carnap’s and Reichenbach’s surprisingly numerous interactions with American academics in the decades before their move in order to explain the impact of their arrival in the late 1930s. Building on archival material of several key players and (...) institutions, I take some first steps toward answering the question why logical empiricism became so successful in the United States after the War. This first part reconstructs Carnap’s development between 1923, when he first visited New York, and 1936, when he was offered a position at the University of Chicago. I describe Carnap’s first substantive contacts with American philosophers as well as the events leading up to his decision to emigrate. In addition, I argue that some of Carnap’s work from the mid-1930s—in particular “Testability and Meaning”—can be better understood if we take into account his attempts to correct the American narrative about logical positivism and his increasingly desperate efforts to find a position in the United States. (shrink)

John Taurek has argued that, where choices must be made between alternatives that affect different numbers of people, the numbers are not, by themselves, morally relevant. This is because we "must" take "losses-to" the persons into account (and these don't sum), but "must not" consider "losses-of" persons (because we must not treat persons like objects). I argue that the numbers are always ethically relevant, and that they may sometimes be the decisive consideration.

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. (...) At stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (shrink)

In the late 1930s, a few years before the start of the Second World War, a small number of European philosophers of science emigrated to the United States, escaping the increasingly perilous situation on the continent. Among the first expatriates were Rudolf Carnap and Hans Reichenbach, arguably the most influential logical empiricists of their time. In this two-part paper, I reconstruct Carnap’s and Reichenbach’s surprisingly numerous interactions with American academics in the decades before their move in order to explain the (...) impact of their arrival in the late 1930s. This second part traces Reichenbach’s development and focuses on his frequent interactions with American academics throughout the 1930s. I show that Reichenbach was quite ignorant about developments in Anglophone philosophy in the first stages of his career but became increasingly focused on the United States from the late 1920s onwards. I reconstruct Reichenbach’s efforts to find a job across the Atlantic and show that some of his English publications—most notably Experience and Prediction—were attempts to change the American narrative about logical empiricism. Whereas U. S. philosophers identified scientific philosophy with the views of the Vienna Circle, Reichenbach aimed to market his probabilistic philosophy of science as a subtler alternative. (shrink)

In this paper we present a new proposal for defining actual causation, i.e., the problem of deciding if one event caused another. We do so within the popular counterfactual tradition initiated by Lewis, which is characterised by attributing a fundamental role to counterfactual dependence. Unlike the currently prominent definitions, our approach proceeds from the ground up: we start from basic principles, and construct a definition of causation that satisfies them. We define the concepts of counterfactual dependence and production, and put (...) forward principles such that dependence is an unnecessary but sufficient condition for causation, whereas production is an insufficient but necessary condition. The resulting definition of causation is a suitable compromise between dependence and production. Every principle is introduced by means of a paradigmatic example of causation. We illustrate some of the benefits of our approach with two examples that have spelled trouble for other accounts. We make all of this formally precise using structural equations, which we extend with a timing over all events. (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)

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)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Quine’s argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine’s argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher’s quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake as there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine’s argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine’s work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. -/- . (shrink)

This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full understanding of some linguistic phenomena that scholars have accounted for in terms of either semantics or pragmatics need involve psycholinguistic elements.

Andreas & Günther have recently proposed a difference-making definition of actual causation. In this paper I show that there exist conclusive counterexamples to their definition, by which I mean examples that are unacceptable to everyone, including AG. Concretely, I show that their definition allows c to cause e even when c is not a causal ancestor of e. I then proceed to identify their non-standard definition of causal models as the source of the problem, and argue that there is no (...) viable strategy open to AG to fixing it. I conclude that their definition of causation is damaged beyond repair. (shrink)

Ernest Nagel played a key role in bridging the gap between American philosophy and logical empiricism. He introduced European philosophy of science to the American philosophical community but also remained faithful to the naturalism of his teachers. This paper aims to shed new light on Nagel’s intermediating endeavors by reconstructing his philosophical development in the late 1920s and 1930s. This is a decisive period in Nagel’s career because it is the phase in which he first formulated the principles of his (...) naturalism and spent a year in Europe to visit the key centers of logical empiricism. Building on a range of published and unpublished papers, notes, and correspondence—including hundreds of pages of letters to his close friend Sidney Hook—I reconstruct Nagel’s philosophical development, focusing especially on the philosophical influence of John Dewey, Morris R. Cohen, Rudolf Carnap, and Hans Reichenbach. (shrink)

Many scholars claim that Frege's theory of colouring is committed to a radical form of subjectivism or emotivism. Some other scholars claim that Frege's concept of colouring is a precursor to Grice's notion of conventional implicature. I argue that both of these claims are mistaken. Finally, I propose a taxonomy of Fregean colourings: for Frege, there are purely aesthetic colourings, communicative colourings or hints, non-communicative colourings.

Why did Frege offer only proper names as examples of presupposition triggers? Some scholars claim that Frege simply did not care about the full range of presuppositional phenomena. This paper argues, in contrast, that he had good reasons for employing an extremely narrow notion of ‘Voraussetzung’. On Frege’s view, many devices that are now construed as presupposition triggers either express several thoughts at once or merely ‘illuminate’ a thought in a particular way. Fregean presuppositions, in contrast, are essentially tied to (...) names. (shrink)

In Anarchy, State and Utopia, Robert Nozick argues, first, that free-market anarchism is unstable -that it will inevitably lead back to the state; and, second, that without a certain "redistributive" proviso, the model is unjust. If either of these things is the case, the model defeats itself, for its justification purports to be that it provides a morally acceptable alternative to government (and therefore to the state). I argue, against Nozick's contention, that his "dominant protection agency" neither meets his monopoly (...) condition for statehood nor need run afowl of his redistributive requirement. This being the case, his argument against free market anarchism fails. (shrink)

Quine's argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine's argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher's quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake, there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine's argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine's work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

Susanne Langer was a student at Radcliffe College between 1916 and 1926---a highly transitional period in the history of American philosophy. Intellectual generalists such as William James, John Dewey, and Josiah Royce had dominated philosophical debates at the turn of the century but the academic landscape gradually started to shift in the years after World War I. Many scholars of the new generation adopted a more piecemeal approach to philosophy---solving clearly delineated, technical puzzles using the so-called “method of logical analysis”. (...) Especially at Harvard, the intellectual climate rapidly changed. The department hired several philosophers who had contributed to the development of symbolic logic---H. M. Sheffer, C. I. Lewis, and A. N. Whitehead---and Harvard quickly began to be viewed as a central hub for analytic philosophy in the United States. This chapter contextualizes Langer’s earliest work by reading it through the lens of this shifting academic environment. Though Harvard did not allow women to take its courses until 1943, Langer is one of the most significant fruits of this period. Her dissertation “A Logical Analysis of Meaning” and her first publications are all illustrations of the approach that came to dictate the American philosophical conversation. By exploring the increased focus on the logical-analytic method and Langer’s attempts to expand the new approach to what she later called “non-discursive” symbolisms, I situate her publications in the intellectual context of the 1920s. (shrink)

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (shrink)

Historians have shown that philosophical discussions about the implications of relativity significantly shaped the development of European philosophy of science in the 1920s. Yet little is known about American debates from this period. This paper maps the first responses to Einstein’s theory in three U.S. philosophy journals and situates these papers within the local intellectual climate. We argue that these discussions (1) stimulated the development of a distinctly American branch of philosophy of science and (2) paved the way for the (...) logical empiricists, who emigrated to the United States in the years before World War II. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

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 categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. Starting from (...) a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)