It is commonly accepted, after Frege, that identity statements like “Tully is Cicero” differ from statements like “Tully is Tully”. For the former, unlike the latter, are informative. One way to deal with the information problem is to postulate that the terms ‘Tully’ and ‘Cicero’ come equipped with different informative values. Another approach is to claim that statements like these are of the subject/predicate form. As such, they should be analyzed along the way we treat “Tully walks”. Since proper names (...) can appear in predicative position we could go as far as to dismiss the sign of identity altogether, some told us. I will try to discuss the advantages and/or disadvantages of this approach and investigate whether Frege’s view that the ‘is’ of identity must be distinguished from the ‘is’ of predication can be reconciled with the fact that names can appear in predicative position. (shrink)

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

This paper examines some aspects of Strawson’s conception of descriptive metaphysics, as it is developed in Individuals. Descriptive metaphysics sets out to describe ”the actual structure of our thought about the world”. Three specific problems for this project are discussed. First, isn’t the description of our actual thought about the world mainly an empirical task? Second, how determinate and consistent is the stuff we find, how determinate and consistent is our conceptual scheme? Third, who are “we” here? Answers to these (...) sets of questions are mainly negative in spirit. But all this will probably not mean that there will be no place for metaphysics, descriptive or revisionary, as a subject. The whole enterprise is perhaps more fraught with difficulties than Strawson thought, however. (shrink)

Neo-logicism is, not least in the light of Frege’s logicist programme, an important topic in the current philosophy of mathematics. In this essay, I critically discuss a number of issues that I consider to be relevant for both Frege’s logicism and neo-logicism. I begin with a brief introduction into Wright’s neo-Fregean project and mention the main objections that he faces. In Sect. 2, I discuss the Julius Caesar problem and its possible Fregean and neo-Fregean solution. In Sect. 3, I raise (...) what I take to be a central objection to the position of neo-logicism. In Sect. 4, I attempt to clarify how we should understand Frege’s stipulation that the two sides of an abstraction principle qua contextual definition of a term-forming operator shall be “gleichbedeutend”. In Sect. 5, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle: The number that belongs to the concept F is equal to the number that belongs to the concept G if and only if F and G are equinumerous. Section 6 is devoted to Frege’s two criteria of thought identity. In Sects. 7 and 8, I defend the position of the neo-logicist against an alleged “knock-down argument”. In Sect. 9, I comment on Frege’s description of abstraction in Grundlagen, §64 and the use of the terms “recarving” and “reconceptualization” in the relevant literature on Fregean abstraction and neo-logicism. I argue that Fregean abstraction has nothing to do with the recarving of a sentence content or its decomposition in different ways. I conclude with remarks on global logicism versus local logicisms. (shrink)

Social choice and welfare economics are subjects at the frontier of many disciplines. Even if economics played the major role in their development, sociology, psychology and, principally, political science, mathematics and philosophy have been central for the manifold inventiveness of the employed methods and for the diversity of the studied topics. This phenomenon can be compared with game theory, a subject which has, of course, many connections with social choice and welfare. This fact is reflected by the disciplinary origins of (...) the contributors to the subject and, as an anecdote, by the disciplinary origins of the board of editors of this journal. Philosophers are expected to contribute mainly to the study of social justice and related ethical questions. But there is a tradition among logicians for studying voting theory. A famous example is C. L. Dodgson (Lewis Carroll), even though the complete works of Dodgson on voting occupy only a few pages. A major recent example is Michael Dummett. Michael Dummett is famous among social choice theorists for his joint paper with Robin Farquharson published in Econometrica in 1961. Later he wrote two important books on voting (Dummett (1984, 1997); for an overview see Salles (2006)). But it must be outlined that Michael Dummett is also, and above all, one of the greatest contemporary philosophers whose work on the German logician Frege, on intuitionism, realism, anti-realism, justificationism has been central for the development of analytical philosophy in the second part of the last century and in this century (an example is the Symposium in a recent issue of Mind (see Peacocke (2005) and Dummett (2005)). Sir Michael Dummett is Wykeham Professor of Logic emeritus at Oxford University. His interview was conducted at New College, Oxford in September 2004. (shrink)

Some descriptivists reply to the modal argument by appealing to scope ambiguities. In this paper, we argue that those replies don’t work in the case of apparently empty names like ‘Sherlock Holmes’.

Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.

In Die Grundlagen der Arithmetik, Frege attempted to introduce cardinalnumbers as logical objects by means of a second-order abstraction principlewhich is now widely known as ``Hume's Principle'' (HP): The number of Fsis identical with the number of Gs if and only if F and G are equinumerous.The attempt miscarried, because in its role as a contextual definition HP fails tofix uniquely the reference of the cardinality operator ``the number of Fs''. Thisproblem of referential indeterminacy is usually called ``the Julius Caesar (...) problem''.In this paper, Frege's treatment of the problem in Grundlagen is critically assessed. In particular, I try to shed new light on it by paying special attention to the framework of his logicism in which it appears embedded. I argue, among other things, that the Caesar problem, which is supposed to stem from Frege's tentative inductive definition of the natural numbers, is only spurious, not genuine; that the genuine Caesar problem deriving from HP is a purely semantic one and that the prospects of removing it by explicitly defining cardinal numbers as objects which are not classes are presumably poor for Frege. I conclude by rejecting two closely connected theses concerning Caesar put forward by Richard Heck: (i) that Frege could not abandon Axiom V because he could not solve the Julius Caesar problem without it; (ii) that (by his own lights) his logicist programme in Grundgesetze der Arithmetik failed because he could not overcome that problem. (shrink)

Vernacularism is the view that logical forms are fundamentally assigned to natural language expressions, and are only derivatively assigned to anything else, e.g., propositions, mental representations, expressions of symbolic logic, etc. In this paper, we argue that Vernacularism is not as plausible as it first appears because of non-sentential speech. More specifically, there are argument-premises, meant by speakers of non-sentences, for which no natural language paraphrase is readily available in the language used by the speaker and the hearer. The speaker (...) can intend this proposition and the hearer can recover it (and its logical form). Since they cannot, by hypothesis, be doing this by using a sentence of their shared language, the proposition-meant has its logical form non-derivatively, which falsifies Vernacularism. We conclude the paper with a brief review of the debate on incomplete definite descriptions in which Vernacularism is assumed as a suppressed premise. (shrink)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

En el apartado Freges Versuch, incluido en Filosofía de la aritmética, Husserl abiertamente señala que en los Fundamentos de la aritmética de G. Frege no existe un análisis lógico adecuado del concepto de número en términos de equinumerosidad. Según Husserl, la caracterización de Frege del concepto de número cardinal, en estrecha conexión con la noción de correspondencia uno- a-uno, es errónea. El objetivo principal de este artículo es mostrar que esta interpretación de Husserl sobre la obra de Frege, específicamente en (...) este apartado, contiene una serie de errores y confusiones graves. Palabras clave: Husserl, Frege, psicologismo, Filosofía de la aritmética, equinumerosidad, fenomenología, correspondencia uno-a-uno. (shrink)

W latach 1893 i 1903 ukazały się dwa tomy najważniejszego dzieła Fregego Grundegezte der Arithmetik. Ten okres można nazwać „szczytem logicyzmu” Fregego. Chociaż temat prawdy w logiczno-filozoficznej twórczości Fregego był podejmowany wielokrotnie, to brakuje pozycji skupiającej się na badaniu poglądów w tym okresie. Dotyczy to w szczególności literatury polskiej. Moim zadaniem jest zebranie i uporządkowanie wszystkich wypowiedzi Fregego na temat prawdy w okresie wydawania wspomnianych tomów. Realizując to zadanie, badam użycie tego pojęcia w pierwszym tomie Grundegezte der Arithmetik oraz w (...) niepublikowanym tekście Logik. Podejmuję zagadnienie funkcjonowania tego terminu w szczególnych kontekstach: antynomii, geometrii i wyrażania ogólności. Na koniec zasygnalizuję kwestię sposobu rozumienia późniejszych wypowiedzi Fregego na temat prawdy. (shrink)

Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.

According to Frege, expressions shift their reference when they occur in indirect contexts: in “Anna believes that Plato is wise” the expression “Plato” no longer refers to Plato but to what is ordinarily its sense. Many philosophers, including Carnap, Davidson, Burge, Parsons, Kripke and Künne, believe that on Frege's view the iteration of indirect context creating operators gives rise to an infinite hierarchy of senses. While the former two take this to be problematic, the latter four welcome the hierarchy with (...) open arms. In this paper I argue that the hierarchy should be avoided and that it can be avoided. (shrink)

Frege's extension of his distinction between Sinn and Bedeutung to predicate terms is widely considered to be problematic. Interpreters generally assume that the notion of Bedeutung comprises the name/bearer relation as a prototype and that the extension is justified only in so far as the relation of predicate terms to their alleged referents is analogous to the relation of names to their bearers. However, interpreters have generally paid insufficient attention to Frege's own dealing with the issue. By examining the relevant (...) passages in Frege's writings, I show that the standard ways of talking about Frege's ascription of Bedeutung to predicates as optional, less evident than the ascription of Sinn, and in need of justification are not in accord with Frege's own conception of predicate reference. There is no textual evidence that the extension takes place for analogical reasons and, in particular, no evidence for the claim that the name/bearer relation is used as a prototype. Frege is visibly not concerned with the relation between predicate terms and their referents, but applies the notion of Bedeutung for reasons of principle. There is indeed the invocation of an analogy, but if we consider the argument in which it occurs it appears that it does not play the justificatory role interpreters attribute to it. In sum, Frege's ascription of Bedeutung to predicates does not imply any mysterious or dubious referentiality of predicate terms. (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)

Dummettian anti-realism–the refusal to endorse bivalence–is generally thought to be associated with idealism This paper argues that this is only true of the position developed by early Dummett. In a later manifestation Dummettian anti-realism is better thought of as providing the logic for anti-realisms of an error theoretic kind. Early on Dummett distinguished deep from shallow arguments for giving up bivalence: deep arguments followed a strong ‘sufficiency’ reading of Frege’s context principle, and made the sentence the primary vehicle of meaning. (...) Enriched by an account of truth in terms of verifiability, deep arguments implied a form of linguistic idealism. From within a perspective that had already made ontology relative to theory, it was natural for the difference between realism and idealism to hinge on the notion of truth for sentences. Having given up the distinction between deep and shallow arguments against bivalence, Dummett, post 1990, asserts that every rejection of bivalence leads to a form of anti-realism. In the intervening years, he has also come to cast doubt on the sufficiency reading of the context principle, particularly as developed by Crispin Wright. These doubts open the space for some more simple-minded criticisms of this strong version of the context principle, developed in the paper. Once the sufficiency reading of the context principle is given up, arguments for failing to assert bivalence come to hinge on beliefs about ‘genuine’ existence. These forms of anti-realism cannot be taken to imply idealism. Rather, in many cases they will be the expression of views of an error-theoretic kind, that are quite compatible with a thorough-going rejection of idealism. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition that Socrates exists can't exist unless Socrates does), Serious Actualism (the view that nothing can have a property at a world without existing at that world) and Contingency (the view that some objects, like Socrates, exist only contingently). I sketch a view of truth at a world which enables the Existentialist to resist Plantinga's argument without giving up either Serious Actualism (...) or Contingency. (shrink)

A sentence mentioning an object can be regarded as saying any one of several things about that object, without thereby being ambiguous. Some of the (logical) repercussions of this commonplace observation are recorded, and some critical discussion is provided of views which would appear to go against it.

David Sosa, Michael Nelson, and Jason Stanley have recently offered a series of interesting and provocative challenges to Kripke's modal arguments against Descriptivism. In this paper I explore these challenges and some of the issues to which they give rise. I argue that, in the end, all three challenges fail.

Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular terms may be (...) predicates, that it is highly implausible that there is an ‘is’ of identity in natural languages, and that modern formal logic is deficient in that it cannot recognize sentences, including singular existentials, in which singular terms are predicates, or inferences which depend upon the logical role rather than the logical category of expressions. (shrink)

In this paper I discuss Frege's distinction between objects and concepts and suggest a solution of Frege's paradox of the concept horse. The expression ''the concept horse'' is not eliminated and the concept is not identified with its extension, but the concept is identified with the sense of the corresponding predicate. This solution fits better into a fregean ontology and philosophy of language than alternative solutions and allows for a general answer to the question why Frege's system is infected with (...) Russell's paradox. Russell's paradox is caused by the reification of a concept. Certain problems of modern set theory seem to have a similar cause.Eine weithin sichtbare Warnungstafel muss aufgerichtet. (shrink)

In the Addenda to Naming and Necessity (1980), Kripke famously argues that it is false that there could have been unicorns, or more properly, that “no counterfactual situation is properly describable as one in which there would have been unicorns.” He adds that he holds similarly that ‘one cannot say of any possible person that he would have been Sherlock Holmes, had he existed.” He notes the “cryptic brevity” of these remarks and refers to a forthcoming work for elaborations—the work (...) being, of course, the John Locke Lectures (2013). Coming as it does at the end of Naming and Necessity, it is natural to read this discussion as drawing out consequences of Kripke’s non-descriptivist picture of proper names and names of natural kinds. In fact, so much is suggested there by Kripke himself. The question thus arises: can the contentious claims quoted from the Addenda be defended independently of Kripke’s rejection of descriptivism? I shall argue that, as appears from the John Locke Lectures, they can be. (shrink)

In 1893 and 1903, two volumes of the most important of Frege’s works Grundegezte der Arithmetik were published. This period can be called the peak of Frege’s logicism. Although the subject of truth in Frege’s logical and philosophical works has been repeatedly investigated, there is a lack of studies on his view in this period, especially in Polish literature. In this article, therefore, I carry out the following research task: to collect and order Frege’s statements about truth during the period (...) of publishing the two volumes of Grundegezte der Arithmetik. I refer to the texts published during Frege’s life, published posthumously and his correspondence. Particularly noteworthy are: Grundegezte der Arithmetik and the unpublished Logik. That is why there are two separate sections dedicated to these two texts, whereas the discussions of truth from other texts are grouped thematically: the problem of antinomy, geometry, expression of generality, and others. The subject of truth appears there in relation to logic, philosophy of language, philosophy of logic, philosophy of mathematics and ontology. (shrink)

Although at present analytic philosophy is practiced mainly in the English-speaking world, it is to a considerable part the invention of German speakers. Its emergence owes much to Russell, Moore, and American Pragmatism, but even more to Frege, Wittgenstein, and the logical positivists of the Vienna Circle. No one would think of analytic philosophy as a specifically Anglophone phenomenon, if the Nazis had not driven many of its pioneers out of central Europe.

The paper suggests a way of viewing the two Fregean principles of compositionality and contextuality as working together in the enterprise of interpretation. A third Fregean theme, that of elucidation (more precisely, the elucidation of primitive, undefinable terms of logic, mathematics and metamathematics) secures a place for some version of the context principle in Frege's later writings. When thinking about the functioning of elucidations, Frege acknowledges a principle of charitable interpretation. I argue that there is a deep connection between the (...) three themes, and that not only compositionality and contextuality, but also charity is a genuinely Fregean theme. -/- Context. Interpretation. Linguistics. Logic. Meaning. Word. (shrink)

In his logical foundation of arithmetic, Frege faced the problem that the semantic interpretation of his system does not determine the reference of the abstract terms completely. The contextual definition of number, for instance, does not decide whether the number 5 is identical to Julius Caesar. In a late writing, Quine claimed that the indeterminacy of reference established by Frege’s Caesar problem is a special case of the indeterminacy established by his proxy-function argument. The present paper aims to show that (...) Frege’s Caesar problem does not really support the conclusions that Quine draws from the proxy-function argument. On the contrary, it reveals that Quine’s argument is a non sequitur: it does not establish that there are alternative interpretations of our terms that are equally correct, but only that these terms are ambiguous. The latter kind of referential indeterminacy implies that almost all sentences of our overall theory of the world are either false or neither true nor false, because they contain definite descriptions whose uniqueness presupposition is not fulfilled. The proxy-function argument must therefore be regarded as a reductio ad absurdum of Quine’s behaviorist premise that the reference of terms is determined only by our linguistic behavior. (shrink)

The translation of both ‘bedeuten’ and ‘Bedeutung’ in Frege's works remains sufficiently problematic that some contemporary authors prefer to leave these words untranslated. Here a case is made for returning to Russell's initial choice of ‘to indicate’ and ‘indication’ as better alternatives than the more usual ‘meaning’, ‘reference’, or ‘denotation’. It is argued that this choice has the philosophical payoff that Frege's controversial doctrines concerning the semantic values of sentences and predicative expressions are rendered far more comprehensible by it, and (...) that this translational strategy fulfills the desiderata of offering a translation which is acceptable both before and after Frege introduced the distinction between sense and reference or, as this paper would have it, between the sense of an expression and what it indicates. (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)

The form of the sentence, as it is understood in contemporary semantics and linguistics, is functional. This paper interprets the metaphors in which Frege shows what the functional sentence means, arguing that Frege's sentence is neither an adequate translation of natural language nor of use in feminist theorizing.

Two important Fregean ideas appear to conflict. The first is that a thought can be decomposed in different ways, and the second is that a thought is constituted by the senses of its constituents. This paper is a defense of Dummett’s suggestion of a way to reconcile between those two theses through the claim that although the same thought can be structured in different ways by different sentences; one of the structures is privileged. My defense focuses on the charge raised (...) by Levine, XIX, 43–63, 2006) that Dummett’s claim about the privileged structure of a thought conflicts with the Slingshot argument. I show that this charge is misconceived; a careful examination of the Slingshot argument’s methodology reveals that Dummett’s claim does not conflict with it. (shrink)

A discussion of Frege's views concerning the meaning of 'I' and his distinction between the 'I' of soliloquy and the 'I' of conversation.

I defend the view that our ontology divides into categories, each with its own canonical way of identifying and distinguishing the objects it encompasses. For instance, I argue that natural numbers are identified and distinguished by their positions in the number sequence, and physical bodies, by facts having to do with spatiotemporal continuity. I also argue that objects belonging to different categories are ipso facto distinct. My arguments are based on an analysis of reference, which ascribes to reference a richer (...) structure than it is normally taken to have. (shrink)

That there are analytic truths may challenge a principle of the homogeneity of truth. Unlike standard conceptions, in which analyticity is couched in terms of "truth in virtue of meanings", Frege's notions of analytic and a priori concern justification, respecting a principle of the homogeneity of truth. Where there is no justification these notions do not apply, Frege insists. Basic truths and axioms may be analytic (or a priori), though unprovable, which means there is a form of justification which is (...) not (deductive) proof. This is also required for regarding singular factual propositions as a posteriori. A Fregean direction for explicating this wider notion of justification is suggested in terms of his notion of sense (Sinn)—modes in which what the axioms are about are given—and its general epistemological significance is sketched. (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)