In frameworks in which _topic-__theoretic_ considerations—_e.g._, tracking _subject-matter_ or _topic_—are given equal importance with _veridical_ considerations, assigning topics to formulae in a satisfactory way is of critical importance. While intuitions are more-or-less solid for _extensional_ formulae in a propositional language, arriving at a compelling account of the subject-matter of _intensional_ formulae, _i.e._, formulae including intensional operators, is more challenging. This paper continues previous work on modeling topics of intensional formulae in William Parry’s logic of analytic implication, adapting the general techniques (...) to the framework of _topic-sensitive intentional modals_ (TSIMs) championed by Francesco Berto and his collaborators. As illustrations, we introduce variations on Berto and Peter Hawke’s logic of knowability relative to information ( \(\pmb {\textsf{KRI}}\) ), including a refinement sensitive to topic-theoretic distinctions between knowledge and belief and a refinement capable of internalizing its own properties. Finally, subsystems of Aybüke Ozgun and Berto’s logic of plain hyperintensional belief ( \(\pmb {\textsf{PHB}}\) ) are introduced in which fine-grained distinctions in subject-matter are possible. (shrink)

Logical frameworks that are sensitive to features of sentences’ subject-matter—like Berto’s topic-sensitive intentional modals (TSIMs)—demand a maximally faithful model of the topics of sentences. This is an especially difficult task in the case in which topics are assigned to intensional formulae. In two previous papers, a framework was developed whose model of intensional subject-matter could accommodate a wider range of intuitions about particular intensional conditionals. Although resolving a number of counterintuitive features, the work made an (...) implicit assumption that the subject-matter of an intensional conditional is a function of the subject-matters of its subformulae. This assumption—which I will call a principle of topic sufficiency—runs counter to some natural intuitions concerning topic. In this paper, we will investigate topic sufficiency and offer a semantic account that is state-sensitive, providing an implementation through the introduction of topic-sensitive logics related to William Parry’s prototypical $\mathsf {PAI}$. (shrink)

Like many intensional logics, William Parry’s logic of analytic implication PAI admits extensions determined by imposing semantic conditions on its account of modality. PAI is unique, however, in its allowing a second dimension—a topic-theoretic dimension—along which extensions can be defined. The recent introduction by Francesco Berto of topic-sensitive intentional modals (TSIMs)—which disagree with PAI on this type of condition—provide further motivations to examine such topic-theoretic extensions. In this paper, we introduce, motivate, and characterize a (...) number of such extensions of PAI, paying special attention to applications to Berto’s framework and to ways in which the modal and topic-theoretic dimensions influence one another. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (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)

Modal epistemologies aim to explicate the necessary link between belief and truth that constitutes knowledge. This strain of epistemological theorizing is typically externalist; hence, it does not require that the agent know or understand the nature of the knowledge-constituting link. A central concern of modal epistemology is to articulate conditions on knowing such that no merely lucky true belief counts as knowledge. In the effort to eliminate luck, epistemic principles are often cast modally, requiring that an agent’s belief is true (...) not only in the actual world but also in relevant possible worlds, indicating that the link between truth and belief is more than an actual world lucky coincidence. (Note, then, that this entry is not about the epistemology of modals—statements involving modal operators such as “necessarily,” “possibly,” and the like—but about the use of modal principles in characterizing the nature of knowledge in general. For purposes of disambiguation and in deference to the other topic, perhaps “modalized epistemologies” would be a better term, though it is not typically used here.) Modal epistemologies typically have antiskeptical consequences, but the strengths of the antiskeptical results vary significantly, especially between the two best-known modal principles, sensitivity and safety. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for (...) intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for (...) them to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Reading, even when silent and individual, is a social phenomenon and has often been studied as such. Complementary to this view, research has begun to explore how reading is embodied beyond simply being ‘wired’ in the brain. This article brings the social and embodied perspectives together in a very literal sense. Reporting a qualitative study of reading practices across student focus groups from six European countries, it identifies an underexplored factor in reading behaviour and experience. This factor is the sheer (...) physical presence, and concurrent activity, of other people in the environment where one engages in individual silent reading. The primary goal of the study was to explore the role and possible associations of a number of variables (text type, purpose, device) in selecting generic (e.g. indoors vs outdoors) as well as specific (e.g. home vs library) reading environments. Across all six samples included in the study, participants spontaneously attested to varied, and partly surprising, forms of sensitivity to company and social space in their daily efforts to align body with mind for reading. The article reports these emergent trends and discusses their potential implications for research and practice. (shrink)

It has been argued that the attribution of intentional actions is sensitive to our moral judgment. I suggest an alternative, where the attribution of intentional actions depends on modal (and not moral) considerations. We judge a foreseen side-effect of an agent’s intentionally performed action to be intentional if the following modal claim is true: if she had not ignored considerations about the foreseen side-effect, her action might have been different (other things being equal). I go through (...) the most important examples of the asymmetry in the attribution of intentionality and point out that the modal account can cover all the problematic cases, whereas the moral account can’t. (shrink)

Epistemic modals are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic "might" and "must" play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language modal expressions. This is an opinionated overview of what I take to be some of the most exciting issues and developments in the (...) field. (shrink)

Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity--and is today widely regarded as incoherent. Combining analytic rigor with keen sensitivity to historical context, Marko Malink makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle's philosophy. Aristotle's modal syllogistic differs significantly from modern (...) modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics--specifically, its theory of predicables and the ten categories. The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle's modal propositions, one that verifies the ancient philosopher's claims of the validity and invalidity of modal inferences. While it acknowledges some limitations of this reconstruction, Aristotle's Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts. (shrink)

Lots of contextually sensitive expressions appear to have context invariant meanings that do not by themselves suffice to secure semantic values for those expressions in context. For example, suppose I say 1. She is smart. where I do not demonstrate any female, I don’t intend that some female is the semantic value of my use of ‘she’, no female is uniquely salient in the context of utterance, and no female has been under discussion. It would appear in such a (...) case that the context invariant meaning of ‘she’ does not secure a semantic value in context for my use of ‘she’, resulting in infelicity. After all, what would that semantic value in context be? This appears to show that the context invariant meaning of ‘she’ does not by itself secure semantic values in context for it. The class of expressions that are like ‘she’ in this respect is quite large. It arguably includes simple and complex demonstratives, tense, expressions taking implicit arguments, gradable adjectives, quantifiers, ‘only’, possessives, conditionals, modals and more. I call these expressions supplementives to highlight the fact that their context invariant meanings need to be supplemented in context for them to secure semantic values in context. I claim that supplementives differ from each other in the following two ways: 1. The degree to which normal speakers are explicitly aware that the expression is contextually sensitive. 2. The degree to which ordinary speakers are explicitly aware of what sort of semantic value in context the expression takes. I hold the view that semantic values in context for supplementives are fixed by recognizable speaker intentions. However, I argue that given the differences between supplementives with respect to 1 and 2, the intentions fixing the semantic values in context of supplementives that differ with respect to 1 and 2 will themselves be different, while still all being speaker intentions that some entity o be the semantic value of the use of the supplementive in context. (shrink)

This volume addresses foundational issues of context-dependence and indexicality, which are at the center of the current debate within the philosophy of language. Topics include the scope of context-dependency, the nature of content and the character of input data of cognitive processes relevant for the interpretation of utterances. There's also coverage of the role of beliefs and intentions as contextual factors, as well as the validity of arguments in context-sensitive languages. The contributions consider foundational issues regarding context-sensitivity from three (...) different, yet related, perspectives on the phenomenon of context-dependence: representational, structural, and functional. The contributors not only address the representational, structural and/or functional problems separately but also study their mutual connections, thus furthering the debate and bringing competing approaches closer to unification and consensus. This text appeals to students and researchers within the field. This is a very useful collection of essays devoted to the roles of context in the study of language. Its essays provide a useful overview of the current debates on this topic, and they put forth novel contributions that will undoubtedly be of relevance for the development of all areas in philosophy and linguistics interested in the notion of context. Stefano Predelli Department of Philosophy, University of Nottingham, Nottingham, UK. (shrink)

It has been argued that the attribution of intentional actions is sensitive to our moral judgment. I will examine these arguments and Suggest an alternative explanation for the experiments they are based on.Joshua Knobe conducted the following experiment to support this claim. Subjects were given two vignettes that differed only in one small detail and this difference influenced their attribution of intentionality. The first vignette was the following:The vice-president of a company went to the chairman of the board (...) and said, ‘We are thinking of starting a new program. It will help us increase profits, but it will also harm the environment.’The chairman of the board answered, ‘I don't care at all about harming the environment. I jus)t want to make as much profit as I can. Let's start the new program.’They started the new program. Sure enough, the environment was harmed. (shrink)

It is generally believed that natural languages have lots of contextually sensitive expressions. In addition to familiar examples like ‘I’, ‘here’, ‘today’, ‘he’, ‘that’ and so on that everyone takes to be contextually sensitive, examples of expressions that many would take to be contextually sensitive include tense, modals, gradable adjectives, relational terms , possessives and quantifi ers . With the exception of contextually sensitive expressions discussed by Kaplan [1977], there has not been a lot of (...) discussion as to the mechanism whereby contextually sensitive expressions get their values in context, aside from vague references to speakers’ intentions. In a recent paper, I proposed a candidate for being this mechanism and defended the claim that it is such. Because, as I suggested, these issues have been most extensively discussed in the case of demonstratives, I focused on these expressions by way of contrasting the mechanism I proposed with others in the literature. In the present work, I simply state what I claim is the mechanism by means of which demonstratives secure semantic values in contexts without defending the claim that it is so. I then consider some claims made by Kent Bach, and arguments for those claims, which would undermine the account I propose of how demonstratives secure semantic values in context. (shrink)

Intentionalism is the view that demonstratives, gradable adjectives, quantifiers, modals and other context‐sensitive expressions are intention‐sensitive: their semantic value on a given use is fixed by speaker intentions. The first aim of this paper is to defend Intentionalism against three recent objections, according to which speakers at least sometimes do not have suitable intentions when using supposedly intention‐sensitive expressions. Its second aim is to thereby shed light on the so far little‐explored question of which kinds of (...) intentions can be semantically relevant. (shrink)

This paper examines the role that linguistic and cognitive prominence play in the resolution of anaphor–antecedent relationships. In two experiments, we found that pronouns are immediately sensitive to the cognitive prominence of potential antecedents when other antecedent selection cues are uninformative. In experiment 1, results suggest that despite their theoretical dissimilarities, topic and contrastive focus both serve to enhance cognitive prominence. Results from experiment 2 suggest that the contrastive prosody appropriate for focus constructions may also play an important (...) role in enhancing cognitive prominence. Thus different types of linguistic prominence (topic, contrastive focus) appear to have the common effect of increasing the cognitive prominence of the discourse referent. For pronouns with two possible antecedents, the cognitive prominence of an antecedent aids in anaphor resolution, immediately biasing selection towards the more prominent (and ultimately preferred) antecedent. (shrink)

This thesis consists of four essays and an introduction dedicated to two main topics: indexicality and presupposition. The first essay is concerned with an alleged problem for the standard treatment of indexicals on which their linguistic meanings are functions from context to content. Since most indexicals have their content settled, on an occasion of use, by the speaker’s intentions, some authors have argued that this standard picture is inadequate. By demonstrating that intentions can be seen as a parameter of the (...) kind of context that characters operate on, these arguments are rejected. In addition, it is argued that a more recent, variable-based framework is naturally interpreted as an intention-sensitive semantics. The second essay is devoted to the phenomenon of descriptive uses of indexicals on which such an expression seems to contribute, not its standard reference as determined by its character, but a property to the interpretation. An argument that singular readings of the cases in question are incoherent is shown to be incorrect, and an approach to descriptive readings is developed on which they arise from e-type uses akin to other well known cases. Further, descriptive readings of the relevant kind are seen to arise only in the presence of adverbs of quantification, and all sentences in which such an adverb takes scope over an indexical are claimed to be ambiguous between a referential and an e-type reading. The third essay discusses a version of the variable analysis of pronouns on which their descriptive meanings are relegated to the so-called phi-features – person, gender and number. In turn, the phi-features are here seen as triggering semantic presuppositions that place constraints on the definedness of pronouns, and ultimately of sentences in which they appear. It is argued that the descriptive information contributed by the phi-features diverges radically from presuppositional information of both semantic and pragmatic varieties on several dimensions of comparison, and instead the main role of the phi-features is seen to be that of guiding hearers’ attempts to ascertain the speaker’s intentions. The fourth essay addresses an issue concerning the treatment of presuppositions in dynamic semantics. Representing a semantic treatment of pragmatic presuppositions, the dynamic framework is shown to incorrectly regard conversational infelicity as sufficient for semantic undefinedness, given the standard way of defining truth in terms of context change. Further, it is shown that a proposal for a solution fail to make correct predictions for epistemic modals. A novel framework is developed on which context change potentials act on contexts that have more structure than the contexts usually countenanced by dynamic semantics, and it is shown that this framework derives truth from context change while making correct predictions for both presuppositions and modals. (shrink)

The research identifies the amount of headline/article discrepancies in the corpora of western and Russian online articles on sensitive political topics. A quarter of the western headlines and nearly half of the Russian headlines distort the publications they introduce. Language means and manipulative strategies employed by different sides vary considerably. Extensive use of expressive language and style variation are seen as leading causes of distortions in the western corpus. The rich imagery used by the authors forms emotional implicatures that (...) affect the reader’s perception of the issue. In contrast, information substitution, subjective modality and selective citations are identified as major causes of distortions in the Russian corpus. Contributors to Russian news outlets rely on general rather than language manipulation strategies, including frequent use of logical fallacies and wrong generalizations. These techniques establish false logical sequences and wrong causative implicatures that compromise objective reporting. The underlying motives of the journalists’ creating false emotional and causative implicatures in the headlines lies beyond the scope of the study; however, it is assumed that intentional change of the information introduced by the headline could be viewed as a covert misinformation attempt. (shrink)

The paper extends a framework of information-based semantics for intuitionistic logic with a paraconsistent negation and consistency-sensitive epistemic modalities. In this framework information states represent information collected from various sources and as such they can be inconsistent because they receive contradictory information either from a single inconsistent source or from various mutually incompatible sources. The modalities reflect only those sources that are consistent and trusted. For the paraconsistent logic generated by this framework, we present a Hilbert style system, we (...) prove completeness, the disjunction property, the finite model property and various other results. (shrink)

By “epistemic modals,” I mean epistemic uses of modal words: adverbs like “necessarily,” “possibly,” and “probably,” adjectives like “necessary,” “possible,” and “probable,” and auxiliaries like “might,” “may,” “must,” and “could.” It is hard to say exactly what makes a word modal, or what makes a use of a modal epistemic, without begging the questions that will be our concern below, but some examples should get the idea across. If I say “Goldbach’s conjecture might be true, and it might be (...) false,” I am not endorsing the Cartesian view that God could have made the truths of arithmetic come out differently. I make the claim not because I believe in the metaphysical contingency of mathematics, but because I know that Goldbach’s conjecture has not yet been proved or refuted. Similarly, if I say “Joe can’t be running,” I am not saying that Joe’s constitution prohibits him from running, or that Joe is essentially a non-runner, or that Joe isn’t allowed to run. My basis for making the claim may be nothing more than that I see Joe’s running shoes hanging on a hook. (shrink)

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless (...) I argue that we have good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and (...) thus modal realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

The distinction of whether real or counterfactual history makes sense only post factum. However, modal history is to be defined only as ones’ intention and thus, ex-ante. Modal history is probable history, and its probability is subjective. One needs phenomenological “epoché” in relation to its reality (respectively, counterfactuality). Thus, modal history describes historical “phenomena” in Husserl’s sense and would need a specific application of phenomenological reduction, which can be called historical reduction. Modal history doubles history just as the recorded history (...) of historiography does it. That doubling is a necessary condition of historical objectivity including one’s subjectivity: whether actors’, ex-ante or historians’, post factum. The objectivity doubled by ones’ subjectivity constitute “hermeneutical circle”. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...) models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Expressivists and relativists about epistemic modals often motivate their view by arguing against contextualist treatments of certain cases. However, I argue that even expressivists and relativists should consider being a kind of contextualist. Specifically, data involving mixed disjunctions motivate taking epistemic modals to be sensitive to contextually-salient partitions, and thus context-sensitive.

There are different groups in society who may be considered vulnerable, for example those experiencing mental or physical health issues, learning disabilities, prisoners or children. There are, however, other groups in society who may also be regarded as vulnerable, such as those who are bereaved. Vulnerability in relation to the bereaved occurs as a result of experiencing a normal life event, death or a loss. In this situation vulnerability may be transient and, depending upon the management of the bereavement, generally (...) temporary. Unlike the aforementioned groups, participants required for this type of research (bereavement, death and dying) are able to consent themselves into projects, and the capacity to do so is not an issue. Undertaking research with those who may be considered vulnerable into sensitive, emotive topics such as death and dying can create difficulties for the National Research Ethics Service (NRES), making it difficult to get approval for such studies. It appears that the ethical issues are concerned with not wishing to cause distress to participants when asked for research purposes to recollect what for some may have been emotionally challenging and traumatic events. The article offers a narrative, reflective account of the above from several perspectives: being employed as a contract researcher in a university; having experience of being an active member of a National Health Service Research Ethics Committee; and later assuming the role of full-time postgraduate (PhD) student requiring ethical approval to undertake research with what may be considered a vulnerable group involving a sensitive and emotive topic. Valuable insights from participants – their views on participation in an emotive research project and good practice in research having been explored via questionnaire – are highlighted and discussed. (shrink)

A number of authors have argued that the fact that certain indexicals depend for their reference-determination on the speaker’s referential intentions demonstrates the inadequacy of associating such expressions with functions from contexts to referents (characters). By distinguishing between different uses to which the notion of context is put in these argument, I show that this line of argument fails. In the course of doing so, I develop a way of incorporating the role played by intentions into a character-based semantics for (...) indexicals and I argue that the framework I prefer is superior to an alternative which has been proposed by others. (shrink)

This paper develops a question-sensitive theory of intention. We show that this theory explains some puzzling closure properties of intention. In particular, it can be used to explain why one is rationally required to intend the means to one’s ends, even though one is not rationally required to intend all the foreseen consequences of one’s intended actions. It also explains why rational intention is not always closed under logical implication, and why one can only intend outcomes that one believes (...) to be under one’s control. (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might (...) plausibly get selected in the challenge cases. (shrink)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject‐Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

This paper aims to provide new insights to debates on group privacy, which can be seen as part of a social turn in privacy scholarship. Research is increasingly showing that the classic individualistic understanding of privacy is insufficient to capture new problems in algorithmic and online contexts. An understanding of privacy as an “interpersonal boundary-control process” (Altman, The environment and social behavior, Brooks and Cole, Monterey, 1975) framing privacy as a social practice necessary to sustain intimate relationships is gaining ground. (...) In this debate, my research is focused on what I refer to as “self-determined groups” which can be defined as groups whose members consciously and willingly perceive themselves as being part of a communicative network. While much attention is given to new forms of algorithmically generated groups, current research on group privacy fails to account for the ways in which self-determined groups are affected by changes brought about by new information technologies. In an explorative case study on self-organized therapy groups, I show how these groups have developed their own approach to privacy protection, functioning on the basis of social practices followed by all participants. This informal approach was effective in pre-digital times, but online, privacy threats have reached a new level extending beyond the scope of a group’s influence. I therefore argue that self-determined sensitive topic groups are left facing what I present as a dilemma: a tension between the seemingly irreconcilable need for connectivity and a low threshold, on the one hand, and the need for privacy and trust, on the other. In light of this dilemma, I argue that we need new sorts of political solutions. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted (...) as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

Adolescence, defined in the US as 11–21 years of age, is a critical period for prevention, as it marks the onset of risk behaviors. Minor (<18 years) self-consent and inclusion in biomedical resear...

In social science research, survey respondents hesitate to answer sensitive questions. This explains why traditional self-report surveys often suffer from high levels of non-response and dishonest answers. To overcome these problems, an adjusted questioning technique is necessary. This article examines one such adjusted questioning technique: the randomized response technique. However, in order to obtain reliable and valid data, respondents need to understand and trust this technique. Respondents' understanding and trust are assessed in two online variants of the randomized response (...) technique: (a) forced response and (b) unrelated question. Results show that understanding was significantly higher in the forced-response condition. Respondents' trust, however, was low in both conditions. (shrink)