Fregean Theories, Misc

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)

Many scholars claim that Frege's theory of colouring is committed to a radical form of subjectivism or emotivism. Some other scholars claim that Frege's concept of colouring is a precursor to Grice's notion of conventional implicature. I argue that both of these claims are mistaken. Finally, I propose a taxonomy of Fregean colourings: for Frege, there are purely aesthetic colourings, communicative colourings or hints, non-communicative colourings.

Taking a lead from Eva Picardi’s work and influence, I investigate the significance of Frege’s context principle for the philosophy of language. I argue that there are some interpretive problems with recent meta-semantic interpretations of the principle. Instead, I offer a somewhat weaker alternative: the context principle is a tool to license certain definitions. Moreover, I claim that it merely lays out one of many possible ways of licensing a definition. This means, among other things, that despite Frege’s imperative injunctions, (...) the context principle formulates a permission—not a requirement. (shrink)

This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem of (...) epistemic access to numbers. For an incompatibilist, proofs of numerical non-identities must appeal to primitive incompatibilities. I argue that no analytic primitive incompatibilities are forthcoming. Hence incompatibilists cannot be Fregeans. (shrink)

In his late fragment, ‘Sources of Knowledge of Mathematics and Natural Sciences’ Frege laments the tendency to confuse functions with objects and says, ‘It is here that the tendency of language by its use of the definite article to stamp as an object what is a function and hence a non-object, proves itself to be the source of inaccurate and misleading expressions and also of errors of thought. Probably most of the impurities that contaminate the logical source of knowledge have (...) their origins in this.’ This paper applies Frege’s logical insights to a series of influential modal arguments for the existence of souls or minds, in order to demonstrate that they hinge on the error of treating functions as objects. Related arguments have also resulted in the claim that identity statements are necessary, and that apparent identities ‘really’ involve relations of constitution. Here it is argued that once we recognise that all these arguments involve the assimilation of objects and concepts (which Frege identifies with functions) they can be seen to be defective. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

[ES] Esta es una discusión de algunos temas vagamente conectados en los artículos de Saul Kripke «The first person» y «Frege’s theory of sense and reference». [EN] This is a discussion of some loosely connected issues in Saul Kripke’s articles «The first person» and «Frege’s theory of sense and reference».

This papers aims at clarifying some misunderstandings that seem to block an adequate account of de re thoughts within the Fregean framework. It is usually assumed that Fregean senses cannot be de re, or dependent upon objects. Contrary to this assumption, Gareth Evans and John McDowell have claimed that Fregean de re senses are not just possible, but in fact the most promising alternative for accounting for de re thoughts. The reasons blocking this alternative can be traced back to Russellian (...) considerations that contaminated the interpretation of Frege. This contaminated understanding is first detected in Tyler Burge’s distinction between de dicto and de re, then connected to the motivations behind David Kaplan’s notion of character, and finally found in John Searle’s descriptivist account. The difficulty in understanding de re thoughts is, roughly speaking, a side effect of the misunderstanding of the boundaries separating internal and external elements of thoughts, as well as the distinction between mental content and means of representation. (shrink)

The paradox of the concept horse has often been taken to be devastating for Frege’s ontological distinction between objects and concepts. I argue that if we consider how the concept-object distinction is supposed to account for the unity of linguistic meaning, it transpires that the paradox is in fact not paradoxical.

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)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object , property , and relation —are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical (...) form: for example, the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

This volume offers a comprehensive survey of the main periods, schools, and individual proponents of scepticism in the ancient Greek and Roman world. The contributors examine the major developments chronologically and historically, ranging from the early antecedents of scepticism to the Pyrrhonist tradition. They address the central philosophical and interpretive problems surrounding the sceptics' ideas on subjects including belief, action, and ethics. Finally, they explore the effects which these forms of scepticism had beyond the ancient period, and the ways in (...) which ancient scepticism differs from scepticism as it has been understood since Descartes. The volume will serve as an accessible and wide-ranging introduction to the subject for non-specialists, while also offering considerable depth and detail for more advanced readers. (shrink)

This paper continues Michael Dummett's and my discussion of Frege in The Philosophy of Michael Dummett [2007]. Most of it is about Dummett’s change in view on Frege’s senses and objects. The issues include: the cognitive order versus the ontological order for the forward road; the nature and identity of senses and the different senses of "intension;" the nature of saturation; whether special quantifiers are now needed for senses; and Frege’s earlier and later permutation arguments. I discuss the implications of (...) the forward road for intuitionism as well. (shrink)

نگاهی به تفسیر و انتقادات دامت از آموزه‌های فرگه پیرامون مباحث معناشناختی .

In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begrijfsschrift, is like the language Leibniz sketched, a lingua characteristica, and not merely a logical calculus. According to the nineteenth century studies, Leibniz's lingua characteristica was supposed to be a language with which the truths of science and the constitution of its concepts could be accurately expressed. I argue that this is exactly what the Begriffsschrift is: it is (...) a language, since, unlike calculi, its sentential expressions express truths, and it is a characteristic language, since the meaning of its complex expressions depend only on the meanings of their constituents and on the way they are put together. In fact it is in itself already a science composed in accordance with the Classical Model of Science. What makes the Begrijfsschrift so special is that Frege is able to accomplish these goals with using only grammatical or syncategorematic terms and so has a medium with which he can try to show analyticity of the theorems of arithmetic. (shrink)

In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).

Semantic theories that violate semantic innocence, i.e. require reference-shifts when terms are embedded in ‘that’ clauses and the like, are often challenged by producing sentences where an anaphoric expression, while not itself embedded in a context in which reference shifts, is anaphoric on an antecedent expression that is embedded in such a context. This, in conjunction with a widely accepted principle concerning unproblematic anaphora, is used to show that such reference shifting has absurd consequences. We show that it is the (...) (...) widely accepted principle concerning anaphora that is to be blamed for these consequences, and not the supposed sin of reference shifting. (shrink)

As presented in the early work, 'Revolution in Poetic Language,' Julia Kristeva’s 'subject-in-process' can be interpreted as a semiotic alternative to older conceptions of the philosophical subject.This discussion of Kristeva’s early work will attempt to demonstrate that new interpretations of Fregean logic and Freudian psychoanalysis radically displace the traditional subject. This act of displacement allows Kristeva to employ Hegelian dialectics to introduce a “textual” conception of meaning of experience. As a consequence, the Kristevan semiotexte offers a basis for both understanding (...) and misunderstanding in which language mediates between semiotic meaning and cultural practices. The conclusion of the paper maintains that Kristeva's unique formulation of the semiotexte re-defines human subjectivity in relation to the existing world. (shrink)

I’m going to present a new idea about how to find the right place for the indexical and demonstrative expressions in Gottlob Frege’s semantics. My main thesis is: that it is possible to find such interpretation of Frege’s view on indexicals and demonstratives which is entirely “fregean” and is not vulnerable to the counterexamples given by Kaplan and Perry. According to the interpretation I propose, these expressions are functional and they denote first-level functions defined on objects. These functional expressions taken (...) together with an object form a hybrid proper name. (shrink)

In the opening to his late essay, Der Gedanke, Frege asserts without qualification that the word "true" points the way for logic. But in a short piece from his Nachlass entitled "My Basic Logical Insights", Frege writes that the word true makes an unsuccessful attempt to point to the essence of logic, asserting instead that "what really pertains to logic lies not in the word "true" but in the assertoric force with which the sentence is uttered". Properly understanding what Frege (...) takes to be at issue here is crucial for understanding his conception of logic and, in particular, what he takes to be its normative status vis-à-vis judgement, assertion, and inference. In this paper, I focus my attention on clarifying the latter claim and Frege's motivations for making it, exposing what I take to be a fundamental tension in Frege's conception of logic. Finally, I discuss whether Frege's deployment of the horizontal in his mature Begriffsschrift helps to resolve this tension. (shrink)

In Reference and Reflexivity, John Perry tries to reconcile referentialism with a Fregean concern for cognitive significance. His trick is to supplement referential content with what he calls ‘‘reflexive’’ content. Actually, there are several levels of reflexive content, all to be distinguished from the ‘‘official,’’ referential content of an utterance. Perry is convinced by two arguments for referentialism, the ‘‘counterfactual truth-conditions’’ and the ‘‘same-saying’’ arguments, but he also acknowledges the force of two Fregean arguments against it, arguments that pose the (...) ‘‘coreference’’ and the ‘‘no-reference’’ problems. He sees these as genuine problems for referentialism and does not share Howard Wettstein’s (1986) view that semantics has ‘‘rested on a mistake,’’ the mistake of thinking that semantics is obliged to come to grips with ‘‘cognitive significance’’ and, in particular, to explain the fact that coreferring terms can differ in cognitive significance and that terms lacking in reference can still have cognitive significance. Perry points out that ‘‘there is nothing in [the arguments for referentialism] to show that the official content, rather than the reflexive content, is the key to understanding the cognitive motivation and impact of utterances’’ (Perry 2001, 193).1 In other words, ‘‘a theory of direct reference provides no argument for ignoring reflexive content, and, properly understood, has no motivation for searching for such an argument.’’ Thus Perry uses the notion of reflexive content to complement referentialism with a theory of cognitive significance. Frege drew a fundamental distinction between the reference of a term and the means by which its reference is determined. In his view, however, it is not the references themselves but the means by which they are determined that enter into propositions (‘‘Thoughts’’) expressed by sentences in which the terms occur. So we might call Frege an ‘indirect reference’ theorist. Echoing the introduction to Kaplan’s ‘‘Afterthoughts’’ (1989a), Perry stresses that ‘direct’, as it occurs in ‘direct reference’, does not imply that ‘‘the mechanism of reference is unmediated by the relation of fitting identifying conditions’’ (188). (shrink)

In this paper, I argue against Millian Descriptivism: that is, the view that, although sentences that contain names express singular propositions, when they use those sentences speakers communicate descriptive propositions. More precisely, I argue that Millian Descriptivism fares no better (or worse) than Fregean Descriptivism: that is, the view that sentences express descriptive propositions. This is bad news for Millian Descriptivists who think that Fregean Descriptivism is dead.

Michael Dummett has argued that a formal semantics for our language is inadequate unless it can be shown to illuminate to our actual practice of speaking and understanding. This paper argues that Frege’s account of the semantics of predicate expressions according to which the reference of a predicate is a concept (a function from objects to truth values) has exactly the required characteristics. The first part of the paper develops a model for understanding the distinction between objects and concepts as (...) an ontological distinction. It argues that, ontologically, we can take a Fregean function to be generated by a property detection device that can register for any object the presence or absence of that property. This provides a direct connection between the semantics of sentences and the structure of perceptual judgment. The second part of the paper deals with arguments that have been mounted against the coherence of Frege’s semantics. It argues that some of these are question begging, while others are correct in so far as Frege’s claim is untenable if we assume that the syntactic categories singular term and predicate are primary, and the ontological categories are simply projections of these syntactic categories. However, the objections dissipate once we recognize that an independent ontological characterization of the distinction is available. (shrink)

Descriptivists say that every name is synonymous with some definite description, and Descriptivists who are Widescopers say that the definite description that a name is synonymous with must take wide scope with respect to modal adverbs such as “necessarily”. In this paper, I argue against Widescopism. Widescopers should be Super Widescopers: that is, they should say that the definite description that a name is synonymous with must take wide scope with respect to complementizers such as “that”. Super Widescopers should be (...) Super Duper Widescopers: that is, they should say that the definite description that a name is synonymous with must take wide scope with respect to quotation marks. And Super Duper Widescopers should be Ultra Super Duper Widescopers: that is, they should say that, when the definite description that a name is synonymous with itself contains a name, the definite description that that name is synonymous with must take wide scope with respect to modal adverbs, complementizers, and quotation marks. But Descriptivists should not be Ultra Super Duper Widescopers. So Descriptivists should not be Widescopers either. (shrink)

Michael Dummett has long argued that Frege is committed to recognizing a distinction between two sorts of analysis of propositional contents: 'analysis', which reveals the entities that one must grasp in order to apprehend a given propositional content; and 'decomposition', which is used in recognizing the validity of certain inferences. Whereas any propositional content admits of a unique ultimate 'analysis' into simple constituents, it also admits of distinct 'decompositions', no one of which is ultimately privileged over the others. I argue (...) that although Russell accepts this distinction between analysis and decomposition, Frege does not. In particular, I consider claims which Dummett makes regarding how 'analysis' and 'decomposition' are related to two different models Frege at least suggests in discussing the composition of thoughts, the part/whole model and the function/argument model; and I argue that in each case, while Russell accepts views which Dummett attributes to Frege, Frege does not. (shrink)

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; in Frege's (...) first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

It is shown how frege's problematic connection between truth-Value and "bedeutung" (of a sentence) becomes more plausible when set against the background of german language and philosophy, Especially by comparing frege's position with the value-Theoretical school of neo-Kantianism (w windelband).

THE PROTAGONISTS David Sedley The primary object of this historical introduction1 is to enable a reader encountering Hellenistic philosophy for the first ...

In this commentary, I am going to focus on the earlier sections of Lapointe’s paper in which she defends an interpretation of Frege’s account of the individuation of lexical types. According to Lapointe, Frege rejects the view that two signs – concrete particulars – belong to the same lexical type just in case they are tokens of the same orthographic or phonographic type. Instead Frege’s position is that two signs belong to the same lexical type “only if they are recognized (...) as belonging to the same lexical type.” [p. 1] And recognizing that a (currently perceived) sign is of the same lexical type as previous perceived sign requires recognizing (i) that the current sign was produced and deployed with communicative intentions and (ii) that the speaker/ inscriber of the current sign and the speaker/ inscriber of the previous sign have “the same mental state or mental states that are similar in some essential manner.” [p. (shrink)

This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language? It is clear that he (...) is committed to the idea that function application is the fundamental mode of semantic composition, and that he is committed to an intensional framework. However, intensions have, since Carnap, been understood as nearly conceptually equivalent to functions from possible worlds to sets of individuals. But, in truth, possible worlds semantics is just dressed up extensional semantics. There are just more objects to go around to serve as inputs for functions, whatever we think of their ontological status. That is, possible worlds semantics is really a semantic reduction of intensional semantics achieved by expanding our ontological commitments. It would be difficult to make sense of Montague's strong commitment to Fregean semantics, if his notion of intension was that of Carnap's. According to my interpretation, Montague's notion of intension must be distinct from the version adopted by possible world semantics. Montague took seriously the idea that intensional semantics was something quite different from extensionalist semantics. The first was not reducible to the second semantically speaking. Just as Frege believed that meaning consisted of both sense and reference, so too did Montague. However, just as Frege also believed, Montague thought that sense and reference were systematically related. As I illustrate, interpreting Montague as adopting a different notion of intension can also resolve the apparent problem of distinguishing the difference in meaning between intensional equivalents. It might also enable us to draw a distinction in epistemic logic between an agent having contradictory beliefs and believing contradictions. (shrink)