Fregean Sense

We draw attention to a series of implicit assumptions that have structured the debate about Frege’s Puzzle. Once these assumptions are made explicit, we rely on them to show that if one focuses exclusively on the issues raised by Frege cases, then one obtains a powerful consideration against a fine-grained conception of propositional-attitude content. In light of this consideration, a form of Russellianism about content becomes viable.

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most promising (...) one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

There are two main models for explaining Frege's notion of sense, both of which have their roots in the work of Sir Michael Dummett. One, nowadays most familiar from the work of David Chalmers, is broadly internalist and descriptivist in character. The other, most familiar from the work of Gareth Evans, is externalist and anti-descriptivist. I first consider the former project, arguing that Dummett anticipated Chalmers's version of the view, and that no version of this view is going to be (...) defensible. The arguments are somewhat different from those familiar from the literature. I then consider Evans's view and argue that, while it is not vulnerable to many of the objections that have been made to it, it does not really succeed as an account of sense, because it forces us to abandon Frege's view that sense is an aspect of representational content. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it's claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn't the response to higher-order evidence that maximizes expected accuracy. (shrink)

This work addresses the critical discussion featured in the contemporary literature about two well-known paradoxes belonging to different philosophical traditions, namely Frege’s puzzling claim that “the concept horse is not a concept” and Gongsun Long’s “white horse is not horse”. We first present the source of Frege’s paradox and its different interpretations, which span from plain rejection to critical analysis, to conclude with a more general view of the role of philosophy as a fight against the misunderstandings that come from (...) the different uses of language (a point later developed by the “second” Wittgenstein). We then provide an overview of the ongoing discussions related to the Bai Ma Lun paradox, and we show that its major interpretations include—as in the case of Frege’s paradox—dismissive accounts that regard it as either useless or wrong, as well as attempts to interpret and repair the argument. Resting on our reading of Frege’s paradox as an example of the inescapability of language misunderstandings, we advance a similar line of interpretation for the paradox in the Bai Ma Lun: both the paradoxes, we suggest, can be regarded as different manifestations of similar concerns about language, and specifically about the difficulty of referring to concepts via language. (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)

The meanings of words seem to change over time. But while there is a growing body of literature in linguistics and philosophy about meaning change, there has been little discussion about the metaphysical underpinnings of meaning change. The central aim of this paper is to push this discussion forward by surveying the terrain and advocating for a particular metaphysical picture. In so doing, we hope to clarify various aspects of the nature of meaning change, as well as prompt future philosophical (...) investigation into this topic. More specifically, this paper has two parts. The first, broadly exploratory, part surveys various metaphysical accounts of meaning change. The goal here is to lay out the terrain, thereby highlighting some key choice points. Then, in the second part, after critiquing Prosser’s (Philosophy Phenomenol Res 100(3):657–676, 2020) exdurantism about ‘mental files’, we sketch and defend the enduring senses view of meaning change. (shrink)

Among the virtues of relationist approaches to Frege’s puzzle is that they put us in a position to outline structural features of the puzzle that were only implicit in earlier work. In particular, they allow us to frame questions about the relation between the explanatory roles of sense and sameness of sense. In this paper, I distinguish a number of positions about that relation which have not been clearly distinguished. This has a few pay-offs. It allows us to shed light (...) on recent controversies about the ‘essential indexical’, and it also allows us to see what’s at stake between relationists and their opponents. When we see what’s at stake, we can see that we have reason to adopt an account of cognitive significance that incorporates elements of both relationist and Fregean approaches. (shrink)

Contributing to the debate between referentialist and predicativist accounts of the semantics of proper names, this paper partly endorses a recent trend to reject unitary accounts of their semantics. It does so by restoring a Fregean version of the variety of use account. It criticizes alternative variety of use accounts for not clearly distinguishing pragmatic, syntactic, and semantic issues and argues that, once these are distinguished, the necessity of accepting that names have a variety of uses, and are sometimes logical (...) singular terms and at others logical predicates shows that Frege’s claim, that we should recognize that names have both reference and sense, is vindicated. (shrink)

What is the concept of sense developed by Deleuze in his 1969 Logic of Sense? This paper attempts to answer this question analysing the three dimensions of language that Deleuze isolates: the primary order of noises and intensities ; the secondary order of sense ; and the tertiary organisation of propositions. What renders language possible is that which separates sounds from bodies and organises them into propositions, freeing them for the expressive function. Deleuze argues that it is the dimension of (...) sense that brings about this genesis of language, and he analyses in detail the three syntheses that bring about the production of this surface of sense. Yet Deleuze also distinguishes between two types of non-sense: the nonsense of Lewis Carroll's portmanteau words, which remain ensconced in the dimension of sense, and the more profound nonsense of Antonin Artaud's psychotic scream-breaths, which penetrate the almost unbearable world of the primary order of noise and intensities. In the end, the focus of Logic of Sense is less the surface domain of sense than the primary depth of corporeal intensities. What Deleuze calls a ‘minor’ use of language is nothing other than an intensive use of language that constitutes a principle of metamorphosis. (shrink)

Editorial NoteThis paper was read by Michael Dummett at Leiden University on September 26, 1992 at the invitation by Göran Sundholm to address the topic mentioned in the title. Dummett’s lecture was part of a workshop, Meaning Theory and Intuitionism, with 12 invited speakers over three days. After the workshop, Dummett gave a copy of the manuscript to Sundholm together with permission to publish it. At the time, nothing came of the publication plans, nor did Dummett publish it in any (...) other form. The text has remained virtually unknown, and apart from a lecture of Per Martin-Löf, also at Leiden, on the same topic, it has received no scholarly attention. We are indebted to Dummett’s literary executor, Professor Ian Rumfitt, of All Souls College, Oxford, who after nearly three decades confirmed the earlier permission to publish.Göran SundholmAnsten Klev. (shrink)

Frege's Puzzle is a founding problem in analytic philosophy. It lies at the intersection of central topics in the philosophy of language and mind: the theory of reference, the nature of propositional attitudes, the nature of semantic theorizing, the relation between semantics and pragmatics, etc. This chapter is an overview of the puzzle and of the space of contemporary approaches to it.

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...) semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions and other complex senses/concepts using a special kind of functor. I consider some formulations from Peacocke's works and highlight certain problems that arise as we try to quantify over propositional constituents while referring to propositions using "that"-clauses. With the functor notation, by contrast, we can quantify over senses/concepts with objectual, first-order quantifiers and speak without further ado about their involvement in propositions. The functor notation also turns (...) out to come with an important kind of expressive strengthening, and is shown to be neutral on several controversial issues. (shrink)

Was ist die Zeit? Diese Frage erlebt nach Kant eine Blutephase in der Phanomenologie. Eine Verbindung, die hier lange ubersehen wurde, betrifft Levinas' Interesse und Kritik an Kants Moralphilosophie. Der Stein des Anstosses ist die Zeit und ob sie im Sinne Kants eine Anschauungsform ist, in der uns jene Pflicht erscheint, die dem Dasein einen Sinn verleiht. Fur Levinas ist die Zeit weniger die Form einer solchen Erkenntnis als die Kluft, die uns von der Bedeutung unserer Verantwortung trennt. Levinas' gespaltenes (...) Verhaltnis zu Kant in diesem Punkt nachzuzeichnen, ist Ziel dieses Buches. (shrink)

Frege developed the theory of sense and reference while composing his Grundgesetze and considering its philosophical implications. The Grundgesetze is thus the most important test case for the application of this theory of meaning. I argue that evidence internal and external to the Grundgesetze suggests that he thought of senses as having a structure isomorphic to the Grundgesetze expressions that would be used to express them, which entails a theory about the identity conditions of senses that is relatively fine-grained, though (...) still coarser than some other commentators have suggested. While this interpretation does not make Frege’s ontological commitment to the denizens of a “third realm” as profligate as some have alleged, it is sufficiently bloated to lead to Cantorian paradoxes and diagonal contradictions independent of his Basic Law V. (shrink)

Fregeanism and Relationism are competing families of solutions to Frege’s Puzzle, and by extension, competing theories of propositional representation. My aim is to clarify what is at stake between them by characterizing and evaluating a Relationist argument. Relationists claim that it is cognitively possible for distinct token propositional attitudes to be, in a sense, qualitatively indistinguishable: to differ in no intrinsic representational features. The idea of an ‘intrinsic representational feature’ is not, however, made especially clear in the argument. I clarify (...) it here and, having done so, offer reason to doubt the argument. This will put us in a position to draw some lessons about the relation between object-directed and representation-internal aspects of cognitive significance. (shrink)

Frege’s claim that sentences are names of truth-values, I argue, was drawn to fit the formal project, but it respects our pre-theoretical intuitions and does not undermine the sentence’s central semantic role. I do a minimal work both on the expression and on its referent, connecting the sentence and the definite description, suggesting an intuitive referent for a true sentence, suggesting a motive for Frege’s choice of the truth-values as referents, and finally suggesting an understanding of the False as a (...) referent. (shrink)

I argue that Fregeanism with respect to proper names—the view that modes of presentation are relevant to the contents of proper names—is able to account for the thesis that there are necessarily true a posteriori identity propositions such as the one expressed in “Hesperus is identical with Phosphorus”, whereas the Direct Reference Theory—according to which the semantic function of certain expressions, e.g., proper names, is only to pick out an object —is able to deal with only their necessary truth. Thus, (...) at least in so far as necessarily true a posteriori identity propositions are concerned, Fregeanism should be preferred to the Direct Reference Theory. (shrink)

In this paper I will discuss Dummett’s interpretation of Frege’s “On sense and reference” that takes place in his Frege: Philosophy of Language, where he attributes a notion of meaning to Frege that is not explicit on the text of “On sense and reference”. I believe that this attribution is incompatible with what Frege is really saying in the article and with the partition of the notion that Dummett himself exposes.

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Öz: Frege özel adların (ve diğer dilsel simgelerin) anlamları ve gönderimleri arasında ünlü ayrımını yaptığı “Anlam ve Gönderim Üzerine” (1948) adlı makalesinde, bu ayrımın önemi, gerekliliği ve sonuçları üzerine uzun değerlendirmeler yapar ancak özel adın anlamından tam olarak ne anlaşılması gerektiğinden yalnızca bir dipnotta kısaca söz eder. Örneğin “Aristoteles” özel adının anlamının Platon’un öğrencisi ve Büyük İskender’in öğretmeni ya da Stagira’da doğan Büyük İskender’in öğretmeni olarak alınabileceğini söyler. Burada dikkat çeken nokta örnekteki özel adın olası anlamları olarak gösterilen belirli betimlemelerin (...) de özel ad içeriyor olması. Anlamın Frege için bileşimsel olduğu, bir başka deyişle bir dilsel simgenin anlamının (varsa) parçalarının anlamlarınca belirlendiği düşünülürse, örnekteki belirli betimlemelerin anlamlarının saptanabilmesi için içerdikleri özel adların da anlamları saptanıp betimleme içinde geçtikleri yere konmalıdır. Bu işlem hiçbir özel ad kalmayana kadar sürdürülmelidir. Ancak biraz düşünülünce bir özel adın nesnesini tekil olarak betimleyecek ve içinde özel ad geçmeyecek bir betimleme bulmanın kolay olmadığı görülür. Örneğin yukarıdaki betimlemelerde geçen “Platon”, “Büyük İskender” ve “Stagira” gibi özel adların anlamları olabilecek ancak özel ad içermeyen betimlemeler bulmak pek kolay görünmüyor. Ortaya bir sonsuz gerileme sorunu çıkmış gibi duruyor. Frege’nin anlam-gönderim ayrımını için ciddi sonuçları olabilecek bu sorunu Frege çözebilir mi? Bu yazıda bu sorunun yanıtını arayacağım. Sorunu betimledikten sonra Frege’nin önündeki seçenekleri (örneğin bağlama duyarlı terimlerden (gösterme adılları veya belirteçler) yararlanma veya bağlamı sınırlama gibi) değerlendireceğim. -/- Abstract: In his “Sense and Reference” (1948), Frege makes his famous distinction between the sense and the reference of a proper name (and other signs) and discusses at length the significance, necessity and consequences of the distinction, but he explains how the sense of a proper name should be understood very briefly in a footnote. According to him, for example, the sense of the proper name “Aristotle” can be taken as the pupil of Plato and teacher of Alexander the Great or the teacher of Alexander the Great who was born in Stagira. What is interesting here is that the definite descriptions given as the possible senses of this proper name do themselves contain proper names too. Since the sense is something compositional for Frege, which means the sense of a linguistic sign is determined by its constituents (if there are any), in order to determine the sense of definite descriptions in question, we should first determine the senses of proper names they contain and substitute these senses with the proper names themselves. This process should continue until no proper name remains. However, it does not seem easy to find a definite description which describes the object of a proper name uniquely but contains no proper name itself. For instance, could we find appropriate senses that contain no proper name for “Plato”, “Alexander the Great” and “Stagira”? It does not seem likely. A problem of infinite regress appears to arise. Can Frege solve this problem, which poses a serious threat for his sensereference distinction? I will explore this problem in this paper. After explaining the problem, I will discuss the options (e.g. turning to indexicals or context restriction) Frege can take to deal with it. (shrink)

This paper is devoted to the topic of indexicality in relation to the problem of cognitive significance. I undertake a critical examination of what I call the Millian Notational Variance Claim; this is the claim that those versions of a neo-Fregean semantics for demonstratives and other indexicals which rest upon the notion of a de re sense are eventually notational variants of a directly referential or Millian semantics for indexicals. I try to show that several lines of reasoning that might (...) be pursued by Millian theorists with a view to establishing the Millian Notational Variance Claim are inconclusive, and hence that the claim is in general unsound. The problem of cognitive significance is tackled in connection with those categories of indexicals concerning which neo-Fregeanism and Millianism are alleged to yield similar results, viz. temporal indexicals, spatial indexicals, and perceptual demonstratives. I argue towards the conclusion that the notions the Millian theorist might invoke to accommodate the phenomena of cognitive significance in this area of indexicality are hardly adequate to the effect, and hence that senses are indispensable also here. (shrink)

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

As part of his attack on Frege’s ‘myth’ that senses reside in the third realm, Dummett alleges that Frege’s view that all objects are selbständig is an underlying mistake, since some objects depend upon others. Whatever the merits of Dummett’s other arguments against Frege’s conception of sense, this objection fails. First, Frege’s view that senses are third-realm entities is not traceable to his view that all objects are selbständig. Second, while Frege recognizes that there are objects that are dependent upon (...) other objects, he does not take this to compromise the Selbständigkeit of any objects. Thus, Frege’s doctrine that objects are selbständig does not make the claim of absolute independence that Dummett appears to have taken it to make. Nevertheless, in order to make a good case against Frege based on the dependency of senses, Dummett need only establish his claim that senses depend upon expressions: appeal to an absolute conception of independence is unnece... (shrink)

There are two common reactions to Frege’s claim that some senses and thoughts are private. Privatists accept both private senses and thoughts, while intersubjectivists don’t accept either. Both sides agree on a pair of tacit assumptions: first, that private senses automatically give rise to private thoughts; and second, that private senses and thoughts are the most problematic entities to which Frege’s remarks on privacy give rise. The aim of this paper is to show that both assumptions are mistaken. This will (...) motivate a so far neglected, reconciliatory position between privatism and intersubjectivism according to which all thoughts are public while some senses are private. (shrink)

كان «فريجه» – على حد تعبير «دامت» – من أوائل من أدركوا أن نظرية المعنى، أو فلسفة اللغة، هي جزءٌ اساسي من الفلسفة ترتكز عليه كافة الأجزاء الاخرى؛ فإلى جانب دراساته التأسيسية الرائدة في الرياضيات والمنطق، كان يُؤسس ايضًا لفلسفة اللغة ببعض المقالات التي فاقت في تاثيرها وشهرتها تاثير وشهرة معظم أعماله الرياضية الأخرى، دون إقلال من شان هذه الأخيرة وريادتها. وهذه الدراسة بمثابة قراءة تحليلية – نقدية لمقاله الأكثر أهمية في هذا الصدد «في المعنى والإشارة»، مشفوعة بترجمة إلى العربية (...) للجزء الأكبر والاهم منه. (shrink)

Persoalan mental, dalam filsafat analitik awal, tidak seeksplisit dalam fenomenologi meskipun keduanya berasal dari akar yang sama. Namun, hal itu tidak berarti lsafat analitik awal menyisihkan persoalan mental. Malah, pembahasan tentang mental sangat berperan dalam usaha mengurai persoalan-persoalan logika. Oleh karenanya, artikel ini bertujuan untuk mencari tahu dan menjabarkan pemikiran lsuf analitik awal tentang fenomena mental yang—dalam artikel ini diwakili oleh Gottlob Frege dan Bertrand Russell—didominasi oleh logika dan bahasa.

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

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

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In a second (...) step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...) cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

Despite its importance for early analytic philosophy, Gottlob Frege's account of existence statements, according to which they classify concepts, has been thought to succumb to a number of well-worn criticisms. This article does two things. First, it argues that, by remaining faithful to the letter of Frege's claim that concepts are functions, the Fregean account can be saved from many of the standard criticisms. Second, it examines the problem that Frege's account fails to generalize to cases which involve definite descriptions (...) and proper names. To deal with this the proffered analysis deviates from the letter of Frege's views, while remaining within its spirit. It proposes, in opposition to Frege, that expressions which grammatically look like singular terms should not always be read as referring to objects, but are sometimes best analysed as indicating functions. (shrink)

I question the received view that Frege advocates the description theory of proper names. First, I argue that the textual evidence for this view from Frege’s writings is not conclusive. Secondly, I propose that the Fregean Sinne (of proper names) may be understood nondescriptionally in terms of symbolhood. Finally, I suggest that in the notorious passages where Frege is apparently supporting the description theory he is just indicating the potential problems with communication with proper names.

In this paper, I mainly pursue the following two goals: on the one hand, I want to show how a central Fregean insight is tried to be captured within a two-dimensional strategy. On the other hand, I want to show that, in the light of Saul Kripke’s arguments against descriptivism, this strategy is faced with a fundamental problem. I proceed in four steps: in a first step, I bring together the passages that contain a central Fregean insight as a source (...) of inspiration for a two-dimensional reconstruction and that suggest a descriptivist reading of Frege’s view. In a second step, I shortly present Kripke’s threefold argumentation against two versions of descriptivism, which is also the basis for Kripke’s view that proper names are rigid designators. In a third step, I explain the basic idea of a Frege-inspired two-dimensional strategy which is used to reconcile theories of definite descriptions with theories of rigid designation and which is sometimes characterized as ‘neo-descriptivism’. Since the two-dimensional strategy is dependent on rigidified definite descriptions, I argue, in a fourth step, that, in the light of Kripke’s epistemological and semantic arguments, the two-dimensional strategy is problematic and untenable – though it is, nevertheless, motivated by Kripke’s modal argument. (shrink)

We introduce the notions of syntactic synonymy and referential syn- onymy due to Moschovakis. Those notions are capable of accounting for fine- grained aspects of the meaning of linguistic expressions, by formalizing the Fregean distinction between sense and denotation. We integrate Moschovakis’s theory with the theory of concepts developed in the foundational ontology DOLCE, in order to enable a formal treatment of equivalence between concepts.

According to Frege, neither demonstratives nor indexicals are singular terms; only a demonstrative together with ‘circumstances accompanying its utterance’ has sense and singular reference. While this view seems defensible for demonstratives, where demonstrations serve as non-verbal signs, indexicals, especially pure indexicals like ‘I’, ‘here’, and ‘now’, seem not to be in need of completion by circumstances of utterance. In this paper I argue on the basis of independent reasons that indexicals are in fact in need of completion; I identify the (...) completers as uses of circumstances of utterance by the speaker; and I show how these uses together with the utterance of indexical sentences express thoughts. The starting point of the paper is a criticism of Kripke’s and Künne’s alternative treatment of indexicals in Frege’s framework. (shrink)