Inferentialist accounts of concept possession are often supported by examples in which rejection of some inference seems to amount to rejection of some concept, with the apparently implausible consequence that anyone who rejects the inference cannot so much as understand those who use the concept. This consequence can be avoided by distinguishing conditions necessary for direct uses of a concept (to describe the non-cognitive world) from conditions necessary for content-specifying uses (to specify what someone thinks or says). I consider how (...) this claim about the non-uniformity of concept possession accords with different theories of attitude ascription and with claims about reverse compositionality. Surprisingly little stands in the way of the claim that someone unable to use a concept directly can nevertheless satisfy conditions for using it in a content-specifying thought. (shrink)

The following well-known problem motivated my handling more general problems. As we surely know, our pupils and even students are confronted with much more trouble when learning mathematics (and even physics) than when they learn ‘empirical’ sciences like biology, mineralogy etc. There are many factors that can at least partially explain this phenomenon. I would however mention one factor that is not too frequently adduced: mathematics, logic, and much of physics use concepts that are abstract while the empirical sciences seem (...) to support understanding by using expressions concerning (denoting? expressing?) concrete objects. Therefore the first topic to be explained (or explicated) is: Abstract vs. concrete. The second point will consist of applying the first point to explanation of the trouble with learning mathematics. The third point will ask Logical Analysis of Natural Language how to tell abstract expressions from concrete ones. The fourth point will confront the concept described in the foregoing point with conceptions trying to abandon the distinction between analytic and empirical expressions. Here it will be shown that the empiricism representing this latter conception deprives semantics as applied to Natural language of important features of expressivity. (shrink)

The author defends the view that the notion of concept, if used in the logical tradition, should be explicated procedurally . He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empirical concepts and algorithmic concepts.

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

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)

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)

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)

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 “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)

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)

I distinguish two notions of agreement in belief: believing the same content versus having beliefs that necessarily coincide/diverge in normative status. The second notion of agreement,, is clearly significant for the communication of beliefs amongst thinkers. Thus there would seem to be some prima facie advantage to choosing the conception of content operative in in such a way that the normative status of beliefs supervenes on their content, and this seems to be the prevailing assumption of many semanticists. I shall (...) argue that de se beliefs and assertions provide a motivation to depart from this assumption, and so do beliefs and assertions concerning what is epistemically possible. I conclude by offering two models of assertoric communication that are compatible with the abandonment of the assumption, and suggesting schematically that each model applies to different cases. (shrink)

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

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

In the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “p” is equivalent to a nonsentential phrase like “the truth-value of the thought that p.” In particular, (...) this paper attempts to establish two points concerning this argument based on the nominal reading. First, the argument implies a claim about the nature of assertion which Frege repeatedly denies in his mature works. Secondly, the nominal reading on which the argument depends is false. A sentence “p” is not equivalent to a nonsentential phrase like “the truth-value of the thought that p” for Frege. Our discussion will lead to an important lesson about Frege’s conception of sentences and of assertion. (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)

Since the publication of The verb “be” in Ancient Greek by Charles Kahn, people have put a lot of emphasis and invested too much labor in all kinds of historico-philological analyses in order to resolve philosophical questions regarding the concept of existence in Greek thought. Useful as these analyses might be, they cannot provide us with conclusive answers to the specific philosophical questions under scrutiny, and, perhaps, it is time for us to abandon the overwhelming optimist motivating the pioneers behind (...) these attempts. I use the Sophist as a case study. I conclude that whether the Form of Being represents existence or predication cannot be settled on speculation regarding the syntax of the verb εἶναι; absolute εἶναι need not be existential in meaning, and complemented εἶναι may be existential in meaning. (shrink)

: Fodor was passionately unwilling to compromise. Of his several commitments, I focus here on informational atomism. Fodor staunchly rejected semantic holism for two conspiring reasons. He took it to threaten his commitment to the nomic character of psychological explanation. He also took it to pave the way towards relativism, which he found deeply offensive. In this paper, I reconstruct the strands of Fodor’s commitment to the computational version of the representational theory of mind that led him to informational atomism. (...) I take issue with three features of informational atomism. First, I argue that it deprives content from its expected causal role in psychological explanation. Secondly, I take issue with Fodor’s claim that only informational atomism can meet the requirements of the principle of compositionality. Finally, I argue that informational atomism yields a bloated or unwieldy category of nomic properties. Keywords: Informational Atomism; Representational Theory of Mind; Psychological Explanation; Principle of Compositionality; Jerry A. Fodor Fare i conti con l’atomismo informazionale: uno dei lasciti di Jerry Fodor Riassunto : Fodor è stato fortemente maldisposto al compromesso. Tra le molte cose di cui si è occupato, intendo qui concentrarmi sull’atomismo informazionale. Fodor ha coerentemente rifiutato l’olismo semantico per due ragioni convergenti. Lo vedeva come minaccia per il suo impegno verso il carattere nomico della spiegazione psicologica e come porta aperta verso il relativismo, cosa che considerava profondamente minacciosa. In questo lavoro, intendo riprendere le fila dell’impegno di Fodor verso la versione computazionale della teoria rappresentazionale della mente che lo ha portato all’atomismo informazionale, chiarendo tuttavia che non sono d’accordo con tre aspetti dell’atomismo informazionale. In primo luogo, mostrerò come questo sottragga al contenuto il suo ruolo causale nella spiegazione psicologica. In secondo luogo, non sono d’accordo con l’affermazione di Fodor per cui solo l’atomismo informazionale possa soddisfare i requisiti del principio di composizionalità. Illustrerò infine come l’atomismo informazionale ceda il passo a un insieme di proprietà nomiche ampio o difficile da gestire. Parole chiave: Atomismo informazionale; Teoria rappresentazionale della mente; Spiegazione psicologica; Principio di composizionalità; Jerry A. Fodor. (shrink)

The paper analyses what is said and what is presupposed by thePrinciple of Compositionality for semantics, as it is commonly stated. ThePrinciple of Compositionality is an axiom which some semantics satisfy andsome don’t. It says essentially that if two expressions have the same meaning then they make the same contribution to the meanings of expressionscontaining them. This is a sensible axiom only if one combines it with aconverse, that if two expressions make the same contribution to the meanings of sentences (...) containing them, then they have the same meaning;and some assumption that two expressions which can’t meaningfully besubstituted for each other have different meanings. as a full abstraction principle, and as ‘Husserl’s principle’.) Moreoverthe Principle of Compositionality speaks only about when two expressionshave the same meaning; it adds nothing whatever about what that meaningmight be . Some recent discussions by writers in linguistics and logic are assessed. The paper finishes by reviewing thehistory of the notion of compositionality. (shrink)

The symbolic paraphrase of 'because' sentences suggested by Frege, which is still widely accepted, will be gradually developed into a more adequate, though much more complicated, form. Out of the different types of such sentences, the 'for the only reason that' type will be given especial consideration. Furthermore, it will be expounded that contrary-to-fact conditionals may function either as 'for the only reason that' explanations, or as 'for at least the reason that' explanations, or as arguments, the difference being dependent (...) partly on certain temporal characteristics of their constituents and partly on the pragmatic features of the speech act situation. Consequently, counterfactuals have no definite logical structure, which is a reason, hitherto unnoticed, why they cannot be used in defining dispositional predicates. It will be shown, however, that 'for the only reason that' explanations can serve this purpose quite properly. (shrink)

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can be true (...) even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

There is a line of thought, neglected in recent philosophy, according to which a priori knowable truths such as those of logic and mathematics have their special epistemic status in virtue of a certain tight connection between their meaning and their truth. Historical associations notwithstanding, this view does not mandate any kind of problematic deflationism about meaning, modality or essence. On the contrary, we should be upfront about it being a highly debatable metaphysical idea, while nonetheless insisting that it be (...) given due consideration. From this standpoint, I suggest that the Finean distinction between essence and modality allows us to refine the view. While liberal about meaning, modality and essence, the view is not without bite: it is reasonable to suppose that it is able to ward off philosophical confusions stemming from the undue assimilation of a priori to empirical knowledge. (shrink)

CRS says that the meanings of expressions of a language or other symbol system or the contents of mental states are determined and explained by the way symbols are used in thinking. According to CRS one.

The purpose of this paper is to reconstruct Frege’s argument against the relativity of truth contained in his posthumous writing Logic from 1897. Two points are made. The first is that the argument is a performative version of the common objection that truth relativism is incoherent: it is designed to show that the assertion of the relativity of truth involves a performative incoherence, because the absoluteness of truth is a success condition for making assertions. From a modern point of view, (...) the central premise of the argument, that the successful making of assertions depends on the absoluteness of truth, is highly doubtful. The second point is that this premise can be made plausible within the framework of Frege’s conception of truth and assertion: it can be derived from his thesis that, in order to put something forward as true, we do not need the word ‘true’, but only the assertoric force. (shrink)

Greimann-Dirk_A-typology-of-conceptual-explications.

O propósito deste trabalho é fornecer uma resposta a duas questões fundamentais: 1) pode uma lógica não alética ser uma lógica meinongiana? E consequentemente 2) pode uma lógica não alética ser uma lógica adequada a uma teoria meinongiana dos objetos? Usando os resultados de da Costa (1989) e da Costa & Marconi (1986) e além disso de da Costa (1986 e 1993), proponho uma lógica minimal não alética de primeira ordem com identidade e o símblo " de Hilbert (da Costa (...) et al. 1992) que podem colocar em um espírito meinongiano os aspectos mais relevantes da lógica meinongiana subajcente à teoria dos objetos de Meinong. Esta é apenas uma primeira abordagem minha, para dar conta de reflexões complexas, mas também interessante como o pensamento de Meinong. Além disso, dando uma resposta positiva a 1) e 2) indico um modo plausível que pode evitar ambas as difíceis abordagens e a tentativa de recusar a teoria dos objetos de modo a não comprometer a lógica padrão e algumas de suas leis. Minha abordagem mostra que a teoria de Meinong pode ser uma ontologia válida, porque há uma lógica adequada e não banal subjacente a ela. DOI:10.5007/1808-1711.2010v14n1p99. (shrink)

The debate about concepts has always been shaped by a contrast between subjectivism, which treats them as phenomena in the mind or head of individuals, and objectivism, which insists that they exist independently of individual minds. The most prominent contemporary version of subjectivism is Fodor's RTM. The Fregean charge against subjectivism is that it cannot do justice to the fact that different individuals can share the same concepts. Proponents of RTM have accepted shareability as a 'non-negotiable constraint'. At the same (...) time they insist that by distinguishing between sign-types and -- tokens the Fregean objection cannot just be circumvented but revealed to be fallacious. My paper rehabilitates the Fregean argument against subjectivism. The RTM response rests either on an equivocation of 'concept'--between types which satisfy the non-negotiable constraint and tokens which are mental particulars in line with RTM doctrine--or on the untenable idea that one and the same entity can be both a shareable type and hence abstract and a concrete particular in the head. Furthermore, subjectivism cannot be rescued by adopting unorthodox metaphysical theories about the type/token and universal/particular contrasts. The final section argues that concepts are not representations or signs, but something represented by signs. Even if RTM is right to explain conceptual thinking by reference to the occurrence of mental representations, concepts themselves cannot be identical with such representations. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

It is commonly supposed that perceptual representations in some way embed concepts and that this embedding accounts for the phenomenon of seeing-as. But there are good reasons, which will be reviewed here, to doubt that perceptions embed concepts. The alternative is to suppose that perceptions are marks in a perceptual similarity space that map into locations in an objective quality space. From this point of view, there are at least three sorts of seeing-as. First, in cases of ambiguity resolution, the (...) schematicity of the figure leaves us with a choice as to where in perceptual similarity space to place a mark. Second, in cases where expertise affects perception, the accumulation of perceptual landmarks permits a more precise placement of a mark in perceptual similarity space. Third, extensive experience with an object allows similarity to that object to serve as an acquired dimension in perceptual similarity space, which in turn affects the relative similarities of other objects. This is an open access publication. (shrink)

This article consists of replies to three commentaries on the book, Words and Images: An Essay on the Origin of Ideas (Oxford 2011).

Susanne Langer is mainly known as the American philosopher who, starting from her famous Philosophy in a New Key, worked in aesthetics and famously saw art as the product of the human mind’s most important, distinctive and remarkable ability, i.e., the ability to symbolise. But Langer’s later consideration of the connection between art and symbol is propagated by an early interest in the logic of symbols themselves. This rather neglected early part of Langer’s thought and her early interests and lines (...) of reasoning, which she somehow abandoned later on to dedicate herself exclusively to the study of art, are the topic of this paper. (shrink)

According to neo-Russellianism, in a sentence such as John believes that Mont Blanc is 4000 m high, any other proper name co-referring with Mont Blanc can be substituted for it without any change in the proposition expressed. Prima facie, our practice of translation shows that this cannot be correct. We will then show that neo-Russellians have a way out of this problem, which consists in holding that actual translations are not a matter of semantics, but also make an attempt at (...) preserving some pragmatic features of the sentences to be translated. We then turn to translations that only preserve the semantic characteristics of the sentences and we argue that, although these translations are unable to show that neo-Russellianism is incorrect, they still show that it relies on some theses that seem to have no justification, apart from saving neo-Russellianism itself. (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)