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)

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)

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)

Specificational sentences show Connectivity Effects (Akmajian 1970, Higgins 1979, Halvorsen 1978, Jacobson 1994, among others). For example, an NP like no man embedded in a relative clause in general cannot bind a pronoun outside the relative clause, as illustrated in (3a); but in specificational copular sentences this binding is possible, as in (3b). This effect is called Variable Binding Connectivity. Similarly, the NP a unicorn cannot be interpreted de dicto with respect to the embedded verb look for in (4a); but (...) a de dicto reading is possible in the specificational sentence (4b) (Opacity Connectivity). Connectivity will be used in this paper as a diagnosis for specificational sentences. (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)

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.

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)

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)

INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ...

CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...

Routledge Encyclopedia entry on Intensionality and Hyperintensionality.

This essay argues that relativist semantics provide fruitful frameworks for the study of the relationships between meaning and truth-conditions, and consequently for the analysis of the logical properties of expressions. After a discussion of the role of intensionality and indexicality within classic double-indexed semantics, I explain that the non-relativistic identification of the parameters needed for the definition of truth and for the interpretation of indexicals is grounded on considerations that are irrelevant for the assessment of the relationships between meaning (...) and truth. (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)

This article draws on the philosophy of Emmanuel Levinas to consider, from an ethical perspective, the current transparency and accountability agenda in Australian schooling. It focuses on the case of the My School website and the argument that transparent publication of comparative performance data via the website provides a basis for making things better in schooling. The article argues that while technologies of accountability may have potential benefits, they cannot provide a basis for this ethical project. Instead, the ethical experience (...) described by Levinas arises from an encounter with opacity in the face-to-face relation with the Other, who is harshly illuminated by the transparency promised through calculation and comparison. Such encounters with opacity hold the potential to disrupt the politics of visibility promoted by transparency agendas and provide an alternative to the growing practice of 'accountability at a distance' based on performance data. (shrink)

Where there is mind there is representational opacity, and vice versa. Opacity arises because where there is representation there may be misrepresentation, and the status of the misrepresenting sign or state of the misrepresenting sign‐user can only be characterized via the terms used for a correctly represented object. Opacity is not a blight for naturalism, but must be recognized and exploited if naturalism is to adequately embrace the mental. Opacity is illustrated for language, for the mental (...) itself, for depiction and other non‐linguistic representation. Alethic modality, a candidate counterexample to the thesis (opacity without mind is defused consequences for our conception of non‐human intelligence are outlined. (shrink)

We no longer have any texts, any past, but just interpretations of them. The evident multi -interpretability of a text causes it gradually to lose its capacity to function as arbiter in the historical debate. It is necessary to define a new link with the past based on a complete and honest recognition of the position in which we now see ourselves placed as historians. In recent years, many people have observed our changed attitude towards the phenomenon of information. For (...) postmodernism, science and information are independent objects of study which obey their own laws. Language and art are not situated opposite reality but are themselves a pseudo-reality and are therefore situated within reality. Because of the relation between the historiographical view and the language used by the historian to express his view - a relation which nowhere intersects the domain of the past -historiography possesses the same opacity and intensional dimension as art. The essence of postmodernism is precisely that we should avoid pointing out essentialist patterns in the past. There is reason to assume that our relation to the past and our insight into it will in future be of a metaphorical nature rather than a literal one. (shrink)

Roger Scruton; XI*—Intensional and Intentional Objects, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 187–208, https://doi.org.

Roger Scruton; XI*—Intensional and Intentional Objects, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 187–208, https://doi.org.

The purpose of this paper is to raise a new objection to externalist process reliabilism about epistemic justification. The objection is that epistemic justification is intensional—it does not permit the substitution of co-referring expressions—and reliabilism cannot accommodate that.

This article examines Moltmann’s analysis of intensional transitive verbs , and argues that the analysis fails because the key notion it employs, ‘variable satisfier’, is inconsistent.

Where there is mind there is representational opacity, and vice versa. Opacity arises because where there is representation there may be misrepresentation, and the status of the misrepresenting sign or state of the misrepresenting sign‐user can only be characterized via the terms used for a correctly represented object. Opacity is not a blight for naturalism, but must be recognized and exploited if naturalism is to adequately embrace the mental. Opacity is illustrated for language, for the mental (...) itself, for depiction and other non‐linguistic representation. Alethic modality, a candidate counterexample to the thesis (opacity without mind is defused consequences for our conception of non‐human intelligence are outlined. (shrink)

This book says Prior claims: (1) that a sentence never names; (2) what a sentence says cannot be otherwise signified; and (3) that a sentence says what it says whatever the type of its occurrence; (4) and that quantifications binding sentential variables are neither eliminable, substitutional, nor referential. The book develops and defends (1)-(3). It also defends (4) against the sorts of strictures on quantification of such philosophers as Quine and Davidson.

According to Spinoza mental events and physical events are identical. What makes Spinoza's identity theory tempting is that it solves the problem of mind body interaction rather elegantly: mental events and physical events can be causally related to each other because mental events are physical events. However, Spinoza seems to deny that there is any causal interaction between mental and physical events. My aim is to show that Spinoza's apparent denial of mind body interaction can be reconciled with the identity (...) theory. I argue that Spinoza had both an extensional and an intensional concept of cause and when Spinoza seems to deny mind body interaction he is having in mind the intensional concept of cause. This intensional concept of cause corresponds to that of causal explanation. I will argue that Spinoza anticipated Donald Davidson's view that even though mental events cannot be explained by referring to physical events and vice versa, mental and physical events are causally related to each other. (shrink)

In , Frank Ramsey separates paradoxes into two groups, now taken to be the logical and the semantical. But he also revises the logical system developed in Whitehead and Russellthe intensional paradoxess interest in these problems seriously, then the intensional paradoxes deserve more widespread attention than they have historically received.

Science does not exist in vacuum; it arises and works in context. Ground-breaking achievements transforming the scientific landscape often stem from philosophical thought, just as symbolic logic and computer science were born from the early analytic philosophy, and for the very reason they impact our global worldview as a coherent whole as well as local knowledge production in different specialised domains. Here we take first steps in elucidating rich philosophical contexts in which Samson Abramsky’s far-reaching work centring around categorical science (...) as a new kind of science may be placed, explicated, and articulated. We argue, inter alia, that Abramsky’s work, as a whole, may be construed as demonstrating the categorical unity of science, or rather the sciences, in a mathematically rigorous, down-to-earth manner, which has been a salient feature of his work. At the same time we trace his intellectual history, leading from duality, to intensionality, and to contextuality, and place it in a broader context of philosophy beyond the analytic-continental divide, namely towards the reintegration of them as in the post-analytic tradition. Besides, we address issues in philosophy of category theory, such as the foundational autonomy of category theory and the (presumably two) dogmas of set-theoretical foundationalism, which Abramsky actually touch upon in one of his few philosophically inclined works. As to philosophy of category theory, we also address categorical structuralism as higher-order structuralism, categorical epistemology as elucidating higher-order meta-laws, and categorical ontology as allowing for reduction of ontological commitment via structural realism, the structuralist resolution of Benaceraff’s dilemma, and the pluralistic multiverse view of science as opposed to the set-theoretical reductionist ‘universe’ view. We conclude by speculating about the existence of the Oxford School of (Pluralistic) Unified Science as opposed to the Vienna Circle of (Monistic) Unified Science and to the Stanford School of (Pluralistic) Disunified Science; Categorical Unified Science may potentially allow us to reconcile the two camps on the unity and disunity of science whilst doing justice to both of them. Categorical unity arguably allows for unification via epistemological and ontological networking, and via knowledge transfer thus enabled, rather than unification via the reduction of everything and every truth to a single foundationalist framework, whilst taking at face value disunity, plurality, and diversity, and their significance in science and in human civilisation as a whole. (shrink)

It is arguably desirable to have a theory of meaning that (i) does not identify propositions with sets of worlds, (ii) enables to capture the dynamic character of semantic interpretation and (iii) provides the basis for a semantic program that incorporates and extends the achievements of Montague semantics. A theory of properties and propositions that meets these desiderata is developed and several applications to the semantic analysis of natural languages are explored.

This paper proposes interpretations of the vexed notions of intensionality and intentionality and then investigates their resulting interrelations.The notion of intentionality comes from Brentano, in connection with his view that it can help us understand the mental. Setting aside Husserl’s basic definition of intentionality as not quite in line with Brentano’s explanatory purpose, this paper proposes that intentionality be defined in terms of inexistence and indeterminacy.It results that Brentano’s thesis (that all and only mental phenomena are intentional) will not (...) be strictly true. However, intentional descriptions will always be intensional, though not all intensional descriptions will be intentional. (shrink)

This paper proposes interpretations of the vexed notions of intensionality and intentionality and then investigates their resulting interrelations.The notion of intentionality comes from Brentano, in connection with his view that it can help us understand the mental. Setting aside Husserl’s basic definition of intentionality as not quite in line with Brentano’s explanatory purpose, this paper proposes that intentionality be defined in terms of inexistence and indeterminacy.It results that Brentano’s thesis (that all and only mental phenomena are intentional) will not (...) be strictly true. However, intentional descriptions will always be intensional, though not all intensional descriptions will be intentional. (shrink)

I discuss two competing theories of the progressive: the theory proposed in Parsons (1980, 1985, 1989, 1990) and the theory proposed in Landman (1992). These theories differ in more than one way. Landman regards the progressive as an intentional operator, while Parsons doesn't. Moreover, Landman and Parsons disagree on what uninflected predicates denote. For Landman, cross the street has in its denotation complete events of crossing the street; the aspectual contribution of English simple past (perfective aspect) is the identity function. (...) For Parsons, both complete and incomplete events of crossing the street can be in the denotation of the base VP; perfective aspect restricts its denotation to the events that culminate. I present a version of ParsonÕs theory that avoids the problems raised by Landman, in particular the problem posed for Parsons by creation verbs. The repaired version and Landman's theory still differ in the way they analyze uninflected verbs. The repaired version and Landman's theory still differ in the way they analyze uninflected predicates. I present evidence from Slavic languages that both theories are needed. Finally, I discuss some evidence that may favor one or the other approach to the semantics of the English progressive. (shrink)