The Nature of Contents, Misc

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does not mean (...) that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

The purpose of this paper is to lay out the algebraic approach to propositions and then to show how it can be implemented in new solutions to Frege's puzzle and a variety of related puzzles about content.

By endorsing that Bildung is a condition for thought, McDowell explicitly sets out to revive a theme in classical german philosophy. As long as the concept of Bildung is intended to play a role in McDowell’s theory of meaning and reasons, however, it is best understood in the light of its distinctive combination of neo-Fregeanism about content and Wittgensteinianism about rule-following. The Fregean part is there to warrant that reasons are objective, the Wittgensteinian move is to account for our grasping (...) of reasons. I argue that, as it stands, the project can hardly succeed. According to this reading, Bildung not only provides the epistemic resources to access reasons. It shapes them in a way that is in tension with the idea that reasons are objective. I conclude with a guess about the amendment needed to keep the project in the air. (shrink)

A satisfactory solution to the problem of consciousness would take the form of a simple yet fully general model which specifies the precise conditions under which any given state of consciousness occurs. Science has uncovered numerous correlations between consciousness and neural activity, but it has not yet come anywhere close to this. We are still looking for the Newtonian laws of consciousness. -/- One of the main difficulties with consciousness is that we lack a language in which to formulate illuminating (...) generalizations about it. Philosophers and scientists talk about "what it’s like", sensations, feelings, and perceptual states such as seeing and hearing. This language does not allow a precise articulation of the internal structures of conscious states and their inter-relations. It is inadequate to capture relations of the kind we are looking for between conscious states and physical states. -/- In this thesis I refine and defend a theory of consciousness which promises to solve this regimentation problem: the representational theory of consciousness. I argue that the representational theory can solve the regimentation problem and smooth out other important obstacles to a fruitful study of consciousness. I also make a case for the theory independently of its payoffs, and I discuss the leading opposing theories at some length. (shrink)

0. Relativistic Content In standard semantics, propositional content, whether it be the content of utterances or mental states, has a truth-value relative only to a possible world. For example, the content of my utterance of ‘Jim is sitting now’ is true just in case Jim is sitting at the time of utterance in the actual world, and the content of my belief that Alice will give a talk tomorrow is true just in case Alice will give a talk on the (...) day following the occurrence of my belief state in the actual world. Let us call propositional content which has a truth-value relative only to a possible world ‘non-relativistic content’. Non-relativistic content can be treated as either structured or unstructured. On the unstructured-content view, non-relativistic content is a set of possible worlds and bears the truth-value true just in case the actual world is a member of that set. For example, the content of my utterance of ‘Jim is working now’ at time t is the set of worlds in which Jim is working at t, and this content is true just in case the actual world is among those worlds. On the structured-content view, non-relativistic content is a set or conglomeration of properties and/or objects, where properties are features which objects possess regardless of who considers or observes them and regardless of when they are being considered or observed. Such properties are said to be (or represent) functions from possible worlds to extensions. Relative to a possible world they determine a set of objects instantiating the property. For example, relative to the actual world the property of being human determines the set of actual humans. Not all content is non-relativistic. Let us say that propositional content is relativistic just in case it possesses a truth-value only relative to a centered world. A centered world is a possible world in which an individual and a time are marked, where the marked individual.. (shrink)

For many years now, Harnad has argued that transduction is special among cognitive capacities -- special enough to block Searle's Chinese Room Argument. His arguments (as well as Searle's) have been important and useful, but not correct, it seems to me. Their arguments have provided the modern impetus for getting clear about computationalism and the nature of computing. This task has proven to be quite difficult. Which is simply to say that dealing with Harnad's arguments (as well as Searle's) has (...) been difficult. Turing, it turns out, only got us started. But Harnad's (and Searle's) arguments ultimately fail. Turing, it turns out, was on the right track. (shrink)

In recent years non-conceptual content theorists have taken Kant as a reference point on account of his notion of intuition (§§ 1-2). The present work aims at exploring several complementary issues intertwined with the notion of non-conceptual content: of these, the first concerns the role of the intuition as an indexical representation (§ 3), whereas the second applies to the presence of a few epistemic features articulated according to the distinction between knowledge by acquaintance and knowledge by description (§ 4). (...) This work intends to dismiss the possibility that intuition may have an autonomous function of de re knowledge in support of an interpretative reading which can be labelled as weak conceptualism. To this end, the exploration will be conducted from a strictly transcendental perspective – i.e., by referring to the so called theory of the “concept of a transcendental object”. (shrink)

This book contains eleven original papers about intentionality. Some explore current problems such as the status of intentional content, the intentionality of perception and emotion, the connections between intentionality and normativity, the relationship between intentionality and consciousness, the characteristics of the intentional idiom. Others discuss the work of historical figures like Locke, Brentano, Husserl and Frege.

John Searle’s “thesis of the Background” is an attempt to articulate the role of nonintentional capacities---know-how, skills, and abilities---in constituting intentional phenomena. This essay applies Searle’s notion of the Background to shed light on the Daoist notion of w’u-w’ei---“non-action” or non-intentional action---and to help clarify the sort of activity that might originally have inspired the w’u-w’ei ideal. I draw on Searle’s work and the original Chinese sources to develop a defensible conception of a w’u-w’ei-like state that may play an intrinsically (...) and instrumentally valuable role in the exercise of agency. At the same time, however, I argue that Searle’s view that “Intentionality rises to the level of the Background abilities” convincingly explains why the conception of w’u-w’ei presented in ancient texts is untenable. W’u-w’ei-like states can generally occur only as components of an intentional flow of activity, and thus they are not fundamentally nonintentional. (shrink)

In this paper I argue that there is a class of attitudes that have questions (rather than propositions or something else) as contents.

With contributions from some of the key figures in the contemporary debate on relativism this book is about a topic that is the focus of much traditional and ...

It is often presupposed that an anti-individualist about representational mental states must choose between two accounts of no-reference cases. One option is said to be an ‘illusion of thought’ version according to which the subject in a no-reference case fails to think a first-order thought but rather has the illusion of having one. The other is a ‘descriptive’ version according to which one thinks an empty thought via a description. While this presupposition is not uncommon, it rarely surfaces in an (...) explicit manner. Often, it is visible only when a theorist argues directly from the falsity of one of the two views to the truth of the other. However, Jessica Brown’s recent work on anti-individualism clearly illustrates the presupposition. In contention with Brown’s and others presupposition, arguments for two conclusions about the nature of anti-individualism are set forth. First, the choice between the illusion and descriptive version of anti-individualism is a dilemma. Each version of anti-individualism is prone to problems. Second, the choice is a false dilemma. There is another, less problematic, anti-individualistic account of reference failure. (shrink)

It is customarily assumed that propositional attitudes present two independent components: a propositional component and a psychological component, in the form of an attitudes. These two components are caught by means of two different methods: propositions by some model theoretic theory, psychological attitudes by making appeal to their functional or psychological role. Some authors have seek a convergence by individuating propositions by some Functional role semantics. In this paper I show that when it comes to emotional attitudes with propositional content, (...) either the independence of proposition and attitude collapses or functional role semantics brings to unstable individuation conditions for propositions. Some consequences of these two outcomes are considered. (shrink)

Abstract: One oft-cited feature of speech acts is their expressive character: Assertion expresses belief, apology regret, promise intention. Yet expression, or at least sincere expression, is as I argue a form of showing: A sincere expression shows whatever is the state that is the sincerity condition of the expressive act. How, then, can a speech act show a speaker's state of thought or feeling? To answer this question I consider three varieties of showing, and argue that only one of them (...) is suited to help us answer our question. I also argue that concepts from the evolutionary biology of communication provide one source of insight into how speech acts enable one to show, and thereby express, a psychological state. (shrink)

This paper offers a positive account of an important but under-explored class of mental states, non-propositional attitudes such as loving one’s department, liking lattice structures, fearing Freddy Krueger, and hating Sherlock Holmes. In broadest terms, the view reached is a representationalist account guided by two puzzles. The proposal allows one to say in an elegant way what differentiates a propositional attitude from an attitude merely about a proposition. The proposal also allows one to offer a unified account of the non-propositional (...) attitudes that captures both empty and non-empty cases by properly locating the posited representations in the metaphysical structure of the attitudes. (shrink)

Propositionalists hold that, fundamentally, all attitudes are propositional attitudes. A number of philosophers have recently called the propositionalist thesis into question. It has been argued, successfully I believe, that there are attitudes that are of or about things but which do not have a propositional content concerning those things. If correct, our theories of mind will include non-propositional attitudes as well as propositional attitudes. In light of this, Sinhababu’s recent attack on anti-propositionalists is noteworthy. The present paper aims to sharpen (...) his worries and show that they fail for a range of reasons. Besides merely offering a reply, considering his challenges provides an opportunity to add clarity to this emerging area of research and it allows one to strengthen the case against propositionalism more generally. (shrink)

Although philosophers of art and aesthetics regularly appeal to a notion of ‘pictorial content’, there is little agreement over its nature. The present paper argues that pictures have propositional contents. This conclusion is reached by considering a style of argument having to do with the phenomenon of negation intended to show that pictures must have some kind of non-propositional content. I first offer reasons for thinking that arguments of that type fail. Second, I show that when properly understood, such arguments (...) can in fact be turned on their heads and shown to support the propositionalist position. (shrink)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to non-propositional objects and do (...) so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (shrink)

This paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...) system. Then, we discuss crucial differences between S-representations and indicators or detectors, showing that—contrary to claims made in the literature—there is an important theoretical distinction to be drawn between the two. (shrink)

I argue that recent attempts to show that meaning and content are not normative fail. The two most important arguments anti-normativists have presented are what I call the ‘argument from constitution’ and the ‘argument from guidance’. Both of these arguments suffer from the same basic problem: they overlook the possibility of focusing on assessability by norms, rather than compliance with norms or guidance by norms. Moreover, I argue that the anti-normativists arguments fail even if we ignore this basic problem. Thus, (...) we have not been given good reasons to think that normativism is false. (shrink)

For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...) then develop an account on which informational contents are indeterminate in their membership. This allows there to be cases in which it is indeterminate whether a given deduction is informative. Nevertheless, on the picture I present, there are determinate cases of informative (and determinate cases of uninformative) inferences. I argue that the model I offer is the best way for an account of content to respect the meaning of the logical constants and the inference rules associated with them without collapsing into a classical picture of content, unable to account for informative deductive inferences. (shrink)

More than ever, it is in vogue to argue that no norms either play a role in or directly follow from the theory of mental content. In this paper, I present an intuitive theory of intentionality (including a theory of mental content) on which norms are constitutive of the intentional properties of attitude and content in order to show that this trend is misguided. Although this theory of intentionality—the teleological theory of intentional representation—does involve a commitment to representational norms, these (...) norms are not problematic in the way critics have suggested they would be. In particular, these norms do not guide thinking by motivating intentional agents to (intentionally) accord with them; as a result, no obvious vicious regress threatens the theory. In the final section of this paper, I argue that accepting this teleological theory of intentionality need not commit one to thinking that intentionality is the product of natural selection. (shrink)

In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...) should be thought of as varying with some (more or less surprising) factor. In this, first, article, I shall discuss the general issue of relativism about representational content. I shall claim that there are legitimate ways of attributing contents that are absolute truth-bearers, and there are also equally legitimate ways of attributing relativistic representational contents. In the companion piece “Relativism 2: Semantic Content”, I look in more detail at the more specific question whether semantic contents (i.e. the contents assigned to linguistic utterances in the semantics of natural language) should be construed in an absolutist or a relativist way. (shrink)

I compare Potts’ use of a ‘‘judge’’ parameter in semantic interpretation with the use of a similar parameter in Lasersohn (2005). The latter technique portrays the content of expressives as constant across speakers, while Pott’s technique does not. The idea that the content of expressives is a kind of presupposition is also briefly defended, and a technical problem in the ‘‘dynamics’’ of Pott’s formalism is pointed out.

What we can call asymmetric disagreement occurs when one agent is in disagreement with another, but not vice-versa. In this paper, I give an example of and develop a framework for understanding this phenomenon. One pivotal feature of my example is that one of the agents in the scenario has a belief about what might be the case—a might-belief. I show that a traditional account of might-beliefs and disagreement cannot explain the initially surprising phenomenon of asymmetric disagreement. In order to (...) provide an explanation, I develop a dynamic account of might-beliefs and a corresponding account of disagreement. I close by exploring a choice point for our account—showing that the simple dynamic account has some controversial (though, perhaps, true) consequences. I explore how revisionary notions of validity, inconsistency, and disagreement can allow us to avoid these consequences if we wish. (shrink)

The senses present their content in the form of images, three-dimensional arrays of located sense features. Peacocke’s “scenario content” is one attempt to capture image content; here, a richer notion is presented, sensory images include located objects and features predicated of them. It is argued that our grasp of the meaning of these images implies that they have propositional content. Two problems concerning image content are explored. The first is that even on an enriched conception, image content has certain expressive (...) limitations. In particular, it cannot express absolute location and time (as opposed to spatiotemporal relations) or logical complexity. Yet, perceptual experience does seem to express certain absolute locations—namely, here and now. How can it do so? Secondly, image content cannot exhaust the significance of perceptual states. This is proved by noting that perception, memory, and anticipation can have the same image content. Yet they have different significance. These problems show that some of the significance of sensory states comes from outside the image. (shrink)

The authors attempt to show that certain forms of behavior of the human immune system are illuminatingly regarded as errors in that system's operation. Since error-ascription can occur only within the context of an intentional/teleological characterization of the system, it follows that such a characterization is illuminating. It is argued that error-ascription is objective, non-anthropomorphic, irreducible to any purely causal form of explanation of the same behavior, and further that it is wrong to regard all errors of the immune system (...) as due to malfunction or maladaptation. <br>. (shrink)

There are two arguments in contemporary philosophy of consciousness and perception with which every theory of sensory awareness and phenomenal presence must deal: the Argument from Transparency and the Argument from Revelation. The first one is about the intentionality of sensations or conscious sensory states and the second one is about their epistemic role. These both arguments depend, on the one hand, on specific interpretations of ‘transparency’ and ‘revelation’ and, on the other hand, on specifying the formal structures that they (...) have. My main aim is to specify the conceptual conditions of conceivability of the explananda of a theory of phenomenal presence by analyzing transparency and revelation and their corresponding arguments. I will argue that we can arrive to neutral versions of the both arguments which do not depend on endorsing metaphysical theses about sensory content. From these versions of the arguments, I will show that to understand the relationships between them will give rise to a basic characterization of what must be explained by any theory of sensory phenomenal presence. My plan is as follows. In the first part I will present what I think to be the standard interpretations of the two arguments, their logical structures and the interpretations that I take to be the more neutral ones. Hence, I will offer an analysis of each one which allows us to identify some metaphysical and epistemological commitments of their interpretative alternatives. In the second part I will relate these arguments and I will make explicit their strongest relationships. I will present the working concepts of ‘transparent’ and ‘revealed’ and what I call the Transparency-Revelation Argument characterizing the explananda of a non-reductive theory of phenomenal presence. Such argument gives rise to three claims which will be presented as describing the basic explananda of a theory of sensory phenomenal presence. Finally, in the third section, I will sketch the main conclusions. -/- . (shrink)

This paper defends Lewis’ (1979a) influential treatment of de se attitudes from recent criticism (Cappelen and Dever, 2013; Holton, 2015) to the effect that a key explanatory notion—self-ascription—goes unexplained. It is shown that Lewis’ treatment can be reconstructed in a way which provides clear responses. This sheds light on the explanatory ambitions of those engaged in Lewis’ project.

A critique of the purely semantic, minimalist notion of 'what is said'.

Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing the idea give (...) rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

The distinction between the semantic content of a sentence or utterance and its use is widely employed in formal semantics. Semantic minimalism in particular understands this distinction as a sharp dichotomy. I argue that if we accept such a dichotomy, there would be no reason to posit the existence of semantic contents at all. I examine and reject several arguments raised in the literature that might provide a rationale for assuming semantic contents, in this sense, exist, and conclude that Ockham’s (...) razor should be applied to these postulated entities. Since the notion of “semantic content” doubles both as what a semantic theory is a priori supposed to account for and as the product of that same theory, it is methodologically unsound to appeal to this notion to fend off criticisms of and counterexamples to semantic theories. (shrink)

Many philosophers deny that a sentence like ‘Sherlock Holmes smokes’ could be true. Yet, this conflicts with speakers’ assignments of the value true to such a sentence. Furthermore, that assignment seems in no way distinct from the process that leads speakers to assign true to other sentences, sentences like ‘Bertrand Russell smokes’. We will explore the idea that when speakers assign the value true to the first sentence, they are not mistaken, nor confused — that we ought to take such (...) assignments at face value. To make this idea plausible, the alternative view will be shown to be inadequate for explaining the phenomenon and for explaining many types of fictional discourse in general. (shrink)

I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the (...) second but not the first desideratum. I argue that to satisfy both desiderata perceptual experience is best conceived of as fundamentally both relational and representational. I develop a view of perceptual experience that synthesizes the virtues of relationalism and representationalism, by arguing that perceptual content is constituted by potentially gappy de re modes of presentation. (shrink)

1. Introduction 2. Reward-Guided Decision Making 3. Content in the Model 4. How to Deflate a Metarepresentational Reading Proust and Carruthers on metacognitive feelings 5. A Deflationary Treatment of RPEs? 5.1 Dispensing with prediction errors 5.2 What is use of the RPE focused on? 5.3 Alternative explanations—worldly correlates 5.4 Contrast cases 6. Conclusion Appendix: Temporal Difference Learning Algorithms.

THE PROBLEM OF EVIL by M. B. Ahern.MORALITY AND RELIGION by W. W. Bartley III.ROLES AND VALUES: AN INTRODUCTION TO SOCIAL ETHICS by R. S. Downie.THE THEORY OF KNOWLEDGE by D. W. Hamlyn.ARGUMENTS FOR THE EXISTENCE OF GOD by John Hick.THE LOGIC OF EDUCATION by P. H. Hirst and R. S. Peters.METALOGIC: AN INTRODUCTION TO THE METATHEORY OF STANDARD FIRST ORDER LOGIC by Geoffrey Hunter.ETHICAL KNOWLEDGE by J. J. Kupperman.LOGIC AND METAPHYSICS IN ARISTOTLE by Walter Leszl.MEMORY by Don Locke.JOHN STUART (...) MILL. A critical study by H. J. McCloskey.ATHEISM AND ALIENATION by Patrick Masterson.REASONS FOR ACTIONS by Richard Norman.CONCEPTS OF DEITY by H. P. Owen.COLLECTED PAPERS BY GILBERT RYLE.LOGICO‐LINGUISTIC PAPERS by P. F. Strawson.TRUTH by Alan R. White.PROTOTRACTATUS, AN EARLY VERSION OF TRACTATUS LOGICO‐PHILOSOPHICUS by Ludwig Wittgenstein. (shrink)

One of the leading exponents of W's ideas on the language games of inner and outer (the `Two Selves' operation of our personality or intentionality or EP etc.) is the prolific Daniel Hutto (DH). His approach is called `Radical Enactivism' and is well explained in numerous recent books and papers (see my review of Radicalizing Enactivism) and a new one is appearing as I write (Evolving Enactivism). It is a development of or version of the Embodied Mind ideas now current (...) and, cleansed of its jargon, it is a straightforward extension of W's 2nd and 3rd period writings (though Hutto seems only intermittently aware of this). Unfortunately in 2006 Hutto had not yet arrived at his Radical Enactivism, so much time is wasted on McDowell and Brandom and of course none of them to this day have totally digested the later W and his prescient analysis of automatic behavior-so fully in tune with contemporary research. Nor is there any discussion of Searle's groundbreaking and completely Wittgensteinian (unwittingly) disquisitions on the Construction of Social Reality. Thus his chapters 5 and 6 on Realism and Idealism etc., though superb for 2002, need a complete rewrite from a modern two systems viewpoint and I provide a start on that in my review. Much time is wasted on Davidson and Williams, etc. but one can endure them for Hutto's brilliant analyses and the frequent quotes from W. The last chapter gives his critic Rupert Read the counterblast he deserves and permits a slight update to 2006. Overall a lovely book and I eagerly await the third edition which I hope will ensue. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 662p (2016). (shrink)

I present and defend here a thesis named vehicleless externalism for conceptual mental episodes. According to it, the constitutive relations there are between the production of conceptual mental episodes by an individual and the inclusion of this individual in social discursive practices make it non-necessary to equate, even partially, conceptual mental episodes with the occurrence of physical events inside of that individual. Conceptual mental episodes do not have subpersonal vehicles; they have owners: persons in interpretational practices. That thesis is grounded (...) on inferentialism and on the endorsement of the idea that "meaning is normative". After having recapitulated this heritage and after having presented that thesis, the paper especially attempts to articulate how, in that framework, we may then positively conceive the relations there are between conceptual mental episodes, intracranial events and inferential behaviour. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...) atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

Can there be 'narrow' mental content, that is entirely determined by the goings-on inside the head of the thinker? This book argues not, and defends instead a thoroughgoing externalism: the entanglement of our minds with the external world runs so deep that no internal component of mentality can easily be cordoned off.