I present an internal problem for David Lewis’s genuine modal realism. My aim is to show that his analysis of modality is inconsistent with his metaphysics. I consider several ways of modifying the Lewisian analysis of modality, but argue that none are successful. I argue that the problem also affects theories related to genuine modal realism, including the stage theory of persistence and modal fictionalism.

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)

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)

There is a widespread assumption that B-theorists (according to whom there is nothing metaphysically special about the present moment in virtue of which it is present) should interpret the standard tense operators (‘it was the case that’, ‘it will be the case that’) as implicit quantifier-restrictors – so that, for example, an utterance at instant t of the sentence ‘It was the case that there are dinosaurs’ is true just in case there are dinosaurs located at some instant t* earlier (...) than t. However, it is easy to show that this interpretation of the tense operators creates serious problems for B-theorists when combined with certain other relatively uncontroversial B-theoretic assumptions. In this paper, I argue that the best way for B-theorists to respond to these problems is to treat the standard tense operators as redundant when the sentences in their scope are qualitative (i.e. not about any particular individuals). (shrink)

The modal collapse objection to classical theism has received significant attention among philosophers as of late. My aim in this paper is to advance this blossoming debate. First, I briefly survey the modal collapse literature and argue that classical theists avoid modal collapse if and only if they embrace an indeterministic link between God and his effects. Second, I argue that this indeterminism poses two challenges to classical theism. The first challenge is that it collapses God’s status as an intentional (...) agent who knows and intends what he is bringing about in advance. The second challenge is that it collapses God’s providential control over which creation obtains. (shrink)

The first section of the chapter will address the philosophy of modality among Spinoza’s medieval Jewish predecessors, and, primarily, in Hasdai Crescas (1340-1410/11), a bold and original, anti-Aristotelian philosopher. This section should both complement the discussion of modality in medieval Christian and Islamic philosophy in the previous chapters of this volume and provide some lesser-known historical background to Spinoza’s own engagement with modal philosophy. Following a section on Spinoza’s definitions of his main modal concepts and his understanding of contingency, I (...) will turn, in the third section, to discuss the extent of Spinoza’s commitment to necessitarianism. The recent debate about whether Spinoza was a strict necessitarian has resulted in quite a few insights about Spinoza’s modal philosophy, but it has also detracted attention from some basic questions about Spinoza’s modal philosophy, and in the fourth and last section of the chapter, I will attempt to chart the foundational questions that still have been barely explored. The primary aim of this chapter it to provide a survey and outline of the chief elements of Spinoza’s modal philosophy. Still, beyond the mere overview of Spinoza’s arguments (and some major scholarly debates), I will also advance two original theses. First, I will show that Spinoza makes a distinction between two notions of contingency, and that once this important distinction is observed, Spinoza’s various assertions about contingency turn out to be consistent. Secondly, I will discuss the text (E2a1) which is commonly taken to be the strongest and most stubborn proof against the reading of Spinoza as strict necessitarianism; I will show that the basic meaning of this text has been widely misunderstood, and that E2a1 is perfectly compatible with strict necessitarianism. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

According to principles of modal security, evidence undermines a belief only when it calls into question certain purportedly important modal connections between one’s beliefs and the truth (e.g., safety or sensitivity). Justin Clarke-Doane and Dan Baras have advanced such principles with the aim of blocking evolutionary moral debunking arguments. We examine a variety of different principles of modal security, showing that some of these are too strong, failing to accommodate clear cases of undermining, while others are too weak, failing (...) to do their advertised work of blocking evolutionary moral debunking arguments. If there is a security principle that slips between the horns of this dilemma—one that is both viable and debunker-blocking—it remains to be formulated. (shrink)

A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a (...) different problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

Perception can provide us with a privileged source of evidence about the external world – evidence that makes it rational to believe things about the world. In Reasons First, Mark Schroeder offers a new view on how perception does so. The central motivation behind Schroeder’s account is to offer an answer to what evidence perception equips us with according to which it is what he calls world-implicating but non-factive, and thereby to glean some of the key advantages of both externalism (...) and internalism, respectively. He answers this motivation by developing a more specific view that he calls the Apparent Factive Attitude view, which pairs an answer to what evidence is provided by a perceptual experience with an answer to why having that perceptual experience provides you with that evidence. In this paper we advance two interconnected problems for Schroeder’s Apparent Factive Attitude view. A traditional intuitive judgment that often motivates internalists is the idea that internal duplicates must necessarily be equally rational in whatever beliefs they have. Schroeder’s arguments rely on a weaker claim - that people who are both internal and historical external duplicates but differ only in the veridicality of a single perceptual experience must be equally rational in whatever beliefs they have. In this way he preserves what he argues to be a more compelling internalist intuition. But our arguments will show that Schroeder’s view is committed to denying an even more compelling internalist intuition yet - that internal duplicates must have the same phenomenology. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that no such (...) ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems. (shrink)

Perhaps no one has done more in the last 30 years to advance thinking in the metaphysics of modality than has Alvin Plantinga. Collected here are some of his most important essays on this influential subject. Dating back from the late 1960's to the present, they chronicle the development of Plantinga's thoughts about some of the most fundamental issues in metaphysics: what is the nature of abstract objects like possible worlds, properties, propositions, and such phenomena? Are there possible but non-actual (...) objects? Can objects that do not exist exemplify properties? Plantinga gives thorough and penetrating to all of these questions and many others. This volume contains some of the best work in metaphysics from the past 30 years, and will remain a source of critical contention and keen interest among philosophers of metaphysics and philosophical logic for years to come. (shrink)

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth-functional. As (...) Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics. (shrink)

The objective of this article is to try to elucidate Wittgenstein’s ex-travagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., some alteration of the very meanings of the terms involved. To do that we will argue in favor of the idea of a “modal incompati-bility” between the concepts involved, as they were prior to the advancement, and what they become after the new result was obtained. We will also argue that the adoption of this thesis profoundly (...) alters the traditional way of con-struing the idea of “progress” in mathematics. (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies (...) of the past twenty-five years or so, up to the present debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. In Part II, I present the individual papers in the volume. These are organized around the following four chapters, based on their topic: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. -/- LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. -/- The volume is dedicated to the memory of Bob Hale. -/- . (shrink)

I offer a concise critique of a recurring line of reasoning advanced by Joseph LaPorte and Samir Okasha that all modern species concepts render the view that biological organisms essentially belong to their species empirically untenable. The argument, I claim, trades on a crucial modal ambiguity that collapses the de re/de dicto distinction. Contra their claim that the continued adherence of such a view on behalf of contemporary metaphysicians stems from the latter’s ignorance of developments in modern biology, the (...) modal ambiguity reveals the need to retrain in modal metaphysics. (shrink)

We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

ABSTRACT. Two arguments have recently been advanced that Maxwell-Boltzmann particles are indistinguishable just like Bose-Einstein and Fermi-Dirac particles. Bringing modal metaphysics to bear on these arguments shows that ontological indistinguishability for classical (MB) particles does not follow. The first argument, resting on symmetry in the occupation representation for all three cases, fails since peculiar correlations exist in the quantum (BE and FD) context as harbingers of ontic indistinguishability, while the indistinguishability of classical particles remains purely epistemic. The second argument, (...) deriving from the classical limits of quantum statistical partition functions, embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a third argument is considered that attempts to deflate metaphysical concerns altogether by showing that the phase-space and distribution-space representations of MB-statistics have contrary haecceitistic import. Careful analysis shows this argument to fail as well, leaving de re modality unproblematically grounding particle identity in the classical context while genuine puzzlement about the underlying ontology remains for quantum statistics. (shrink)

Ronald Dworkin argued that Advance Directives informed by a principle of autonomy ought to guide decisions in relation to the treatment of those in care for dementia. The principle of autonomy in play presupposes a form of competence that is tied to the individual person making the Directive. This paper challenges this individualist assumption. It does so by pointing out that the competence of a patient is inherently relational, and the key illustrative case to make this point is the case (...) of music therapy. In music therapy, a relatively recent treatment modality in aged care, patients previously thought to be permanently unresponsive are shown on the contrary to be capable of significant levels of social agency. The conclusion to draw is that Advance Directives that fail to acknowledge the real possibility of such relational competence are misapplied. (shrink)

There seems to be widespread agreement that there are two modal values: necessity and possibility. X is necessary if it is not possible that not-X; and Y is possible if it is not necessary that not-Y. In their path-breaking book, Rani Lill Anjum and Stephen Mumford defend the radical idea that there is a third modal value, weaker than necessity and stronger than possibility. This third value is dubbed 'dispositional modality' (DM) or 'tendency' and is taken to be an irreducible (...) and sui generis worldly modality: "the modality that's everywhere" (5). The source of DM is the causal powers of particulars; hence, DM is constitutively involved in causation: "a cause tends or disposes towards its effect, and can sometimes succeed in producing it" (9). Accordingly, DM is involved in all causal processes, from fundamental physics to the social and moral realm. This "deeply tendential view" (11) of the metaphysics of nature is advanced as distinct from both extant neo-Aristotelian and Humean views. Its key feature is that there is neither pure contingency nor necessitation in nature. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

This book serves as a concise introduction to some main topics in modern formal logic for undergraduates who already have some familiarity with formal languages. There are chapters on sentential and quantificational logic, modal logic, elementary set theory, a brief introduction to the incompleteness theorem, and a modern development of traditional Aristotelian Logic.

One of the longstanding issues that haunted the minds of many philosophers is our responsibility toward future generations. D. Parfit put forward one of the philosophical arguments that real people cannot be held accountable for the harm caused by their actions. Future people, as long as they have a decent life, cannot complain about a possible catastrophic situation created by the society that lives now, because subject-subject debt relationship can only exist between certain and existing people. D. Parfit’s counterintuitive idea (...) has been challenged by philosophers. In recent literature A. Wrigley sets out to provide a solution to the problem of nonidentity drawing on the D. Lewis’s metaphysics of modality. It is reasoned why the proposal of A. Wrigley cannot solve the problems about non-existent people advanced by D. Parfit. (shrink)

The purpose of this paper is to explore the question of how truthmaker theorists ought to think about their subject in relation to logic. Regarding logic and truthmaking, I defend the view that considerations drawn from advances in modal logic have little bearing on the legitimacy of truthmaker theory. To do so, I respond to objections Timothy Williamson has lodged against truthmaker theory. As for the logic of truthmaking, I show how the project of understanding the logical features of the (...) truthmaking relation has led to an apparent impasse. I offer a new perspective on the logic of truthmaking that both explains the problem and offers a way out. (shrink)

How do we come to know metaphysical truths? How does metaphysical inquiry work? Are metaphysical debates substantial? These are the questions which characterize metametaphysics. This book, the first systematic student introduction dedicated to metametaphysics, discusses the nature of metaphysics - its methodology, epistemology, ontology and our access to metaphysical knowledge. It provides students with a firm grounding in the basics of metametaphysics, covering a broad range of topics in metaontology such as existence, quantification, ontological commitment and ontological realism. Contemporary views (...) are discussed along with those of Quine, Carnap and Meinong. Going beyond the metaontological debate, thorough treatment is given to novel topics in metametaphysics, including grounding, ontological dependence, fundamentality, modal epistemology, intuitions, thought experiments and the relationship between metaphysics and science. The book will be an essential resource for those studying advanced metaphysics, philosophical methodology, metametaphysics, epistemology and the philosophy of science. (shrink)

How many senses do humans possess? Five external senses, as most cultures have it—sight, hearing, touch, smell, and taste? Should proprioception, kinaesthesia, thirst, and pain be included, under the rubric bodily sense? What about the perception of time and the sense of number? Such questions reduce to two. 1. How do we distinguish a sense from other sorts of information-receiving faculties? 2. By what principle do we distinguish the senses? Aristotle discussed these questions in the De Anima. H. P. Grice (...) revived them in 1967. More recently, they have taken on fresh interest as a result of a collection of essays edited by Fiona Macpherson. This entry reviews some approaches to these questions and advances some new ideas for the reader’s consideration. It proposes that the senses constitute an integrated learning system, membership in which answers question 1. It also proposes that the modalities can be distinguished from one another in two ways, by the means of information pick-up and by the kinds of activity that a perceiver undertakes to make use of them. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about (...) the existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

This essay is part of a larger project aimed at making sense of rational thought and agency as part of the natural world. It provides a semantic framework for thinking about the contents of: 1) descriptive thoughts and sentences having a representational or mind-to-world direction of fit, and which manifest our capacity for theoretical rationality; and 2) prescriptive and intentional sentences having an expressive or world-to-mind direction of fit, and which manifest our capacity for practical rationality. I use a modified (...) version of Allan Gibbard’s hyperstate semantics, employing both maximally determinate possible worlds and maximally determinate plans of action, as a basis for providing a unified understanding of moral judgments and expressions of individual and collective intentionality – they one and all give voice to our ability as rational agents to adopt the perspectives of various individuals within a community and consider how we would behave were we in their positions. In the course of spelling out the view I draw on and criticize ideas that Wilfrid Sellars advanced in the middle of the 20th century, while employing the tools of contemporary modal logic and model-theoretic semantics to give perspicuous formulation to his thought that the moral judgment ‘one ought to do A’ should be understood in terms of the collective intention ‘we shall do A’, where the pronoun denotes the unrestricted class of rational agents and the ‘ought’ is in some sense unconditionally binding. (shrink)

This article presents a critical analysis of two influential readings of Kant’s Second Analogy, namely, Gerd Buchdahl’s “modest reading” and Michael Friedman’s “strong reading.” After pointing out the textual and philosophical problems with each, I advance an alternative reading of the Second Analogy argument. On my reading, the Second Analogy argument proves the existence of necessary and strictly universal causal laws. This, however, does not guarantee that Kant has a solution for the problem of induction. After I explain why the (...) empirical lawfulness of nature does not guarantee the empirical uniformity of nature, I examine the modal status of empirical laws in Kant and argue contra Buchdahl and Friedman that empirical laws express two different kinds of necessity that are not reducible to each other. -/- . (shrink)

In this essay, I consider some logical treatises and commentaries from the first decades of the 12th century (many of which are still unedited) which contain a discussion on modalities and modal logic. After presenting a short catalogue of these sources and a description of their common features, I shall focus on some definitions of the modal term “necessarium” which are provided in them. As we will see, Abelard and logicians of his time advanced three different characterizations of this (...) term: necessity was either defined in terms of unavoidability (ineuitabilitas), or in terms of immutability and omnitemporality (impermutabilitas, sempiternitas), or again in terms of absolute necessity as opposed to conditioned one (necessitas absoluta vs. determinata). I argue that the temporal understanding of necessity in terms of omnitemporality, inherited from ancient sources and extensively used by Abelard and others in the first years of the twelfth-century, started to disappear in texts datable from around the 1120, perhaps due to several difficulties that were related to this definition when applied in logical contexts. I also discuss how the notion of necessitas determinata was used by Abelard’s contemporaries to qualify the modal status of present and past events, which were generally believed to be necessary only in a “weak” and harmless sense that did not prevent them from being contingent. -/- . (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in (...) terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

I seek to advance plausible replies to the several criticisms Kai Horsthemke makes of ‘African Modal Relationalism’, his label for my theory of animal rights with a sub-Saharan pedigree. Central to this view is the claim that, roughly, a being has a greater moral status, the more it is in principle capable of relating communally with characteristic human beings. Horsthemke maintains that this view is anthropocentric and speciesist, is poorly motivated relative to his egalitarian-individualist approach, and does not have the (...) implications that I contend. I aim to rebut these and related criticisms, contending that African Modal Relationalism is in fact a promising way to philosophically ground animal rights. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

In this chapter I advance a moderately conceptualist interpretation of Kant’s account of the threefold synthesis in the A-Deduction. Often the first version of TD, the A-Deduction, is thought to be less conceptualist than the later B-version from 1787 (e.g. Heidegger 1991, 1995). Certainly, it seems that in the B-Deduction Kant puts more emphasis on the role of the understanding in determining the manifold of representations in intuition than he does in the A-Deduction. It also appears that in the A-Deduction (...) the seemingly pre-conceptual aspects of a priori synthesis, namely those of the synthesis of apprehension and the imagination, are more prominently featured than in the B-Deduction. And the fact that in the A-Deduction judgement does not appear to play any significant role reinforces the view that the A-Deduction is less strongly conceptualist. I believe that Kant is a conceptualist also in the A-Deduction (as much as in the B-Deduction) in the sense that all syntheses, which are expounded in the second section of the A-Deduction, must be seen as involving the categories or the understanding as the seat of the categories. However, despite some apparent strong modal claims regarding apperception in the A-Deduction, I argue that Kant is a moderate conceptualist in the sense that he allows for the real possibility that some representations are apprehended that are not subsumed or subsumable under the categories, or determined or determinable by the understanding as the seat of the categories. Not all representations must be synthesised and hence be conceptualised (by means of the categories), nor are all representations necessarily conceptualisable (by means of the categories). Often it is argued that the application of the categories must be seen as separate from or prior to conceptualisation (that is, employment of concepts in a judgement), so that the categories must be considered to apply to representations at least to the extent that the productive imagination or recognitive synthesis is involved, even if no empirical concepts are applied in an actual judgement. But it is difficult to see how categories can apply outside the context of an actual judgement in which ipso facto empirical concepts are employed, because, after all, categories are nothing but logical functions of judgement (e.g. B143). More in particular, I shall argue for the claims that (1) appearances to the contrary, all three levels of syntheses in the A-Deduction, including the synthesis of recognition, are interdependent and are not to be seen as operating singly or independently of each other, and hence of the categories; (2) ‘mere’ apprehension, or ‘mere’ intuition, is not dependent on the understanding and the application or possible application of the categories; and that (3) ‘mere’ apprehension does not even invoke a priori synthesis of apprehension and hence is as such fully lawless in terms of Kantian a priori laws. In this context, I also address Kant’s argument in the A-Deduction about the role of the imagination in the production of spatial objects and explain his apt use of the example of cinnabar to show that the kind of association that is at issue here concerns the possibility of knowledge, not the possibility of mere association, as is often assumed. (shrink)

A recently advanced argument for purgatory hinges on the need for complete sanctification before one can enter heaven. The argument has a modal gap.The gap can be exploited to fashion a competing account of how sanctification occurs in the afterlife according to which it is in part a heavenly process.The competing account usefully complicates the overall case for purgatory and raises questions about how the notion ought to be understood.

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (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)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task of ensuring that the right sorts of information gets to the right sorts of people remains. We argue that the many efforts underway to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations. This in turn requires that the management of information and knowledge within healthcare (...) organizations be combined with models of resources and processes of patient care that are based on a general ontology of social interaction. The Health Level 7 (HL7) is one of several ANSI-accredited Standards Developing Organizations operating in the healthcare arena. HL7 has advanced a widely used messaging standard that enables healthcare applications to exchange clinical and administrative data in digital form. HL7 focuses on the interface requirements of the entire healthcare system and not exclusively on the requirements of one area of healthcare such as pharmacy, medical devices, imaging or insurance transactions. This has inspired the development of a powerful abstract model of patient care called the Reference Information Model (RIM). The present paper begins with an overview of the core classes of the HL7 (Version 3) RIM and a brief discussion of its “actcentered” view of healthcare. Central to this account is what is called the life cycle of events. A clinical action may progress from defined, through planned and ordered, to executed. These modalities of an action are represented as the mood of the act. We then outline the basis of an ontology of organizations, starting from the theory of speech Acts, and apply this ontology to the HL7 RIM. Special attention is given to the sorts of preconditions that must be satisfied for the successful performance of a speech act and to the sorts of entities to which speech acts give rise (e.g. obligations, claims, commitments, etc.). Finally we draw conclusions for the efficient communication and management of medical information and knowledge within and between healthcare organizations, paying special attention to the role that medical documents play in such organizations. (shrink)

The expressivist advances a view about how we explain the meaning of a fragment of language, such as claims about what we morally ought to do. Critics evaluate expressivism on those terms. This is a serious mistake. We don’t just use that fragment of language in isolation. We make claims about what we morally, legally, rationally, and prudentially ought to do. To account for this linguistic phenomenon, the expressivist owes us an account not just of each fragment of language, but (...) of how they weave together into a broader tapestry. I argue that expressivists face a dilemma in doing so: either they fail to explain the univocality of terms like 'ought', or they fail to explain when normative statements are and aren't inconsistent. (shrink)

Recent years have seen a heightened focus on the study of minimal forms of awareness during sleep to advance the study of consciousness and understand what makes a state conscious. This focus draws on an increased interest in anecdotical descriptions made by classic Indian philosophical traditions about unusual forms of awareness during sleep. For instance, in the so-called state of witnessing-sleep or luminosity sleep, one is said to reach a state that goes beyond ordinary dreaming and abide in a state (...) of just awareness, a state in which one is not aware of anything else other than one’s own awareness. Moreover, for these traditions, this state is taken to be the essence or background of consciousness. Reports on such a state opens the door to exciting new lines of research in the study of consciousness, such as inquiry into the so-called “objectless” awareness during sleep—states of awareness that lack an ordinary object of awareness. In this two-staged research project, we attempted to find the phenomenological blueprints of such forms of awareness during sleep in 18 participants by conducting phenomenological interviews, informed by a novel tool in qualitative research, the micro-phenomenological interview (MPI) method. Following a phenomenological analysis, we isolated a similar phase across 12 reported experiences labelled as ‘nothingness phase’ since it described what participants took to be an experience of ‘nothingness’. his common phase was characterised by minimal sense of self—a bodiless self, yet experienced as being ‘somewhere’—, the presence of non-modal sensations, relatively pleasant emotions, an absence of visual experience, wide and unfocused attention, and an awareness of the state as it unfolded. (shrink)

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though Naming and Necessity is concerned (...) with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

In this paper, I argue that the conscious awareness one has of oneself as acting, i.e., agentive awareness, is not a type of sensory awareness. After providing some set up in Sect. 1, I move on in Sect. 2 to sketch a profile of sensory agentive experiences as representational states with sensory qualities by which we come to be aware of ourselves as performing actions. In Sect. 3, I critique two leading arguments in favor of positing such sensory experiences: the (...) argument from pathology and the argument from cognitive impenetrability. Since neither of these arguments succeeds, the case for positing SAEs is dealt a significant blow. I proceed in Sect. 4 to advance my positive argument against SAEs. The argument runs as follows: If SAEs exist, then they must exist in some sensory modality or set of sensory modalities. Either the relevant sensory modalities are ones that we already recognize, or they are novel sensory modalities. I will argue that neither of these options is workable, and so we have nowhere to locate SAEs. Agentive awareness is not sensory awareness. (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to cover these two topics, the title may change (...) to Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

Our visual experience of the world is one of diverse objects and events, each with particular colors, shapes, and motions. This experience is so coherent, so immediate, and so effortless that it seems to result from a single system that lets us experience everything in our field of view. But however appealing, this belief is mistaken: there are severe limits on what can be visually experienced. -/- For example, in a display for air-traffic control it is important to track all (...) moving items. For a single item, this can be done without problem. Three or four can also be tracked, although some degree of effort may be needed. As the number is increased further, accurate tracking becomes more and more difficult—and eventually, impossible. Performance is evidently affected by a factor within the observer which enables certain kinds of perception to occur, but is limited in some way. This factor is generally referred to as attention. -/- At various times, attention has been associated with clarity of perception, intensity of perception, consciousness, selection, or the allocation of a limited “resource” enabling various operations (see Hatfield, 1998). During the past several decades, considerable progress has been achieved by focusing on the idea of selection (Broadbent, 1982). In particular, attention can be productively viewed as contingently selective processing. This can be embodied in various ways by various processes—there need not be a single quantity identified with all forms of attention, or a single site where it operates (Allport, 1993; Tsotsos, 2011). Although “paying attention” is often considered to be a unitary operation, it may simply refer to the control of one or more selective processes, ideally in a co-ordinated way. While this view has some cost in terms of conceptual simplicity, it can help make sense of a large set of phenomena. -/- This article surveys several of the major issues in our understanding of attention and how it relates to perception. It focuses on vision, since many—if not all—considerations are similar for all sensory modalities, and the level of understanding achieved in this domain is currently the most advanced. (shrink)