I develop here a novel version of the Fregean view of belief ascriptions (i.e., sentences of the form ‘S believes that p’) and I explain how my view accounts for various problem cases that many philosophers have supposed are incompatible with Fregeanism. The so-called problem cases involve (a) what Perry calls essential indexicals and (b) de re ascriptions in which it is acceptable to substitute coreferential but non-synonymous terms in belief contexts. I also respond to two traditional worries about what (...) the sense of a proper name could be, and I explain how my view provides intuitively pleasing solutions to Kripke’s ‘London’–‘Londres’ puzzle and his Paderewski puzzle. Finally, in addition to defending my view, I also argue very briefly against Russellian alternatives to Fregeanism. (shrink)

Neuroscience can relate to ethics and normative issues via the brain’s cognitive control network. This network accomplishes several executive processes, such as planning, task-switching, monitoring, and inhibiting. These processes allow us to increase the accuracy of our perceptions and our memory recall. They also allow us to plan much farther into the future, and with much more detail than any of our fellow mammals. These abilities also make us fitting subjects for responsibility claims. Their activity, or lack thereof, is at (...) the heart of culpability. For instance, planning to kill someone is strong evidence of what the law calls mens rea—a guilty mind. Claims about norms, or ethical “should” claims, express two-level propositions, directed at the behaving person at one level, and at that person’s mind and cognitive control network at another level. Thus, “People should stop themselves from hurting others,” is a claim about how people should behave and also a claim about how their cognitive control networks should behave—i.e., they should inhibit harmful behavior, or the intentions leading up to it. Planning is both an ability of the full person, and of that person’s mind. Neuroscience affirms the common notion, seen both in law and folk psychology, that what makes us guilty or culpable are certain events and states that exist in our minds. Overt behavior, including speech, is fallible evidence of these states and processes. Cases of negligence still involve the executive processes, but “negatively,” in that negligence results when certain types of executive activity fail to take place. (shrink)

This paper rejects the imposition of "semantic innocence" as a constraint on semantic theories. In particular, it argues that recent attempts to justify the imposition of "semantic innocence" as a constraint on semantic theories fail.

This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

Counterfactual attitudes like imagining, dreaming, and wishing create a problem for the standard formal semantic theory of de re attitude ascriptions. I show how the problem can be avoided if we represent an agent's attitudinal possibilities using "multi-centered worlds", possible worlds with multiple distinguished individuals, each of which represents an individual with whom the agent is acquainted. I then present a compositional semantics for de re ascriptions according to which singular terms are "assignment-sensitive" expressions and attitude verbs are "assignment shifters".

Most discussions of proper names in fiction concern the names of fictional characters, such as ‘Clarissa Dalloway’ or ‘Lilliput.’ Less attention has been paid to referring names in fiction, such as ‘Napoleon’ (in Tolstoy’s War and Peace) or ‘London’ (in Orwell’s Nineteen Eighty-Four). This is because many philosophers simply assume that such names are unproblematic; they refer in the usual way to their ordinary referents. The alternative position, dubbed Exceptionalism by Manuel García-Carpintero, maintains that referring names make a distinctive semantic (...) contribution in fiction. In this paper I offer a positive argument for Non-Exceptionalism, relying on the claim that works of both fiction and non-fiction can express the same singular propositions. I go on to defend my account against García-Carpintero’s objections. (shrink)

According to an influential variety of the representational view of perceptual experience—the singular content view—the contents of perceptual experiences include singular propositions partly composed of the particular physical object a given experience is about or of. The singular content view faces well-known difficulties accommodating hallucinations; I maintain that there is also an analogue of Frege's puzzle that poses a significant problem for this view. In fact, I believe that this puzzle presents difficulties for the theory that are unique to perception (...) in that strategies that have been developed to respond to Frege's puzzle in the case of belief cannot be employed successfully in the case of perception. Ultimately, I maintain that this perceptual analogue of Frege's puzzle provides a compelling reason to reject the singular content view of perceptual experience. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

Followers of Wittgenstein allegedly once held that a meaningful claim to know that p could only be made if there was some doubt about the truth of p. The correct response to this thesis involved appealing to the distinction between the semantic content of a sentence and features attaching to its use. It is inappropriate to assert a knowledge-claim unless someone in the audience has doubt about what the speaker claims to know. But this fact has nothing to do with (...) the semantic content of knowledgeascriptions; it is entirely explicable by appeal to pragmatic facts about felicitous assertion. (shrink)

On Crimmins and Perry’s account of propositional attitude ascription (1989), beliefs are concrete cognitive structures—particulars ("things in the head") that belong to an agent and that have a lifetime. They are related to the world and to other cognitive structures and abilities, allowing one to classify the latter by propositional content. Containing ideas and notions as constituents, beliefs are structured entities. The difference between notions and ideas is the difference between an agent’s ways of thinking about individuals vs. properties.

The so-called ‘mental files theory’ in the philosophy of mind stems from an analogy comparing object-concepts to ‘files’, and the mind to a ‘filing system’. Though this analogy appears in philosophy of mind and language from the 1970s onward, it remains unclear to many how it should be interpreted. The central commitments of the mental files theory therefore also remain unclear. Based on influential uses of the file analogy within philosophy, I elaborate three central explanatory roles for mental files. Next, (...) I outline several common criticisms of the file picture, which have been a source of resistance to the view. Finally, I outline several interpretations of the theory, thus highlighting that the best interpretation of the file-theory's central analogy remains a live issue. (shrink)

In a novel move against Russellianism, Heck (2014) has argued that reports of the form S believes that p are semantically opaque on the grounds that there are no other means in English to report psychologically individuated beliefs, such as those Lois Lane reports using the names ‘Superman’ and ‘Clark Kent.’ I show that there are several other ways to meet this need. I focus on quotational reports of the form S believes “p,” which philosophers have overlooked or mischaracterized. I (...) argue that reports of this form are no more metalinguistic than those using the complementizer that. In both, the meaning of the report depends on the meaning, not the form, of the complement. Some distinguishing features of non-metalinguistic quotational reports are that their complements force “deictic shift” and have no transparent interpretation. Free direct speech and thought bubbles have the same properties. The “q-ascriptions” McCullagh (2017a) proposed to defend Russellianism against Heck are not in common use and on his account are unsuitably metalinguistic. The fact that quotational belief reports are opaque without being metalinguistic makes the Russellian thesis that the meaning of a name is its referent untenable, thereby undermining Russellianism about belief reports. (shrink)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

I explain and criticize a theory of beliefs and of belief sentences offered by Graeme Forbes. My main criticism will be directed at Forbes' idea that, as a matter of the semantic rules of belief reporting -- as a matter of the meaning of belief ascriptions -- to get at the subject's way of thinking in an attitude ascription, we must use expressions that are "linguistic counterparts" of the subject's expressions. I think we often do something like that, but that (...) we have other, equally good methods of getting at ways of thinking; so what is wanted is a more inclusive characterization of the rules of belief reporting by which we manage to do it -- a characterization more along the lines of: anything goes. (shrink)

I wish first to motivate very briefly two points about the kind of context sensitive semantics needed for attitude reports, namely that reports are about referents and about mental representations; then I will compare two proposals for treating the attitudes, both of which capture the two points in question.

Much of the best contemporary work in the philosophy of language and content makes appeal to the theories developed in generative syntax. In particular, there is a presumption that—at some level and in some way—the structures provided by syntactic theory mesh with or support our conception of content/linguistic meaning as grounded in our first-person understanding of our communicative speech acts. This paper will suggest that there is no such tight fit. Its claim will be that, if recent generative theories are (...) on the right lines, syntactic structure provides both too much and too little to serve as the structural partner for content, at least as that notion is generally understood in philosophy. The paper will substantiate these claims by an assessment of the recent work of King, Stanley, and others. (shrink)

We provide an account of necessary a posteriori identity statements that relies upon Perry’s multipropositionalism. On our account an utterance of, e.g., ‘Hesperus is Phosphorus’, semantically makes available several propositions, one of which is necessary (and a priori) and another of which is a posteriori (and contingent). Since our view resembles two-dimensionalism, one might assume that it is undermined by the sorts of nesting arguments that Soames and others have raised against two-dimensionalism. We demonstrate, however, that our account is immune (...) to such nesting arguments. (shrink)

There are at least four varieties of quotation, including pure, direct, indirect and mixed. A theory of quotation, we argue, should give a unified account of these varieties of quotation. Mixed quotes such as 'Alice said that life is 'difficult to understand'', in which an utterance is directly and indirectly quoted concurrently, is an often overlooked variety of quotation. We show that the leading theories of pure, direct, and indirect quotation are unable to account for mixed quotation and therefore unable (...) to provide a unified theory. In the second half of the paper we develop a unified theory of quotation based on Davidson's demonstrative theory. 'Language is the instrument it is because the same expression, with semantic features (meaning) unchanged, can serve countless purposes.' (Davidson 1968). (shrink)

Millianism and Fregeanism agree that a sentence that contains a name expresses a structured proposition but disagree about whether that proposition contains the object that the name refers to (Millianism) or rather a mode of presentation of that object (Fregeanism). Various problems – about simple sentences, propositional‐attitude ascriptions, and sentences that contain empty names – beset each view. To solve these problems, Millianism can appeal to modes of presentation, and Fregeanism can appeal to objects. But this raises a further problem: (...) namely, to explain why the proposition expressed by a sentence that contains a name matters in some cases but not in others. (shrink)

The traditional point of view on analyticity implies that truth in virtue only of meaning entails a priori acceptability and vice versa. The argument for this claim is based on the idea that meaning as it concerns truth and meaning as it concerns competence are one and the same thing. In this paper I argue that the extensions of these notions do not coincide. I hold that truth in virtue of meaning— truth for semantic reasons—doesn't imply a priori acceptability, and (...) that a priori reflection based only on knowledge of meaning—in the sense of competence—doesn't necessitate true conclusions.The main consequence of this view concerns conceptual analysis, as it presupposes we have a privileged—incorrigible in the face of empirical evidence—access to non-trivial truths about the world on the basis of mere a priori reflection founded on meaning. If, as I argue, such access is not incorrigible the project of conceptual analysis loses its special epistemological status. (shrink)

The traditional point of view on analyticity implies that truth in virtue only of meaning entails a priori acceptability and vice versa. The argument for this claim is based on the idea that meaning as it concerns truth and meaning as it concerns competence are one and the same thing. In this paper I argue that the extensions of these notions do not coincide. I hold that truth in virtue of meaning— truth for semantic reasons—doesn't imply a priori acceptability, and (...) that a priori reflection based only on knowledge of meaning—in the sense of competence—doesn't necessitate true conclusions.The main consequence of this view concerns conceptual analysis, as it presupposes we have a privileged—incorrigible in the face of empirical evidence—access to non‐trivial truths about the world on the basis of mere a priori reflection founded on meaning. If, as I argue, such access is not incorrigible the project of conceptual analysis loses its special epistemological status. (shrink)

Philosophy and Phenomenological Research, EarlyView.

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same belief can (...) be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

Attitude reports are reports about people’s states of mind. They are reports about what people think, believe, know, know a priori, imagine, hate, wish, fear, and the like. So, for example, I might report that s knows p, or that she imagines p, or that she hates p, where p specifies the content to which s is purportedly related. One lively current debate centers around the question of what sort of specification is involved when such attitude reports are successful. Some (...) hold that it is specification of the precise content of a mental state; others hold that it is specification of the content of a mental state only relative to a mode of presentation; yet others hold that it is merely a description or characterization of the content of a mental state. After providing a brief introduction to the traditional debate on attitude reports, this entry argues that for certain kinds of knowledge reports and for so-called de re attitude reports, descriptive theories emerge as the most plausible. The entry concludes with a discussion of how the characterizing relation between attitude reports and mental states might be construed. (shrink)

David Chalmers uses Bayesian theories of credence to argue against referentialism about belief. This paper argues that Chalmers’s Bayesian objections to referentialism are similar to older, more familiar objections to referentialism. There are familiar responses to the old objections, and there is a predictable way to modify those old responses to meet Chalmers’s Bayesian objections. The new responses to the new objections are no less plausible than the old responses to the old objections. Chalmers’s positive theory of belief and credence (...) is structurally similar to typical referential theories of those objects, but his theory is more speculative and dubious. (shrink)

A structured character is a semantic value of a certain sort. Like the more familiar Kaplanian characters, structured characters determine the contents of expressions in contexts. But unlike Kaplanian characters, structured characters also have constituent structures. The semantic theories with which most of us are acquainted do not mention structured characters. But I argue in this paper that these familiar semantic theories fail to make obvious distinctions in meaning---distinctions that can be made by a theory that uses structured characters. Thus (...) I conclude that we should reject these familiar semantic theories, and accept a semantic theory that includes structured characters among its semantic values. (shrink)

The Adaptive Character of Thought John R. Anderson, Hillside, NJ, Lawrence Erlbaum, Associates Inc., 1990The Psychology of Today's Woman: new psychoanalytic visions Toni Bernay & Dorothy W. Canton, Harvard University Press $12.95Leamability and Cognition: the acquisition of argument structure Steven Pinker, Cambridge, MA, The MIT Press, 1989 xiv + 410ppPropositional Attitudes, an essay on thoughts and how we ascribe them Mark Richard, Cambridge, Cambridge University Press, 1990 275 pp., 829.95Science and its Fabrication Alan Chalmers, Open University Press, Milton Keynes 1990, (...) 142pp ISBN 0–335–09318–3 ISBN 0–335–09317–5. (shrink)

This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.

Ever since Kripke’s influential arguments against descriptivism philosophers have attempted to provide solutions to Frege’s puzzle of substitution failure that adhere to Naïve Semantics—the view that names contribute their referents and referents alone to propositions expressed by sentences containing them. Recently, philosophers have also appealed to psychological objects called mental files, which are used to represent and store information on individuals, in solving the puzzle. Combining the two promises to revive a simple commonsensical theory while, at least prima facie, doing (...) away with the need to rely on Fregean senses. Though I welcome the combined approach, I argue that the only plausible version of it is a pretense-based one. (shrink)

Although much has been written about the truth-conditions of de re attitude reports, little attention has been paid to certain ‘ultra-liberal’ uses of those reports. We believe that if these uses are legitimate, then a number of interesting consequences for various theses in philosophical semantics follow. The majority of the paper involves describing these consequences. In short, we argue that, if true, ultra-liberal reports: bring counterexamples to a popular approach to de re attitude ascriptions, which we will call ‘descriptivism’; and (...) combine with independently plausible principles about the logic of belief to imply that subjects can achieve omniscience about what exists from the armchair. Although we are not committed to the view that ultra-liberal reports are false, in the final part of the paper we discuss the prospects of pursuing a line according to which the acceptability of such reports ought not be taken at face value. We conclude by arguing that those who are sympathetic with this move might have reason to doubt the truth of an even broader class of acceptable de re attitude reports, namely those that have been taken to undermine orthodox accounts of de re attitude ascriptions. (shrink)

Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...) she reports Pete as believing is entailed by Pete’s beliefs if they are revised in light of Jane and Jim’s background knowledge. We provide a semantic theory of revisionist reports based on this idea. We observe that the admissible “revisions” are limited in a striking way. Jane cannot say ‘Pete thinks Ann is a 6-year-old and can play tennis in ten lessons’ in the same context that she can say ‘Pete believes Ann can learn to play tennis ten lessons’, even though this too follows from Jane and Jim’s background knowledge together with what Pete believes. Our theory predicts the infelicity of these latter reports. It also has the resources to predict the truth of “exported” attitude reports and casts the relationship between these reports and “singular thought” in a new light. We conclude by discussing how revisionist reports make trouble for a simplistic view of the connection between the relations expressed by attitude verbs in natural language and the relations of most interest to philosophers of mind and cognitive science. (shrink)

In this paper, I raise a problem for standard precisifications of the Relational Analysis of attitude reports. The problem I raise involves counterfactual attitude verbs. such as ‘wish’. In short, the trouble is this: there are true attitude reports ‘ S wishes that P ’ but there is no suitable referent for the term ‘that P ’. The problematic reports illustrate that the content of a subject’s wish is intimately related to the content of their beliefs. I capture this fact (...) by moving to a framework in which ‘wish’ relates subjects to sets of pairs of worlds, or paired propositions, rather than—as is standardly assumed—sets of worlds. Although other types of counterfactual attitude reports, for example those involving ‘imagine’, may be similarly problematic, at this stage it is unclear whether they can be handled the same way. (shrink)

According to semantic minimalism, context-invariant minimal semantic propositions play an essential role in linguistic communication. This claim is key to minimalists’ argument against semantic contextualism: if there were no such minimal semantic propositions, and semantic content varied widely with shifts in context, then it would be “miraculous” if communication were ever to occur. This paper offers a critical examination of the minimalist account of communication, focusing on a series of examples where communication occurs without a minimal semantic proposition shared between (...) speaker and hearer. The only way for minimalists to respond to these examples is by restricting the scope of their account to intra-lingual communication. It can then be shown that the minimalist’s notion of a language shrinks to a point, such that practically no instances of communication will fall under that account, and that the retreat to intra-lingual communication is in any case self-defeating, since the only way for minimalists to account for the individuation of languages is by resort to precisely the kinds of contextual considerations they abjured in the first place. In short, if, as minimalists allege, contextualism founders because it renders communication contingent on speaker and hearer sharing a context, it can now be seen that minimalism faces a parallel problem because it renders communication contingent on speaker and hearer sharing a language. I end by arguing that the possibility of communication cannot, as minimalists assume, be grounded in shared semantic conventions; rather, successful communication must precede the establishment of any particular set of semantic conventions. (shrink)

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

It is argued here that there is no fact of the matter between direct reference theory and neo-Fregeanism. To get a more precise idea of the central thesis of this paper, consider the following two claims: (i) While direct reference theory and neo-Fregeanism can be developed in numerous ways, they can be developed in essentially parallel ways; that is, for any (plausible) way of developing direct reference theory, there is an essentially parallel way of developing neo-Fregeanism, and vice versa. And (...) (ii) for each such pair of theories, there is no fact of the matter as to which of them is superior; or more precisely, they are tied in terms of factual accuracy. These are sweeping claims that cannot be fully justified in a single paper. But arguments are given here that motivate these theses, i.e., that suggest that they are very likely true. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Anyone weary of endless philosophical debate on belief reports will find welcome relief in this book. Talking not just about belief talk but about belief itself, it offers much that is new, interesting, and subtle. The central thesis, though interestingly and subtly developed, is not exactly new. It is a version of the “hidden indexical theory” (HIT) of..

The traditional puzzles about belief reports puzzles rest on a certain seemingly innocuous assumption, that 'that'-clauses specify belief contents. The main theories of belief reports also rest on this "Specification Assumption", that for a belief report of the form 'A believes that p' to be true,' the proposition that p must be among the things A believes. I use Kripke's Paderewski case to call the Specification Assumption into question. Giving up that assumption offers prospects for an intuitively more plausible approach (...) to the semantics of belief reports. But this approach must confront a puzzle of its own: it turns out that every case is a Paderewski case, at least potentially. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. On (...) this approach, a first pass account of propositional attitudes is the following (cf. Field 1978: 37 and Fodor 1987: 17). (shrink)

In philosophy, as in any other theoretical endeavor, it is not rare to find conflicting but equally well grounded positions. Besides defending one of the positions and criticizing the other, philosophers can opt for pursuing other, more sophisticated, approaches aimed at incorporating the insights, intuitions, and arguments from both sides of the debate into a unified theory: Dialetheism, Analetheism, Gradualism, Pluralism and Relativism. The purpose of this article is to present each strategy's basic argumentative structure, relative strengths, and challenges, trying (...) to determine in which situations one is more appropriate than the others. Despite substantial differences between them, all four options have deep structural similarities; and which option is better for which dilemma or paradox will depend ultimately on a combination of epistemological, linguistic, and metaphysical factors. (shrink)