Frege's essay "Der Gedanke.Eine logische Untersuchung" was first published in the Beitrage zur Philosophie des Deutschen Idealismus for 1918-1919 and is one of three related logical studies published as a complete work by Gunther Patzig entitled Logische Untersuchungen in Gottingen, 1966 .

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with (...) those of Russell and others are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

Frege's diatribes against psychologism have often been taken to imply that he thought that logic and thought have nothing to do with each other. I argue against this interpretation and attribute to Frege a view on which the two are tightly connected. The connection, however, derives not from logic's being founded on the empirical laws of thought but rather from thought's depending constitutively on the application to it of logic. I call this view 'psycho-logicism.'.

This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics (...) as classes, functions, meaning and denotation, etc., and summarizes the correspondence between Frege and Russell and the light it sheds on the philosophical logic of both. (shrink)

This paper is a discussion of Gabriel, Hülser and Schlotter’s 2009 article on a possible causal relation between Stoic logic and Frege. The paper provides detailed argument for why Rudolf Hirzel should not be taken as the qualified middleman in philosophical discussion with whom Frege learned what he ‘borrowed’ without acknowledgement from Stoic logic. Additionally, this paper offers some modest findings about some aspects of Frege's and Hirzel's lives and work habits, which may help us (...) understand a little better Frege's connection to Hirzel and to Stoic logic as well as Frege’s failure to acknowledge the Stoics. This paper is a purely historical offshoot of my essay ‘Frege plagiarized the Stoics’. Zero direct insights into either Frege’s or Stoic philosophy are offered. OPEN ACCESS. Choose 'without proxy' below. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between (...) propositional functions and universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In (...) this paper, we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (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)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify (...) into different categories, on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view (...) that, say, Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its (...) transcendental role. (shrink)

This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to (...) April 9) supports Hersh's claim regarding the link between political conservatism and the (historically and currently) dominant school of the philosophy of mathematics (to which Frege undeniably belongs). Third, I will examine Frege’s attempt at a more reader-friendly introduction to his philosophy of mathematics, The Foundations of Arithmetic. And finally, I will briefly analyze Frege’s Begriffsschrift to see how questions of race arise even at the heights of his logical abstraction. (shrink)

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means (...) of detailed evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

The paper presents a new approach to the history of analytic philosophy. Instead of exploring different kinds of analysis (Michael Beaney), or to marry analytic philosophy to the analytic / synthetic distinction (Scott Soames), we turn attention to the fact that it was rooted in two different types of logical constructing. The discrepancy between the two concepts of logical constructing produced much unclarity in our understanding of analytic philosophy.

The received view has it that analytic philosophy emerged as a rebellion against the German Idealists (above all Hegel) and their British epigones (the British neo-Hegelians). This at least was Russell’s story: the German Idealism failed to achieve solid results in philosophy. Of course, Frege too sought after solid results. He, however, had a different story to tell. Frege never spoke against Hegel, or Fichte. Similarly to the German Idealists, his sworn enemy was the empiricism (in his case, (...) John Stuart Mill). Genealogically, this stance is not difficult to explain. Frege grew up as a philosopher in the context of the German Idealists. He was a member of Karl Snell’s “Sunday Circle” of university teachers in Jena. The group was influenced with Schelling and the German romanticists. The first Anglophone scholar to point out what Frege's thought owes to nineteenth-century Germany philosophy, Hans Sluga, argued that Frege followed the philosophical-logical tradition originating with Leibniz and Kant which Trendelenburg and Lotze developed significantly. About the same time, a philosophical historian writing in German, Gottfried Gabriel, did much to bring this tradition to light, casting Frege as neo-Kantian. Advancing beyond Sluga and Gabriel, the present paper reveals that through the mediation of Trendelenburg and especially of Lotze many elements of German idealism found their way into Frege's logic and philosophy. (shrink)

In this essay I consider Kaplan’s challenge to Frege’s so-called dictum: “Logic (and perhaps even truth) is immune to epithetical color”. I show that if it is to challenge anything, it rather challenges the view (attributable to Frege) that logic is immune to pejorative colour. This granted, I show that Kaplan’s inference-based challenge can be set even assuming that the pejorative doesn’t make any non-trivial truth-conditional (descriptive) contribution. This goes against the general tendency to consider the (...) truth-conditionally inert logically irrelevant. But I take it that Kaplan is right and take his examples to show that truth-conditional inertness need not entail inferential inertness. I end up assessing the Kaplan-Frege “debate” as giving edge to the former to the extent that clarity is achieved through Kaplanian inferences on what should be considered part of the explanandum. (shrink)

I draw attention to two questions which arise from: Frege’s underlining in a letter to Russell, some of his remarks in ‘Meine grundlegenden logischen Einsichten’/‘My basic logical insights’, and a plausible thesis regarding indirect Bedeutungen. Addressing these questions is necessary for a proper understanding of Frege’s account of „dass“-sentences/“that”-clauses.

European Journal of Philosophy, Volume 29, Issue 4, Page 988-1009, December 2021.

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including (...) identity. In particular, we show that the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

Frege supposedly believes that vague predicates have no referent (Bedeutung). But given other things he evidently believes, such a position would seem to commit him to a suspect nihilism according to which assertoric sentences containing vague predicates are neither true nor false. I argue that we have good reason to resist ascribing to Frege the view that vague predicates have no Bedeutung and thus good reason to resist seeing him as committed to the suspect nihilism. In the process, (...) I call attention to several under-appreciated texts in which Frege suggests that a vague predicate, though lacking a Bedeutung of its own, can come to acquire a Bedeutung in certain contexts. The upshot of this suggestion is that vague predicates can serve the purposes of ordinary communication quite well, even if they are useless for logical purposes. (shrink)

Gottlob Frege maintained that two name-containing identity sentences, represented schematically as a=a and a=b,can both be true in virtue of the same object’s self-identity but nonetheless, puzzlingly, differ in their epistemic profiles. Frege eventually resolved his puzzlement by locating the source of the purported epistemic difference between the identity sentences in a difference in the Sinne, or senses, expressed by the names that the sentences contain. -/- Thus, Frege portrayed himself as describing a puzzle that can be (...) posed prior to and independently of any particular theoretical position regarding names, and then resolving that puzzle with his theory of Sinn and Bedeutung. In this paper, I suggest that Frege’s presentation is problematic. If attempt is made to characterize the epistemic status of true identity sentences without appeal to Frege’s theoretical commitments, then what initially seemed puzzling largely dissolves. It turns out that, in order to generate puzzlement, Frege must invoke the theoretical account that he uses the puzzle to establish the purported necessity of. (shrink)

I argue that Frege's so-called "concept 'horse' problem" is not one problem but many. When these different sub-problems are distinguished, some emerge as more tractable than others. I argue that, contrary to a widespread scholarly assumption originating with Peter Geach, there is scant evidence that Frege engaged with the general problem of the inexpressibility of logical category distinctions in writings available to Wittgenstein. In consequence, Geach is mistaken in his claim that in the Tractatus Wittgenstein simply accepts from (...) Frege certain lessons about the inexpressibility of logical category distinctions and the say-show distinction. In truth, Wittgenstein drew his own morals about these matters, quite possibly as the result of reflecting on how the general problem of the inexpressibility of logical category distinctions arises in Frege's writings , but also, quite possibly, by discerning certain glimmerings of these doctrines in the writings of Russell. (shrink)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) (...) and (CT). These ontological issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as (...) the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete. (shrink)

In this paper I want to show that two proposals to determine Frege’s notion of a mark (Merkmal) of concepts that are made in the relevant literature face some serious interpretative and systematic problems. The main problem of both conceptions is that they cannot be properly applied to those explicit examples of complex concepts that are given in Frege’s works. The first of these conceptions interprets marks as analytic components of a concept, the second as defining parts of (...) a concept. I will show that only the second conception can be modified in a meaningful way such that we get a conception of marks as result that fits with Frege’s general characterizations and examples. (shrink)

I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something (...) class='Hi'>Frege seems to neglect. To come to a better understanding of Frege’s response, I proceed to investigate his conception of the nature of the logical categories, and how it differs from Russell’s. I argue that, for Frege, our grasp of the logical categories cannot be severed from our grasp of the Begriffsschrift notation itself. Russell, on the other hand, attaches no such importance to notation. From Frege’s point of view, Russell has not succeeded in presenting an alternative conception of the logical hierarchy, since such a conception must go in tandem with the development of a notation. Moreover, Frege has good reasons to think that Russell’s proposal does not admit of a suitable notation. (shrink)

Frege's mature writings apparently contain two different criteria of sense identity. While in "Über Sinn und Bedeutung" (1892) and in "Kurze Übersicht meiner logischen Lehren" (1906?) he seems to advocate a psychological criterion, his letter to Husserl of December 12, 1906 offers a thoroughly logical criterion of sense identity. It is argued that the latter proposal is not a "momentary aberration", but rather Frege's official criterion; his psychological criteria only serve as a way of illustrating questions of sense (...) identity by appealing to the thoughts of completely rational thinkers. (shrink)

In what follows, the difference between Frege’s and Schröder’s understanding of logical connectives will be investigated. It will be argued that Frege thought of logical connectives as concepts, whereas Schröder thought of them as operations. For Frege, logical connectives can themselves be connected. There is no substantial difference between the connectives and the concepts they connect. Frege’s distinction between concepts and objects is central to this conception, because it allows a method of concept formation which enables (...) us to form concepts from the logical connectives alone. Schröder in contrast unifies the distinction between concepts and objects, but keeps the distinction between logical connectives and what they connect. It will be argued that Frege’s particular way of perceiving logical connectives is crucial for his foundational project. (shrink)

This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the (...) question of the independent existence of abstract objects, Frege and Carnap held remarkably similar views. I close with a discussion of why, despite all this, Frege would not accept the principle of tolerance. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. (...) Given this enrichment, we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

According to the Bad Company objection, the fact that Frege’s infamous Basic Law V instantiates the general definitional pattern of higher-order abstraction principles is a good reason to doubt the soundness of this sort of definitions. In this paper I argue against this objection by showing that the definitional pattern of abstraction principles – as extrapolated from §64 of Frege’s Grundlagen– includes an additional requirement (which I call the specificity condition) that is not satisfied by the Basic Law (...) V while is satisfied by other higher-order abstractions such as Hume’s Principle. I also show that the failure of this additional requirement in the case of Basic Law V is engendered by an essential feature of Frege’s conception of logic and thus that Frege himself should not have regarded the Basic Law V as a definition by abstraction. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature (...) between objects and functions. Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well (...) as mathematical. In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

The idea that thoughts are structured is essential to Frege's understanding of thoughts. A basic tenet of his thinking was that the structure of a sentence can serve as a model for the structure of a thought. Recent commentators have, however, identified tensions between that principle and certain other doctrines Frege held about thoughts. This paper suggests that the tensions identified by Dummett and Bell are not really tensions at all. In establishing the case against Dummett and Bell (...) the paper argues (a) that Frege was committed, in virtue of his doctrine of decomposition, to the thesis that a single sentence can express a range of thoughts, and (b) that Frege was committed, in virtue of his views about truth, to the thesis that a single thought can be expressed by structurally different sentences. But neither of these theses comes into conflict with the basic principle. (shrink)

Husserl and Frege on the analysis of the concept of number and primitive logical concepts.

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for (...) value-ranges. It is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general (...) propositions. We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show (...) that it isn’t. In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of (...) arithmetical induction. This proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide (...) models to show that some of these logics are non-degenerate. (shrink)

I investigate the role of geometric intuition in Frege’s early mathematical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project. I critically evaluate the interpretations of Mark Wilson, Jamie Tappenden, and Michael Dummett. The final analysis that I provide clarifies the relationship of Frege’s restricted logicist project to dominant trends in German mathematical research, in particular to Weierstrassian arithmetization and to the Riemannian conceptual/geometrical tradition (...) at Göttingen. Concurring with Tappenden, I hold that Frege’s logicism should not be understood as a continuing a project of reductionist arithmetization. However, Frege does not quite take up the Riemannian banner either. His logicism supports a hierarchical understanding of the structure of mathematical knowledge, according to which arithmetic is applicable to geometry but not vice versa because the former is more general, as revealed by the strictly logical nature of its objects in comparison to the intuitional nature of geometric objects. I suggest, in particular, that Frege intended that foundational work would show the use of geometric intuition in complex analysis, a source of error for Riemann that Weierstrass was proud to have uncovered, to be inessential. (shrink)

Husserl and Frege reject logical psychologism, the view that logical laws are psychological 'laws of thought'. This paper offers an account of these famous objections and argues that their crucial premise, the necessity of logical laws, is justified with reference to a problematic metaphysics. However, this premise can be established in a more plausible way, namely via a transcendental argument which starts from the practice of rational criticism. This argument is developed through a discussion of Quine's holism, which at (...) first appears to make the idea of the necessity of logical laws even less plausible, but eventually turns out to speak in favor of this view. (shrink)

Aristotle counts as the founder of formal logic. The logic he develops dominated until Frege and others introduced a new logic. This new logic is taken to be more powerful and better capable of capturing inference patterns. The new logic differs from Aristotelian logic in significant respects. It has been argued by Fred Sommers and Hanoch Ben-Yami that the new logic is not well equipped as a logic of natural language, and (...) that a logic closer to Aristotle's is better suited for this task. Each of them developed their own formalism - Sommers in form of term logic, Ben-Yami in form of his Quantified Argument Calculus (QUARC). I discuss Aristotle's logic - a term logic - and attempt a comparison between Aristotelian logic and (i) the new logic, (ii) Sommers' term logic, and (iii) Ben-Yami's QUARC. I consider differences between the systems, and show how they are related to and diverge from the new logic. (shrink)

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his (...) rejection of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

In this paper, I will discuss a well-known oscillation in Frege’s conception of sense. My point is only partially concerned with his two different criteria of sense identity, and touches upon a more specific point: what happens if we apply Frege’s intuitive criterion for the difference of thoughts to logically equivalent sentences? I will try to make a schematic argument here that will preempt any endeavor to make Frege more coherent than he really is. In sections A (...) and B, I will present two alternative Fregean ways to treat the sense of logically equivalent sentences. Frege really oscillated between two alternative conceptions of sense, and his inability to detect the contrast between the two alternative conceptions is partly due to his strong conception of rationality. To apply the criterion of difference of thoughts to logical matters, we may also use a weak notion of rationality, or at least a notion of rationality of human agents, with limited computational resources. The distinctions towards which Frege was striving are better understood nowadays from the point of view of the treatment of limited rationality, which imposes itself even in logical matters. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud (...) if possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible (...) world, (3) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient (...) logic texts. A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)