Among other virtues, Mental Files Theory provides a straightforward explanation of de jure coreference, i.e. identity of referent guaranteed by meaning alone: de jure coreference holds between terms when these are associated with the same mental file from which they inherit their reference. In this paper, I discuss an objection that Angel Pinillos raises against Mental Files Theory and other similar theories: the theory predicts that de jure coreference should be transitive, just like identity. Yet there are cases, involving ‘slash-terms’, (...) in which transitivity fails, or so it seems. In his book Mental Files, Recanati replies that the mental files theorist can accommodate Pinillos’ exceptions by offering a refined model of merging files, the ‘partial merging’ model. While agreeing with Recanati on the need for such a model, I contend that, pace Recanati and Pinillos, de jure coreference is transitive even in the presence of slash-terms. I will first show that paradoxical consequences ensue if slash-terms are said to de jure corefer with several basic terms at once. Then, building on two different accounts Recanati gives of referential confusion, I will show that on both views, de jure coreference cannot hold because of the behaviour of confused slash-terms. I will conclude that, in Mental Files Theory, a slash-term can, at most, de jure corefer with only one basic term per context. (shrink)

This paper aims to solve the following twofold problem. Suppose that a rational speaker, Ralph, mistakenly takes (for some reason) the Roman orator Cicero and the World War II German spy Cicero to be the same individual. By sincerely uttering the sentence “Cicero is an orator and a spy”, (a) does Ralph use the name “Cicero” of the Roman orator or the name “Cicero” of the German spy or another name of the genus “Cicero”? And (b) which Cicero does Ralph (...) refer to: the Roman orator, the German spy, both of them or neither of them? After drawing a distinction between the notion of mistaking one individual for another (exemplified by Kripke's “Jones”/“Smith” case and Putnam's “water”/“water” case) and the notion of wrongly taking two individuals to be one and the same individual (exemplified by the “Cicero”/“Cicero” case under discussion), I will defend the following solution to the last puzzling case: Ralph inadvertently creates an abstract individual playing the role of “fusion” or “amalgam” of the two Ciceros and also inadvertently creates a new name “Cicero” referring to such an individual. (shrink)

In his book Semantic Relationism, Kit Fine propounds an original and sophisticated semantic theory called ‘semantic relationism’ or ‘relational semantics’, whose peculiarity is the enrichment of Kaplan’s, Salmon’s and Soames’ Russellian semantics (more specifically, the semantic content of simple sentences and the truth-conditions of belief reports) with coordination, “the very strongest relation of synonymy or being semantically the same”. In this paper, my goal is to shed light on an undesirable result of semantic relationism: a report like “Tom believes that (...) Cicero is bald and Tom does not believe that Tully is bald” is correct according to Fine’s provided truth-conditions of belief reports, but its semantic content is (very likely) a contradiction. As I will argue in the paper, even the resort to the notion of token proposition, introduced in Fine’s recent article “Comments on Scott Soames’ ‘Coordination Problems’”, does not suffice to convincingly eliminate the contradiction; moreover, it raises new difficulties. (shrink)

Millianism is the doctrine according to which the semantic content of a proper name is exhausted by its referent. This article raises and attempts to solve a dilemma for Millians: either a proper name of a truth bearer is in turn a truth bearer ; or having a truth bearer as semantic content is not sufficient for a linguistic expression to be a truth bearer. As it will be shown in the manuscript, the dilemma does not arise with “that”-clauses in (...) the place of proper names, if “that”-clauses are taken to be non-Millian designators whose semantic content is not a truth bearer. An account of “that”-clauses having such features and originating with Salmon, Frege's Puzzle, will be defended. (shrink)

This manuscript focuses on a problem for Millian Russellianism raised by Fine : “[Assuming] that we are in possession of the information that a Fs and the information that a Gs, it appears that we are sometimes justified in putting this information ‘together’ and inferring that a both Fs and Gs. But how?” It will be my goal to determine a Millian-Russellian solution to this problem. I will first examine Nathan Salmon’s Millian-Russellian solution, which appeals to a non-semantic and subjective (...) notion of coordination defined in terms of guises. I will object that in order to convincingly solve a specific version of Fine’s problem, identity conditions for guises must be provided. On the other hand, the most plausible way to individuate guises is by means of the equivalence classes of coordination itself. But, if so, the guise-based strategy to solve Fine’s problem risks being circular; in addition, there are serious doubts that coordination is transitive. An alternative Millian-Russellian solution to Fine’s problem will then be explored, which gives up guises and employs, instead, a non-semantic and subjective relation of coordination not defined in terms of guises, along with occurrences of Russellian propositions of a special sort, for which identity conditions will be provided and via which token attitude states intuitively more fine-grained than guises will be individuated. (shrink)

This paper will critically examine two solutions to Frege’s puzzle: the Millian-Russellian solution proposed by Salmon and Braun, which invokes non-semantic modes of presentation (guises, ways of believing or the like); and Fine’s relationalist solution, which appeals to semantic coordination. Special attention will be devoted to discussing the conception of modes of presentation as mental files and to elucidating the nature of coordination. A third solution to Frege’s puzzle will be explored which, like Salmon’s and Braun’s, adopts the Millian-Russellian semantics (...) but, like Fine’s, involves coordination instead of modes of presentation; however, coordination will not be conceived as a semantic relation but as a cognitive and subjective relation, which provides no contribution to semantic content. This novel Millian-Russellian account involving cognitive coordination will be labelled cognitive relationism. (shrink)

Boghossian argued that externalism is incompatible with a transparency thesis according to which we can know a priori whether any two of our occurrent thoughts have the same or distinct content, and that this transparency thesis is integral to our commonsense conception of rationality, which requires the apriority of our logical abilities. Stalnaker offered a detailed compatibilist response to Boghossian. Boghossian criticized this response, and Stalnaker replied. But the outcome of that important discussion remained unclear, partly because it was unclear (...) how to understand the amended transparency thesis at which Stalnaker was gesturing. My aim in this paper is to settle the matter. I wish to clarify the terms of the debate, also by highlighting the relevant commitments of Stalnaker’s two-dimensionalist account, and to show that his compatibilist response, which appeals to diagonal propositions, is unsuccessful. (shrink)

Formal relationism in the philosophy of mind is the thesis that folk psychological states should be individuated, at least partially, in terms of the purely formal inference-licensing relations between underlying mental representations. It's supposed to provide a Russellian alternative to a Fregean theory of propositional attitudes. I argue that there's an inconsistency between the motivation for formal relationism and the use to which it's put in defense of Russellian propositions. Furthermore, I argue that formal relationism is committed to epiphenomenalism about (...) singular mental content. (shrink)

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

In a recent paper, Pickel and Rabern (2016) argue that a dynamic Tarskian semantics resolves Fine’s antinomy of the variable without the radical consequences for semantics proposed by Fine (2003, 2007). While Pickel and Rabern’s basic insight—a parameter of discourse context that tracks occurrences of variable-binding expressions—is important, I will argue that their own Tarskian theory faces a destructive dilemma: either their theory does not resolve Fine’s antinomy as they propose, or their theory does not reflect the intuitive motivation for (...) what they call structured meanings. I suggest that in response to this dilemma we should reject one of the principles that generates Pickel and Rabern’s version of the antinomy. Here Pickel and Rabern’s insight has surprising, but salutary, foundational consequences for semantics. (shrink)

Verdejo, Víctor_A Puzzle about Disagreement.

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

De jure coreference in a discourse is typically understood as explicit coreference that speakers are required to recognize in order to count as having correctly understood the discourse. For example, in an utterance of the sentence ‘Tom went to the market because he needed soy milk’, the two underlined terms are typically coreferential in a way that appreciating their coreference is required to fully understand the utterance. Often, de jure coreference is understood as an equivalence relation, so in particular it (...) is thought of as a transitive relation. However, Pinillos (Philos Stud 154(2):301–324, 2011) provides examples that apparently challenge the transitivity of de jure coreference. In this paper, I argue for two claims. First, while it is inconclusive whether the relevant terms in Pinillos’s examples satisfy his third condition, it is much clearer that they fail to satisfy his first two conditions. Given that Pinillos’s conditions capture important characteristics of de jure coreference, his examples do not successfully show the non-transitivity of de jure coreference. Second, I present an alternative account of his examples, one that shows which representation the anaphoric pronoun in an example of the sort that he presents is de jure coreferential with. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

It seems plausible that successfully communicating with our peers requires entertaining the same thoughts as they do. We argue that this view is incompatible with other, independently plausible principles of thought individuation. Our argument is based on a puzzle inspired by the Kripkean story of Peter and Paderewski: having developed several variations of the original story, we conclude that understanding and communication cannot be modeled as a process of thought transfer between speaker and hearer. While we are not the first (...) to reach this conclusion, the significance of our argument lies in the fact that it only relies on widely accepted premises, without depending on any especially controversial theory of mental and linguistic content. We conclude by drawing out the implications of that conclusion: if communication and understanding do not require thought identity, then one important motivation for the postulation of inter-personally shared thoughts is undercut. (shrink)

I identify a notion of compositionality at the intersection of the different notions philosophers, linguists, and psychologists are concerned with. The notion is compositionality of expression content: the idea that the content of a complex expression in a context of its utterance is determined by its syntactic structure and the contents of its constituents in the contexts of their respective utterances. Traditional arguments from productivity and systematicity cannot establish that the contents of linguistic expressions are compositionally determined in this sense. (...) I present a novel argument for this thesis. (shrink)

In a recent book, Logical Form: between Logic and Natural Language, Andrea Iacona argues that semantic form and logical form are distinct. The semantic form of a sentence is something that (together with the meanings of its parts) determines what it means; the logical from of a sentence is something that (all by itself) determines whether it is a logical truth. Semantic form does not depend on context but logical form does: for example, whether ‘This is this’ is a logical (...) truth depends on whether the two occurrences of ‘this’ are used to demonstrate the same individual. I respond by claiming that logical form is indifferent to reference and is sensitive only to obligatory co-reference. When the speaker intends both occurrences of ‘this’ to be interpreted the same way the logical from of ‘This is this’ is a=a, while in a context where the speaker has no such intention it is a=b. This proposal allows a much more conservative revision of the traditional picture than the one suggested by Iacona. Instead of identifying the logical form of a natural language sentence by seeking a formalization in an artificial language, we obtain it through abstraction from its syntactic analysis: replacing the non-logical expressions by schematic letters, making sure that we use identical ones if and only if the speaker intended co-reference. (shrink)

Imagism about Phenomenal Thought is (roughly) the view that there is some concept *Q* (for some sensory quality Q) that we can employ only while we experience the quality Q. I believe this view is theoretically significant, is or can be made intuitively appealing, and is explicitly or implicitly accepted by many contemporary philosophers However, there is no good reason to accept it. Or so I argue.

According to a widely held physicalist view, consciousness is identical with some physical or functional phenomenon just as liquidity is identical with loose molecular connection. To many of us, this claim about consciousness seems more problematic than the claim about liquidity. To many—including many physicalists—the identification of consciousness with some physical phenomenon even seems “absurd” or “crazy”. A full defence of physicalism should explain why the allegedly correct hypothesis comes across this way. If physicalism is true and we have reason (...) to accept it, why does it seem “absurd”? One possibility is that this is fully explained by the fact that we have an erroneous understanding of consciousness or its physical basis. This explanation is embraced by few if any physicalists. It is rejected by many, including proponents of the “phenomenal concept strategy”, which lately has become the dominant strategy for defending physicalism. But the “error explanation” is clearly the most plausible explanation that is available to physicalists. So this paper argues. (shrink)

Millians sometimes claim that we can explain the fact that sentences like "If Hesperus exists, then Hesperus is Phosphorus" seem a posteriori to speakers in terms of the fact that utterances of sentences of this sort would typically pragmatically convey propositions which really are a posteriori. I argue that this kind of pragmatic explanation of the seeming a posterioricity of sentences of this sort fails. The main reason is that for every sentence like the above which (by Millian lights) is (...) a priori, seems a posteriori to most speakers, and would typically be used to convey a posteriori propositions, there is another which (again, by Millian lights) is a priori, seems a posteriori to most speakers, but can only typically be used to convey a priori propositions. (shrink)

The paper reviews the central components of the cognitive theory of propositions and explains both its empirical advantages for theories of language and mind and its foundational metaphysical and epistemological advantages over other theories. It then answers a leading objection to the theory, before closing by raising the issue of how questions, which are the contents of interrogative sentences, and directives, which are the contents of imperative sentences, are related to propositions.

‘On Reference’ is a collection of 18 original articles. While united in their concern with reference, they deal with a large variety of topics, ranging from questions concerning the nature of reference, through the interaction of reference and cognition, to more specific questions about the semantics of particular referring expressions. The contributions are of high quality: thought provoking, insightful and engagingly written. Many have the potential to substantially advance the debate in their field. In this critical notice I will do (...) two things. I will focus on a cluster of four essays (Chs. 10-13) that are concerned with a single topic: the view that proper names are predicates. Apart from illustrating the above mentioned virtues, these essays are well suited to be discussed in conjunction due to their tightly connected subject matter. Before I get to this though, I will give brief summaries of the remaining 14 articles, where space constraints prevent me from discussing them in the detail they deserve. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original argument (...) commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

In this article I present HYPER-REF, a model to determine the referent of any given expression in First-Order Logic. I also explain how this model can be used to determine the referent of a first-order theory such as First-Order Arithmetic. By reference or referent I mean the non-empty set of objects that the syntactical terms of a well-formed formula pick out given a particular interpretation of the language. To do so, I will first draw on previous work to make explicit (...) the notion of reference and its hyperintensional features. Then I present HYPER-REF and offer a heuristic method for determining the reference of any formula. Then I discuss some of the benefits and most salient features of HYPER-REF, including some remarks on the nature of self-reference in formal languages. (shrink)

Because reference is not transparent, coreference is not transparent either: it is possible for the subject to refer to the same individual twice without knowing that the two acts of reference target the same individual. That happens whenever the subject associates two distinct yet coreferential files with two token singular terms. The subject may not know that the two files corefer, so her ascribing contradictory properties to the same object does not threaten her rationality. But if the subject deploys the (...) same file twice, in association with both of the singular terms, she is bound to know that she is referring to the same entity twice. (shrink)

What is the cognitive value of the concept of truth? What epistemic difference does the concept of truth make to those who grasp it? This paper employs a new perspective for thinking about the concept of truth and recent debates concerning it, organized around the question of the cognitive value of the concept of truth. The paper aims to defend a substantively correct and dialectically optimal account of the cognitive value of the concept of truth. This perspective is employed in (...) understanding the critical discussion around what Hartry Field has called “the incorporation model” for extending a deflationary view of truth to foreign sentences. Field's original intentions in discussing the incorporation model were to defend the deflationary view from some counterintuitive consequences concerning the understanding of truth attributions to foreign sentences. However, more recently, philosophers unencumbered by deflationary commitments have taken over the incorporation model for their own inflationary purposes. In particular, and in my terms, these philosophers can be understood as making what I argue is the ultimately too radical suggestion that the cognitive value of the concept of truth is to allow the incorporation not only of the linguistically foreign, but also of the conceptually alien. I clarify this dialectic en route to explaining and arguing for the cognitive inflationary view, according to which the cognitive value of the concept of truth is is to make possible the proprietary kind and quality of knowledge allowed by reflective clarity over the concepts and thoughts that one already has. (shrink)

Does the epistemology of disagreement have significant consequences for theories of conceptual understanding? I argue that it does. I argue that the epistemology of disagreement manifests the existence of a special kind of concept, perspectival modes of metarepresentation, a kind of concept instances of which figure in the thinking about thoughts that occurs in deep disagreement. These perspectival modes of metarepresentation are de re modes of presentation of thoughts themselves – hence de re modes of metarepresentation – in which one (...) and the same thought is presented to higher‐order thinking about thoughts in different ways. These modes or ways are de re and perspectival because they are individuated by facts about whether the thought being thought about is the grasped or understood propositional object of one's own or another's thinking. I outline a broadly Fregean framework for theorizing conceptual understanding and draw out three significant consequences of the existence of perspectival modes of metarepresentation for theories of conceptual understanding: they (1) constitute a new philosophical motivation for a restricted fragment of what Terence Parsons calls a “libertine” hierarchy of Fregean sense; (2) provide, against David Chalmers, examples of a priori equivalences that are nevertheless cognitively significant; and (3) constitute a novel and pervasive example of Kripkean ‘Paderewski’‐type designators. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

What is it for two people to think of an object, natural kind or other entity under the same mode of presentation (MOP)? This has seemed a particularly difficult question for advocates of the Mental Files approach, the Language of Thought, or other ‘atomistic’ theories. In this paper I propose a simple answer. I first argue that, by parallel with the synchronic intrapersonal case, the sharing of a MOP should involve a certain kind of epistemic transparency between the token thoughts (...) of the two thinkers. I then explain how shared words help bring about this transparency. Finally, I show how this account can be extended for thoughts expressed using demonstratives or indexicals. (shrink)

Sometimes two expressions in a discourse can be about the same thing in a way that makes that very fact evident to the participants. Consider, for example, 'he' and 'John' in 'John went to the store and he bought some milk'. Let us call this 'de jure' coreference. Other times, coreference is 'de facto' as with 'Mark Twain' and 'Samuel Clemens' in a sincere use of 'Mark Twain is not Samuel Clemens'. Here, agents can understand the speech without knowing that (...) the names refer to the same person. After surveying many available linguistic and pragmatic tools (intentions to corefer, presuppositions, meanings, indexing, discourse referents, binding etc.) I conclude that we must posit a new semantic primitive to account for de jure coreference. (shrink)

Frege's puzzle about identity sentences has long challenged many philosophers to find a solution to it but also led other philosophers to object that the evidential datum it is grounded on is false. The present work is an elaboration of this second kind of reaction: it explains why Frege's puzzle seems to resist the traditional objection, giving voice to different and more elaborated presentations of the evidential datum, faithful to the spirit but not to the letter of Frege's puzzle. The (...) final outcome is negative, no satisfactory formulation of the evidential datum is found and Frege's puzzle is challenged until a better formulation of it is found. (shrink)

An influential tradition holds that thoughts are public: different thinkers share many of their thoughts, and the same applies to a single subject at different times. This ‘publicity principle’ has recently come under attack. Arguments by Mark Crimmins, Richard Heck and Brian Loar seem to show that publicity is inconsistent with the widely accepted principle that someone who is ignorant or mistaken about certain identity facts will have distinct thoughts about the relevant object—for instance, the astronomer who does not know (...) that Hesperus is Phosphorus will have two distinct thoughts Hesperus is bright and Phosphorus is bright. In this paper, I argue that publicity can be defended if we adopt a relational account on which thoughts are individuated by their mutual relations. I then go on to develop a specific relational theory—the ‘linking account’—and contrast it with other relational views. (shrink)

In this paper, I discuss two influential pictures of communication and the relation between them. One picture holds that successful communication requires identity of content: The speaker has a belief that she expresses with her utterance, and the hearer acquires a belief with the same content by understanding the utterance. The second picture was proposed by Lewis in his classic work Convention and then refined in “Languages and Language.” It sees communication as coordination among speakers—a technical notion that Lewis draws (...) from game theory. Samuel Cumming has recently provided an elegant and insightful synthesis of the two pictures, arguing that Lewisian coordination among speakers is in fact a form of content identity. In this paper, my negative goal is to argue against Cumming’s attempt to construe coordination as content identity, showing that it yields incorrect predictions about certain cases of successful communication. My positive goal is to show how we can avoid Cumming’s problematic interpretation of coordination and still do justice to the relevant data within a coordination-based framework. (shrink)

Modes of presentation (MOPs) are often said to have to be transparent, usually in the sense that thinkers can know solely via introspection whether or not they are deploying the same one. While there has been much discussion of threats to transparency stemming from externalism, another threat to transparency has gar- nered less attention. This novel threat arises if MOPs are robust, as I argue they should be according to internalist views of MOPs which identify them with represen- tational vehicles, (...) such as mental files. I explain how identifying MOPs with vehicles/files threatens trans- parency, provide empirical illustrations, and critically examine some attempts to dispel the threat. Rather than abandoning transparency, I outline a way of reconciling it with a robust view of mental files which takes seriously the idea that they are targets for investigation in cogni- tive science. Transparency does not require introspective access, and rather than as an incontrovertible principle for individuating MOPs, we can view it more modestly, as an open empirical hypothesis. (shrink)

I argue that the act-based accounts of propositions, like the one defended by Soames, cannot be used to address Frege’s Puzzle without also giving up the Millian view of names. I begin by identifying two puzzles—both of which have been called Frege’s puzzle—and discuss the act-based theorist’s solution to the first puzzle. I then raise an objection against the solution and argue that it cannot be overcome unless a concession is made. Making the concession, however, would make it impossible for (...) the act-based theorist to solve the second puzzle. I further argue that any attempt to solve the puzzle while also maintaining a commitment to the Millian view will force such theoretical commitments on the act-based theorist which seriously undermine the scope and motivation of the act-based approaches. Thus, any solution to Frege’s puzzle on the act-based account is bound to conflict with the Millian view of names. (shrink)

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

In this paper, I argue that mental files are both concepts and bodies of information, against the existing views proposed by Fodor and Recanati. Fodor argues that mental files are not concepts but memories of information because concepts are mental symbols. However, Fodor’s argument against the identification of mental files with concepts fails. Recanati disagrees with Fodor and argues that mental files are concepts. But Recanati’s view does not differ essentially from Fodor’s because Recanati holds that mental files are simple (...) mental symbols that cannot be composite entities such as bodies of information. I show that Recanati fails to capture the significance of the notion of mental files as repositories of information. More importantly, we should accept that mental files are bodies of information that literally contain pieces of information. By holding that concepts are bodies of information, we can provide a simpler account with a wider explanatory scope that explains how concepts carry cognitive significance and why one concept is deployed in thought instead of another co-referring concept. (shrink)

In the mental files framework, mental files contain pieces of information. Then, how can we explain the fact that multiple pieces of information are stored in a single mental file? This fact can be called ‘co-filing’. Recanati recommends an account of co-filing as a way to avoid the circularity that can occur when one attempts to explain co-filing in terms of the fact that pieces of information are taken to be about the same object. I argue that his account is (...) far from being satisfactory and that co-filing needs to be regarded as a primitive fact. In other words, co-filing is not what needs to be explained within the mental files framework. The right question to be dealt with is what we can explain based on co-filing. (shrink)

Lawlor-Krista_Files-indexicals-and-descriptivism.

The idea that language is a homogeneous code is a massive simplification. In actual fact, we constantly use a wide array of codes, be they other languages, dialects, registers, or special purpose codes . In this paper we provide a formal analysis of code switching.

In this paper I argue that in contrast to natural languages, logical languages typically are not compositional. This does not mean that the meaning of expressions cannot be determined at all using some well-defined set of rules. It only means that the meaning of an expression cannot be determined without looking at its form. If one is serious about the compositionality of a logic, the only possibility I see is to define it via abstraction from a variable free language.

There is a solution to the antinomy of the variable that does not call for semantic relationism. I argue that if we carefully distinguish between variable types and variable tokens or occurrences, and if we take the number of variable types involved properly into account, then coordination among variable tokens or occurrences is reducible to an intrinsic semantic feature of those tokens or occurrences. The fact that two tokens or occurrences of the same variable type contained in the same sentence (...) or context assume the same value at a time derives from an intrinsic semantic feature of a token or occurrence, namely from being a token or occurrence of a type whose tokens or occurrences must assume the same value at a time if contained in the same sentence or context. (shrink)