We are logical pluralists who hold that the right logic is dependent on the domain of investigation; different logics for different mathematical theories. The purpose of this article is to explore the ramifications for our pluralism concerning normativity. Is there any normative role for logic, once we give up its universality? We discuss Florian Steingerger’s “Frege and Carnap on the Normativity of Logic” as a source for possible types of normativity, and then turn to our own proposal, which postulates that (...) various logics are constitutive for thought within particular practices, but none are constitutive for thought as such. (shrink)

Frege's concern in GGI §10 is neither with the epistemological issue of how we come to know about value-ranges, nor with the semantic-metaphysical issue of whether we have said enough about such objects in order to ensure that any kind of reference to them is possible. The problem which occupies Frege in GGI §10 is the general problem according to which we ‘cannot yet decide’, for any arbitrary function, what value ‘’ has if ‘ℵ’ is a canonical value-range name. This (...) is a problem with the ‘reference’ of value-range names, but only in the weak sense that, if we do not exercise care, value-range terms might become ‘bedeutungslos’ for purely formal reasons. Frege addresses the general problem only for the primitive function- and object-names he has already introduced into his concept-script. I argue that this methodology was perfectly intentional: his intention for GG in general, on display in GGI §10, is to check, for each primitive function- and object-name, as it is introduced into concept-script, whether it interacts with the other primitive names which have already been introduced in such a way that these atomic combinations of primitive names do not become bedeutungslos. If there is a risk of producing a bedeutungslos combination, Frege will make an arbitrary stipulation to ensure that logical hygiene is maintained. I argue that this interpretation does not violate some of the other principal commitments of GG. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

Deflationists about truth embrace the positive thesis that the notion of truth is useful as a logical device, for such purposes as blanket endorsement, and the negative thesis that the notion doesn’t have any legitimate applications beyond its logical uses, so it cannot play a significant theoretical role in scientific inquiry or causal explanation. Focusing on Christopher Hill as exemplary deflationist, the present paper takes issue with the negative thesis, arguing that, without making use of the notion of truth conditions, (...) we have little hope for a scientific understanding of human speech, thought, and action. For the reference relation, the situation is different. Inscrutability arguments give reason to think that a more-than-deflationary theory of reference is unattainable. With respect to reference, deflationism is the only game in town. (shrink)

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...) relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

It is argued that the finitist interpretation of wittgenstein fails to take seriously his claim that philosophy is a descriptive activity. Wittgenstein's concentration on relatively simple mathematical examples is not to be explained in terms of finitism, But rather in terms of the fact that with them the central philosophical task of a clear 'ubersicht' of its subject matter is more tractable than with more complex mathematics. Other aspects of wittgenstein's philosophy of mathematics are touched on: his view that mathematical (...) propositions are 'grammatical propositions' (and so, Strictly speaking, Not genuine propositions at all) and his view that in mathematics 'everything is algorithm, Nothing meaning'. His views on consistency and his anti-Foundationalism are linked with this central thesis. (shrink)

EXPANDED EDITION (eBook): -/- Infinity Is Not What It Seems...Infinity is commonly assumed to be a logical concept, reliable for conducting mathematics, describing the Universe, and understanding the divine. Most of us are educated to take for granted that there exist infinite sets of numbers, that lines contain an infinite number of points, that space is infinite in expanse, that time has an infinite succession of events, that possibilities are infinite in quantity, and over half of the world’s population believes (...) in a divine Creator infinite in knowledge, power, and benevolence. -/- According to this treatise, such assumptions are mistaken. In reality, to be is to be finite. The implications of this assessment are profound: the Universe and even God must necessarily be finite. -/- The author makes a compelling case against infinity, refuting its most prominent advocates. Any defense of the infinite will find it challenging to answer the arguments laid out in this book. But regardless of the reader’s position, FOREVER FINITE offers plenty of thought-provoking material for anyone interested in the subject of infinity from the perspectives of philosophy, mathematics, science, and theology. -/- This electronic edition of FOREVER FINITE is offered free online for all and is expanded with content that does not appear in the published edition due to print production page limitations. From the Introduction to the Conclusion, Chapters 1–27 are identical to the published print edition, including the page numbering for the chapters. This electronic edition adds an appendix and associated content—specifically, updates to the book’s back matter (68 new endnotes, 17 new bibliographic references, 3 new figure credits, 14 new glossary terms) and front matter (an updated table of contents and this preface note). (shrink)

In the philosophy of mathematical practice, the aim is to understand the various aspects of this practice. Even though definitions are a central element of mathematical practice, the study of this aspect of mathematical practice is still in its infancy. In particular, there is little empirical evidence to substantiate claims about definitions in practice. In this article, we address this gap by reporting on an empirical investigation on how mathematicians create definitions and which roles and properties they attribute to them. (...) On the basis of interviews with thirteen research mathematicians, we provide a broad range of relevant aspects of definitions. In particular, we address various roles of definitions and show that definitions are not just a product of mathematical factors, but also of social and contingent factors. Furthermore, we provide concrete examples of how mathematicians interact and think about definition. This broad empirical basis with a variety of examples provides an optimal starting point for future investigations into definitions in mathematical practice. (shrink)

In conversations with Schlick and Waismann from June and December 1930, Wittgenstein began to turn his attention to the topic of games. This topic also centrally concerned Schlick. In his earliest philosophical output, Schlick had relied on the results of evolutionary biology in setting out an account of the emergence of the human species’ ability to play [Spiel] as a prerequisite for the genesis of scientific knowledge. Throughout his subsequent works one finds fragmentary appeals to this early view, e.g. in (...) his oft misunderstood claim that play constitutes the meaning of life. Wittgenstein’s turn to the topic of games in 1930 not only happened while Professor Schlick was in the room, but was also coupled with an explicit response to Schlick’s 1930 book Fragen der Ethik. Schlick here employs the example of chess to distinguish between rules and their application – a distinction which underlies his whole attempt to naturalise ethics as a descriptive psycho-sociological discipline. This paper investigates the relation between Wittgenstein’s and Schlick’s accounts of games in light of Wittgenstein’s criticisms of Schlick’s ethics. Wittgenstein’s objections can be answered by taking Schlick’s theory of play into consideration. (shrink)

The Caesar problem arises for abstractionist views, which seek to secure reference for terms such as ‘the number of Xs’ or #X by stipulating the content of ‘unmixed’ identity contexts like ‘#X = #Y’. Frege objects that this stipulation says nothing about ‘mixed’ contexts such as ‘# X = Julius Caesar’. This article defends a neglected response to the Caesar problem: the content of mixed contexts is just as open to stipulation as that of unmixed contexts.

Western contemporary logic has been used to advance the field of Islamic philosophical theology, which historically utilised Aristotelian-Avicennian logic, on grounds of there being an inherent normativity in logic. This is in spite of the surrounding controversy on the status of logic in the Islamic theological tradition. The normative authority of logic means that it influences the content of what we ought to believe and how we ought to revise those beliefs. This paper seeks to demonstrate that, notwithstanding the incompatible (...) differences between the two systems, the underlying feature of both Western contemporary logic and Aristotelian- Avicennian logic is logical normativity. It then argues that an inherent normativity of logic in the Islamic theological/philosophical tradition is unmotivated. Instead, it proposes to reinstate logic as anti-exceptional within the Islamic theological/philosophical tradition as a viable alternative. (shrink)

Frege is an anti-psychologist about logic who takes logic to be sharply distinguished from psychology. However, Frege also takes judgment, which seems to be a subject of psychology, to be essential to logic. Van der Schaar attempts to explain away this tension by arguing that judgments relevant to logic in Frege are not mental actions psychology deals with. Against this reading, I show that for Frege, judgments are mental actions consistently. The tension in question should be explained away by clarifying (...) the sense in which judgment is essential to logic for Frege. He takes judgment to be essential to logic because he thinks that logic requires judgments to be performed. Logic requires logicians to be committed to truth, and it is by judgments that we are committed to truth. If Frege takes judgment to be essential to logic only in this sense, he is not thereby committed to logical psychologism. (shrink)

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)

Frege's definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege's ill-fated Basic Law V. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.

According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.

We offer a novel picture of mathematical language from the perspective of speech act theory. There are distinct speech acts within mathematics, and, as we intend to show, distinct illocutionary force indicators as well. Even mathematics in its most formalized version cannot do without some such indicators. This goes against a certain orthodoxy both in contemporary philosophy of mathematics and in speech act theory. As we will comment, the recognition of distinct illocutionary acts within logic and mathematics and the incorporation (...) of illocutionary force indicators in the formal language for both goes back to Frege’s conception of these topics. We are, therefore, going back to a Fregean perspective. This paper is part of a larger project of applying contemporary speech act theory to the scientific language of mathematics in order to uncover the varieties and regular combinations of illocutionary acts present in it. For reasons of space, we here concentrate only on assertive and declarative acts within mathematics, leaving the investigation of other kinds of acts for a future occasion. (shrink)

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

In this article I point out that rather than two, as is commonly thought, or indeed one, which is an old idea recently revived by some scholars, Aquinas in fact presents three main senses of being: (A1) being as actus essendi or esse or ‘present actuality’; (A2) being as (real) form or essence; (B) being as the reply to the an sit? (is there…?) question or anitas or ‘there is’ sense. Regarding the relations among these three senses of being I (...) show that: (i) the same logical treatment holds for the form (B) and (A2), since both can and need to be re-written in the form: something is so-and-so (whereas the same process cannot be applied to the A1 sense of being); (ii) the relation between the A1 and A2 senses of being is not a mere relation between distinct elements, but rather a relation among different stages of a single process, namely that between first and second actuality; (iii) the relation between the A (1 and 2) and B senses of being seems to be one of grounding, since the ‘there is’ sense seems to Aquinas to be grounded on the present actuality sense of being as an effect to its cause. (shrink)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...) of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (shrink)

Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...) model of all the axioms of Zermelo-Fraenkel set theory with the exception of the power set axiom. The proof of this result appeals to G\"odel's constructible universe of sets, which G\"odel famously used to show the relative consistency of the continuum hypothesis. More specifically, our proofs appeal to Kripke and Platek's idea of the projectum within the constructible universe as well as to a weak version of uniformization (which does not involve knowledge of Jensen's fine structure theory). The axioms of the Grundgesetze are examples of abstraction principles, and the other primary aim of this paper is to articulate a sufficient condition for the consistency of abstraction principles with limited amounts of comprehension. As an application, we resolve an analogue of the joint consistency problem in the predicative setting. (shrink)

In this article, I try to shed new light on Frege’s envisaged definitional introduction of real and complex numbers in _Die Grundlagen der Arithmetik_ (1884) and the status of cross-sortal identity claims with side glances at _Grundgesetze der Arithmetik_ (vol. I 1893, vol. II 1903). As far as I can see, this topic has not yet been discussed in the context of _Grundlagen_. I show why Frege’s strategy in the case of the projected definitions of real and complex numbers in (...) _Grundlagen_ is modelled on his definitional introduction of cardinal numbers in two steps, tentatively via a contextual definition and finally and definitively via an explicit definition. I argue that the strategy leaves a few important questions open, in particular one relating to the status of the envisioned abstraction principles for the real and complex numbers and another concerning the proper handling of cross-sortal identity claims. (shrink)

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are thus unfounded. (...) I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

The aim of this article is to examine Frege’s view of the context principle in his mature philosophical doctrine. Here, the author argues that the context principle is embodied in the contextual explanation of value-ranges presented in Basic Laws of Arithmetic. The contextual explanation of value-ranges plays essentially the same role as the context principle in The Foundations of Arithmetic. It is supposed to show how a reference to natural numbers is possible. Moreover, the author argues against the view that (...) the context principle should be separated from the recarving thesis. This aspect of Frege’s view leads the author to the rejection of the purely referential view of the context principle, which is fairly widely accepted in the current literature. (shrink)

This paper engages the question ‘Does the consistency of a set of axioms entail the existence of a model in which they are satisfied?’ within the frame of the Frege-Hilbert controversy. The question is related historically to the formulation, proof and reception of Gödel’s Completeness Theorem. Tools from mathematical logic are then used to argue that there are precise senses in which Frege was correct to maintain that demonstrating consistency is as difficult as it can be, but also in which (...) Hilbert was correct to maintain that demonstrating existence given consistency is as easy as it can be. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

It is almost universally accepted that the Frege–Geach Point is necessary for explaining the inferential relations and compositional structure of truth-functionally complex propositions. I argue that this claim rests on a disputable view of propositional structure, which models truth-functionally complex propositions on atomic propositions. I propose an alternative view of propositional structure, based on a certain notion of simulation, which accounts for the relevant phenomena without accepting the Frege–Geach Point. The main contention is that truth-functionally complex propositions do not include (...) as their parts truth-evaluable propositions, but their simulations, which are neither forceful nor truth-evaluable. The view makes room for the idea that there is no such thing as the forceless expression of propositional contents and is attractive because it provides the resources for avoiding a fundamental problem generated by the Frege–Geach Point concerning the relation between forceless and forceful expressions of propositional contents. I further argue that the acceptance of the Frege–Geach Point mars Peter Hanks’ and François Recanati’s recent attempts to resist the widespread idea that assertoric force is extrinsic to the expression of propositional contents. Rejecting this idea, I maintain, requires a deeper break with the tradition than Hanks and Recanati have allowed for. (shrink)

What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic. In my view, what interpreters have failed to appreciate is that logicism is a project of unification, not reduction. For Frege, unification involves two separate steps: (1) an account of the (...) content expressed by arithmetical claims and (2) the justification of that content. The distinction between these steps allows us to see that there are two notions of definition at play in Frege’s logicist work, viz., one concerned with conceptual analysis, the other concerned with the construction of gap-free proof. I then use this discussion to explain how Frege employs his definitions to defend an epistemological thesis about arithmetic, and to clarify Grundlagen’s fruitfulness condition of definitions, and thereby address two interpretive puzzles from the recent literature. (shrink)

This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...) not the most general truths. Finally, I discuss how Frege conceives of the application of Begriffsschrift, and of its status as a ‘lingua characteristica’. (shrink)

In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.

According to the Explanatory Problem with Frege's Platonism about Thoughts, the sharp separation between the psychological and the logical on which Frege famously insists is too sharp, leaving Frege no resources to show how it could be legitimate to invoke logical laws in an explanation of our activities of thinking. I argue that there is room in Frege's philosophy for such justificatory explanations. To see how, we need first to understand correctly the lesson of Frege's attack on psychologism as fundamentally (...) marking a contrast between justification and explanation, and, second, we must take Frege to be committed to the idea that the laws of truth are normatively constitutive for the process of thinking. (shrink)

ABSTRACT Frege characterizes judgement as the acknowledgement of the truth of a thought, appearing thereby to rule out false judgement. First in this paper I explain Frege’s characterization so that it does not have this consequence. Frege is not saying that for a subject S to judge that p is for S to acknowledge the truth of the thought that p. Rather, he is articulating judgement’s nature within self-consciousness. From within, to judge means to acknowledge a truth. Second, I suggest (...) that this articulation is centrally operative in Frege’s argument for the indefinability of truth. As Frege argues, it follows from judgement’s self-consciousness that truth is indefinable. (shrink)

The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of choice—a result hitherto unestablished. (...) It discusses both the general interest of this result, its interest to neo-Fregean philosophy of mathematics, and the potential significance of the Burali–Fortian method of proof. (shrink)

Objects appear to fall into different sorts, each with their own criteria for identity. This raises the question of whether sorts overlap. Abstractionists about numbers—those who think natural numbers are objects characterized by abstraction principles—face an acute version of this problem. Many abstraction principles appear to characterize the natural numbers. If each abstraction principle determines its own sort, then there is no single subject-matter of arithmetic—there are too many numbers. That is, unless objects can belong to more than one sort. (...) But if there are multi-sorted objects, there should be cross-sortal identity principles for identifying objects across sorts. The going cross-sortal identity principle, ECIA2 of Cook and Ebert (2005), solves the problem of too many numbers. But, I argue, it does so at a high cost. I therefore propose a novel cross-sortal identity principle, based on embeddings of the induced models of abstracts developed by Walsh (2012). The new criterion matches ECIA2’s success, but offers interestingly different answers to the more controversial identifications made by ECIA2. (shrink)

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

Zapadna suvremena logika korištena je za unapređenje islamske filozofske teologije, koja je povijesno koristila aristotelovsko-avicenovsku logiku, na temelju toga što se logika shvaćala kao inherentno normativna. To je usprkos kontroverzama o statusu logike u islamskoj teološkoj tradiciji. Normativni autoritet logike znači da ona utječe na sadržaj onoga u što bismo trebali vjerovati i na to kako bismo trebali revidirati ta uvjerenja. Ovaj rad nastoji pokazati da je, bez obzira na nekompatibilne razlike između dvaju sustava, temeljna značajka zapadne suvremene logike i (...) aristotelovsko-avicenovske logike njihova normativnost. Zatim se tvrdi da je inherentna normativnost logike u islamskoj teološkoj/filozofskoj tradiciji nemotivirana. Umjesto toga, kao održivu alternativu rad predlaže ponovno uspostavljanje logike kao anti-ekscepcionalističke unutar islamske teološke/filozofske tradicije. (shrink)

Gottlob Frege takes logic to be the science of truth throughout his career. However, the mature Frege makes remarks which seem to go against the idea that logic is the science of truth. This paper shows that we can explain away this tension in the mature Frege’s conception of logic if we accept that truth is an object, that is, the truth-vale True qua the reference of a sentence, for Frege. Even though the main thesis of this paper is a (...) conditional, I provide reasons why we ought to consider the possibility seriously that truth is an object for Frege. I also explain how we can make sense of Frege’s conception of logic as the science of truth while accepting truth is an object. (shrink)

We take performers of classical music as producers of creative performances. We sometimes criticize a performer’s performance by saying ‘That is not what the composer wants’. The literature takes this kind of criticism, which I call ‘intentionalist criticism’, to be in tension with performers’ creativity—taking the criticism to be an attempt to restrict performers’ creativity by historical authenticity. This paper aims to construct a possible understanding of intentionalist criticisms according to which those criticisms are grounded in our respect of performers (...) as artists. Under this understanding, the point of intentionalist criticisms is that performers, who are pursuing the aesthetic beauty of a work, can produce an aesthetically better result by being open-minded to the perspectives of the composer who is also a serious pursuer of the work’s beauty. (shrink)

We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we evaluate contemporary axiomatics from a linguistic perspective. Our reading is inspired by Hilbert and is meant to account for the assertive, directive, and declarative components of modern axiomatics. We will do this by describing the constitutive and regulative roles that axioms possess with respect to the linguistic practice of mathematics.

This article aims to analyse Wittgenstein’s 1929–1932 notes concerning Frege’s critique of what is referred to as old formalism in the philosophy of mathematics. Wittgenstein disagreed with Frege’s critique and, in his notes, outlined his own assessment of formalism. First of all, he approvingly foregrounded its mathematics-game comparison and insistence that rules precede the meanings of expressions. In this article, I recount Frege’s critique of formalism and address Wittgenstein’s assessment of it to show that his remarks are not so much (...) a critique of Frege as rather a defence of the formalist anti-metaphysical investment. (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)

In the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “p” is equivalent to a nonsentential phrase like “the truth-value of the thought that p.” In particular, (...) this paper attempts to establish two points concerning this argument based on the nominal reading. First, the argument implies a claim about the nature of assertion which Frege repeatedly denies in his mature works. Secondly, the nominal reading on which the argument depends is false. A sentence “p” is not equivalent to a nonsentential phrase like “the truth-value of the thought that p” for Frege. Our discussion will lead to an important lesson about Frege’s conception of sentences and of assertion. (shrink)

It is commonly thought that logic, whatever it may be, is normative. While accounting for the normativity of logic is a challenge for any view of logic, in this paper I argue that it is particularly problematic for certain types of logical pluralists, due to what I call the normative problem for logical pluralism. I introduce the NPLP, distinguish it from other problems that logical pluralists may face, and show that it is unsolvable for one prominent type of logical pluralism.

The paper challenges a widely held interpretation of Frege's conception of logic on which the constituent clauses of basic law V have the same sense. I argue against this interpretation by first carefully looking at the development of Frege's thoughts in Grundlagen with respect to the status of abstraction principles. In doing so, I put forth a new interpretation of Grundlagen §64 and Frege's idea of ‘recarving of content’. I then argue that there is strong evidence in Grundgesetze that Frege (...) did not hold the relevant sense-identity claim regarding basic law V. (shrink)

Neo-Fregean logicism seeks to base mathematics on abstraction principles. But the acceptable abstraction principles are surrounded by unacceptable ones. This is the "bad company problem." In this introduction I first provide a brief historical overview of the problem. Then I outline the main responses that are currently being debated. In the course of doing so I provide summaries of the contributions to this special issue.

Why does Frege claim that logical axioms are ‘self‐evident,’ to be recognized as true ‘independently of other truths,’ and then offer arguments for those axioms? I argue that he thinks the arguments provide us with the justification that we need for accepting the axioms and that this is compatible with his remarks about self‐evidence. This compatibility depends on philosophical considerations connected with the ‘critical method’: an interesting approach to the justification of axioms endorsed by leading philosophers at the time.