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)

In concluding section 2, chapter VI of part II of [6], Duhem claimed:... the physicist can never subject an isolated hypothesis to experimental test, but only a whole group of hypotheses...... when the experiment is in disagreement with his predictions, what he learns is that at least one of the hypotheses constituting this group is unacceptable and ought to be modified; but the experiment does not designate which one should be changed'.

Some philosophers are metaphilosophical deflationists for metasemantic reasons. These theorists take standard philosophical assertions to be defective in some manner. There are various versions of metasemantic metaphilosophical deflationism, but a trap awaits any global version of it: metasemantics itself is a part of philosophy, so in deflating philosophy these theorists have thereby deflated the foundation of their deflationism. The present article discusses this issue and the prospects for an adequate response to the trap. Contrary to most historical responses, the article (...) argues that the best response to the trap is to adopt a local but still pervasive metasemantic deflationism. Such a response might seem ad hoc, but the article argues that the human activity of philosophy isn't a natural kind, and that a heterogeneous metaphilosophy of the appropriate kind is well motivated. (shrink)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform infinite inferences. I (...) argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

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

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

This paper concerns the recent debate on the nature and motivations of the epistemological project advanced in Rudolf Carnap's (1891-1970) Aufbau. Much of this debate has been initiated by Michael Friedman and Alan Richardson who argue (against the received view of the Aufbau as a foundationalist defense of empiricism) that Carnap's epistemological project is located in the tradition of neo-Kantian epistemology. On this revisionist reading of the Aufbau, Carnap's project is not motivated to address traditional empiricist problems regarding the justification (...) of knowledge, but rather to show how objective knowledge is possible. A central aspect of the Aufbau that is neglected in the revisionists' analysis is the role of epistemic justification in Carnap's project. The aim of the present study is to argue that although the general epistemology in the Aufbau can be cast as neo-Kantian, Carnap's method of construction theory (or rational reconstruction) is formulated precisely as an empiricist method for the justification of conceptual knowledge. Construction theory radically redefines `empirical justification' into a formal-conventional notion, and is part of Carnap's more general agenda of redefining epistemology as a purely formal discipline. (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 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.

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...) more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

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

According to methodological anti-exceptionalism, logic follows a scientific methodology. There has been some discussion about which methodology logic has. Authors such as Priest, Hjortland and Williamson have argued that logic can be characterized by an abductive methodology. We choose the logical theory that behaves better under a set of epistemic criteria. In this paper, I analyze some important discussions in the philosophy of logic, and I show that they presuppose different methodologies, involving different notions of evidence and different epistemic values. (...) I argue that, rather than having a specific methodology such as abductivism, logic can be characterized by methodological pluralism. This position can also be seen as the application of scientific pluralism to the realm of logic. (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)

European Journal of Philosophy, Volume 29, Issue 4, Page 864-886, December 2021.

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

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

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...) of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (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)

To consider metaphysical claims a priori and devoid of empirical content, is a rather commonplace received opinion. This paper attempts an exploration of a contemporary philosophical heresy: it is possible to test metaphysical claims if they play an indispensable role in producing empirical success, i.e. novel predictions. To do so one, firstly, needs to express the metaphysical claims employed in the logico-mathematical language of a scientific theory, i.e. to explicate them. Secondly, one should have an understanding of what it is (...) to test and to verify or to falsify a metaphysical claim. Finally, one also need to consider the philosophical practice of testing a metaphysical claim. These three aspects are introduced in this paper and they are illustrated by means of the metaphysical concept of common cause and the principle of the common cause. (shrink)

In this paper, I argue from a metasemantic principle to the existence of analytic sentences. According to the metasemantic principle, an external feature is relevant to determining which concept one expresses with an expression only if one is disposed to treat this feature as relevant. This entails that if one isn’t disposed to treat external features as relevant to determining which concept one expresses, and one still expresses a given concept, then something other than external features must determine that one (...) does. I argue that, in such cases, what determines that one expresses the concept also puts one in a position to know that certain sentences are true—these sentences are thus analytic relative to this determination basis. Finally, I argue that there are such cases: some sentences are analytic relative to what determines that we express certain key concepts, and these sentences include ones that have always been thought to be the best candidates for being analytic, namely, stipulative truths, and first principles of mathematics. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

I argue against the view that metalinguistic usage is a form of conversational implicature. That view, suggested by Thomasson (Anal Philos 57(4):1-28, 2016) and Belleri (Philos Stud 174(9):2211–2226, 2017), has been most recently fleshed out by Mankowitz (Synthese 199:5603–5622, 2021). I provide two types of criticism to the implicature view. From an empirical point of view, metalinguistic usage differs in key respects from standard cases of conversational implicature. From a conceptual standpoint, I argue that the calculation algorithm provided by the (...) implicature view makes undesirable predictions. Although my main objective is negative, I end the paper by sketching an alternative neo-Stalnakerian view of metalinguistic usage, that can be gathered from work by Barker (Linguist Philos 25(1):1–36, 2002; Inquiry 56(2–3):240–257, 2013) and others. (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)

Some of the concerns which motivate attempts to provide a philosophical reduction of nomological necessity are briefly introduced in I. In II, Hempel's treatment of the paradoxes is contrasted with a position which holds that nomological necessity is a pragmatic dimension of laws of nature, and that this pragmatic dimension is of such a type that it prevents laws of nature from contraposing. Such a position is, however, untenable unless (i) the sense of 'pragmatics' at issue is specified, and the (...) possibility of pragmatic differences resulting in differences in confirmation is defended, and (ii) a relevant pragmatic difference between contrapositives is indicated. III attempts to satisfy condition (i) by developing a new sense of pure pragmatics and argues that some remarks by Goodman and Scheffler together with work on the logic of explanation by Dr. Rescher and myself suggest that nomological contrapositives are not pragmatically equivalent (i.e. substitutable salva veritate in the pure pragmatics of an ideal scientific language). If such is the case, condition (ii) is also satisfied. (shrink)

Conventionalism about logic claims that logical truth has its source in linguistic convention. Conventionalism about mathematics claims the same for mathematical truth. Conventionalism was popular...

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

Ayer’s Language, Truth and Logic (1936) was immediately regarded as a clear and faithful presentation of the views of the Vienna Circle to English-speaking readers. Since Ayer wrote this book after his visit to Vienna, where he participated in the meetings of the Circle, one may often hear to this day that he brought logical positivism to England. However, while Ayer’s conception was a form of logical positivism, it significantly differed from its Viennese counterpart(s). The key discrepancies are related to (...) verificationism: this article aims to analyse these discrepancies. It will be claimed that upon his return from Vienna Ayer assumed positions that were no longer, or had never been, held in the Circle: regarding the verification principle, test-statements, phenomenalist reductionism and analyticity. (shrink)

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; what can be called the quasi-empirical epistemology of mathematics is not correct; analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a pluralist view of mathematics.

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall and Restall (...) (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

In this paper we propose and defend the Synonymy account, a novel account of metaphysical equivalence which draws on the idea (Rayo in The Construction of Logical Space, Oxford University Press, Oxford, 2013) that part of what it is to formulate a theory is to lay down a theoretical hypothesis concerning logical space. Roughly, two theories are synonymous—and so, in our view, equivalent—just in case (i) they take the same propositions to stand in the same entailment relations, and (ii) they (...) are committed to the truth of the same propositions. Furthermore, we put our proposal to work by showing that it affords a better and more nuanced understanding of the debate between Quineans and noneists. Finally we show how the Synonymy account fares better than some of its competitors, specifically, McSweeney’s (Philosophical Perspectives 30(1):270–293, 2016) epistemic account and Miller’s (Philosophical Quarterly 67(269):772–793, 2017) hyperintensional account. (shrink)

Under the influence of Quine’s famous manifesto, many philosophers have thought that logical theories are scientific theories that can be ‘adopted’ and tested as scientific theories. Here we argue that this idea is untenable. We discuss it with special reference to Putnam’s proposal to ‘adopt’ a particular non-classical logic to solve the foundational problems of quantum mechanics in his famous paper ‘Is Logic Empirical?’ (1968), which we argue was not really coherent.

This paper critically examines logical instrumentalism as it has been put forth recently in the anti-exceptionalism about logic debate. I will argue that if one wishes to uphold the claim that logic is significantly similar to science, as the anti-exceptionalists have it, then logical instrumentalism cannot be what previous authors have taken it to be. The reason for this, I will argue, is that as the position currently stands, first, it reduces to a trivial claim about the instrumental value of (...) logical systems, and second, by its denial that logic aims to account for extra-systemic phenomena it significantly differs from science, in contrast with the AEL agenda. I will conclude by proposing a different kind of logical instrumentalism that I take to have a broad appeal, but especially for anti-exceptionalists, for it is developed as analogous to—and thus much closer aligned with—scientific instrumentalism. (shrink)

I argue for two theses about semantically anomalous utterances (more commonly called "category mistakes") like "sequestered slaps reel evergreen rights". First, semantic anomaly generates a unique form of semantically enforced quantifier domain restriction. Second, the best explanation for why anomaly interacts with quantifiers in this way is that anomalous utterances are truth-valueless. After arguing for these points, I trace out two consequences these theses have in semantics and logic. First, I argue they motivate a trivalent semantics on which truth-valueless material (...) has an unsual positive role to play in the compositional semantics of truth-evaluable utterances. Second, I argue that the interaction of anomaly with quantifiers generates a unique form of classical inference failure, and also provides special motivations for reconceptualizing our logical consequence relations. (shrink)

According to what Hume termed an ‘establish’d maxim’, nothing absolutely impossible is imaginable. It has recently been claimed against this that given the ubiquity of stipulative imagination, where one imagines a proposition simply by adding it as a stipulation about the imagined situation, it seems that we can imagine any impossibility whatsoever, even plain contradictions: all we need to do is add them as stipulations. The aim of this article is both to defend Hume’s maxim against this objection and – (...) hopefully interestingly – to do so while granting the assumption that adding something as a stipulation is a valid way of imagining something. To this end, appeal is made to a particular development of a second Humeanism, according to which necessary truths are analytic in the sense that their truth follows from their meaning. Their analyticity, it is then argued, secures that they are true in all imagined situations. Therefore, even if it is right that a valid way of imagining something is to add it as a stipulation, attempting to stipulate that, say, some imaginary bachelor is also married is bound to fail: you can’t stipulate it to be the case because it really isn’t the case. (shrink)

This paper discusses the account of alethic modality as presented by Wilfrid Sellars in his earlier work from 1947 to 1958. Its aim is twofold. First, I discuss Sellars' analysis by exploring its historical relationship to Carnap's account of modality. I argue that Carnap's early syntactic treatment of modality profoundly influenced Sellars' own so-called ‘regulist' account of modality in terms of rules of inference. Furthermore, it is suggested that Sellars' lesser-known possible worlds analysis was influenced by Carnap's later semantic account (...) of modality. The second aim of the paper is a critical one. I raise a number of objections to Sellars’ account of modality and argue that his account confronts some serious limitations. I also argue that Sellars does not provide a satisfying explanation of the relationship between his regulist account and his possible worlds analysis. I offer such an explanation by arguing that his regulist account should be understood as a pragmatic account of what is conveyed by the use of modal sentences, whereas his possible worlds analysis is a semantic account of the asserted content of modal statements. That is, the regulist account and the possible worlds analysis have different explanatory targets. (shrink)

How many logics do logical pluralists adopt, or are allowed to adopt, or ought to adopt, in arguing for their view? These metatheoretical questions lurk behind much of the discussion on logical pluralism, and have a direct bearing on normative issues concerning the choice of a correct logic and the characterization of valid reasoning. Still, they commonly receive just swift answers – if any. Our aim is to tackle these questions head on, by clarifying the range of possibilities that logical (...) pluralists have at their disposal when it comes to the metatheory of their position, and by spelling out which routes are advisable. We explore ramifications of all relevant responses to our question: no logic, a single logic, more than one logic. In the end, we express skepticism that any proposed answer is viable. This threatens the coherence of current and future versions of logical pluralism. (shrink)

It is well known that Carnap, early in his philosophical career, took most of metaphysics to consist of meaningless pseudostatements. In contrast to this meaning-theoretic critique of metaphysics, we develop what we take to be Carnap’s later value-based critique. We argue that this later critique is forceful against several central contemporary metaphysical debates, its origin in the principle of tolerance notwithstanding.

In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be demonstrated as valid nor be confirmed by observation without entering a circle, and their motivation based on intuition is unreliable. On the other hand, logics do not express a priori necessities of thinking because alternative non-classical logics have been developed. Section 2 reflects the controversies about four major kinds of non-classical logics—multi-valued, intuitionistic, paraconsistent and quantum (...) logics. Its purpose is to show that there is no particular domain or reason that demands the use of a non-classical logic; the particular reasons given for the non-classical logic can also be handled within classical logic. The result of Sect. 2 is substantiated in Sect. 3, where it is shown (referring to other work) that all four kinds of non-classical logics can be translated into classical logic in a meaning-preserving way. Based on this fact a justification of classical logic is developed in Sect. 4 that is based on its representational optimality. It is pointed out that not many but a few non-classical logics can be likewise representationally optimal. However, the situation is not symmetric: classical logic has ceteris paribus advantages as a unifying metalogic, while non-classical logics can have local simplicity advantages. (shrink)

In this paper, I take issue with a core commitment of logical conventionalism: that we impose a logic on ourselves by adopting general linguistic conventions governing our use of logical terms, thereby determining the meanings of the logical constants and which of our inferences are valid. Drawing on Kripke’s ‘adoption problem’, I argue that general logical principles cannot be adopted, either explicitly or implicitly. I go on to argue that the meanings of our logical terms, and the validity of our (...) inferences, cannot depend on our adoption of logico-linguistic conventions. (shrink)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics (...) of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (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)

The years following Israel’s founding were formative ones for the development of philosophy as an academic discipline in this country. During this period, the distinction between philosophy seen as contiguous with the humanities and social sciences, and philosophy seen as adjacent to the natural and exact sciences began to make its presence felt in the Hebrew University of Jerusalem. This distinction, which was manifest in the curriculum, was by no means unique to the Hebrew University, but reflected the broader bifurcation (...) between two schools of Western philosophy in the twentieth century. In English-speaking countries, it is generally referred to as the divide between analytic and continental philosophy. What was special about the situation at the Hebrew University, however, was that the split manifested itself in a rather small department, being embodied, basically, in one prominent representative of each school – Nathan Rotenstreich and Yehoshua Bar-Hillel. This article will focus on some key aspects of the lives and thought of Rotenstreich and Bar-Hillel. It will address their philosophical maturation as S.H. Bergmann’s students, their views on the goals of twentieth-century philosophy, on the philosopher’s role in public life, and the circumstances under which they started teaching in Jerusalem right after the founding of the State of Israel. (shrink)

There was a time when both Rudolf Carnap and Jc Beall were thought to be arch logical pluralists. Beall has since renounced his pluralistic views, but Carnap is still largely regarded as a pluralist. In this paper, I will show that there is good reason to think that Carnap is not a logical pluralist, at least in the way he is presented in the literature. Instead, I argue, he can be seen as a Beall-style logical monist at the meta-level, in (...) line with the views expressed in Beall (APHI 14:1–29, 2017 and NOUS 28:30–54, 2018). (shrink)