Frege: two theses,two senses

One particular topic in the literature on Frege's conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege's thought. In (2) I discuss the main attempts to resolve the conflict between Frege's two contradictory claims, showing what is wrong with some of them. In (3), I analyse where, in Frege'ps writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses.     

From qualitative differences to a continuum of development: commentary on Leslie Smith's epistemological principles for developmental psychology

In his article Epistemological principles for developmental psychology Leslie Smith helps to re-open some of the key issues Piaget explored through his genetic epistemology. Smith shows the important parallels between logician Gottlieb Frege's understanding of rational thought, and the way in which Piaget developed such notions in his own theory. But while Frege's theory helps set the parameters for whether thought can be judged as rational, or if it even should be judged as rational, it also shows the logicians' disdain for exploring anything resembling development of rationality. Thus Frege might have an important, but necessarily mediated impact on the field of human development. Piaget's carefully crafted theory of epistemological development potentially serves as such a mediating device. It can be argued that Piaget crafted together arguments of logicians such as Frege, and epistemologists such as Lévy-Bruhl, to develop his extraordinary achievement of a genetic epistemology that leads to an understanding of the human condition. One of Piaget's accomplishments was to develop a continuum out of the logicians' dichotomy between non-logical and logical in which the non-rational flows into the rational.     

Grundlagen,Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context

I offer in this paper a contextual analysis of Frege's Grundlagen, section 64. It is surprising that with so much ink spilled on that section, the sources of Frege's discussion of definitions by abstraction have remained elusive. I hope to have filled this gap by providing textual evidence coming from, among other sources, Grassmann, Schlömilch, and the tradition of textbooks in geometry for secondary schools (including a textbook Frege had used when teaching in a Privatschule in Jena in 1882–1884). In addition, I put Frege's considerations in the context of a widespread debate in Germany on ‘directions’ as a central notion in the theory of parallels.     

Conceptual Analysis and Analytical Definitions in Frege

Logical (or conceptual) analysis is in Frege primarily not an analysis of a concept but of its sense. Five Fregean philosophical principles are presented as constituting a framework for a theory of logical or conceptual analysis, which I call analytical explication. These principles, scattered and sometime latent in his writings are operative in Frege's critique of other views and in his constructive development of his own view. The proposed conception of analytical explication is partially rooted in Frege's notion of analytical definition. It may also be the basis of what is required of a reduction of one domain to another, if it is to have the philosophical significance many reductions allegedly have.     

Gottlob Frege und Rudolf Eucken—Gesprächspartner in der Herausbildungsphase der modernen Logik

Frege and Eucken were colleagues in the faculty of philosophy at Jena University for more than 40 years. At times they had close scientific contacts. Eucken promoted Frege's career at the university. A comparison of Eucken's writings between 1878 and 1880 with Frege's writings shows Eucken to have had an important philosophical influence on Frege's philosophical development between 1879 and 1885. In particular the classification of the Begriffsschrift in the tradition of Leibniz is influenced by Eucken. Eucken also influenced Frege's choice of philosophical and logical terms. Finally, there are analogous positions concerning relations between concepts and their expressions in natural language, Frege was probably also influenced by Eucken's use of the term ‘tone’. Eucken used Frege's arguments in his own fight against psychologism and empiricism.     

Zur Miete bei Frege – Rudolf Hirzel und die Rezeption der stoischen Logik und Semantik in Jena

It has been noted before in the history of logic that some of Frege's logical and semantic views were anticipated in Stoicism. In particular, there seems to be a parallel between Frege's Gedanke (thought) and Stoic lekton; and the distinction between complete and incomplete lekta has an equivalent in Frege's logic. However, nobody has so far claimed that Frege was actually influenced by Stoic logic; and there has until now been no indication of such a causal connection. In this essay, we attempt, for the first time, to provide detailed evidence for the existence of this connection. In the course of our argumentation, further analogies between the positions of Frege and the Stoics will be revealed. The classical philologist Rudolf Hirzel will be brought into play as the one who links Frege with Stoicism. The renowned expert on Stoic philosophy was Frege's tenant and lived in the same house as the logician for many years.

In der Geschichte der Logik ist häufig bemerkt worden, dass einige der logischen und semantischen Auffassungen Freges in der Stoa antizipiert worden sind. Genannt wurden insbesondere die Parallelen zwischen dem Fregeschen Gedanken und dem stoischen Lekton sowie die Unterscheidung zwischen vollständigen und unvollständigen Lekta, die bei Frege ihre Entsprechung hat. Ein Wirkungszusammenhang ist allerdings nicht behauptet worden. Dazu gab es bislang auch keinen Anlass. Der vorliegende Beitrag versucht erstmalig, einen detaillierten Indizienbeweis für das Bestehen eines solchen Zusammenhangs vorzulegen. Dabei werden weitere charakteristische Übereinstimmungen zwischen Frege und der Stoa aufgewiesen. Als Mittelsmann wird der Altphilologe Rudolf Hirzel vorgestellt. Er wohnte lange Jahre als Mieter zusammen mit Frege im selben Haus und war ein anerkannter Experte der stoischen Philosophie.     

Frege on Indirect Proof

Frege's account of indirect proof has been thought to be problematic. This thought seems to rest on the supposition that some notion of logical consequence – which Frege did not have – is indispensable for a satisfactory account of indirect proof. It is not so. Frege's account is no less workable than the account predominant today. Indeed, Frege's account may be best understood as a restatement of the latter, although from a higher order point of view. I argue that this ascent is motivated by Frege's conception of logic.     

Spinoza: une lecture d'Aristote

Does (affirmative) judgement have a logical dual, negative judgement? Whether there is such a logical dualism was hotly debated at the beginning of the twentieth century. Frege argued in ‘Negation’ (1918/9) that logic can dispense with negative judgement. Frege's arguments shaped the views of later generations of analytic philosophers, but they will not have convinced such opponents as Brentano or Windelband. These philosophers believed in negative judgement for psychological, not logical, reasons. Reinach's ‘On the Theory of Negative Judgement’ (1911) spoke to the concerns of these philosophers. While Frege took the distinction between affirmative and negative judgement to be logically redundant, Reinach argued that it is the result of confusing judgement with a different mental act. In this article, I present Reinach's arguments against the ‘old logical dualism’ in context, analyse them and discuss Reinach's innovative use of the notion of focus in the theory of judgement. Recently, there has been a revival of the view that sentential negation is grounded in a prior mental act of rejection. In the final section, I argue that Reinach's analysis of rejection poses a challenge for the revivalists.     

I. Frege as a Realist

H. Sluga (Inquiry, Vol. 18 [1975], No. 4) has criticized me for representing Frege as a realist. He holds that, for Frege, abstract objects were not real: this rests on a mistranslation and a neglect of Frege's contextual principle. The latter has two aspects: as a thesis about sense, and as one about reference. It is only under the latter aspect that there is any tension between it and realism: Frege's later silence about the principle is due, not to his realism, but to his assimilating sentences to proper names. Contrary to what Sluga thinks, the conception of the Bedeutung of a name as its bearer is an indispensable ingredient of Frege's notion of Bedeutung, as also is the fact that it is in the stronger of two possible senses that Frege held that Sinn determines Bedeutung. The contextual principle is not to be understood as meaning that thoughts are not, in general, complex; Frege's idea that the sense of a sentence is compounded out of the senses of its component words is an essential component of his theory of sense. Frege's realism was not the most important ingredient in his philosophy: but the attempt to interpret him otherwise than as a realist leads only to misunderstanding and confusion.     

The Priority Principle from Kant to Frege

In a famous passage (A68/B93), Kant writes that “the understanding can make no other use of […] concepts than that of judging by means of them.” Kant's thought is often called the thesis of the priority of judgments over concepts. We find a similar sounding priority thesis in Frege: “it is one of the most important differences between my mode of interpretation and the Boolean mode […] that I do not proceed from concepts, but from judgments.” Many interpreters have thought that Frege's priority principle is close to (or at least derivable from) Kant's. I argue that it is not. Nevertheless, there was a gradual historical development that began with Kant's priority thesis and culminated in Frege's new logic.     

II. The origin of Frege's realism

An explanation of Frege's change from objective idealism to platonism is offered. Frege had originally thought that numbers are transparent to reason, but the character of his Axiom of Courses of Values undermined this view, and led him to think that numbers exist independently of reason. I then use these results to suggest a view of Frege's mathematical epistemology.     

Frege on Syntax,Ontology, and Truth's Pride of Place

Frege's strict alignment between his syntactic and ontological categories is not, as is commonly assumed, some kind of a philosophical thesis. There is no thesis that proper names refer only to objects, say, or that what refers to an object is a proper name. Rather, the alignment of categories is internal to Frege's conception of what syntax and ontology are. To understand this, we need to recognise the pride of place Frege assigns within his theorising to the notion of truth. For both language and the world, the Fregean categories are logical categories, categories, that is, of truth. The elaboration of this point makes clear the incoherence of supposing that they might not align.     

Epistemological principles for developmental psychology in Frege and Piaget

My main aim is to identify and discuss parallels between the epistemologies of Gottlob Frege and Jean Piaget. Although their work has attracted massive attention individually, parallels in their work have gone unnoticed. My discussion is in four parts and covers psychologism and epistemology; five epistemological criteria in Frege's rational epistemology under an AEIOU mnemonic, namely autonomy, entailment, intersubjectivity, objectivity and universality; the elaboration of these same criteria in Piaget's developmental epistemology; their implications for developmental psychology and epistemology. One main conclusion is that the same criteria fit both Frege's and Piaget's epistemology. A second conclusion is that Piaget's developmental epistemology can be regarded as an elaboration of Frege's rational epistemology in each of these five respects on both methodological and substantive grounds. Both conclusions are compatible with non-psychologism, which was accepted by both Frege and Piaget.     

HOW DID FREGE FALL INTO THE CONTRADICTION?

Quine made it conventional to portray the contradiction that destroyed Frege's logicism as some kind of act of God, a thunderbolt that descended from a clear blue sky. This portrayal suited the moral Quine was antecedently inclined to draw, that intuition is bankrupt, and that reliance on it must therefore be replaced by a pragmatic methodology. But the portrayal is grossly misleading, and Quine's moral simply false. In the person of others – Cantor, Dedekind, and Zermelo – intuition was working pretty well. It was in Frege that it suffered a local and temporary blindness. The question to ask, then, is not how Frege was overtaken by the contradiction, but how it is that he didn't see it coming. The paper offers one kind of answer to that question. Starting from the very close similarity between Frege's proof of infinity and the reasoning that leads to the contradiction, it asks: given his understanding of the first, why did Frege did not notice the second? The reason is traced, first, to a faulty generalization Frege made from the case of directions and parallel lines; and, through that, to Frege's having retained, and attempted incoherently to combine with his own, aspects of a pre‐Fregean understanding of the generality of logical principles.     

Frege's Elucidatory Holism

I argue against the two most influential readings of Frege's methodology in the philosophy of logic. Dummett's “semanticist” reading sees Frege as taking notions associated with semantical content—and in particular, the semantical notion of truth—as primitive and as intelligible independently of their connection to the activity of judgment, inference, and assertion. Against this, the “pragmaticist” reading proposed by Brandom and Ricketts sees Frege as beginning instead from the independent and intuitive grasp that we allegedly have on the latter activity and only then moving on to explain semantical notions in terms of the nature of such acts. Against both readings, I argue, first, that Frege gives clear indication that he takes semantical and pragmatical notions to be equally primitive, such that he would reject the idea that either sort of notion could function as the base for a non-circular explanation of the other. I argue, secondly, that Frege's own method for conveying the significance of these primitive notions—an activity that Frege calls “elucidation”—is, in fact, explicitly circular in nature. Because of this, I conclude that Frege should be read instead as conceiving of our grasp of the semantical and pragmatical dimensions of logic as far more of a holistic enterprise than either reading suggests.     

Kant,wittgenstein and the limits of logic

This paper has two purposes. (1) To justify the claim that there is an important distinction underlying the saying/showing distinction of the Tractatus; the distinction which Kant characterises as that between historical and rational knowledge. (2) To argue that it is because the Tractatus accepts Frege/Russell logic as a complete representation of all thought according to laws, that what is shown cannot be recognised as knowledge. This is done by interpolating Frege's logical innovations between the views of Kant and Wittgenstein on logic and mathematics.     

For Want of an ‘And’: A Puzzle about Non-Conservative Extension

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.     

Frege's ‘On the Concept of Number’ (1891) – an unnoticed publication

A short piece by Frege, heretofore overlooked, containing a précis of his views on the concept of number, is presented, after some very brief questions about Frege's possible involvement in the wider intellectual milieu.     

Frege on Truth,Assertoric Force and the Essence of Logic

In a posthumous text written in 1915, Frege makes some puzzling remarks about the essence of logic, arguing that the essence of logic is indicated, properly speaking, not by the word ‘true’, but by the assertoric force. William Taschek has recently shown that these remarks, which have received only little attention, are very important for understanding Frege's conception of logic. On Taschek's reconstruction, Frege characterizes logic in terms of assertoric force in order to stress the normative role that the logical laws play vis-à-vis judgement, assertion and inference. My aim in this paper is to develop and defend an alternative reconstruction according to which Frege stresses that logic is not only concerned with ‘how thoughts follow from other thoughts’, but also with the ‘step from thought to truth-value’. Frege considers logic as a branch of the theory of justification. To justify a conclusion by means of a logical inference, the ‘step from thought to truth-value’ must be taken, that is, the premises must be asserted as true. It is for this reason that, in the final analysis, the assertoric force indicates the essence of logic, for Frege.