Criticizing psychologism about logic in the Foreword of Grundgesetze, Frege examines an answer to the question of how we can justify our acknowledgment of logical axioms as true—the logical laws that cannot be proved from other laws. The answer he entertains states that we cannot reject logical axioms if we do not want to give up our judgment altogether. Suspending his judgment about this answer, Frege points out that it is still compatible with his anti-psychologist conception of logic. There are (...) two issues with this paragraph. First, it is difficult to read this paragraph consistently. Second, it is not clear why Frege brings up this particular view regarding the justification for logical axioms in the middle of his criticism of psychologism. This paper develops a consistent interpretation of this paragraph. The view on the justification for logical axioms, which Frege is dealing with, is neo-Kantian. In the paragraph, Frege is criticizing a psychologistic misunderstanding of the neo-Kantian justification for logical axioms. The way Frege explains away this misunderstanding shows that he takes the neo-Kantian justification for logical axioms to be a non-evidential epistemic warrant if it is an epistemic warrant. It is this notion of non-evidential epistemic warrant that Frege suspends his judgment about. Thus, the paragraph shows that Frege has a reason to have reservations about neo-Kantianism. Furthermore, it turns out that the sole issue between Frege and psychological logicians is whether truth is objective, which provides a different way to explain away a much-discussed tension between Begriffsschrift and Frege's anti-psychologism. (shrink)

This paper sheds light on an epistemological dimension of Frege’s “On Sense and Reference.” Under my suggested reading of it, one of its aims is to suggest a picture about propositional knowledge and its production. According to this picture, judgment, which produces propositional knowledge, is identification of the truth-value True with the reference of a given sentence. The propositional knowledge that p, produced by the judgment that p, consists in the knowledge of the identity between the True and the reference (...) of “p.” Judgment as such is a primitive kind of identification. It produces non-propositional knowledge of the identity of the True to which propositional knowledge is reduced. (shrink)

This essay assesses the account of truth presented in Wiggins's 2002 paper ‘An indefinibilist cum normative view of truth and the marks of truth'. I agree with Wiggins that we should seek, not to define truth, but to elucidate it by unfolding its connections with other basic notions. However, I give reasons for preferring an elucidation based on Ramsey's account of truth to Wiggins's Tarski-inspired approach. I also cast doubt on Wiggins's thesis that convergence is a mark of truth, arguing (...) instead that a claim which is up for assessment as true or false must be one to which different speakers/hearers can attach, and know that they are attaching, the same sense. I use this principle to rule out an account of indicative conditionals, and bring some considerations to bear on the question of whether those conditionals have truth values. An appendix revisits a debate about the determinateness of distinctness. (shrink)

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

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

The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially (...) the principle of duality; and the use of counterexamples in independence arguments. Based on a discussion of these issues and how nineteenth century geometers reflected about them, I will then look into Frege’s take on these matters. I conclude with a discussion of Frege’s views and what they entail for the debate about his stance towards semantics and metatheory more generally. (shrink)

Many normative nonnaturalists find normative naturalism to be completely implausible. Naturalists and nonnaturalists agree, provided they are realists, that there are normative properties, such as moral ones. Naturalists hold that these properties are similar in all metaphysically important respects to properties that all would agree to be natural ones, such as such as meteorological or economic ones. It is this view that the nonnaturalists I have in mind find to be hopeless. They hold that normative properties are just too different (...) from natural properties for it to be possible they are natural properties. I aim to defuse this intuition. “Non-analytic naturalism” has made progress in defusing the intution. According to non-analytic naturalists, normative properties can be represented in thought in two ways, by an ordinary normative concept and by a naturalistic concept, where, the non-analytic naturalist concedes, normative concepts are not, and are not analyzable in terms of, naturalistic concepts. Non-analytic naturalism seems to avoid many of the standard objections to naturalism, but the Just Too Different intuition is resilient in the face of non-analytic naturalism, for even if one thinks that normative concepts are not analyzable at all, one might think that clarity about the concepts can show that naturalism is hopeless. I therefore think it is important for naturalists to address the intuition directly. In this paper, I argue that the intuition plausibly rests on certain characteristic pre-theoretical ways of thinking of the normative properties that we acquire in the ordinary course of moral learning, together with a drive to vindicate these ways of thinking, something of which people may be unaware. This drive to vindicate our ways of thinking is pervasive, and it is characteristic of rational agents. It explains our tendency to think well of those we love, for example, and to think ill of those with whom we are angry. It also explains a strong inclination to form beliefs that, if true, would seemingly vindicate our ways of thinking of normative properties. A result of this, I contend, is the intuition that normative naturalism cannot be true. Yet, as I further argue, the vindication process does not track the truth and the drive to vindicate our states of mind cannot be relied on as a guide to the metaphysics of normativity. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

Frege's philosophical writings, including the “logistic project,” acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (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 or constitutive readings. 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 the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

Before the law sits a gatekeeper. To this gatekeeper comes a man from the country who asks to gain entry into the law. But the gatekeeper says that he cannot grant him entry at the moment. The man thinks about it and then asks if he will be allowed to come in sometime later on. “It is possible,” says the gatekeeper, “but not now.”—Franz Kafka..

Abstract: In this paper, I examine the current case against the second-order property view of existence through a discussion of Colin McGinn's up to date statement of this case. I conclude that the second-order property view of existence remains viable.

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

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

In this paper, I discuss some of Maximilian de Gaynesford’s arguments regarding indexicals. Although I agree with his treatment of the first singular personal pronoun as a prototype of demonstrative expressions, I challenge his refusal to treat indexicals as complex demonstratives. To offer an alternative to this refusal I try to develop a common ground from different theories that consider indexicals as linguistic constructions that embed a nonlinguistic element, following an original idea in Frege’s latest writings. These views form the (...) backdrop on which we can put forward the claim of treating all indexicals as complex demonstratives. In the central part of the paper, I criticize each of de Gaynesford’s arguments against the reduction of indexicals to complex demonstratives. Besides, I propose a new definition of the concept of “demonstration” as a nonlinguistic feature of all indexicals in their referential uses, to contrast de Gaynesford’s rejection of the idea that demonstrations are an essential feature of indexicals. Eventually, I strengthen my claim by distinguishing indexicals from proper names and definite descriptions on the ground that only perceptual indexicals necessarily require an accompanying demonstration. However, the main point of the paper is a negative one, that is the rejection of de Gaynesford’s arguments against the reduction of indexicals to complex demonstratives. More work is needed to reach a positive conclusion on this topic. (shrink)

Midwest Studies In Philosophy, Volume 44, Issue 1, Page 92-116, December 2019.

Logic is widely held to be a normative discipline. Various claims have been offered in support of this view, but they all revolve around the idea that logic is concerned with how one ought to reason. I argue that most of these claims—while perhaps correct—only entail that logic is normative in a way that many, if not all, intellectual disciplines are normative. I also identify some claims whose correctness would make logic normative in a way that sets it apart from (...) other disciplines. I argue that we have no reason think that these claims are correct. In other words, logic is not a distinctively normative discipline. (shrink)

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 . 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. (shrink)

This paper presents a new interpretation of Frege's context principle on which it applies primarily to singular terms for abstract objects but not necessarily to singular terms for ordinary objects.

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (shrink)

In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, (...) and making an estimate of future prospects. The symptom was the contradiction that had crept into naïve set theory in the form of the set that provably is and is not its own member. The diagnosis was that it is caused by Basic Law V of the Grundgesetze (Frege, In: Grundgesetze der Arithmetik: Begrifsschriftlich abgeleitet, Jena: Herman Pohle, 1893/1903. Translated into English as Basic Laws of Arithmetic, also edited by Philip A. Ebert and Marcus Rossberg, with Crispin Wright, Oxford: Oxford University Press, 2013). Triage answers the question, “How bad is it?” The answer was that the contradiction irreparably destroys the logicist project. The treatment option was nil. The disease was untreatable. In due course, the prognosis turned out to be that a scaled-down Fregean logic could have an honourable life as a theory inference for various domains of mathematical discourse, but not for domains containing the logical objects required for logicism. Since there aren’t such objects, there aren’t such domains. On the face of it, Frege’s logicist collapse is astonishing. Why wouldn’t he have repaired the fault in Law V and gone back to the business of bringing logicism to an assured realization? In the course of our reflections, we will have nice occasion to consider the good it might have done Frege to have booked some time with Aristotle had he been able to. By the time we’re finished, we’ll have cause to think that in the end the Russell might well have begged the question against Frege. (shrink)

In recent years, several scholars have been investigating Frege’s mathematical background, especially in geometry, in order to put his general views on mathematics and logic into proper perspective. In this article I want to continue this line of research and study Frege’s views on geometry in their own right by focussing on his views on a field which occupied center stage in nineteenth century geometry, namely, projective geometry.

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

In British and American anthropological literature, the ethnology of Central and Eastern European countries has shared in the plight of descriptions of this part of the world: it was seen as exotic, foreign, remote, a backwater, focused on sideline problems and situated on the periphery of this field of science. This state of affairs has been the case since at least the beginning of the Cold War as the descriptions of the national characters of Eastern Bloc communities, drafted by American (...) scholars. The ethnography of these countries was automatically aligned with the same categories of description which were applied to the characteristics of these communities. This was, in part, an effect of entirely different research traditions in the subject matter, objectives and methods of these remote parts of the science. The differences of ’cultural wholes’ did have a decisive impact on the image of ethnology. Like all these communities, Polish ethnology was perceived as a homogeneous whole, which it never was. (shrink)

We identify two senses of ‘pragmatics’ and related terms that give rise to two different methods of propositional individuation. The first one is the contextualist approach that essentially acknowledges contextual information to take part in the determination of what is said by the utterance of a sentence. In this sense, Pragmatics relies on the Principle of Compositionality and interprets propositions as structured entities. It epitomises the Building-block Model of Propositional Individuation. The general approach that makes what the agents do the (...) grounding level of philosophical and linguistic analysis characterizes the second sense, Pragmatism. It finds its clearest expression in Peirce’s Pragmatist Maxim, and it relies on the Fregean Principle of Context, and supports a view of propositions as unstructured entities. This is the Organic Model of Propositional Individuation. There is a test, the Analytic Equivalence Test, that tells apart the two models. According to it, the answer to the question whether a theory makes room for different but analytically equivalent propositions determines the model the theory belongs in. A positive answer classifies the theory as belonging to the building-block model; a negative answer allocates the theory within the organic model. (shrink)

Consider the Unshareability View, namely, the view that first person thought or self-thought—thought as typically expressed via the first person pronoun—is not shareable from subject to subject. In this article, I show that a significant number of Fregean and non-Fregean commentators of Frege have taken the Unshareability View to be the default Fregean position, rehearse Frege’s chief claims about self-thought and suggest that their combination entails the Unshareability View only on the assumption that there is a one-to-one correspondence between way (...) of thinking and thought-individuating cognitive value, outline an account of self-thought that rejects the assumption and keeps intact all of Frege’s chief claims, and respond to a number of worries to the effect that this proposal yields undesirable results from the point of view of the individuation of self-thought at the level of cognitive value. (shrink)

This article is about the understanding of the definition of the number concept and its content in the context of arithmeticisation of analysis and discussions on the basis of mathematics in the nineteenth century. The issue will be addressed historically first and then the proposals for solutions by mathematicians such as Dedekind, Cantor, Peano, as well as by Frege, a logician, will be examined. The discussions on the foundations of arithmetic in the 1870s gained intensity. For mathematics to be a (...) consistent and reliable science free from contradictions, the concept of number, the cornerstone of arithmetic, had to be precisely defined. In this article, the answer to the question of what the concept of number is and what its meaning is will be discussed. (shrink)

According to an “orthodox” reading proposed by Dummett and more recently endorsed by Lugg and Price, the later Wittgenstein rejects the idea of grouping together certain utterances as a single class of assertions. We offer an alternative commentary on the Philosophical Investigations §§21–24, developing what we call a Wittgensteinian role‐based account of assertion. We then examine whether this role‐based account can solve the problem of on‐stage utterances. In the course of this, the merits of the account are shown and compared (...) to an alternative proposal offered by Searle. (shrink)

Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated purely extensionally. I argue that if we interpret them as ranging over properties more reasonably construed, in accordance with an abundant (...) or deflationary conception, Quine’s charge can be resisted. This interpretation need not be seen as precluding the use of model-theoretic semantics for second-order languages; but it will preclude the use of the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the approach I recommend has revisionary implications which some may find unpalatable; it is, however, compatible with the quite different special case in which the second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, some important metalogical results obtainable under the standard semantics may still be obtained. In my final section, I discuss the relations between second-order logic, interpreted as I recommend, and a strong version of schematic ancestral logic promoted in recent work by Richard Heck. I argue that while there is an interpretation on which Heck’s logic can be contrasted with second-order logic as standardly interpreted, when it is so interpreted, its differences from the more modest form of second-order logic I advocate are much less substantial, and may be largely presentational. (shrink)

RÉSUMÉ: L'objectif de cet article est essentiellement négatif. Suivant en cela Dummett, j'introduis deux manières attrayantes d'interpréter le Sinn original de Frege, que j'appelle respectivement la doctrine du sens privé et la doctrine du sens public. Je montre que ces conceptions ne peuvent être utilisées dans le traitement frégéen de l'oratio obliqua. Il faut donc abandonner soit l'interprétation du Sinn par Dummett, soit le traitement frégéen de l'oratio obliqua.

Michael Beaney ha sugerido recientemente que la distinción fregeana entre sentido y referencia fue propuesta para resolver la famosa paradoja del análisis. Casi diez años antes, Michael Dummett ya insistia en que Frege fue uno de los prirneros en buscar una soluci6n satisfactoria de esta paradoja. En esre articulo, discuto algunas sugerencias de Beaney y Dummett de cómo resolver la paradoja al estilo fregeano y tarnbién sus propias contribuciones no fregeanas al debate en torno de la corrección y de la (...) informatividad del análisis. Mi intención en esta discusión es mostrar que ninguna de ellas funciona. Concluyo con una propuesta de inspiración witttgensteiniana --el enfoque de los conceptos abiertos- para apoyar la idea de que la apelación a contertidos abiertos es la rnejor rnanera de disolver la paradoja.Michael Beaney has recently suggested that the Fregean distinction between sense and reference was proposed to solve the famous paradox of analysis. Not as recently, Michael Dummett has insisted that Frege was one of the first to look for a satisfactory solution to this paradox. In this paper, I discuss Beanry’s and Dummett’s various suggestions for solving the paradox in a Fregean style as well as their own non Fregean contributions to the debate around analysis’s correction and informativeness. My intention in this discussion is to show that none of them works. I conclude with a proposal inspired by Wittgenstein’s later work -the open concepts’ proposal- designed to support the idea that the appeal to open contents is the best way to dissolve the paradox. (shrink)

It is widely recognized that Frege's systematic conception of science has a major impact on his work. I argue that central to this conception and its impact is Frege's Simplicity Requirement that a scientific system must have as few primitive truths as possible. Frege states this requirement often, justifies it in several ways, and appeals to it to motivate important aspects of his broader views. Acknowledging its central role illuminates several aspects of his work in new ways, including his treatment (...) of truth values, logical concepts, and the dependence relations that induce a ‘natural order’ of truths. (shrink)

In his Naming and Necessity, Saul Kripke puts forth a series of arguments against theories of proper names he calls Frege-Russell theories. As the title reveals, Kripke takes Gottlob Frege's theory of sense and Bedeutung to be a good representative of these theories. In this essay, I characterize how Frege might have answered Kripke. I agree with Kripke that presumably Frege thought that the sense of a proper name is the same as some definite description. I, however, question his assumption (...) that Frege's theory of proper names was a theory of meaning as he uses the term. I go even further and suggest that it is not so obvious that Frege thought, at least always, that the role of the concept of sense in his theory is a semantic concept at all. This constitutes the heart of my reconstruction of Frege's answer. I argue that this, together with Frege's conception of natural languages, would have allowed him to hold that the sense of a proper name may sometimes be the same as the sense of an indefinite or even a wrong description. This makes Frege's theory immune to Kripke's counter-arguments. (shrink)

Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard isomorphism (...) makes the associativity of deduction composition invisible. We will show that this is not necessarily the case. (shrink)

Volume 41, Issue 2, May 2020, Page 199-202.

In this article ideas from Kit Fine’s theory of arbitrary objects are applied to questions regarding mathematical structuralism. I discuss how sui generis mathematical structures can be viewed as generic systems of mathematical objects, where mathematical objects are conceived of as arbitrary objects in Fine’s sense.

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)

I argue that a certain initially appealing Fregean conception of our shared semantic competence in our shared language cannot be made good. In particular, I show that we must reject two fundamental Fregean principles‐what I call Frege's Adequacy Condition and what I call Frege's Cognitive Constraint on Reference Determination. Frege's adequacy condition says that in an adequate semantic theory, sentence meanings must have the same fineness of grain as attitude contents. The Cognitive Constraint on Reference Determination says that in an (...) adequate semantic theory mechanisms of reference determination will fix routes of epistemic access to referents and will mediate one‐sided recognition judgments about referents. I argue against Frege's adequacy condition that if meanings are sliced as finely as it requires there will be too many meanings to go around. I argue against the cognitive constraint on reference determination that even in an adequate theory of reference, mechanisms of reference determination must be sharply distinguished from routes of epistemic access. If so, we have little reason to expect an adequate theory of reference determination to directly illuminate Frege's cognitive puzzles or be sufficient to explain the basis of our one‐sided recognition judgments. (shrink)

In “Function and Concept” and “On Concept and Object”, Frege argued that certain differences between dependent and independent meanings were inviolable and “founded deep in the nature of things” but, in those articles, he was not explicit about the actual consequences of violating such differences. However, since by creating a law that permitted one to pass from a concept to its extension, he himself mixed dependent and independent meanings, we are in a position to study some of the actual consequences (...) of his having done so. To make certain of Frege’s ideas about the inviolability of logical form more tangible, I describe a string of very interrelated consequences that his attempt to transform dependent meanings into independent meanings actually brought in its wake. (shrink)

En este trabajo se analiza la propuesta en torno de los pensamientos singulares o “pensamientos de re” del filósofo contemporáneo John McDowell. Nuestra estrategia es abordar dicha reconstrucción a partir de la tesis de “la carencia de límites de lo conceptual” desarrollada en su producción más reciente. El contraste entre algunos aspectos de Mind and World (1994) y los artículos previos consagrados al pensamiento singular, asignan un valor explicativo concreto a la tesis de que lo conceptual no tiene límites.

In this paper, I propose that 'true’ is polysemous, and thus ambiguous. I suggest that the semantic paradoxes both motivates taking 'true’ to be polysemous and shows that the concept truth is indefinitely extensible. In doing so, I explain that 'true’ is polysemous between the meanings corresponding to the subconcepts of the concept truth generated by such indefinite extensibility. I conclude that the proposal provides satisfying solutions to the semantic paradoxes.

A number of metaphysicians of powers have argued that we need to distinguish the actualization of a power from the effects of that actualization. This distinction, I argue, has important consequences for the dispositional theory of belief. In particular, it suggests that dispositionalists have in effect been trying to define belief, not in terms of its actualization, but instead in terms of the effects of its actualization. As a general rule, however, powers are to be defined in terms of their (...) actualizations. I thus argue that belief has just one actualization, and that that actualization is a particular kind of mental act that I call a judgment. I explain the resulting view—that belief is the power to judge—and argue that it has some important advantages, not only over other dispositional theories of belief, but also over categorical theories of belief. Since these options are apparently exhaustive, it thus has important advantages over all other theories of belief. (shrink)