This essay offers a detailed philosophical criticism of Frege’s popular thesis that identity is a relation of names. I consider Frege’s position as articulated both in ‘On Sense and Reference’, and in the Grundgesetze, where he appears to take an objectual view of identity, arguing that in both cases Frege is clearly committed to the proposition that identity is a relation holding between names, on the grounds that two different things can never be identical. A counterexample to Frege’s thesis is (...) considered, and a positive thesis is developed according to which, in contradistinction to the Fregean position, identity is a reflexive, symmetric, and transitive relation holding only between a thing and itself which can be expressed as a relation between names. (shrink)

One of the characteristic features of contemporary logic is that it incorporates the Frege‐Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence (...) was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier. (shrink)

The careful historical and metaphilosophical attention recently bestowed upon analytic philosophy has revealed that traditional ways of defining it are inadequate. In the face of this inadequacy, contemporary authors have proposed new definitions that detach analytic philosophy from its turn of the twentieth century origins. I argue that this contemporary trend in defining analytic philosophy is misguided, and that it diminishes the likelihood of our coming to an accurate historical and metaphilosophical understanding of it. This is especially unsatisfactory since such (...) understanding is essential to finding an adequate remedy for the widely perceived ills of contemporary analytic philosophy. I suggest that a more fruitful approach to developing such understanding might begin with treating the unity of analytic philosophy as illusory. (shrink)

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...) the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

The paper focuses on Gottlob Frege’s so called Context Principle (CP hereafter), which counts as one of the most controversial points of his philosophy. Due to its importance and centrality in Frege’s thought, a detailed discussion of the principle requires a detailed analysis of almost all aspects of his philosophy. Obviously, such a task cannot be successfully accomplished here. Thus I limit myself to address only two questions concerning the CP: what role does the principle play (in Grundlagen) and how (...) can we interpret it. Addressing the first problem is required in order to address the second. Most authors interpreted CP from the perspective of Frege’s later distinction between sense and reference, which I will call the ‘semantic interpretation’. Although I accept this perspective as valuable and important, I will initially inverse the action and I will try to approach CP, and generally Grundlagen, in a more natural way, contextually, namely setting them in the initial logicist plan of the Begriffschrift. Finally, I will try to provide an interpretation concerning the alleged conflict between CP and Frege’s compositionality thesis such that they could coherently stay together. (shrink)

In recent years, even some of its own practitioners have accused analytic philosophy of lacking historical awareness. My aim is to show that analytic philosophy and history are not such a mismatch after all. Against the objection that analytic philosophers have unduly ignored the past I argue that for the most part they only resist strong versions of historicism, and for good reasons. The history of philosophy is not the whole of philosophy, as extreme historicists maintain, nor is it indispensable (...) to substantive philosophizing, as mainline historicists have it, it is merely advantageous (pragmatic historicism). Against the objection that analytic histories of philosophy are inevitably anachronistic I argue that it is possible to approach past texts with a view to substantive issues and in a critical spirit (contrary to historicist relativism and to misguided interpretations of the principle of charity). Indeed, such an analytic approach makes not just for better philosophy but also for better history. (shrink)

This two-part paper reviews a scholarly debate on an alleged tension in Frege's philosophy of logic. In Section 1 of Part I, I discuss Frege's view that logic is concerned with establishing norms for correct thinking and is therefore a normative science. In Section 2, I explore a different understanding of the role of logic that Frege seems to advance: logic is constitutive of the very possibility of thought, because it sets forth necessary conditions for thought. Hence, the tension the (...) view according to which logic is normative for thought seems to be incompatible with the idea that abiding by the laws of logic forms a precondition for thought. In Section 1 of Part II, I survey a number of interpretations of Frege's conception of logic that deal with this question. I show that they are for the most part either normative readings (emphasising the former understanding of the nature of logic) or constitutive readings (emphasising the latter). Finally, in Section 2, I adjudicate the debate and aim at reconciling the normative and the constitutive strands in Frege's conception of logic. (shrink)

In part 4 of Meaning, Expression, and Thought, Davis rejects what he calls Fregean ideational theories, according to which the meaning of an expression is an idea; and then presents his own account, which states that, e.g., the meaning of ‘Primzahl’ in German is the property of meaning prime number. Before casting doubt on the latter ontology of meanings, I come to Frege’s defence by pointing out that he was not an advocate of the position Davis named after him because (...) Fregean senses are not lexical meanings and Fregean thoughts are not types of mental events. (shrink)

This paper discusses George Boole’s two distinct approaches to the explanatory relationship between logical and psychological theory. It is argued that, whereas in his first book he attributes a substantive role to psychology in the foundation of logical theory, in his second work he abandons that position in favour of a linguistically conceived foundation. The early Boole espoused a type of psychologism and later came to adopt a type of anti-psychologism. To appreciate this invites a far-reaching reassessment of his philosophy (...) of logic. (shrink)