Intensionality (or opacity) is a core property of mental representations and sometimes understanding opacity is claimed to be a part of children's theory of mind (evidenced with the false belief task). Children, however, pass the false belief task and the intensionality tasks at different ages (typically 4 vs. 5;1-6;11 years). According to two dominant interpretations, the two tests either require different conceptual resources or vary only in their executive or linguistic load. In two experiments, involving 120 (...) children aged 3-6 (Experiment 1) and 75 children aged 4-6 (Experiment 2), we tested two variants of the executive load hypothesis: The differential linguistic complexity of the two tests, and the dual-name problem of the intensionality task. The former was addressed by standardizing and minimizing the linguistic demands of both tasks (contrasted with the typical narrative intensionality task), and the latter by introducing the dual-name problem into the false belief task as well, so that it was present in both tasks. We found that (1) two structurally different intensionality tasks shared more variance with each other than with the structurally similar false belief task, and that (2) introducing a dual label problem into the false belief task did not reduce the developmental gap. Our results speak against interpreting the difference between the time children pass the two tests entirely in terms of performative issues, and support the conceptual enrichment hypothesis. We discuss the theoretical relevance of these results, suggesting that they are best explained by fine-grained increments within the concept of belief, rather than a radical conceptual change. We conclude that understanding opacity of minds – which emerges between age 5 and 6 – is an important step towards a more advanced form of ToM. (shrink)

A common argumentative strategy employed by anti-reductionists involves claiming that one kind of entity cannot be identified with or reduced to a second because what can intelligibly be predicated of one cannot be predicated intelligibly of the other. For instance, it might be argued that mind and brain are not identical because it makes sense to say that minds are rational but it does not make sense to say that brains are rational. The scope and power of this kind of (...) argument — if valid — are obvious; but if it turns out that ‘It makes sense to say that...’ creates an opaque context, such arguments will fail. I analyze a possible counterexample to validity and show that it is not conclusive, as it depends on what syntactical construction is given to the premises. This leads to the general observation that the argument form under consideration works for some constructions but not others, and thus to the conclusion that further analysis of intelligibility is called for before it can be known whether the argumentative strategy is open to the anti-reductionist or not. (shrink)

SummaryThis paper firms up previous arguments for referential transparency in intensional constructions by providing conclusive proofs of this, both formal and informal. Centrally the paper uses epsilon terms to symbolise referring expressions, and so it obtains the rigid designators needed to allow the same object to be referred to in all worlds and minds. The details of several contrary ideas are examined to reinforce the claim that they are incorrect. But also certain world‐dependent or mind‐dependent objects are identified, using epsilon (...) terms, to give an understanding of what might have caused the historical belief in referential opacity. (shrink)

Among logicians there exists the widely accepted view that classical logic as developed by Frege, Russell, Peano, Peirce and others is not able to master all the problems arising in connection with indirect speech and similar phenomena. There is a myth that classical or so-called extensional logic is good only for one part of our language, for extensional contexts, while a large area of our language, consisting of intensional or opaque contexts, needs a special, non-extensional or intensional logic. It is (...) obvious that this point of view denies the universality of logic and logical rules. (shrink)

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)

Jc Beall is known for defending modest dialetheism; this is the view that there are dialetheia, but only in the form of “spandrels” arising otherwise reasonable semantic terminology (e.g., the Liar paradox). Beall also regards his view as modest in partaking of a deflationary view of truth, a view where ‘true’ is a device of disquotational inference which expresses no “substantive property.” Beall supports deflationism by an appeal to Ockham’s razor; however, the premise that ‘true’ is fundamentally disquotational is found (...) dubious. Nonetheless, we can craft an ultra-modest dialetheism which assumes only that at least one utterance of ‘This sentence is not true’ uses ‘true’ as a disquotational device, and maintains neturality on whether it expresses a substantive property. The limited scope of the ultra-modest view will be disappointing to formal semanticists hoping to capture the behavior of ‘true’ throughout the language. But its modest basis gives dialetheism the best hope for wider acceptance in the discipline. (shrink)

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 complement of intensional transitive verbs, like any nonreferential complement, can be replaced by a ‘special quantifier’ or ‘special pronoun’ such as 'something', 'the same thing', or 'what'. In this paper, I will defend the ‘Nominalization Theory’ of special quantifiers against a range of apparent counterexamples involving intensional transitive verbs.

This article argues for a redefinition of difficulty in relation to the inextricable violence of modernity and examines the consecutive challenge to notions of understanding and interpretation — of a text, of language or of the other — that this repositioning brings. To this end, the article offers a nuanced rereading of Steiner’s canonical fourfold categorization of difficulty, in dialogue with, first, Édouard Glissant’s opacity and, second, Jonathan Pugh and David Chandler’s theorizations of ‘abyssal thought’, an approach emerging from (...) Caribbean and critical Black studies, exploring the key challenge it poses to forging an unmasterful, after Julietta Singh, comparative literary practice. With an equal attention to the theoretical and pedagogical dimensions of reading difficulty, the article emphasizes the importance of the accretive and embodied nature of the reading process and offers a repositioning of textual difficulty, as a meeting site of opacities, and a reformulation of a difficult, unmasterful reading practice, after catastrophe and with others. (shrink)

What is narrative? What is distinctive about the great literary narratives? In virtue of what is a narrative fictional or non-fictional? In this important new book Peter Lamarque, one of the leading philosophers of literature at work today, explores these and related questions to bring new clarity and insight to debates about narrative in philosophy, critical theory, and narratology.

The traditional scope theory of intensionality (STI) (see Russell 1905; Montague 1973; Ladusaw 1977; Ogihara 1992, 1996; Stowell 1993) is simple, elegant, and, for the most part, empirically adequate. However, a few quite troubling counterexamples to this theory have lead researchers to propose alternatives, such as positing null situation pronouns (Percus 2000) or actuality operators (Kamp 1971; Cresswell 1990) in the syntax of natural language. These innovative theories do correct the undergeneration of the original scope theory, but at a (...) cost: the situation pronoun and operator theories overgenerate, as argued extensively by Percus (2000) and Keshet (2008). This paper presents new data that supports the STI over other analyses, such as structures where DPs lose their de re readings in positions where syntactic movement is blocked. These data point the way to a new theory of intensionality. This new theory, called split intensionality, is a modification of the STI which aims to solve the problems raised for the original scope theory without overgenerating. The proposal calls for an additional intensional abstraction operator that creates an expression denoting an intension from an expression denoting an extension. When a DP moves to a position above this operator, it is interpreted de re; otherwise it is de dicto. The crucial part of the new proposal is that a DP may move above this operator and yet remain, for instance, below an intentional verb or inside an if-clause. Therefore, a DP within an island for syntactic movement may be de re and yet not move out of the island when the intensional abstraction operator is also within the island. (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)

If a semantically open language has no constraints on self-reference, one can prove an absurdity. The argument exploits a self-referential function symbol where the expressed function ends up being intensional in virtue of self-reference. The prohibition on intensional functions thus entails that self-reference cannot be unconstrained, even in a language that is free of semantic terms. However, since intensional functions are already excluded in classical logic, there are no drastic revisionary implications here. Still, the argument reveals a new sort of (...) intensional context, one which does not depend on a propositional attitude verb, a modal operator, an idiom like 'so called', etc. Moreover, since classical logicians do not seem aware of the potential danger with self-reference, a word of warning is in order. (shrink)

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the relevant expressive functions (...) without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at (...) least one of three ways: (i) interchanging expressions in the complement referring to the same entity can change the truth-value of the sentence embedding the VP; (ii) the VP admits of a special “unspecific” reading if it contains a quantifier, or a certain type of quantifier; and (iii) the normal existential commitments of names and existential quantifiers in the complement are suspended even when the embedding sentence is negation-free. (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)

In this paper I analyze David Kaplan’s essay “Opacity”. In “Opacity” Kaplan attempts to dismiss Quine’s concerns about quantification across intensional (modal and intentional) operators. I argue that Kaplan succeeds in showing that quantification across intensional operators is logically coherent and that quantified modal logic is strictly speaking not committed to essentialism. However, I also argue that this is not in and of itself sufficient to support Kaplan’s more ambitious attempt to move beyond purely logical results and provide (...) unified, uncontroversial interpretations of both “believes” and “necessarily”. In the paper I raise several questions about the subject matter of logic and the role of semantics, with special focus on singular propositions. (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).

In Attitude Problems, I gave an account of opacity in the complement of intensional transitive verbs that combined neo-Davidsonian event-semantics with a hidden-indexical account of substitution failure. In this paper, I extend the account to clausal verbs.

It is well known that experts’ opinion and testimony take on a decisive weight in judicial fact-finding, raising issues and perplexities that have long been under scholarly scrutiny. In this paper I argue that expert’s opinions have a much wider impact on legal decision-making. In particular, they may generate a problem that I will call ‘the opacity of law’. A legal text, such as a statute or regulation, becomes opaque if a legal authority is not able to grasp its (...) full linguistic content but is nevertheless in a position to use it, thanks to an expert’ opinion, in legal decision-making. When this occurs, not only do experts contribute to fact-finding but also to determining the content of the law. In the paper I analyse the linguistic and cognitive sources of this phenomenon, its characteristics and troublesome consequences, and the different kinds of opacity that may affect legal decision-making. (shrink)

Paradigm intensional contexts result from the unmarked use of referential expressions as “self‐signs”, signs that refer to themselves as tokens, types, or members of Sellarsian “dot‐quoted” kinds. Self‐signing (but unquoted) linguistic expressions are more difficult to recognize than non‐linguistic self‐signs such as the color of a felt pen's casing that represents the color of ink inside. I will discuss non‐linguistic self‐signing, then examine self‐signing in quotation, in “said that …” contexts and in “believes that … ” contexts. The phenomenon of (...) intensionality may reduce to a kind of equivocation, a matter of notation rather than a necessary feature of language. (shrink)

An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...) the psychologically motivated network models. Some of the psychological implications of network processes called node merging and node splitting are discussed. Additionally, it is pointed out that both our networks and the psychologically based networks are prone to memory confusions about knowing unless augmented by domain‐specific inference processes, or by structural information. (shrink)

Key issues in epistemology for the most part have to do with epistemic values such as justification, truth, and knowledge—that is, values related to the epistemic status of our propositional attitudes, mental events, and states. However, another important issue that is worth examining is the extent to which a subject is in a position to evaluate the strength of her epistemic position. In this paper, I wish to emphasize two properties of our mental states that play a decisive part in (...) that respect: their opacity and transparency. In the following, I will assume that a mental state is opaque whenever it presents itself with no underlying reason, whereas states that are supported by apparent reasons are transparent. One main argument that I will defend is that even when the opacity and transparency of our mental states are not reliable cues, still they remain highly informative. Notably, I draw some implications relative to the externalist/internalist debate in epistemology. I examine the claim that only mental states that are justified are well grounded or justification conferring and the idea that often stands behind, that is, that only states whose reasons are accessible are justified—namely, the Accessibility Requirement. I also examine the source of a recent debate in epistemology: the epistemic status of our intuitive states, as these are perfect instances of opaque mental states. I conclude that intuitive states in some respect are less misleading than states that are supported by apparent reasons. (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)

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)

It is well known that experts’ opinion and testimony take on a decisive weight in judicial fact-finding, raising issues and perplexities that have long been under scholarly scrutiny. In this paper I argue that expert’s opinions have a much wider impact on legal decision-making. In particular, they may generate a problem that I will call ‘the opacity of law’. A legal text, such as a statute or regulation, becomes opaque if a legal authority is not able to grasp its (...) full linguistic content but is nevertheless in a position to use it, thanks to an expert’ opinion, in legal decision-making. When this occurs, not only do experts contribute to fact-finding but also to determining the content of the law. In the paper I analyse the linguistic and cognitive sources of this phenomenon, its characteristics and troublesome consequences, and the different kinds of opacity that may affect legal decision-making. (shrink)

Classical first-order logic can be extended in two different ways to serve as a foundation for mathematics: introduce higher orders, type theory, or introduce sets. As it happens, both approaches have natural analogs for quantified modal logics, both approaches date from the 1960’s, one is not very well-known, and the other is well-known as something else. I will present the basic semantic ideas of both higher order intensional logic, and intensional set theory. Before doing so, I’ll quickly sketch some necessary (...) background material from quantified modal logic. Except for standard material concerning propositional modal logics, the paper is essentially self-contained. (shrink)

It has been found that children appreciate the limited substitutability of co-referential terms in opaque contexts a year or two after they pass false belief tasks (e.g. Apperly and Robinson, 1998, 2001, 2003). This paper aims to explain this delay. Three- to six-year-old children were tested with stories where a protagonist was either only partially informed or had a false belief about a particular object. Only a few children had problems predicting the protagonist’s action based on his partial knowledge, when (...) he was only partially informed about a property of the desired object (e.g. he knew that it was a Lego® block, but not that it was a red Lego® block). But many had problems making the correct action prediction when he was only partially informed about dual identities (e.g. he knew it was a dog, but not that it was also an eraser). About as many children made an incorrect action prediction for partial knowledge problems involving dual identity as answered higher-order belief questions incorrectly. In contrast many more children answered first-order false belief questions correctly, as many as correct action predictions when the protagonist was partially informed about a property of an object. The results support the claim that children have a specific problem with dual identity, rather than a broader problem representing partial knowledge. (shrink)

Like the author's first work, this text again develops two advanced logical systems: the formalization of intensional constructions initiated by Arthur Prior, and the refinement of predicate logic instituted by David Hilbert. This book is more historical than the first, but the emphasis is still on the application of the two systems to problems in analytical metaphysics. The natures of provability and possibility are studied further, as well as the natures of opacity and intensional objects.

This paper asks and examines the question “who are you?” In doing so it embarks across the conceptual terrain of subjectivity, passing through five different regions. First is the subject and otherness, in which are considered Arendtian notions of the “who” of the individual in the appearing world. Next is the relation between the “I” and the “you” in systems of recognition, and how those systems are creations and expressions of social normativity. This is followed by the idea of the (...) sovereignty of the self as a reaction to its dislocation within systems of recognition. Sovereignty as such is viewed through the thought of Jacques Derrida and Hannah Arendt. With Foucault, the authors approach the question of social normativity as a frame rather than a constraint by which the self is stylized. The fourth section of the paper then explores self-questioning as a means of explicit or intentional self-stylization. Contrasting the “mere liberation” of thinking in Arendt’s thought with broader understandings of freedom, the fifth section relates Arendt’s conception of the miraculous with Derrida’s of the event. The paper’s trajectory returns in conclusion to the implications of its course for the initial question of who one is, particularly with respect to the teaching subject. (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)

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)

This essay explicates Édouard Glissant’s aesthetics of opacity in terms of its formation and significance. This theory comes into form in the historical condition of colonial alterity. In The Poetics of Relation, Glissant extrapolates opacity as the fundamental of aesthetics from such linguistic activities as creole languages and improvised stories found in the Caribbean islands. More than a postcolonial defense of identity alterity, opacity denotes the linguistic expression of material alterity. It means an involuntary flourishing of linguistically (...) enhanced dynamic of exchange, connection, and making in the landscapes of compelling affordances. Such languages cannot be reduced to texts because they are derived from the inevitably alien ground called "the other of Thought,” or a recognition and practice of radical difference. The significance of the aesthetics of opacity lies in that, Glissant asserts, humans can linguistically express the engagement with material ecologies while avoiding the authoritative domination of reason. (shrink)

This essay explicates Édouard Glissant’s aesthetics of opacity in terms of its formation and significance. This theory comes into form in the historical condition of colonial alterity. In The Poetics of Relation, Glissant extrapolates opacity as the fundamental of aesthetics from such linguistic activities as creole languages and improvised stories found in the Caribbean islands. More than a postcolonial defense of identity alterity, opacity denotes the linguistic expression of material alterity. It means an involuntary flourishing of linguistically (...) enhanced dynamic of exchange, connection, and making in the landscapes of compelling affordances. Such languages cannot be reduced to texts because they are derived from the inevitably alien ground called "the other of Thought,” or a recognition and practice of radical difference. The significance of the aesthetics of opacity lies in that, Glissant asserts, humans can linguistically express the engagement with material ecologies while avoiding the authoritative domination of reason. (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)

Conventional accounts of epistemic opacity, particularly those that stem from the definitive work of Paul Humphreys, typically point to limitations on the part of epistemic agents to account for the distinct ways in which systems, such as computational methods and devices, are opaque. They point, for example, to the lack of technical skill on the part of an agent, the failure to meet standards of best practice, or even the nature of an agent as reasons why epistemically relevant elements (...) of a process may be inaccessible. In this paper I argue that there are certain instances of epistemic opacity— particularly in computational methods such a computer simulations and machine learning processes—that do not arise from, are not responsive to, and are therefore not explained by the epistemic limitations of an agent. I call these instances agent-neutral and agent-independent instances of epistemic opacity respectively. As a result, I also argue that conventional accounts of epistemic opacity offer a limited understanding of the full spectrum of kinds and sources of epistemic opacity, particularly of the kind found in computational methods. In particular, as I will show below, the limitations of these accounts are reflected in the way they fail to provide satisfactory explanations when faced with certain instances of opacity. (shrink)

Dowsing, water-witching, divining – the procedure seeks a flow or spring beneath the surface of earth. So too this inquiry attempts to locate and sound the meanings associated with the polestar of Thalean considerations, ὕδωρ, that course beneath the interpretative strata of an overly-familiar tradition grounded in the principles of clarity and intelligibility. If these principles are held in suspension, what meanings flow from the Thalean considerations of ὕδωρ? A twofold task guides this inquiry. First is to show opacity (...) as the primary valence of ὕδωρ, challenging the prevailing tendency to imagine Thales and other Milesian thinkers as positing a principle of clarity in the form of what can be brought under the Aristotelean concept of underlying thing and matter. Second, in the course of drawing up the opacity of ὕδωρ form varied archaic sources emerge some connections to important terms for Greek thinking: φύσις, λόγος, ἀλήθεια. (shrink)

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)

The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the proposition has (...) no truth‐value; hence, at no world is it false. It remains an open semantic and epistemological question which of the first two kinds of world the actual world is. The semantic method should be based on explicit intensionalization in lieu of actualism. Actualism accords a privileged role to the actual world. Explicit intensionalization places all possible worlds, including the actual one, on an equal footing. Syntactically, a lambda‐bound world variable replaces the actual‐world constant or operator, while the other world variable is existentially bound. (shrink)

[Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes. In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a mortal gorgon or an immortal (...) gorgon', are invalid. Since 'a gorgon' and 'a mortal gorgon or an immortal gorgon' are extensionally and intensionally the same quantifier, it is not completely trivial to arrange the semantics of intensional transitives so that this classification of the inferences is obtained. ; the latter will be incorporated into a forthcoming monograph, Attitude Problems.) /// [Jennifer Saul ] This paper discusses the question of which verbs are intensional transitives. In particular, I ask which verbs Forbes should take to be intensional transitives. I argue that it is very difficult to arrive at a clear and plausible understanding of what an intensional transitive is-making it difficult to answer these questions. I end by briefly raising some questions about the usefulness of the category of intensional transitives. (shrink)

[Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes. In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a mortal gorgon or an immortal (...) gorgon', are invalid. Since 'a gorgon' and 'a mortal gorgon or an immortal gorgon' are extensionally and intensionally the same quantifier, it is not completely trivial to arrange the semantics of intensional transitives so that this classification of the inferences is obtained. ; the latter will be incorporated into a forthcoming monograph, Attitude Problems.) /// [Jennifer Saul] This paper discusses the question of which verbs are intensional transitives. In particular, I ask which verbs Forbes should take to be intensional transitives. I argue that it is very difficult to arrive at a clear and plausible understanding of what an intensional transitive is-making it difficult to answer these questions. I end by briefly raising some questions about the usefulness of the category of intensional transitives. (shrink)

Certain philosophers have held the thesis of the unity of science. As often conceived, the thesis has two parts: the thesis of physicalism and the thesis of extensionality. For each of these two parts there is an outstanding problem, i.e. the problem of intentionality and the problem of intensionality respectively. The purpose of this paper is twofold: first, to make explicit the nature of these two problems, and second, to show to what extent they can be said to be (...) the same problem. Thus I am not at all interested here either to defend or attack this thesis or either of its parts. (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)

The study of weighted structures is one of the important trends in recent computer science. The aim of the article is to provide a weighted, many-valued version of classical intensional semantics formalised in the framework of higher-order fuzzy logics. We illustrate the apparatus on several variants of fuzzy S5-style modalities. The formalism is applicable to a broad array of weighted intensional notions, including alethic, epistemic, or probabilistic modalities, generalised quantifiers, counterfactual conditionals, dynamic and non-monotonic logics, and some more.

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)

Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical (...) topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types. (shrink)

First exhibited in 1999, Jean-Luc Moulène's 24 Objets de Grève is a photographic archive printed in a range of different formats, portraying a variety of products made by French workers on strike between the 1970s and the 1990s. These comprise of scarves, T-shirts, dolls, geographical maps, cigarettes, facsimile banknotes, perfume bottles and other items. The objects were aimed at financially supporting the strikers and attracting the solidarity of the general public. Often destroyed after their use, they were not created with (...) the intention of being collected and exhibited as works of art. 24 Objets de Grève lends itself to multiple and seemingly contradictory readings: it can be read as a Rancerian celebration of the creativity of the working class or as its undue appropriation; as a commemoration of the history of the workers movement or as an act of forgetting and reification. This article explores the ambivalences, hiatuses and limitations of Moulène's project in relation to its representational strategies and the notion of emancipatory aesthetic elaborated by Jacques Rancière. (shrink)

Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...) formulae undefined, which artificially constricts the expressivity of the theory. This paper proposes an approach to fill in this lacuna, emphasizing an analogous problem in Parry-style containment logics. In this setting, the approach receives a proof-of-concept through the introduction of a natural and general family of subsystems of Parry’s $${\textsf{PAI}}$$ PAI —with sound and complete axiomatizations—that allow a fine degree of control over the topics of intensional conditionals. (shrink)

The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its rules (...) lead from the non-rejected assumptions to the accepted conclusions.First, we focus on the syntactic features of the framework and present the q-consequence as related to the notion of proof. Such a presentation uncovers the reasons for which the adjective inferential is used to characterize the approach and, possibly, the term inference operation replaces q-consequence. It also shows that the inferential approach is a generalisation of the Tarski setting and, therefore, it may potentially absorb several concepts from the theory of sentential calculi, cf. [10]. However, as some concrete applications show, see e.g.[4], the new approach opens perspectives for further exploration. (shrink)