This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of (...) their own. I conclude by considering how a modified Gricean model can explain that irony embeds qua implicature. This leads us to prefer a local implicature model. This has important consequences for how we draw the semantics/pragmatics distinction. (shrink)

I consider embeddings of one subjunctive conditional in the consequent of another, and argue that (if A then (if B then C)) is not equivalent to (if (A & B) then C ), given the meanings we usually give to the outer and the inner 'if'.

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or (...) group. This paper develops an explanation of the puzzling facts about embedding within an orthodox framework. (shrink)

How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, (...) comparatives, and many others, I argue, give rise to a threefold problem of embedded implicatures. (shrink)

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the content (...) of restrictions to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (shrink)

You can come to know that you believe that p partly by reflecting on whether p and then judging that p. Call this procedure “the transparency method for belief.” How exactly does the transparency method generate known self-attributions of belief? To answer that question, we cannot interpret the transparency method as involving a transition between the contents p and I believe that p. It is hard to see how some such transition could be warranted. Instead, in this context, one mental (...) action is both a judgment that p and a self-attribution of a belief that p. The notion of embedded mental action is introduced here to explain how this can be so and to provide a full epistemic explanation of the transparency method. That explanation makes sense of first-person authority and immediacy in transparent self-knowledge. In generalized form, it gives sufficient conditions on an attitude’s being known transparently. (shrink)

In this paper, we show that for each forcing notion P in a transitive model M of ZFC, if P satisfies some conditions, there is an elementary embedding from M into a generic ultrapower contains a P-generic set. And, we also introduce the result that if we assume the existence of some large cardinals, the above generic ultrapower can be well-founded. Using this result, we prove some theorems on the problems of regularity properties of definable sets of reals.

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but against (...) a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

The paper discusses a prominent one of Kratzer's (1986, 1991, 2012) arguments against material implication analyses of the denotation of (indicative) conditional sentences. This is the argument based on the sentence _Most of the time, if a man buys a horse, he pays cash for it_. It is shown that material implication makes a prediction that does conform to speakers' intuitions, contrary to Kratzer's claim. The paper also argues that Lewis's (1975) attack on material implication analyses of conditional sentences based (...) on examples where the conditional is embedded under the adverbials _sometimes_ and _never_ does not have much force given that the interpretation of such sentences is subject to inferential pragmatic operations in addition to the recovery of their denotation. (shrink)

Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure between (...) the reliability and the benefit of maintaining the components and the system as a whole one. An additional and the last reason for analyzing constructing machine as a whole one has an economic reason. From the aspect of the total cost and the capacity of the system, the function of the availability is catching more and more impact in the process of determinating the total cost in bill of quantities as the most important part of tender documents. Until former works, techno-economic optimisation usually ran over when choosing the system of the construction machines. In the work, there are shown the methodologies for gathering and analyzing the indicators of availabilities per unit of a company's machine park. The time of demission and reparation have been investigated among 34 components in the period of 6 years. Based on the obtained result for different conditions of machine exploitation and facilities, it is suggested the methodology of the future behaviour of the corresponding within the model optimization availability of constructing production system with the aim of eliminating extra criterion. The suggested model takes in consideration the total cost of the components when they are functional, and when they are not. This kind of approach enables the one who take choices decision of the height of profits, in the lenght of work in function of the projection of cash flow and managing with real indicators of functioning the system at the project level. Given the fact that the maintanance policy of machines is based on availability, and not on reliability of components, with the aim of maximizing the availability of different budget scenarios, a logical approach to the selection of the objective function in the terms of management of construction production systems is to minimize costs for a given availability of system constructing machinery is based on the use of historical data base with the values of the operational availability of components, conditions in which they function, in the process of forecasting the project availability for projects that follow. Ranking variant solutions is the result of the adopted function of the aim as a consequence due to enlargement methods of availability for serial parallel systems with the associated restrictions. For optimal system availability is taken a value that belongs to minimal total cost. However, it is predicted that after the end of the financial year, the real and projected indicators of system functions get compared to each other. Informational support to the proposed model is informational company system, which was built in the PHP programming language on the Linux software platform, and with data based in My SQL. The suggested model is tested on the system for the production and embedding bitumen bound materials on the specific project. Obtained results confirm the assumptions used in work. (shrink)

No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. (...) Both phenomena are shown to be problematic for existing analyses. Surprisingly, the decomposition of conditionals needed to capture the link with interrogatives provides a new analysis that captures all three phenomena. The model-theoretic semantics offered here relies on a dynamic conception of meaning and compositionality, a feature discussed throughout. (shrink)

I give reasons stemming from the nature of narrative thinking why two-antecedent conditionals, most naturally expressed as "Suppose A. Suppose moreover B. Then C" the two antecedents play different roles. I formalise this idea with a two-dimensional similarity relation between possible worlds.

It is widely held that there are important differences between indicative conditionals (e.g. “If the authors are linguists, they have written a linguistics paper”) and subjunctive conditionals (e.g. “If the authors had been linguists, they would have written a linguistics paper”). A central difference is that indicatives and subjunctives convey different stances towards the truth of their antecedents. Indicatives (often) convey neutrality: for example, about whether the authors in question are linguists. Subjunctives (often) convey the falsity of the (...) antecedent: for example, that the authors in question are not linguists. This paper tests prominent accounts of how these different stances are conveyed: whether by presupposition or conversational implicature. Experiment 1 tests the presupposition account by investigating whether the stances project – remain constant – when embedded under operators like negations, possibility modals, and interrogatives, a key characteristic of presuppositions. Experiment 2 tests the conversational-implicature account by investigating whether the stances can be cancelled without producing a contradiction, a key characteristic of implicatures. The results provide evidence that both stances – neutrality about the antecedent in indicatives and the falsity of the antecedent in subjunctives – are conveyed by conversational implicatures. (shrink)

In this article I explore a number of questions that have not been adequately investigated in philosophy of mind circles: are minds located in the same place as the brains (or other computing machinery) supporting them? Must they exist at the same location as the body? Must they exist at the same time? Could a single mind be implemented in multiple brains, or multiple minds in a single brain? Under what conditions might a single mind persist despite being implemented successively (...) in different brains? What contributions do features of the computing machinery make to these questions, compared to the contribution made by the body and embedded point of view? Some of these questions have been touched on previously, but there hasn’t been any attempt at a systematic analysis of the various consequences that different approaches in the philosophy of mind have for how the spatiotemporal location, synchronic individuation and diachronic identity of minds relates to the spatiotemporal location, synchronic individuation, and diachronic identity of both the implementing computational machinery and the embodied embedded point of view. I make a first stab at such an analysis by discussing a variety of thought experiments in which such questions of location, individuation, and identity arise, and I explore how various approaches to understanding the mind – identity theoretic, functionalist, contentualist, embodied/embedded/extended, and so forth – would respond to such situations. A number of novel issues emerge, and some surprising affinities are revealed. (shrink)

Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...) certain conditional intentions. We discuss the philosophical implications for knowledge-how, deliberative questions, and virtue. (shrink)

This paper elaborates and defends an expressivist account of the claims of mind-independence embedded in ordinary moral thought. In response to objections from Zangwill and Jenkins it is argued that the expressivist 'internal reading' of such claims is compatible with their conceptual status and that the only 'external reading' available doesn't commit expressivisists to any sort of subjectivism. In the process a 'commitment-theoretic' account of the semantics of conditionals and negations is defended.

It is astonishing that we humans are able to have, act on and express moral beliefs. This dissertation aims to provide a better philosophical understanding of why and how this is possible especially when we assume metaethical expressivism. Metaethical expressivism is the combination of expressivism and noncognitivism. Expressivism is the view that the meaning of a sentence is explained by the mental state it is conventionally used to express. Noncognitivism is the view that the mental state expressed by a moral (...) sentence is a noncognitive, desire-like state. The central question of this dissertation is this: "How can metaethical expressivists explain that we are able to express moral beliefs?" The shortest answer this dissertation will give is the following: "by becoming `dispositional expressivists´." Dispositional expressivists hold that moral beliefs are dispositions to be in certain mental states that resemble desires. More precisely, a central thesis of this study is that to hold a moral belief is to be disposed to be in a desire-like, noncognitive state where this state has some specific structure. This dissertation arrives at and justifies this thesis by making a number of steps. It starts with preparing the ground by developing a general theory of what it is for a sentence to express a mental state. Roughly, this theory states that for a sentence to express a mental state is for that sentence to be conventionally used to perform a speech act which counts as sincere only if the user or speaker is in that mental state. This theory of expressing satisfies all the constraints that must be satisfied for it to be compatible with the purposes of metaethical expressivism. The next step is to provide a solution to the most notorious semantic problem confronting metaethical expressivism, the problem of explaining how sentences containing moral words can have compositional meaning and stand in logical relations also known as the Frege-Geach or embedding problem. Building on the research of Mark Schroeder, a new expressivist semantics, called `Attitude Semantics´, will be developed for a first-order language. The motivating idea underlying attitude semantics is that expressivists can avoid the problematic feature of so-called `biforcation´ if they treat the structures of the mental states expressed by moral sentences as well as that expressed by non-moral sentences as being isomorphic. In order to give those structures a philosophically interesting interpretation, it will be suggested that we treat sentences as expressing dispositional states. As a toy example we will treat the sentence `murder is wrong´ as expressing the disposition to be for blaming for murder. After dealing with the Frege-Geach problem, I turn to the metaethical expressivists' project of quasi-realism. Two major goals of this project are to explain how moral sentence can be truth-apt and how the states expressed by them can be regarded as moral beliefs. In order to establish those goals I critically examine a number of theories of truth-aptness by providing counterexamples to them. I then present my own theory which says that a sentence is truth-apt iff and because there is a conventional way to use it to express a belief. What is new about this theory is that it treats expressing a belief as being explanatorily more basic than being truth-apt. Belief, according to this theory, explains truth-aptness, not vice versa. This has the important consequence that it shows that what I call the `orthodox strategy´ of quasi-realists is mistaken and needs to be inverted: expressivists must `earn the right´ to moral belief before they can establish that moral sentences are truth-apt, and not the other way round. The second part of this dissertation is then concerned with the question of what it is to hold a moral belief and how they can figure in rational reasoning. In short: it is concerned with earning the right to moral belief. After discussing the major problems confronting a noncognitivist theory of belief, most importantly what I call the `tightrope problem´, I argue for a dispositional form of noncognitivism about moral belief that combines elements from Eric Schwitzgebel's dispositionalism about belief and Sebastian Köhler's `conceptual role expressivism´. This dispositional noncognitivism perfectly matches and justifies the dispositionalist interpretation of the expressivist semantics developed before. In order to fully earn the right to moral belief, however, metaethical expressivists must also deal with several epistemological objections concerning the rationality of moral belief. The first objection I deal with comes from Derek Baker and is directed against Mark Schroeder's specific development of expressivism. I deal with this objection because my own theory bears close resemblance to Schroeder's theory and so it might be worried that it confronts the same issues. Fortunately, we will see that Baker's objection rest on a number of mistaken assumptions and so neither applies to Schroeder's expressivism nor to the version which I defend in this study. The other epistemological objection to metaethical expressivism I deal with is Cian Dorr's famous wishful-thinking objection. In contrast to previous replies to this objection I attack it by directly questioning the central assumption on which it rests, namely that reasoners can never be justified in basing a factual belief on a desire-like state. I argue that this is false, and that under certain conditions reasoning from desire-like mental states to factual beliefs is justified. My argument shows that even if holding a moral belief is being in a desire-like noncognitive state, basing factual belief on a moral belief can give one an epistemic reason for the factual belief. Hence, even if moral thoughts are wishes, moral thinking is not wishful thinking. I take my arguments to earn the dispositional expressivist the right to moral belief. By the previously defended theory of truth-aptness in terms of belief, this allows the dispositional expressivists to conclude that moral sentences are also truth-apt. This finishes the quasi-realist project of this dissertation. In the last part of this dissertation I switch gears and present two unnoted problems for metaethical expressivists having to do with explaining moral motivation. Both arguments are surprisingly simple. The first one is this: if motivation requires a belief as well as a desire (Humeanism), and moral judgments motivate by themselves (internalism), then moral judgments cannot be desires only. If this argument is sound, it shows that the famous `motivation argument´ not only entails the falsity of cognitivism, but also the falsity of noncognitivism. The second argument is the following: moral judgments when combined with suitable external desires motivate to act (externalism), but if motivation requires belief as well as desire (Humeanism), then moral judgments cannot be desires only. I discuss several ways in which noncognitivists might want to deal with those problems, but leave it as an open question whether those solutions will ultimately be viable. Overall, this dissertation makes serious contributions to the research program of metaethical expressivism. It makes proposals for how to solve a number of notorious problems, such as the Frege-Geach problem in semantics and the wishful-thinking problem in epistemology. Besides this, however, it also raises two new problems for metaethical expressivism in the philosophy of action. For those reasons this dissertation will be of interest for anyone who wants to defend or criticize expressivism in metaethics, and more generally, anyone who wants to better understand our astonishing ability to express moral beliefs. (shrink)

The article explores the concept of ‘life’ via processual ontology, contrasting the approaches of substance and processual ontologies, and investigates the link between ontological assumptions and sociopolitical discourses, stating that the predominant substance ontologies also promote an objectifying and anthropocentric framework in sociopolitical discourses and ethical approaches. Arguing for a necessary shift in the ontological conceptualization of life to enable environmentally-minded ethics for the future, the article explores the tie between the sociopolitical discourses embedded in a worldview that is (...) grounded in substance ontology and ethical frameworks. Whilst affirming this tie, this study also explicates the limitations and potential feasibility of a processual understanding of life, in the context of the existential disposition of the self-alienated lived-body self that is ontologically predisposed to objectification as a necessary pre-condition to human self-awareness. (shrink)

Starting from the ‘Dewey Lectures’, Rawls presents his conception of justice within a contextualist framework, as an elaboration of the basic ideas embedded in the political culture of liberal-democratic societies. But how are these basic ideas to be justified? In this article, I reconstruct and criticize Rawls’s strategy to answer this question. I explore an alternative strategy, consisting of a genealogical argument of a pragmatic kind – the kind of argument provided by authors like Bernard Williams, Edward Craig and (...) Miranda Fricker. I outline this genealogical argument drawing on Rawls’s reconstruction of the origins of liberalism. Then, I clarify the conditions under which this kind of argument maintains vindicatory power. I claim that the argument satisfies these conditions and that pragmatic genealogy can thus partially vindicate the basic ideas of liberal-democratic societies. (shrink)

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

The paper investigates the ethics of information transparency (henceforth transparency). It argues that transparency is not an ethical principle in itself but a pro-ethical condition for enabling or impairing other ethical practices or principles. A new definition of transparency is offered in order to take into account the dynamics of information production and the differences between data and information. It is then argued that the proposed definition provides a better understanding of what sort of information should be disclosed and what (...) sort of information should be used in order to implement and make effective the ethical practices and principles to which an organisation is committed. The concepts of “heterogeneous organisation” and “autonomous computational artefact” are further defined in order to clarify the ethical implications of the technology used in implementing information transparency. It is argued that explicit ethical designs, which describe how ethical principles are embedded into the practice of software design, would represent valuable information that could be disclosed by organisations in order to support their ethical standing. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby (...) provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is (...) enriched with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Mental causation, though a forceful intuition embedded in our commonsense psychology, is difficult to square with the rest of commitments of physicalism about the mind. Advocates of mental causation have found solace in the causal inheritance principle, according to which the mental properties of mental statesshare the causal powers of their physical counterparts. In this paper, I present a variety of counterarguments to causal inheritance and conclude that the conditions for causal inheritance are stricter than what standing versions of (...) said principle imply. In line with this, physicalism may be destined to epiphenomenalism unless multiple realizability turns out false. (shrink)

The claim that ―concepts serve as rules for the synthesis of representations‖ is understood by the mainstream of Kant‘s scholarship as if categories and concepts, in general, are conditions for the constitution of objects out of the manifold of sensations devoid of reference. That is the claim that I wish to question here. The claim comes in different flavors and formulations. Still, none of them are relevant here. I aim to provide an alternative account for the claim that ―the representation (...) makes the object possible.‖ I argue that the traditional view represents a solution to what I call the pseudo-problem of intentionality, namely to account for how a representation of something emerges out of a manifold of sensations devoid of reference. Yet, the intentionality problem is a misunderstanding of what I call the recognition thesis: the role of concepts is to provide the rules for the (mind-dependent) recognition (Erkenntnis) of the mind-independent existence of transcendental objects (noumena). ―The representation makes the object possible in the relevant sense that only by means of concepts can we recognize that what is sense-dependently represented actually exists mind-independently as transcendental objects or noumena in the negative sense. My view is embedded in the framework of what today is called ―Kantian Nonceptualism‖. Still, my view is neither a simple re-statement of Kantian Nonconceptualism nor depends on it. It is independently grounded on what Kant calls ―Erkenntnis‖. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of (...) full ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

In this paper, we propose a new theory of rationality defeat. We propose that defeaters are "indicators of ignorance", evidence that we’re not in a position to know some target proposition. When the evidence that we’re not in a position to know is sufficiently strong and the probability that we can know is too low, it is not rational to believe. We think that this account retains all the virtues of the more familiar approaches that characterise defeat in terms of (...) its connection to reasons to believe or to confirmation but provides a better approach to higher-order defeat. We also think that a strength of this proposal is that it can be embedded into a larger normative framework. On our account the no-defeater condition is redundant. We can extract our theory of defeat from our theory of what makes it rational to believe—it is rational to believe when it is sufficiently probable that our belief would be knowledge. Thus, our view can provide a monistic account of defeat, one that gives a unifying explanation of the toxicity of different defeaters that is grounded in a framework that either recognises knowledge as the norm of belief or identifies knowledge as the fundamental epistemic good that full belief can realise. (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)

The paper considers the nature of the state understood as the political unity articulated on the basis of a collective identity which provides the state with its capacity to make decisions. The foremost decision of the state to protect and defend this identity is the source of its authority to enforce laws. Collective identity thus represents an object of special interest, unlike both “political” interests (Millian other-regarding acts) and private interests (Millian self-regarding acts). The validation of laws through this special (...) interest is a necessary condition for both of these latter kinds of interests to materialize. Hence, unlike the Millian thesis of two different kinds of interests (self- and other-regarding), here we take that there are three types or spheres of interests. Any conception of rights, then, will cover a subset of interests found in the domains of all of those three types of interests: in the domain of political interest the issue concerns selection among competing sets of legitimate interests, within the domain of private interests the point is to discern those that will be protected by law, while the third type of interests, the object of which is a unique collective identity and its defining specificity, represents an overarching interest that is embedded in any legitimate collective concern. In this scheme, well-suited for democratic theory, the majority/minority discourse is a matter of distinguishing which particular set of legitimate interests is chosen to be dominant (e.g., which political party is in power) and which ones are waiting for the opportunity to achieve their transformation from minority (opposition) to majority (i. e. government). If, however, there is no well-defined collective identity, minorities acquire a new meaning. Rather than being possible future majorities, they form a nucleus of competing collective identities with, sometimes hopeless but still alive, aspirations to sovereignty. Thus they become sources of likely conflicts that may go well beyond political controversies. (shrink)

"Kapitał społeczny ludzi starych na przykładzie mieszkańców miasta Białystok" to książka oparta na analizach teoretycznych i empirycznych, która przedstawia problem diagnozowania i używania kapitału społecznego ludzi starych w procesach rozwoju lokalnego i regionalnego. Kwestia ta jest istotna ze względu na zagrożenia i wyzwania związane z procesem szybkiego starzenia się społeczeństwa polskiego na początku XXI wieku. Opracowanie stanowi próbę sformułowania odpowiedzi na pytania: jaki jest stan kapitału społecznego ludzi starych mieszkających w Białymstoku, jakim ulega przemianom i jakie jest jego zróżnicowanie? Ludzie (...) starzy są tu postrzegani jako kategoria społeczna, czyli zbiór osób podobnych do siebie pod względem społecznie istotnych cech (takich jak wiek, posiadane role społeczne i świadomość korzystania ze świadczeń społecznych), którzy są świadomi tego podobieństwa i swojej odrębności od innych. Przyjmuje się ponadto, iż osoby takie przekroczyły 60. rok życia. Zakłada się też, że w zasobach ludzkich skumulowany jest kapitał ludzki, społeczny i kulturowy. Kapitał społeczny jest tu ujmowany szeroko jako potencjał współdziałania osadzony w powiązaniach międzyludzkich i normach społecznych, który może przynosić korzyści osobom, grupom i społeczeństwom. W części teoretycznej przedstawiono informacje o starości jako etapie w życiu jednostki, wyjaśniono pojęcie ludzi starych, omówiono społeczne teorie starzenia się, historyczne czynniki oddziaływające na położenie kategorii społecznej ludzi starych, zmiany ich miejsca w społeczeństwie polskim w trakcie transformacji ustrojowej i na początku XXI wieku, możliwe konsekwencje wzrostu długości życia w warunkach demokracji i kapitalizmu oraz charakterystykę problemu starzenia się ludności Białegostoku jako miasta pogranicza. Zaprezentowano też różnorodne koncepcje kapitału społecznego, sfery jego oddziaływania na rozwój społeczno-gospodarczy, jego stan w Polsce oraz wytyczne do strategicznego budowania jego zasobów. Przybliżono również wybrane informacje o aktywności ludzi starych w życiu publicznym, społecznym i gospodarczym jako kluczowych cechach ich kapitału społecznego. Porządkując różne stanowiska teoretyczne, wyniki badań i dane statystyczne, dążono do powiązania wielu rozproszonych źródeł w przekonaniu, iż jest to istotne w celu określenia i zagospodarowania zasobów kapitału społecznego seniorów, jak również niwelacji opóźnienia polskiej socjologii w zakresie badań nad ludźmi starymi. Pomimo, iż za podstawową perspektywę teoretyczną publikacji uznana została koncepcja kapitału P. Bourdieu, autor bierze również pod uwagę propozycje badawcze J.S. Colemana, R.D. Putnama, F. Fukuyamy, A. Giddensa, P. Sztompki i A. Sadowskiego. Drugi rozdział zawiera określenie ram metodologicznych badań przeprowadzonych na potrzeby tej publikacji. Omówiono przyjęte założenia badawcze oraz przybliżono sposób i przebieg realizacji badań. Przede wszystkim zdecydowano się na korzystanie z metody jakościowej i zastosowanie techniki wywiadu swobodnego ukierunkowanego. Uznano, iż podmiotowy kontakt z ludźmi starymi umożliwi dokładniejsze rozpoznanie kontekstu, w którym znajdują się zasoby ich kapitału społecznego. Jest to ważne, gdyż przenoszenie na rodzimy grunt opracowanych za granicą interpretacji działań ludzi starych i rozwiązań aktywizujących, może okazać się nieskuteczne lub wywołać negatywne efekty zewnętrzne. Ponadto w literaturze przedmiotu zwraca się uwagę na niedostatek badań gerontologicznych zgodnych z paradygmatem interpretatywnym. Badaniu poddano 26 respondentów w wieku od 60 do 89 lat żyjących w mieście Białystok związanych z jedną z dwóch różnych instytucji: Domem Pomocy Społecznej i Uniwersytetem Trzeciego Wieku. Poprzez porównywanie osób znajdujących się na dwóch biegunach aktywności społecznej możliwe było dostrzeżenie podobieństw i różnic w ich wyposażeniu kapitałowym, a zarazem w osiągniętych w ciągu życia pozycjach w strukturze klasowej i zasobach służących pomyślnej starości6. W trzecim rozdziale przedstawiona została część wyników analiz empirycznych. Przybliżono tu sposób, w jaki ludzie starzy myślą o podobnych sobie przodkach i osobach współczesnych, a także czynniki, w zależności od których zmienia się ich pozycja społeczna w mieście oraz problemy społeczne, jakie uznają za najważniejsze dla ludzi starych. Analizie poddano opinie o ich czasie wolnym, szansach i barierach aktywności ekonomicznej. Wyróżniono typy kapitału społecznego ludzi starych w zależności od instytucji, z którymi są związani oraz podejścia do postrzegania i wykorzystywania zróżnicowania wewnętrznego seniorów. Omówiono wizerunek seniorów w środkach masowego przekazu. Publikacja nie zawiera ścisłego zakończenia. W ostatnim rozdziale wskazano jedynie na główne wnioski płynące z badań oraz na potencjalne dalsze kierunki analiz. Uzupełnienie tego podejścia stanowią zamieszczone w aneksie zestawienia oddolnych technik budowania kapitału społecznego oraz podstawowych cech Miast Przyjaznych Starszemu Wiekowi. Z opracowania tego z pewnością będą mogli skorzystać nie tylko naukowcy zajmujący się tematyką ludzi starych, ale i pracownicy socjalni, politycy, pracodawcy, przedstawiciele mediów i organizacji pozarządowych oraz obywatele Białegostoku i innych miast. ** "Social Capital of Old People on the Example of Bialystok Residents" is a book based on theoretical and empirical study, which presents an issue of diagnosing and using of old people social capital in the local and regional development processes. This issue is significant because of the threats and challenges associated with process of rapid ageing of Polish society at the beginning of 21st century. Publication, in particular, is an attempt to give answers to the following questions: what is the state of old people social capital in Bialystok, what transformations it undergoes and how is it differentiated? In this study old people are viewed as a social category, which is a set of people similar to each other in terms of socially significant features (such as age, possessed social roles and awareness of received social benefits), who are aware of these similarities and differences between each other. Moreover, it is assumed, that such persons exceeded the 60 years of age. It is also assumed that human, social and cultural capital is accumulated in the human resources. Social capital is recognized here broadly as a potential for collaboration embedded in interpersonal relationships and social norms that may benefit individuals, groups and societies. The book consists of three chapters. The first, which is the theoretical part of work, includes information about: old age as a stage of individual life and explanation of the old people notion. It discusses social theories of ageing, historical factors affecting on the social position of old people category, changes in their place in Polish society during the system transformation and in the early 21st century. It describes the possible consequences of increased life expectancy for democracy and capitalism - including the concepts of society for all ages, silver economy. It also features ageing population issue, as well as social policy towards the elderly and old age in Bialystok as the borderland city. A variety of social capital concepts were presented; the spheres of its influence on socio-economic development, its status in Poland and guidelines for strategic building of its resources. Selected information on the activity of old people in public, social and economic life as key features of their social capital was brought closer. Putting various theoretical positions, results of research and statistical data in order was aimed to link many dispersed sources considering that it is relevant to identify and develop seniors' social capital resources, as well as leveling the delay of Polish sociology research on the elderly. Fundamental theoretical perspective of publication is the concept of capital according to P. Bourdieu. However, the proposals of J.S. Coleman, R.D. Putnam, F. Fukuyama, A. Giddens, P. Sztompka and A. Sadowski were also used. The second chapter contains a methodological framework for the purposes of study. Research assumptions, method and course of implementation of studies were discussed. The study is based on the qualitative method and the application of in-depth interview techniques. It was considered that the personal contact with old people will be more accurate than other research techniques to identify the context in which they social capital resources can be found. It is important because the transfer of developed abroad activating solutions and interpretations of old people actions may be ineffective or have negative external effects in the Polish context. Moreover, in the Polish science literature attention is paid to scarcity of gerontological research in accordance with the interpretive paradigm. Study involved 26 respondents aged 60 to 89 years living in Bialystok associated with one of two different institutions: nursing home for the elderly and University of the Third Age. By comparing the persons on two extremes of social activity it was possible to see similarities and differences in their capital equipment, and also in achievements of the life positions in the class structure and resources aimed at successful ageing. The third chapter presents the empirical analysis of the research results. This part outlines the way in which old people think about their ancestors and contemporary people. It also shows factors according to changes in their social position in the city, social issues which they consider most important for old people, their opinions about leisure time, opportunities and barriers of economic activity and types of old people social capital depending on the institution with which they are associated. Approach to the perception and use of internal disparities of seniors were also discussed. The analysis additionally contains the evaluation of senior citizens image in the polish mass media. This publication does not contain a strict ending. It only identifies the main conclusions of the research and potential directions of future analysis. Above all, older people could improve their position not by demanding increases in social benefits from which major parts are often taken away by their family members, but by highlighting their human, social and cultural capital. It is necessary to create favorable conditions for social and professional life of old people and their cooperation with members of local communities. Important role in this regard is played by institutions implementing three tasks: stimulating senior citizens' desire to satisfy previously unrealized needs; creating relationships between them so that they can solve their own problems and work for the others; and providing legal, social and vocational guidance. Stimulating cooperation between existing public, commercial and non-governmental sector organizations may serve to achieve these goals. The dissemination of bottom-up techniques of social capital building and checklist of essential features of Age-friendly Cities may also be important. -/- . (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive (...) semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example in (...) (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

Prison as a Torturous Institution Philosophers working on torture have largely failed to address the widespread use of torture in the U.S. prison system. Drawing on a victim-focused definition of torture, I argue that the U.S. prison system is a torturous institution in which direct torture occurs (the use of solitary confinement) and in which torture is allowed to occur through the toleration of sexual assault of inmates and the conditions of mass incarceration. The use and toleration of torture expresses (...) and reinforces the moral exclusion of those subjected to it, particularly African Americans. Importantly, this moral exclusion and the experience of torture may be created and reinforced through institutional practices independently of the intentions of individuals acting within those institutions. By prioritizing torture victims’ experiences and severing the link between torture and intention, my account forces a recognition that, far from being inconsistent with U.S. values, torture is deeply embedded within U.S. institutions. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Examining the significance of the General’s enlightenment in the Platform Sutra, this article clarifies the fundamental role that emotions play in the development of one’s spiritual understanding. In order to do so, this article emphasizes that the way to enlightenment implicit in the story of the General and the Master involves first granting negative emotions a means for productive expression. By acting as a preparatory measure for calming the mind and surrendering control over it, human passions become a necessary, antecedent (...) condition to wisdom—a conclusion that this article argues is a major, and sometimes underappreciated, lesson embedded in the teachings of the Sixth Patriarch. (shrink)

Epistemologists have addressed a variety of modal epistemic standings, such as sensitivity, safety, risk, and epistemic virtue. These concepts mark out the ways that beliefs can fail to track the truth, articulate the conditions needed for knowledge, and indicate ways to become a better epistemic agent. However, it is our contention that current ways of carving up epistemic modality ignore the complexities that emerge when individuals are embedded within a community and listening to a variety of sources, some of (...) whom are intentionally engaged in deception or bullshit. In this context we want our beliefs to be secure. In this paper we translate the epistemic modal standing of safety into a framework appropriate for social epistemology and argue for the importance of epistemic network-security and belief-security to be added to this framework. We discuss the virtues that are salient for promoting network-security and the vices that undermine it. In particular, we highlight monitoring, adjusting, and restructuring virtues and vices. Importantly, each of these vices can be other-regarding or self-regarding. For example, one tempting way of dealing with insecurity within a network is to completely cut oneself off from biased sources. However, we argue that this is a self-regarding restructuring vice because it closes oneself off from opportunities for epistemic growth. By contrast, an other-regarding restructuring vice would be to cut off others from hearing from sources of information that would make their network more secure. (shrink)

Assertions about appearances license inferences about the speaker's perceptual experience. For instance, if I assert, 'Tom looks like he's cooking', you will infer both that I am visually acquainted with Tom (what I call the "individual acquaintance inference"), and that I am visually acquainted with evidence that Tom is cooking (what I call the "evidential acquaintance inference"). By contrast, if I assert, 'It looks like Tom is cooking', only the latter inference is licensed. I develop an account of the acquaintance (...) inferences of appearance assertions building on two main previous lines of research: first, the copy raising literature, which has aimed to account for individual acquaintance inferences through the "perceptual source" semantic role; second, the subjectivity literature, which has focused on the status of acquaintance inferences with predicates of personal taste, but hasn't given much attention to the added complexities introduced by appearance language. I begin by developing what I take to be the most empirically-sound version of a perceptual source analysis. I then show how its insights can be maintained, while however taking anything about perception out of the truth conditions of appearance sentences. This, together with the assumption that appearance assertions express experiential attitudes, allows us to capture the acquaintance inferences of bare appearance assertions without making incorrect predictions about the behavior of appearance verbs in embedded environments. (shrink)

Since the early Medieval Time people contested theological legitimation and rational discursive discours on authority as well as retreated to refuges to escape from any secular or ecclesiastical authority. Modern attempts formulated rational legitimation of authority in several ways: pragmatic authority by Monteigne, Bodin and Hobbes, or the contract authority of Locke and Rousseou. However, Enlightened Anarchism, first formulated in 1793 by the English philosopher William Godwin fulminated against all rational restrictions of human freedom and self-determination. However, we do not (...) analyze anarchism by the ‘what’ and the ‘why’, but by looking for the best actual approach of Anarchist’s ‘Promised Land’. Furthermore, we follow the footsteps of Thoreau’s Walden Pond experiment considered as a place of salvation and prototype of 19th century romantic’s extreme individualism towards Leopold’s ethics of the land. Indeed, Thoreau’s and later Muir’s concepts of refuges are tightly connected to territorial and temporal bio-regional constraints and imply an internally organized public area based on mutualism and Hannah Arendt’s agape. From these ideas of refuges, Aldo Leopold formulated his Land-ethics that claimed integrity and autonomy of the ‘Land’. His foundation is a prototype of the eco-centric free space version of eco-anarchism as formulated by Bookchin. In order to formulate a philosophical foundation of eco-anarchism we reject Newtonian homogeneous space-temporal conception, preceding the whole Modern discours about authority and state. On the contrary, we adopt the pluralistic Leibnizian space-time from which thinking-humans do not dissociate themselves, but participate as part of the rational infrastructure of eco-refuges. In eco-refuges, citizen belong to the civil society that stays in equilibrium with the landscape and all forms of biological life. Space is the boundary condition of human activity and determines how borders, environmental organization and institutes are sustained. Space has its proper essence of sustainability, unity and integrity. The individual feelings of security are embedded in a timelike tradition and evolution of the free space, while individual particular conceptions of space and time integrate into the social processes of identification with the refuge. Therefore, the creation of eco-refuges transforms the actual world of national authorities into a world of anarchistic democratic eco-regional homelands. (shrink)

Gallagher is right in pointing out that scientific realism is an implicit background assumption of BNO, and that I did not give an independent argument for it. He is also right in saying that science does not _demonstrate_ the existence of certain entities, but that it assumes those entities in a process of explanation and theory formation. However, it is not true that science, as Gallagher writes (p.2), “simply” assumes the reality of certain things: such assumptions are embedded in (...) the context of an attempt to find the_ minimal _ set of ontological assumptions one has to make relative to a set of explanatory goals and relative to a specific data set in a certain domain. This parsimonious spirit is also the <blockquote> PSYCHE: http://psyche.cs.monash.edu.au/ </blockquote> spirit of SMT, which can be seen as a search for the minimal conditions under which a phenomenal self and a consciously experienced first-person perspective can emerge. (shrink)

Metaethical absolutism is the view that moral concepts have non-relative satisfaction conditions that are constant across judges and their particular beliefs, attitudes, and cultural embedding. If it is correct, there is an important sense in which parties of moral disputes are concerned to get the same things right, such that their disputes can be settled by the facts. If it is not correct, as various forms of relativism and non-cognitivism imply, such coordination of concerns will be limited. The most influential (...) support for absolutism comes from an argument with two related premises. According to the first premise, moral thinking and moral discourse display a number of features that are characteristically found in paradigmatically absolutist domains, and only partly in uncontroversially non-absolutist domains. According to the second, the best way of making sense of these features is to assume that absolutism is correct. This paper defends the prospect of a non-ad hoc, non-absolutist, explanation of these "absolutist" features, thus calling into question the second premise. But instead of attempting to directly explain why the moral domain displays these features, it attends to how they are partially displayed by paradigmatically non-absolutists judgments about taste and likelihood. Based on this, it proposes independently motivated general accounts of attributions of agreement, disagreement, correctness and incorrectness that can explain both why absolutist domains display all "absolutist" features and why these non-absolutist domains display some. Based on these accounts, it provides preliminary reasons to think that these features of moral discourse can be given a non-absolutist explanation. (shrink)

Thus far, the recognition approach as described in the works of Axel Honneth has not systematically engaged with the problem of poverty. To fill this gap, the present contribution will focus on poverty conceived as social exclusion in the context of the European Union and probe its moral significance. It will show that this form of social exclusion is morally harmful and wrong from the perspective of the recognition approach. To justify this finding, social exclusion has to fulfil three conditions: (...) (i) it has to be experienced as harmful by the socially excluded, (ii) it has to meet certain objective criteria, and (iii) it has to violate normative claims embedded within society. (shrink)

The Qualitative Thesis says that if you leave open P, then you are sure of if P, then Q just in case you are sure of the corresponding material conditional. We argue the Qualitative Thesis provides compelling reasons to accept a thesis that we call Conditional Locality, which says, roughly, the interpretation of an indicative conditional depends, in part, on the conditional’s local embedding environment. In the first part of the paper, we present an argument—due to Ben Holguín—showing that, without (...) Conditional Locality, the Qualitative Thesis is in tension with a margin for error principle on rational sureness. We show Conditional Locality reconciles the Qualitative Thesis with the margin for error principle. In the second part, we argue the full range of data supports what we call the Strong Qualitative Thesis. Without Conditional Locality, the Strong Qualitative Thesis has unacceptable consequences. But with Conditional Locality, it is tenable. (shrink)

It is well known that on the Internet, computer algorithms track our website browsing, clicks, and search history to infer our preferences, interests, and goals. The nature of this algorithmic tracking remains unclear, however. Does it involve what many cognitive scientists and philosophers call ‘mindreading’, i.e., an epistemic capacity to attribute mental states to people to predict, explain, or influence their actions? Here I argue that it does. This is because humans are in a particular way embedded in the (...) process of algorithmic tracking. Specifically, if we endorse common conditions for extended cognition, then human mindreading (by website operators and users) is often literally extended into, that is, partly realized by, not merely causally coupled to, computer systems performing algorithmic tracking. The view that human mindreading extends outside the body into computers in this way has significant ethical advantages. It points to new conceptual ways to reclaim our autonomy and privacy in the face of increasing risks of computational control and online manipulation. These benefits speak in favor of endorsing the notion of extended mindreading. (shrink)

With the limited initial availability of COVID-19 vaccines in the first months of 2021, decision-makers had to determine the order in which different groups were prioritized. Our aim was to find out what normative approaches to the allocation of scarce preventive resources were embedded in the national COVID-19 vaccination schedules. We systematically reviewed and compared prioritization regulations in 27 members of the European Union, the United Kingdom, and Israel. We differentiated between two types of priority categories: groups that have (...) increased infection fatality rate (IFR) compared to the average for the general population and groups chosen because their members experience increased risk of being infected (ROI). Our findings show a clear trend: all researched schedules prioritized criteria referring to IFR (being over 65 years old and coexisting health conditions) over the ROI criteria (eg occupation and housing conditions). This is surprising since, in the context of treatment, it is common and justifiable to adopt different allocation principles (eg introducing a saving more life-year approach or prioritizing younger patients). We discuss how utilitarian, prioritarian, and egalitarian principles can be applied to interpret normative differences between the allocation of curative and preventive interventions. (shrink)

The semantic theory of expressivism has been applied within metaethics to evaluative words like ‘good’ and ‘wrong’, within epistemology to words like ‘knows’, and within the philosophy of language, to words like ‘true’, to epistemic modals like ‘might’, ‘must’, and ‘probably’, and to indicative conditionals. For each topic, expressivism promises the advantage of giving us the resources to say what sentences involving these words mean by telling us what it is to believe these things, rather than by telling us (...) what it would be for them to be true. This, in turn, absolves these theories of the burden of holding that there is any general answer to what it is for these sentences to be true. However, expressivism is famously subject to a deep and general problem about how to account for the meanings of complex sentences – a problem variously known as the ‘Frege-Geach’ or ‘embedding’ problem. In this paper I will be interested in whether there are reasons to think that the embedding problem looks less difficult for some of these applications for expressivism, than for others. In particular, in this paper I will be interested in the prospects for expressivism about what I will call epistemics – a class which I take to include epistemic modals like ‘might’ and ‘must’, sentential adverbs like ‘probably’, adjectives like ‘likely’ and ‘improbable’, and so-called ‘open’ indicative conditionals like ‘if the Fed doesn’t intervene, then the economy will enter a deflationary spiral’. There are several reasons to be particularly interested in expressivism about epistemics, relating both to the philosophical payoffs of such a view, and relating to the technical prospects for making it work. In other work I’ve touched on the especially interesting philosophical payoffs which make expressivism about epistemics interesting; in this paper I will be interested primarily in evaluating the possibility that there are better prospects for making expressivism about epistemics work than there are for making expressivism work about other topics. There are two main reasons why one might suspect that expressivism about epistemics will have better prospects than expressivism about many other topics, including in metaethics.. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

Often associated with themes in political philosophy and aesthetics, the work of Jean-François Lyotard is most known for his infamous definition of the postmodern in his best-known book, La condition postmoderne, as incredulity towards metanarratives. The claim of this article is that this famous claim of Lyotard is actually embedded in a philosophy of technology, one that is, moreover, still relevant for understanding present technoscience. The first part of the article therefore sketches Lyotard’s philosophy of technology, mainly by correcting (...) three common misconceptions: that La condition postmoderne would only be about metanarratives, whereas in fact, it is mainly about what replaces them, namely performativity; that performativity would be shorthand for capitalism, whereas in reality, capitalism is the latest instance of a longer history of performativity; and that Lyotard’s reflections on science and technology would be restricted to this book alone, whereas in reality, a well-articulated philosophy of technology, centered around the concept of technoscience, is found in his later work. The second part of the article then aims to highlight the contemporary relevance of this philosophy of technoscience through a brief examination of two contemporary technosciences: synthetic biology and data science. (shrink)

Philosophers have started to theorize the concept of ‘affective injustice’ to make sense of certain ways in which people’s affective lives are significantly marked by injustice. This new research has offered important insights into people’s lived experiences under oppression. But it is not immediately clear how the concept ‘affective injustice’ picks out something different from the closely related phenomenon of ‘psychological oppression.’ This paper considers the question of why we might need new theories of affective injustice in light of the (...) well-established cross-disciplinary literature on psychological oppression. I suggest that, whereas psychological oppression is found in the hearts and minds of people who are oppressed, affective injustice is most fruitfully understood as a structural phenomenon. It operates primarily outside of us: in affective norms, practices, and relationships that are embedded in social conditions of injustice. The account I offer is tentative and incomplete. But my hope is that it will help show how theorizing affective injustice has the potential to enrich existing theories of justice and theories of psychological oppression. (shrink)

According to dispositionalism, de re modality is grounded in the intrinsic natures of dispositional properties. Those properties are able to serve as the ground of de re modal truths, it is said, because they bear a special relation to counterfactual conditionals, one of truthmaking. However, because dispositionalism purports to ground de re modality only on the intrinsic natures of dispositional properties, it had better be the case that they do not play that truthmaking role merely in virtue of their (...) being embedded in some particular, extrinsic causal context. This paper examines a recent argument against dispositionalism that purports to show that the intrinsicality of that relation cannot be maintained, due to the ceteris paribus nature of the counterfactuals that dispositions make-true. When two prominent responses are examined, both are found wanting: at best, they require unjustified special pleading, and at worst, they amount to little more than ad hoc conceptual trickery. (shrink)