. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)

There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant linguistic data, (...) and finds independent support from general considerations about the differences between rules and aims. (shrink)

An influential interpretation of phenomenology construes Husserl's project as an attempt to generalize the Fregean notion of sense- an attempt to extend Frege's analysis of the structure of meaningful expressions to a more general account of the structure of meaning in experience . Michael Dummett has articulated a broadly Fregean critique of this Husserlian program, arguing that the project is misguided and retrograde-a relapse into the psychologism and idealism that Frege sought to avoid. A defense of Husserl is offered, based (...) in part on key elements of the theory of meaning articulated in his Logical Investigations . But the main aim is neither to acquit nor to convict Husserl of Dummett's charges; rather it is to use the exchange to investigate some of the philosophical commitments of a broadly Husserlian phenomenology. If we are to understand how Husserl avoids psychologism then we must come to terms with the paradoxical idea of an anti-psychologistic investigation of consciousness (an anti-psychologistic psychology). If we are to understand his complex stance toward idealism then we must not only understand the grounds for his rejection of subjective idealism but also be attuned to the other forms of idealism to which his project is committed. In the course of investigating these matters the author considers how Husserl can reply to the charge of explanatory vacuity, and shows that Frege himself recognizes the legitimacy of something like the Husserlian project. (shrink)

In this essay, we present a theory of intercultural philosophical dialogue and comparative philosophy, drawing on both hermeneutics and analytic philosophy. We advocate the approach of “de-essentialization” across the board. It is true that similarities and differences are always to be observed across languages and traditions, but there exist no immutable cores or essences. “De-essentialization” applies to all “levels” of concepts: everyday notions such as green and qing 青, philosophical concepts such as emotion(s) and qing 情, and philosophical categories such (...) as forms of life and dao 道. We argue that interpretation is a holistic multi-directional process constrained by the principle of mutual attunement. It is necessary to assume that “the other” is a human being, who, in most cases, is consistent and stating that which is true or right. This is the condition of possibility for intercultural philosophical dialogue and comparative philosophy. No more necessary conditions are needed. There is no need to presuppose concepts or categories that are universal for all humans and their languages (such as emotion(s) and qing 情). (shrink)

In this essay, we explore the various aspects of hermeneutic relativity that have rarely been explicitly discussed. Our notion of “hermeneutic relativity” can be seen as an extension, with significant revisions, of Gadamer’s notion of Vorurteil. It refers to various choices and constraints of the interpreter, including beliefs concerning the best way of doing philosophy, what criteria are to be used to evaluate competing interpretations, and so on. The interpreter cannot completely eliminate the guidance and constraint originating from his/her “background.” (...) However, in principle the interpreter can “choose” to be guided by other constraints. Hence, we speak of “choices” or “commitments.” Hermeneutic relativity is the major cause for the variation of competing interpretations. (shrink)

We argue that all general concepts are family resemblance concepts. These include concepts introduced by ostension, such as colour(s). Concepts of colour and of each of the specific colours are family resemblance concepts because similarities concerning an open‐ended range of colour or of appearance features crop up and disappear. After discussing the notion of “same colour” and Wittgenstein's use of the phrase “our colours”, we suggest family resemblance concepts in one tradition can often be extended to family resemblance concepts in (...) another tradition, illustrated by Wittgenstein's use of the words Spiel and “game”. (shrink)

Linguistics and philosophy have provided distinct views on the nature of reference to individuals in language. In philosophy, in particular in the tradition of direct reference, the distinction is between reference and description. In linguistics, in particular in the tradition of generative grammar, the distinction is between pronouns and R-expressions. I argue for a third conception, grounded in dynamic semantics, in which the main watershed is between definites, which trigger presuppositions that want to be bound, and indefinites, which set up (...) new discourse referents. On this view, proper names, indexicals, and definite descriptions are all analyzed as presupposition triggers. (shrink)

Pure quotation, as in ‘cat’ has three letters, is a linguistic device designed for referring to linguistic expressions. I present a uniform recon struction of the four classic philosophical accounts of the phenomenon: the proper name theory, the description theory, the demonstrative theory, and the disquotational theory. I evaluate the strengths and weaknesses of each proposal with respect to fundamental semantic properties like compositionality, productivity, and recursivity.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.

Attempts to close the mind-body gap traditionally resort to a priori speculations. Motivated by dissatisfaction with such accounts, neurophenomenology constitutes one of the first attempts to close the mind-body gap non-metaphysically. Nonetheless, it faces significant challenges. Many of these challenges arise from its abandoning of transcendentality and its dim view of bioinformation. In this paper, I propose a superior non-metaphysical alternative: a combination of a reformed biosemiotics and transcendental phenomenology. My approach addresses the difficulties of neurophenomenology, while retaining the merit (...) of mutual constraints. Biosemiotics pays respect to bioinformation while imposing the sign-meaning duality on primitive forms of life, which is a relic of anthropomorphism. To avoid this unjustified commitment, I argue for a sign-free biosemantics which replaces Peirce’s semiotics with Husserl’s theory of meaning and exchanges naturalism for transcendentalism. Meaning, according to the resulting account, is the “intended as such”. The irreality of meaning results from what I term the ‘higher visibility’ of intentionality. I argue that the mind-body gap can be locally closed in a non-metaphysical manner as the result of reflection upon empirical biological investigations. Sign-free biosemantics uncovers the meanings for the organism that are implicit in biological research, while transcendental phenomenology analyses the experiences that biologists undergo when associating the physical with the biological level, while at the same time also analysing the very framework within which they work. Meanwhile, biosemiotics frees phenomenology from its methodological limitations, and the two domains establish mutual constraints in a more radical form than neurophenomenology. (shrink)

“Apprehension” is a key term in Husserl’s phenomenology of perceptual consciousness. However, its modes of operation have not yet been closely analyzed. Apprehension has its own principles and foundations. According to Husserl, the principles of apprehension are 1) contiguity, 2) equality and 3) similarity, and each of them expresses a specific kind of qualitative connection between the apprehension-content and the apprehension-sense. When a content presents a sense through equality or similarity, this sense can be regarded as a “projection” from the (...) apprehension-content. Besides the principles, the working of perceptual apprehension as knowing is based on two foundations. The first foundation is a space of sense, in which a perceptual sense finds its place and is combined holistically with other senses. The second foundation is a concrete cultural and historical lifeworld, upon which the space of sense constructed. Similar ideas can also be found at work in Sellars and Searle. (shrink)

Practice-based philosophy of science has gradually arisen in the sociology of scientific knowledge (SSK) and science and technology studies (STS) during the past decades. It studies science as an ensemble of practices and theorising as one of these practices. A recent study has shown how the practice-based approach can be methodologically justified with reference to Peirce and Dewey. In this article, I will explore one consequence of that notion: science, as practice, is necessarily social. I will disambiguate five different senses (...) in which science is social. First, science presupposes language, which is essentially social. Second, practices, including science, are adaptations of the behaviour of an organism to an environment, of which other organisms are a part. Third, practices, including science, are public and hence shareable. Fourth, scientific knowledge can serve as a vehicle of social and moral reform. Fifth, scientific knowledge can be applied to improve the human condition. This fivefold result bears on the problem of realism. (shrink)

Practice-based philosophy of science has gradually arisen in the sociology of scientific knowledge (SSK) and science and technology studies (STS) during the past decades. It studies science as an ensemble of practices and theorising as one of these practices. A recent study has shown how the practice-based approach can be methodologically justified with reference to Peirce and Dewey. In this article, I will explore one consequence of that notion: science, as practice, is necessarily social. I will disambiguate five different senses (...) in which science is social. First, science presupposes language, which is essentially social. Second, practices, including science, are adaptations of the behaviour of an organism to an environment, of which other organisms are a part. Third, practices, including science, are public and hence shareable. Fourth, scientific knowledge can serve as a vehicle of social and moral reform. Fifth, scientific knowledge can be applied to improve the human condition. This fivefold result bears on the problem of realism. (shrink)

We present $\in_I$-Logic (Epsilon-I-Logic), a non-Fregean intuitionistic logic with a truth predicate and a falsity predicate as intuitionistic negation. $\in_I$ is an extension and intuitionistic generalization of the classical logic $\in_T$ (without quantifiers) designed by Sträter as a theory of truth with propositional self-reference. The intensional semantics of $\in_T$ offers a new solution to semantic paradoxes. In the present paper we introduce an intuitionistic semantics and study some semantic notions in this broader context. Also we enrich the quantifier-free language by (...) the new connective < that expresses reference between statements and yields a finer characterization of intensional models. Our results in the intuitionistic setting lead to a clear distinction between the notion of denotation of a sentence and the here-proposed notion of extension of a sentence (both concepts are equivalent in the classical context). We generalize the Fregean Axiom to an intuitionistic version not valid in $\in_I$. A main result of the paper is the development of several model constructions. We construct intensional models and present a method for the construction of standard models which contain specific (self-)referential propositions. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent (...) statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

The search for the extensions of sentences can be guided by Frege’s “principle of compositionality of extension”, according to which the extension of a composed expression depends only on its logical form and the extensions of its parts capable of having extensions. By means of this principle, a strict criterion for the admissibility of objects as extensions of sentences can be derived: every object is admissible as the extension of a sentence that is preserved under the substitution of co-extensional expressions. (...) The question is: what are the extensions of elementary sentences containing empty singular terms, like ‘Vulcan rotates’. It can be demonstrated that in such sentences, states of affairs as structured objects (but not truth-values) are preserved under the substitution of co-extensional expressions. Hence, such states of affairs are admissible (while truth-values are not) as extensions of elementary sentences containing empty singular terms. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

The essay outlines the character of free logic, and motivation for its construction and development. It details some technical achievements of high philosophical interest, but urges that the role of existence assumptions in logic is still not fully understood, that unresolved old problems, both technical and philosophical, abound, and presents some new problems of considerable philosophical import in free logic.

This paper is an attempt to criticize the reification of language present in Heidegger’s writings after the Kehre . The steps of the argument are as follows. First, it is argued that the specific features of Heidegger’s conception of language after the Kehre can be traced back to Heidegger’s conception of the ontological difference in Being and Time . The common element in both conceptions is the assumption that meaning determines reference (i.e. that the way entities are understood determines which (...) entities we can refer to). In the next step the implications of this assumption are shown through an analysis of Heidegger’s conception of designation in Being and Time and after the Kehre . Finally, this conception of designation is criticized with the help of the analysis of designation offered by the so-called theories of direct reference. Key Words: Donnellan • Heidegger • language • linguistic idealism • meaning • ontological difference • reference • referential/attributive distinction. (shrink)

This study is the first part of an attempt to settle a vigorous debate among historians of medieval philosophy by harnessing the resources of analytic philosophy. The debate is about whether Avicenna's epistemology is rationalist or empirical. To settle the debate, I first articulate in this article the three core theses of rationalism and one core thesis of empiricism. Then, I probe Avicenna's epistemology in his major works according to the first core thesis of rationalism (the intuition thesis). In the (...) end, I find Avicenna committed to this thesis in at least one substantive way, namely, in his claim to intuit the intelligible forms or essences. This suffices to count Avicenna as rationalist. In a subsequent article, I shall probe Avicenna's epistemology according to the other two core theses of rationalism, presenting further evidence that he was a rationalist, not an empiricist. (shrink)

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...) a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...) current contribution takes a look at these operators from a type-logical perspective. It is shown that extending Gallin's translation from intensional type logic to two-sorted type theory so as to include a version of Yanovich's backwards-looking operators, does not increase the expressive power of formulae with exclusively intensional parameters. The result, which makes use of a theorem by Zimmermann : 65–77]), is illustrated by pertinent examples from the literature. The paper closes by indicating alternative strategies of incorporating backwards-looking operators. (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)

In “Unarticulated Comparison Classes” 2018 [2009], Richard Vallée adopts John Perry’s (2012 [2001]) reflexive-referential theory of meaning and content as well as his concept of unarticulated constituents (Perry 1986) to deal with certain context-sensitive elements of the truth-conditions of statements containing relative gradable predicates. I am sympathetic both with the general framework and with the assumption that unarticulated constituents are involved in the truth-conditions of bare positives such as “Monica is tall.” I do not share, however, Vallée’s main conclusions on (...) the examples he provides as pre-theoretical evidence. This leads me to disagree with some details of his proposal for the semantics and pragmatics of relative gradable adjectives. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...) as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

An act’s form of apprehension determines whether it is a perception, an imagination, or a signitive act. It must be distinguished from the act’s quality, which determines whether the act is, for instance, assertoric, merely entertaining, wishing, or doubting. The notion of form of apprehension is explained by recourse to the so-called content-apprehension model ; it is characteristic of the Logical Investigations that in it all objectifying acts are analyzed in terms of that model. The distinction between intuitive and signitive (...) acts is made, and the notion of saturation is described, by recourse to the notion of form of apprehension. (shrink)

This paper reevaluates Kaplan’s (Themes from Kaplan, Oxford University Press, Oxford, pp 481–563, 1989b) infamous ‘compulsive talker’ objection to Reichenbach’s (Elements of symbolic logic, AQ1 Macmillan, New York, 1947 ) token-reflexive theory of indexicals. It argues that Kaplan’s objection depends on the modal status of Reichenbachian tokens. On one interpretation, Kaplan’s objection stands. But on another, equally plausible interpretation, the following points hold: (i) Reichenbach’s theory effectively preempts contemporary discussion of rigid definite descriptions, (ii) Kaplan’s own analysis of indexicals in (...) terms of _dthat_-terms comes extremely close to Reichenbach’s own analysis, and (iii) Kaplan’s ‘compulsive talker’ objection should be rejected. (shrink)

This paper addresses an issue with the sign ‘⊢’ in Frege’s mature version of Begriffsschrift, i.e., the version in ‘Function and Concept’ and Grundgesetze. The sign is a performative for asserting in that writing down ‘⊢p’ is equivalent to asserting that p. Frege further says that writing ‘ p’ is also equivalent to identifying the reference of ‘p’ with the truth-value True. It looks as if he holds that asserting that p consists in identifying the True with the reference of (...) ‘p’. Frege’s commitment to it, however, seems to encounter a number of tensions. This paper aims to show that these tensions can be avoided by endorsing a non-assertive conception of identification under which making an identification is not making an identity assertion. The suggested reading leads to an entirely di erent understanding of the compositionality of the sign ‘⊢’ as well as Frege’s conception of assertion and judgment. (shrink)

This paper criticizes the circularity reading of Frege's argument for the indefinability of truth. According to this reading, Frege is appealing to a sort of circularity in the argument. I argue that the circularity reading is interpretatively incorrect, or makes Frege's argument a non‐starter.

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)

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)

Paul Horwich is aware of the fact that his theory as stated in his works is directly applicable only to a language in which a word, understood as a syntactic type, is connected with exactly one literal meaning. Yet he claims that the theory is expandable to include homonymy and indexicality and thus may be considered as applicable to natural language. My concern in this paper is with yet another kind of ambiguity—systematic polysemy—that assigns multiple meanings to one linguistic type. (...) I want to combine the characteristics of systematic polysemy with the Kaplanian insight that meanings of expressions may be defined by semantic rules which assign content in context and to ask the question if minimalism about truth and meaning is compatible with such rule-based systematic polysemy. I will first explain why the expressions that exhibit rule-based systematic polysemy are difficult to combine with a truth theory that is based on a use theory of meaning before proceeding to argue that indexicals and proper names are such expressions. (shrink)

In this paper I argue for a non-referential interpretation of some uses of indexicals embedded under epistemic modals. The so-called descriptive uses of indexicals come in several types and it is argued that those embedded within the scope of modal operators do not require non-referential interpretation, provided the modality is interpreted as epistemic. I endeavor to show that even if we allow an epistemic interpretation of modalities, the resulting interpretation will still be inadequate as long as we retain a referential (...) interpretation of indexicals. I then propose an analysis of descriptive indexicals that combines an epistemic interpretation of modality with a non-referential interpretation of indexicals. (shrink)

The objectives of this paper are twofold. The first is to present a differentiation between two kinds of deferred uses of indexicals: those in which indexical utterances express singular propositions (I term them deferred reference proper) and those where they express general propositions (called descriptive uses of indexicals). The second objective is the analysis of the descriptive uses of indexicals. In contrast to Nunberg, who treats descriptive uses as a special case of deferred reference in which a property contributes to (...) the proposition expressed, I argue that examples in which a general proposition is indeed expressed by an indexical cannot be treated by assuming that the property is a deferred referent of the pronoun. I propose an analysis of descriptive uses of indexicals by means of a pragmatic mechanism of ‘descriptive anaphora’, which attempts to explain the special kind of contribution of the property retrieved from the context to the proposition that is characteristic of the descriptive interpretation. (shrink)

This paper offers an analysis of indexical expressions and proper names as they are used in proverbs. Both indexicals and proper names contribute properties rather than objects to the propositions expressed when they are used in sentences interpreted as proverbs. According to the proposal, their contribution is accounted for by the mechanism of descriptive anaphora. Indexicals with rich linguistic meaning, such as ‘I’, ‘you’ or ‘today’, turn out to be cases of the attributive uses of indexicals, i.e. uses whose contribution (...) relies on the linguistic meaning of the word. Third person pronouns, names of locations as well as surnames are analyzed as non-attributive descriptive uses. (shrink)

We construct the finitely generated free algebras and determine the free spectra of varieties of linear equivalential algebras and linear equivalential algebras of finite height corresponding. respectively, to the equivalential fragments of intermediate Gödel-Dummett logic and intermediate finite-valued logics of Gödel. Thus we compute the number of purely equivalential propositional formulas in these logics in n variables for an arbitrary n ∈ N.

Part 1 sets out the logical/semantical background to ‘On Denoting’, including an exposition of Russell's views in Principles of Mathematics, the role and justification of Frege's notorious Axiom V, and speculation about how the search for a solution to the Contradiction might have motivated a new treatment of denoting. Part 2 consists primarily of an extended analysis of Russell's views on knowledge by acquaintance and knowledge by description, in which I try to show that the discomfiture between Russell's semantical and (...) epistemological commitments begins as far back as 1903. I close with a non-Russellian critique of Russell's views on how we are able to make use of linguistic representations in thought and with the suggestion that a theory of comprehension is needed to supplement semantic theory. (shrink)