This paper argues that the obvious validity of certain inferences involving indirect speech reports as premises and truth or falsity ascriptions as conclusions is incompatible with Davidson's so-called "paratactic" analysis of the logical form of indirect discourse. Besides disqualifying that analysis, this problem is also claimed to indicate that the analysis is doubly in tension with Davidson's metasemantic views. Specifically, it can be reconciled neither with one of Davidson's key assumptions regarding the adequacy of the kind of semantic theory he (...) recommends nor with one of his key assumptions regarding the inadequacy of a kind of semantic theory he rejects. (shrink)

The purpose of this paper is to assess the general viability of Donald Davidson's paratactic theory of indirect discourse, as well as the specific plausibility of a reincarnated form of the Davidsonian paratactic theory, Gary Kemp's propositional paratactic theory. To this end I will provide an introduction to the Davidsonian paratactic theory and the theory's putative strengths, thereafter noting that an argument from ambiguity seems to effectively undermine Davidson's proposal. Subsequently, I will argue that Kemp's modification of Davidson's theory – (...) that is, Kemp's attempt to respond to the ambiguity objection – adequately handles the classic argument from ambiguity but fails in the face of a new problem of ambiguity that I will introduce. Finally, I will argue that there are more devastating and basic problems for the paratactic theory generally, and that even if Kemp's modifications had succeeded, they would not have given adequate plausibility to the paratactic proposal. (shrink)

Propositionalism is the view that all intensional constructions (including nominal and clausal attitude reports) can be interpreted as relations to truth-evaluable propositional content. While propositionalism has long been silently assumed in semantics and the philosophy of language, it has only recently entered center stage in linguistic research. This article surveys the properties of intensional constructions, which require the introduction of fine-grained semantic values (intensions). It contrasts two ways of obtaining such values: through the introduction of either Russellian propositions or Frege-Church-style (...) senses. The article identifies propositionalism with a specific variant of the Russellian strategy, reviews key arguments for propositionalism, and compares familiar varieties of propositionalism on the basis of instructive examples. It closes by discussing various challenges for propositionalism and suggesting a generalization of propositionalism that meets some of these challenges. Because of the association of propositions with semantic information, the article also addresses the more general question of whether all information content (including mental and pictorial content) is propositional. (shrink)

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

Attempting to deflate ontological debates, the proponent of Quantifier Variance (QV) claims that there are multiple quantifier meanings of equal metaphysical merit. According to Hirsch—the main proponent of QV—metaphysical merit should be understood intensionally: two languages have equal merit if they allow us to express the same possibilities. I examine the notion of metaphysical merit and its purported link to intensionality. That link, I argue, should not be supported by adopting an intensional theory of semantic content. Rather, I give (...) a general strategy for supporting claims about metaphysical merit and examine whether that strategy can be used to link merit and intensionality. Though I don’t deliver a definitive verdict, the discussion provides a clearer framework for articulating and evaluating claims about metaphysical merit. (shrink)

Advancements in machine learning have fuelled the popularity of using AI decision algorithms in procedures such as bail hearings, medical diagnoses and recruitment. Academic articles, policy texts, and popularizing books alike warn that such algorithms tend to be opaque: they do not provide explanations for their outcomes. Building on a causal account of transparency and opacity as well as recent work on the value of causal explanation, I formulate a moral concern for opaque algorithms that is yet to receive (...) a systematic treatment in the literature: when such algorithms are used in life-changing decisions, they can obstruct us from effectively shaping our lives according to our goals and preferences, thus undermining our autonomy. I argue that this concern deserves closer attention as it furnishes the call for transparency in algorithmic decision-making with both new tools and new challenges. (shrink)

This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).

This paper looks at the debates between internalism and externalism in mind and epistemology. In each realm, internalists face what we call 'The Connection Problem', while externalists face what we call 'The Problem of Opacity'. We offer an integrated account of thought content and epistemic warrant that overcomes the problems. We then apply the framework to debates between internalists and externalists in metaethics.

Nietzsche believes that we do not know our own actions, nor their real motives. This belief, however, is but a consequence of his assuming a quite general skepticism about introspection. The main aim of this paper is to offer a reading of this last view, which I shall call the Inner Opacity (IO) view. In the first part of the paper I show that a strong motivation behind IO lies in Nietzsche’s claim that self-knowledge exploits the same set of (...) cognitive capacities as well as the same folk-psychological framework involved in outward-directed mind-reading. In the second part I turn to Nietzsche’s view of agency and argue that he sees a fundamental discrepancy between the conscious attitudes we have introspective access to, on the one hand, and the subpersonal processes and states occurring at the unconscious level of the drives, on the other hand. (shrink)

The syntactic structure of the deontic “ought” has been much debated in philosophy and linguistics. Schroeder argues that the deontic “ought” is syntactically ambiguous in the sense that it can be associated with either a control or raising construction. He distinguishes between deliberative and evaluative “ought”s and argues that the deliberative “ought” is control while the evaluative “ought” is raising. However, if there is a control sense of “ought,” it implies that there is a sense of “ought” in which the (...) word carries an external argument. Chrisman (2012) proposes two linguistic tests to verify this prediction. I add a new test, which I call the intensionality test, to the list. (shrink)

According to Kant, the opacity of human motivation takes two distinct forms – a psychological form: man ‘can never, even by the most strenuous self-examination, get entirely behind [his] covert incentives’ – and a social form: ‘everyone in our race finds it advisable to be on his guard, and not to reveal himself completely’. In other words, first, men's ‘interior’ cannot be entirely revealed to themselves and, second, they tend not to reveal their ‘interior’ to others. A number of (...) Kant scholars have acknowledged the importance of the first form of opacity in Kant's thought and have attempted to draw out from it implications for moral deliberation and ethics in general. The aim of this paper is to examine the second, social form of opacity and draw out its anthropological implications, an issue that has been overlooked in the literature. To do so, I focus on Kant's contrast between men and beings that I would like to call ‘sincere aliens’. These sincere aliens are beings who have the opposite features of man's opacity, namely beings who cannot but reveal their ‘interior’ both to others and to themselves. (shrink)

This essay will criticize Peter Lamarque’s claim in The Opacity of Narrative that reading for ‘opacity’ is the way to read literature as literature. I will summarize the idea of ‘opacity’ and consider the plausibility of this claim through an examination of Lamarque’s related comments on translation. The argument for ‘opacity’, although it insists on the importance of attention to a work’s form in the apprehension of its content, involves, at the same time, a certain obliviousness (...) to form, indicated in the first instance by an unpersuasive conflation of lyric poetry and prose fiction. Through a comparison of opposing approaches to the translation of a novel written in verse, and an analysis of why the translation of poetry is generally understood to be more challenging than the translation of prose, I will argue that reading for ‘opacity’ does not adequately capture what it means to read literature as literature. (shrink)

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.

Many jurisdictions prohibit or severely restrict the use of evidence about a defendant’s character to prove legal culpability. Situationists, who argue that conduct is largely determined by situational features rather than by character, can easily defend this prohibition. According to situationism, character evidence is misleading or paltry. -/- Proscriptions on character evidence seem harder to justify, however, on virtue ethical accounts. It appears that excluding character evidence either denies the centrality of character for explaining conduct—the situationist position—or omits probative evidence. (...) Situationism is, after all, presented as antithetical to virtue ethics. -/- This essay provides a virtue ethical defense of character evidence exclusion rules. We show that existing virtue ethical rebuttals to situationism themselves support prohibitions on character evidence; even if behavior arises from stable character traits, character evidence should be prohibited. In building our case, we provide a taxonomy of kinds of character judgment and reconcile the ubiquity and reasonableness of character judgments in ordinary life with the epistemic legitimacy of character evidence prohibitions in law. (shrink)

NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...) the latter, the proposed analysis can be carried over NPs such as 'the number of people that fit into the bus', which describe tropes (particularized properties). (shrink)

Contrary to appearances, semantic innocence can be claimed for a Fregean account of the semantics of expressions in indirect discourse. Given externalism about meaning, an expression that refers to its ordinary sense in an opaque context refers, ultimately, to its "references"; for, on this view, the reference of an expression directly determines its meaning. Externalism seems to have similar consequences for the truth-conditions of analytic sentences. If reference determines meaning, how can we distinguish a class of sentences as true in (...) virtue of meaning alone? The paper closes by hinting at an account of analyticity from an externalist perspective. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...) that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the (...) child was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (shrink)

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in detail (...) the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

This paper aims, first, to argue against using opaque AI technologies in decision making processes, and second to suggest that we need to possess a qualitative form of understanding about them. It first argues that opaque artificially intelligent technologies are suitable for users who remain indifferent to the understanding of decisions made by means of these technologies. According to virtue ethics, this implies that these technologies are not well-suited for those who care about realizing their moral capacity. The paper then (...) draws on discussions on scientific understanding to suggest that an AI technology becomes understandable to its users when they are provided with a qualitative account of the consequences of using it. As a result, explainable AI methods can render an AI technology understandable to its users by presenting the qualitative implications of employing the technology for their lives. (shrink)

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

This article discusses the extension of ViewGen, an algorithm derived for belief ascription, to the areas of intensional object identification and metaphor. ViewGen represents the beliefs of agents as explicit, partitioned proposition sets known as environments. Environments are convenient, even essential, for addressing important pragmatic issues of reasoning. The article concentrates on showing that the transformation of information in metaphors, intensional object identification, and ordinary, nonmetaphorical belief ascription can all be seen as different manifestations of a single environment-amalgamation process. The (...) article also briefly discusses the extension of ViewGen to speech-act processing and the addition of a heuristic-based relevance-determination procedure, and justifies the partitioning approach to belief ascription. (shrink)

This is a reply to commentators in the Journal of the Philosophy of Sport's special issue symposium on GAMES: AGENCY AS ART. I respond to criticisms concerning the value of achievement play and striving play, the transparency and opacity of play, the artistic status of games, and many more.

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not come (...) for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)

In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

In, Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that nevertheless allows us to draw an important conclusion about intensional (...) contexts and semantic equivalences. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as “George Orwell is a writer” and “Eric Arthur Blair is a writer”, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of “opacity” (a form of hyperintensionality). Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy (...) for capturing opaque credence assignments without abandoning probabilistic coherence. I draw on ideas from judgment-aggregation theory, where we face similar challenges of defining the “objects of judgment”. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

This essay presents the Aestheticism of the 19th century as the foundational movement of modernist-formalist aesthetics of the 20th century. The main principle of this movement is what I denominate “productive opacity”. Aestheticism has not been recognized as a philosophical aesthetic theory. However, its definition of artwork as an exclusive kind of form—a deep, opaque form—is among the most precise ever given in the discipline. This essay offers an interpretation of aestheticism as a formalist theory, referred to here as (...) “deep formalism”, focusing on the thinking of leading aestheticists, Walter Pater, Oscar Wilde, and James Whistler. These three thinkers defined artwork as a form saturated with an inextricable content, viz. opaque form. (shrink)

This chapter responds to Michael Tamir and Elay Shech’s chapter “Understanding from Deep Learning Models in Context.”.

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)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...) which employs ideas made explicit by the former one. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...) more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

Extensional scientific realism is the view that each believable scientific theory is supported by the unique first-order evidence for it and that if we want to believe that it is true, we should rely on its unique first-order evidence. In contrast, intensional scientific realism is the view that all believable scientific theories have a common feature and that we should rely on it to determine whether a theory is believable or not. Fitzpatrick argues that extensional realism is immune, while intensional (...) realism is not, to the pessimistic induction. I reply that if extensional realism overcomes the pessimistic induction at all, that is because it implicitly relies on the theoretical resource of intensional realism. I also argue that extensional realism, by nature, cannot embed a criterion for distinguishing between believable and unbelievable theories. (shrink)

Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in his career he invented intensional logic, simultaneously with Richard Montague, but published his version in 1971, slightly after Montague's 1970 papers, and has never been recognised for this achievement. But this was only the beginning of his work. He developed a highly original theory of semantics called (...) Transparent Intensional Logic, which is the basis of an important research program based in the Czech Republic and Slovenia. He published a wide range of original work in semantics, philosophy of logic and language, philosophy of science, and metaphysics; but despite the indisputable quality of this work, he has gained little contemporary recognition. This article provides a brief introduction to his work, focussing mainly on basic ideas of his intensional semantics and his theory of 'constructions'. (shrink)

After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, in this article I will defend that this is not so. Instead of showing the limitations of Marshall’s undoubtedly impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless of our (...) preferred conception of property identity. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

In this chapter what I call the “backside” of habit is explored. I am interested in the philosophical implications of the physical and physiological processes that mediate, and which allow for what comes to appear as almost magic; namely the various sensorimotor associations and integrations that allows us to replay our past experiences, and to in a certain sense perceive potential futures, and to act and bring about anticipated outcomes – without quite knowing how. Thus, the term “backside” is meant (...) to refer both the actual mediation and the epistemic opacity of these backstage intermediaries that allow for the front stage magic. The question is if the epistemic complexities around sensorimotor mediation gives us valuable insights into the nature of human agency and further how it might begin to show us new ways to think of the mind as truly embodied yet not reducible to any finite body-as-object. (shrink)

On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form "P and not-P" and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...) those literal meanings, on the other. This same failure, it will be argued, underlies the popular thesis that intersubstituting co-referring terms sometimes turns true sentences into false ones and vice versa. Though seemingly plausible, this thesis has a number of counterintuitive consequences, among them that the occurrence of “snow” in “it is true that snow is white” doesn’t refer to snow. An understanding of the distinction between semantics and presemantics suggests a way to develop a semantic system that doesn’t have these consequences and that, moreover, reconciles our intuitions concerning cognitive content with some powerfully argued theses of contemporary philosophy of language. Some of this paper's main contentions are anticipated by Andrzej Boguslawski in his 1994 paper “Sentential Complementation and Truth.”. (shrink)

The paper analyses in some depth the distinction by Paul Humphreys between "epistemic opacity" —which I refer to as "weak epistemic opacity" here— and "essential epistemic opacity", and defends the idea that epistemic opacity in general can be made sense as coming in degrees. The idea of degrees of epistemic opacity is then exploited to show, in the context of computer simulations, the tight relation between the concept of epistemic opacity and actual scientific (modelling (...) and simulation) practices. As a consequence, interesting questions arise in connection with the role of agents dealing with epistemically opaque processes such as computer simulations. (shrink)

According to some philosophers, when introspectively attending to experience, we seem to see right through it to the objects outside, including their properties. This is called the transparency of experience. This paper examines whether, and in what sense, emotions are transparent. It argues that emotional experiences are opaque in a distinctive way: introspective attention to them does not principally reveal non-intentional somatic qualia but rather felt valenced intentional attitudes. As such, emotional experience is attitudinally opaque.

Self-knowledge presents a challenge for naturalistic theories of mind. Peter Carruthers’s (2011) approach to this challenge is Rylean: He argues that we know our own propositional attitudes because we (unconsciously) interpret ourselves, just as we have to interpret others in order to know theirs’. An alternative approach, opposed by Carruthers, is to argue that we do have a special access to our own beliefs, but that this is a natural consequence of our reasoning capacity. This is the approach of transparency (...) theories of self-knowledge, neatly encapsulated in Byrne’s epistemic rule (BEL): If p, believe that you believe that p (Byrne 2005). In this paper, I examine an objection to Carruthers’s theory in order to see whether it opens up space for a transparency theory of self-knowledge: Is it not the case that in order to interpret someone I have to have some direct access to what I believe (cf. Friedman and Petrashek 2009)? (shrink)