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)

It is widely agreed among philosophers of science today that no formal pattern can possibly be found in the origins of scientific theory. There is no such thing as a "logic of discovery," insists this view--a scientific hypothesis is susceptible to methodological critique only in its relation to empirical consequences derived after the hypothesis itself has emerged through a spontaneous creative inspiration. Yet confronted with the tautly directed thrust of theory-building as actually practiced at the cutting edge of scientific research, (...) this romantic denial of method in the genesis of ideas takes on the appearance of myth. It is the contention of this article that as empirical data ramify in logical complexity, they deposit a hard sediment of theory according to a standard inductive pattern so primitively compelling that it must be recognized as one of the primary forms of inferential thought. This process, here called "ontological induction," is a distillation out of unwieldly observed regularities of more conceptually tractable states hypothesized to underlie them, and is the wellspring of our beliefs in theoretical entities. Previous failure to recognize this pattern of induction has undoubtedly been in substantial measure a result of inadequate attention to the structural details of scientific propositions; for in order to exhibit the nature of ontological induction clearly, it is first necessary to make extended forays through sparsely explored methodological terrain--notably, the nature of scientific "variables," the logical form of "laws," and the type-hierarchy of scientific concepts. (shrink)

“… there is no distinction of meaning so fine as to consist in anything but a possible difference of practice.”“… Consider what effects, that might conceivably have practical bearings, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object.”One example which Peirce chose to illustrate his pragmatic maxim as thus stated was the familiar theological distinction between transubstantiation and consubstantiation. Now since these two doctrines agree in (...) all of the effects which they conceive the sacrament to possess and which may have practical bearings, here and hereafter, it is absurd to say that there is any real distinction between the two doctrines. Peirce declares in the same passage that, having used the question as a logical example only, he does not care to pause to anticipate the theologian's reply. (shrink)

Rudolf Carnap defended two quite different critiques of traditional philosophy: in addition to the much discussed verifiability criterion, he also proposed a critique based upon "formalizability." Formalizability rests upon the principle of tolerance plus an acceptance of a linguistic methodology. Standard interpreters of Carnap (e.g., [7] and [8]) assume that the principle of tolerance (and, hence, formalizability) gains its argumentative support from verificationism. Carnap, in fact, kept the two critiques separate and independent. Indeed, verificationism is even, in spirit, inconsistent with (...) tolerance. If the formalizability approach is emphasized, traditional metaphysics is reconstructed, not banished. Philosophical disputes remain rationally decidable, but metatheoretical in nature. Two results follow: Carnap's metaphilosophy cannot be rejected merely on the basis of rejections of verifiability. Second, Carnap's conclusion that all philosophy concerns language provides no reason for despair. (shrink)

A notation for the language of physics is given, and a system of axioms constructed. It is argued that from the standpoint of a 'realistic' ontology our method is preferable to Carnap's 'coordinate languages.' The primitive ideas are the part-whole relation μ and the set H of coordinate systems. Only such statements are intended in the axioms as are non-controversial; i.e. no open cosmological questions are prejudged.

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 comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb’s logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purposes and has additional attractive properties.

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

The present paper intends to draw the conception of language implied in the technique of word embeddings that supported the recent development of deep neural network models in computational linguistics. After a preliminary presentation of the basic functioning of elementary artificial neural networks, we introduce the motivations and capabilities of word embeddings through one of its pioneering models, word2vec. To assess the remarkable results of the latter, we inspect the nature of its underlying mechanisms, which have been characterized as the (...) implicit factorization of a word-context matrix. We then discuss the ordinary association of the “distributional hypothesis” with a “use theory of meaning,” often justifying the theoretical basis of word embeddings, and contrast them to the theory of meaning stemming from those mechanisms through the lens of matrix models (such as vector space models and distributional semantic models). Finally, we trace back the principles of their possible consistency through Harris’s original distributionalism up to the structuralist conception of language of Saussure and Hjelmslev. Other than giving access to the technical literature and state of the art in the field of natural language processing to non-specialist readers, the paper seeks to reveal the conceptual and philosophical stakes involved in the recent application of new neural network techniques to the computational treatment of language. (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)

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)

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)

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)

In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of contradictions in a mathematical system. ‘Contradiction. Why just this (...) spectre? This is really very suspicious.’ ( Philosophical Remarks III–56) In the last decades, several authors (e.g. Arrington, Hintikka, Van Heijenoort, Wright, Wrigley) have been digging into Wittgenstein’s rather non-standard standpoint on what concerns the interpretation and import of contradiction in logic and mathematics, and many other authors (e.g. da Costa, Goldstein, Granger, Marconi) have been investigating the possibility of taking Wittgenstein seriously as one of the early forerunners of paraconsistency. While many advances have been made on the first front, the second set of investigations has led almost exclusively to negative results: no, no operational proposal about the construction of a logic in which (some) contradictions are made inoffensive can be read from Wittgenstein’s philosophical work; in fact, it appears that the most one can find there is the exhortation for mathematicians to alter their attitude with respect to contradictions and to consistency proofs. The play is done, and one looks for a resume of the opera. This paper fills that blank, as a thorough investigation of the possible relations between Wittgenstein and paraconsistency. DOI:10.5007/1808-1711.2010v14n1p135. (shrink)

This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...) are among the philosophers considered along the way. (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)

Husserl's mathematical philosophy of science can be considered an anticipation of the contemporary postpositivistic semantic approach, which regards mathematics and not logic as the appropriate tool for the exact philosophical reconstruction of scientific theories. According to Husserl, an essential part of a theory's reconstruction is the mathematical description of its domain, that is, the world (or the part of the world) the theory intends to talk about. Contrary to the traditional micrological approach favored by the members of the Vienna Circle, (...) Husserl, inspired by modern geometry and set theory, aims at a macrological analysis of scientific theories that takes into account the global structures of theories as structured wholes. This is set in the complementary theories of manifolds and theory forms considered by Husserl himself as the culmination of his formal theory of science. (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)

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)

Conventionalism about logic is the view that logical principles hold in virtue of some linguistic conventions. According to explicit conventionalism, these conventions have to be stipulated explicitly. Explicit conventionalism is subject to a famous criticism by Quine, who accused it of leading to an infinite regress. In response to the criticism, several authors have suggested reconstructing conventionalism as implicit in our linguistic behaviour. In this paper, drawing on a distinction from proof theory between derivable and admissible rules, I argue that (...) implicit conventionalism has not been stated in a sufficiently precise way, as it leaves open what one needs to say about admissible yet underivable rules. Moreover, it turns out that this challenge cannot be easily met, and that any attempt to meet the challenge makes conventionalism much less attractive a thesis. (shrink)

Résumé Dans cet article, nous discuterons de l’intégration du numérique à la sémiotique et proposerons qu’une modélisation conceptuelle puisse offrir un pont de dialogue entre ces deux domaines classiquement cloisonnés. Plus précisément, nous avancerons l’hypothèse que tout projet de recherche qui en appellera à l’informatique soit une démarche scientifique que s’il construit une théorie qui contient, en plus des modèles classiques que sont les modèles formel, computationnel et physique, un modèle conceptuel. Ce lieu, où les chercheur-es conceptualisent les multiples dimensions (...) de leur objet de recherche, sera alors défini en tant que socle d’une relation solide entre la sémiotique et l’informatique. Nous verrons que les différentes définitions du modèle conceptuel convergent vers la thèse soutenant que la connaissance scientifique met en œuvre une instance de conceptualisation qui doit identifier les diverses dimensions du problème en plus de devoir s’exprimer de manière à ce qu’elle soit communicable entre les membres des communautés épistémiques. Nous verrons, enfin, qu’un projet de recherché sémiotique exige la construction d’un tel modèle afin de décrire, généraliser et sélectionner des problèmes et que ce même modèle, conceptuel, sera aussi nécessaire si le ou la sémioticien-ne utilise l’informatique dans le cadre de sa recherche.fr. (shrink)

In order to reconnect Quine's views to the current debate on scientific realism, I reframe Quine's scientific realism into a semantic, a metaphysical, and an epistemological dimension. With this conceptual background, I review the historical development of Quine's scientific realism from the late 1940s until his death in 2000. I challenge Soames's view that Quine is a phenomenalist at the time of “Two Dogmas of Empiricism” (1951) and show that he remains agnostic between a realist and an anti‐realist conceptual scheme (...) instead. I also argue that Quine's early views on regimentation are incompatible with a strong formulation of semantic realism. I proceed in reconstructing how he becomes a metaphysical and epistemological realist in the mid‐1950s and argue against the view of Keskinen and Fogelin that interprets Quine as being a metaphysical anti‐realist. Contrary to Davidson, I defend the view that he never gave up normative epistemology and really is a proper epistemological realist. Finally, I discuss how he tries to reconcile his realism with his thesis of ontological relativity and how this necessitates the switch to a stronger form of semantic realism. (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)

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)

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)

This essay examines Friedman's recent approach to the analysis of physical theories. Friedman argues against Quine that the identification of certain principles as ‘constitutive’ is essential to a satisfactory methodological analysis of physics. I explicate Friedman's characterization of a constitutive principle, and I evaluate his account of the constitutive principles that Newtonian and Einsteinian gravitation presuppose for their formulation. I argue that something close to Friedman's thesis is defensible.

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)

This article surveys the main philosophical and formal ideas revolving around language as being conventional from the perspective of game theory. For very basic situations, this leads to a coherent view of conventions that offers interesting insights. Although there exist many open problems, this article will argue by outlining partial solution attempts that there is no principled reason for not applying methods from game theory to them.

The contemporary discussion of non-conceptual content inaugurated by Gareth Evans and John McDowell has generated a range of differing views as to Kant's position on the issues raised. I argue that for Kant perception is prior to thought and that it is as being prior that perception connects us to reality in outer intuition. I then argue that for Kant thought relates to perception by being the rule for perceptual procedures. This accounts for thought's extending in scope beyond what we (...) actually perceive to all that is manifest in space and time. As against Merleau-Ponty this Kantian understanding of thought beyond perception does not distort the nature of reality which remains essentially that which can be engaged. (shrink)

There are grounds for taking Plato's agenda of searching for definitions to be ironic, and he points toward good arguments for being wary of trust in definitions.

Alexander George has put forward a novel interpretation of the Quine-Carnap debate over analyticity. George argues that Carnap's claim that there exists an analytic-synthetic distinction was held by Carnap to be empty of empirical consequences. As a result, Carnap understood his position to be empirically indistinguishable from Quine's. Although George defends his interpretation only briefly, I show that it withstands further examination and ought to be accepted. The consequences of accepting it undermine a common understanding of Quine's criticism of Carnap, (...) and I argue that it is difficult to find a perspective from which Quine can criticize Carnap in a non-question-begging way. (shrink)

Recent discussions of logical pluralism trace its origins to Rudolf Carnap’s principle of tolerance; indeed, the principle is seen as one of Carnap’s lasting philosophical contributions. In this paper, I will argue that Carnap’s reasons for adopting this principle are not purely logical, but are rather founded in the Vienna Circle’s manifesto—a programmatic document that brings the Circle’s philosophical work together with a program of social change. Building on work by Uebel, Romizi, and others, I argue that we must understand (...) the principle in light of Carnap’s role in writing the manifesto, and thus as integrated into the larger philosophical and political goals of the Circle. This history illuminates the often-ignored relationship between Carnap’s logical pluralism and his political views. Finally, I turn to the political situation of the post-World War 2 period in the United States. During this time, the Circle’s emigres in the USA transitioned their work from active efforts to reform society to the technical work that we recognize as the foundation of American analytic philosophy today. In this final section, I argue that the reasons that Carnap distanced himself from the political foundations of his view were due in large part to McCarthy-era persecution of left-wing academics. (shrink)

According to the received view, Marxian (ideology) critique and Foucaultian (genealogical) critique constitute two divergent approaches of critical theory that have remarkably different goals and little in common. In this article, however, we identify a guiding thread that connects the Marxian and Foucaultian traditions and motivates a distinctive approach within critical theory we call the ‘critique of constitution’. The problem of restricted consciousness, we show, is the core problem in common between Michel Foucault's critical history of thought and Georg Lukács's (...) theory of reification which underlies the tradition of Western Marxism and Frankfurt School critical theory. The problem concerns the limits of intelligibility and, by the same token, the apparent inevitability of the given social ontology. Our sense of what is possible depends on what we are able to think. But we know from the history of sciences that the limits of intelligibility change, thereby also altering our sense of what is possible. This becomes a political problem in connection with the intelligibility of social reality, because our restricted consciousness limits the alternatives we can so much as consider and seek to bring about. The critique of constitution, then, aims to expand the scope of possibility by revealing the contingent formation of the given limits of intelligibility. We argue that this is the paramount political task for Foucault and Lukács alike, other important differences notwithstanding. (shrink)

For several decades, Carnap's philosophy of mathematics used to be either dismissed or ignored. It was perceived as a form of linguistic conventionalism and thus taken to rely on the bankrupt notion of truth by convention. However, recent scholarship has revealed a more subtle picture. It has been forcefully argued that Carnap is not a linguistic conventionalist in any straightforward sense, and that supposedly decisive objections against his position target a straw man. This raises two questions. First, how exactly should (...) we characterise Carnap's actual philosophy of mathematics? Secondly, is his position an attractive alternative to established views? I will tackle these issues by looking at Carnap's response to the incompleteness theorems. Drawing on arguments put forward by Gödel and Beth, I show that some crucial aspects of Carnap's positive account have remained underdeveloped. Suggestions on what a full evaluation of Carnap's position requires are made. (shrink)

Rudolf Carnap’s principle of tolerance states that there is no need to justify the adoption of a logic by philosophical means. Carnap uses the freedom provided by this principle in his philosophy of mathematics: he wants to capture the idea that mathematical truth is a matter of linguistic rules by relying on a strong metalanguage with infinitary inference rules. In this paper, I give a new interpretation of an argument by E. W. Beth, which shows that the principle of tolerance (...) does not suffice to remove all obstacles to the employment of infinitary rules. (shrink)

We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...) point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty \infty }$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty \infty }$ by a “tamer” logic. (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)

Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms of generality that (...) Wittgenstein\nindicated can be seen in the quantified sentences of contemporary\nlogic. (shrink)

What are Carnap's views on the epistemology of mathematics? Did he believe in a priori justification, and if so, what is his account of it? One might think that such questions are misguided, since in the 1930s Carnap came to reject traditional epistemology as a confused mixture of logic and psychology. But things are not that simple. Drawing on recent work by Richardson and Uebel, I will show that Carnap's mature metaphilosophy leaves room for two distinct notions of a priori (...) justification: one propositional, the other doxastic. The latter is especially interesting since it comes closest to a traditional understanding of a priority. On the other hand, Carnap has little to say about doxastic justification in his writings. This lacuna can be filled by drawing on an unpublished exchange with Irving M. Copi. In it, so I will show, Carnap endorses the view that agents can come to know all mathematical truths a priori. This fact, so I will further argue, can be used to adjudicate a dispute between Ricketts and Friedman about the nature and viability of Carnap's philosophy of mathematics—specifically his reliance on infinitary methods. (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 Fogelin’s account of deep disagreements, disputes caused by a clash in framework propositions are necessarily rationally irresolvable. Fogelin’s thesis is a claim about real-life, and not purely hypothetical, arguments: there are such disagreements, and they are incapable of rational resolution. Surprisingly then, few attempts have been made to find such disputes in order to test Fogelin’s thesis. This paper aims to rectify that failure. Firstly, it clarifies Fogelin’s concept of deep disagreement and shows there are several different breeds (...) of such disagreements. Thus, to fully assess Fogelin’s thesis, it will be necessary to seek out cases of each breed to evaluate their rational irresolvability. Secondly, it begins this task by looking at a significant debate within the logical literature over the truth of contradictions. We demonstrate that, while the debate exemplifies a breed of deep disagreement, the parties involved can supply one another with rationally compelling reasons. (shrink)

For more than three decades, Integrative Social Contracts Theory (ISCT) has been lauded as a business ethics theory particularly well suited to the international arena, especially because of its alleged ability to reconcile respect for cultural idiosyncrasies and normative teeth. However, this theory has also faced various objections, many of which its authors have responded to with varying degrees of satisfaction. As a contribution to this debate, this article provides a unifying rationale for many of those objections by exploring their (...) rooting in the Separation thesis. It submits that this fact negatively impacts the theory with three major challenges, namely: significant limitations to correctly frame moral issues and situations; poor identification of hypernorms; and insufficient theoretical grounding of hypernorms. This critique highlights the need for the entanglement of the normative and the empirical in business ethics theorizing. (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)

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)

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)