It is common to characterise phenomenal consciousness as _what it is like_ to be in a mental state. This paper argues that the ‘what-it’s-like’-phrase in this context has a technical meaning, i.e. a meaning for which the association to the relevant expression is peculiar to a theoretical community. The relevant theoretical community is philosophy and some parts of cognitive science, so on this view, only philosophers and cognitive scientists use the ‘what-it’s-like’-phrase in the way that is characteristic in (...) the literature on phenomenal consciousness. This claim has important consequences. Firstly, I argue that the phrase says nothing informative about phenomenal consciousness. Secondly, I argue that the fact that non-philosophers use the phrase is not compelling evidence that they believe in phenomenal consciousness. These claims have further consequences for debates about phenomenal consciousness. (shrink)

The view that an agent’s cognitive processes sometimes include proper parts found outside the skin and skull of the agent is gaining increasing acceptance in philosophy of mind. One main empirical touchstone for this so-called active externalism is Edwin Hutchins’ theory of distributed cognition (DCog). However, the connection between DCog and active externalism is far from clear. While active externalism is one component of DCog, the theory also incorporates other related claims, which active externalists may not want to take (...) on board. DCog implies a shift away from an organism-centred cognitive science to a focus on larger socio-technical-cum-cognitive systems. In arguing for this shift, proponents of DCog seem to accept that socio-cultural systems have some form of agency apart from the agencies of the individuals inside them. I will tentatively suggest a way in which such a notion of agency can be cashed out. (shrink)

The purpose of this article is to explore the close link between technology and death in the philosophical writings of Lewis Mumford. Mumford famously argued that throughout the history of western civilization we find intertwined two competing forms of technics; the democratic biotechnic form and the authoritarian monotechnic form. The former technics were said to be strongly compatible with an organic form of life while the latter were said to be allied to a mechanical power complex. What is perhaps less (...) well known is the extent to which Mumford characterizes the authoritarian technical form as being a technics of death. This article will argue that the connection between death and technics is a key theme in Mumford’s philosophy of technology. In addition to elaborating this theme and detailing how it informs Mumford’s other positions on the nature of technology, this article will also argue that Mumford’s theory of a technics of death bears witness, both implicitly and explicitly, to the influence of Sigmund Freud’s theory of the death instinct. Freud’s account of the death instinct will be outlined briefly and its influence on Mumford’s writings will be explained. Death, in Mumford’s technological writings, has a generally negative function and serves to warn humanity of the perilous course that its technological civilization is set upon. However it also has a positive function in that it encourages man to transcend its biological existence in acts of creativity and purpose. Death, in this positive sense, serves the purpose of life whereas, in the negative sense, it hinders it. The role of death, in both aspects, will be explored and related to Mumford’s overall perspective on technics and life. It is argued that Mumford’s philosophy of technology cannot be fully understood without an awareness of his views on death and its role in the life of technological society. (shrink)

Immanuel Kant is rarely appreciated for his contributions to public philosophy. This is unsurprising, given his dry, technical style, criticism of the popular German philosophy movement, and prolonged silence on religious topics following censorship threats from Frederick William II. Yet Kant’s underappreciation vis-à-vis public philosophy is curious: Not only was he a vocal supporter of the early French Revolution, but he also said much on the public and political value of enlightenment. These ideas come across indirectly in his systematic (...) writings and explicitly in writings for the learned public. This paper focuses on the question as to whether Kant should be viewed as a public philosopher, drawing from recent contributions in Kant scholarship to argue for the affirmative, though in an admittedly qualified sense. (shrink)

Do psychological traits predict philosophical views? We administered the PhilPapers Survey, created by David Bourget and David Chalmers, which consists of 30 views on central philosophical topics (e.g., epistemology, ethics, metaphysics, philosophy of mind, and philosophy of language) to a sample of professional philosophers (N = 314). We extended the PhilPapers survey to measure a number of psychological traits, such as personality, numeracy, well-being, lifestyle, and life experiences. We also included non-technical ‘translations’ of these views for eventual use in (...) other populations. We found limited to no support for the notion that personality or demographics predict philosophical views. We did, however, find that some psychological traits were predictive of philosophical views, even after strict correction for multiple comparisons. Findings include: higher interest in numeracy predicted physicalism, naturalism, and consequentialism; lower levels of well-being and higher levels of mental illness predicted hard determinism; using substances such as psychedelics and marijuana predicted non-realist and subjectivist views of morality and aesthetics; having had a transformative or self-transcendent experience predicted theism and idealism. We discuss whether or not these empirical results have philosophical implications, while noting that 68% of our sample of professional philosophers indicated that such findings would indeed have philosophical value. (shrink)

True contradictions are taken increasingly seriously by philosophers and logicians. Yet, the belief that contradictions are always false remains deeply intuitive. This paper confronts this belief head-on by explaining in detail how one specific contradiction is true. The contradiction in question derives from Priest's reworking of Berkeley's argument for idealism. However, technical aspects of the explanation offered here differ considerably from Priest's derivation. The explanation uses novel formal and epistemological tools to guide the reader through a valid argument with, (...) not just true, but eminently acceptable premises, to an admittedly unusual conclusion: a true contradiction. The novel formal and epistemological tools concern points of view and changes in points of view. The result is an understanding of why the contradiction is true. (shrink)

This paper argues that the technical notion of conditional probability, as given by the ratio analysis, is unsuitable for dealing with our pretheoretical and intuitive understanding of both conditionality and probability. This is an ontological account of conditionals that include an irreducible dispositional connection between the antecedent and consequent conditions and where the conditional has to be treated as an indivisible whole rather than compositional. The relevant type of conditionality is found in some well-defined group of conditional statements. As (...) an alternative, therefore, we briefly offer grounds for what we would call an ontological reading: for both conditionality and conditional probability in general. It is not offered as a fully developed theory of conditionality but can be used, we claim, to explain why calculations according to the RATIO scheme does not coincide with our intuitive notion of conditional probability. What it shows us is that for an understanding of the whole range of conditionals we will need what John Heil (2003), in response to Quine (1953), calls an ontological point of view. (shrink)

Various esoteric traditions apply different modes of expression for the same metaphysical truths. We may name the two most known esoteric languages as ecstatic and scholastic. Early Daoist use of reverse symbolism as for metaphysical truths and its critical way of viewing formalist understanding of traditional teachings, common virtues and popular beliefs show that it applies an ecstatic language, which, being called shaṭḥ in Sufi terminology, has a detailed literature and technical description in Sufism. This article tries, after a (...) short survey of the concept of shaṭḥ in Sufism, to consider some early Daoist teachings such as wuwei, disparagement of moralism, and disparagement of rationality from an Eastern Sufi point of view regarding shaṭḥ to achieve a clearer insight into the gnostic aspects of the tradition, and to avoid certain possible misunderstanding of the teachings. (shrink)

The market failures approach to business ethics has recently garnered substantial critical attention (see, e.g., Cohen and Peterson 2019; Moriarty 2020; Steinberg 2017; Hsieh 2017; von Kriegstein 2016; Smith 2018; Endorfer and Larue 2022; Singer 2018). Though precursors of this view can be found in the literature (e.g., McMahon 1981; Friedman 1970), it was Joseph Heath (2004, 2006, 2014, 2023) who developed the approach and gave it its name. The market failures approach (henceforth: MFA) is concerned with the ethical (...) obligations of managers of firms (Heath 2014, 69). Roughly, it holds that managers ought not to conduct their businesses in a way that exploits market failures. “Market failure” is a technical term, meaning any failure of the conditions of the first fundamental welfare theorem, sometimes called the “Pareto conditions” (see Arrow 1951). The theorem states that if the Pareto conditions hold, then the market equilibrium will use society’s scarce resources efficiently, meaning that no one could be made better-off without making anyone else worse off. Efficiency, according to Heath (2014, chapter 7), is the implicit morality of the market. We coordinate much of our shared activity using markets, Heath claims, because of their ability to produce efficient results. Markets are good forms of social organization, according to Heath, because they are the best way to promote our values given empirical facts about the frailties of human psychology and the informational constraints that we face. As such, managers ought not compromise the very conditions that justify a market economy by profiting from breakdowns in the market’s efficiency. Managers are permitted to maximize profits, so long as they do not violate the market’s norm of efficiency in so doing. This is because the fundamental justification for the profit motive is that it is necessary for the operation of the price system which is essential to the efficiency properties of markets. In this paper, I will argue that the MFA is more general than even Heath himself claims. The MFA describes the professional obligations of managers, but the view I develop, the generalized market failures approach, describes the obligations of all market participants. Since efficiency is the implicit morality of the market, it binds not just managers, but all market participants, including consumers, investors and workers. Market participants are permitted to maximize the benefit they gain from market interactions, as long as they do so in a way that does not take advantage of any market failures. Generalizing the MFA in this way has three benefits: first, we gain a unified understanding of the ethics of non-managerial market roles; second, we will develop an even better understanding of the duties of managers; finally, it gives us the resources to respond to some familiar objections to the MFA found in the literature. In the next section, I will further motivate the MFA and explain how this motivation can be easily generalized to other market roles. Importantly, one can avoid benefiting from a market failure in two distinct ways: by avoiding transactions that exploit market failures or by transacting in such markets and then remediating the harm done, by compensating those negatively affected by the market failure. This section concludes by discussing how the remediation duties are to be split between the transacting parties and how to identify the parties to whom compensation is owed. In section 3, I use the tools of the generalized MFA to develop a unified ethics of consumption, investment and labor, respectively. This is the basis of a grand abductive argument for the generalized MFA. The view is strongly supported by the fact that it provides attractive and unifying explanations of our obligations in domains as variegated as carbon offsetting, CEO compensation, the reparations white Americans owe to black Americans and occupational licensure. Section 4 briefly concludes. (shrink)

Powerful, technically complex international compliance regimes have developed recently in certain professions that deal with risk: banking (the Basel II regime), accountancy (IFRS) and the actuarial profession. The need to deal with major risks has acted as a strong driver of international co-operation to create enforceable international semilegal systems, as happened earlier in such fields as international health regulations. This regulation in technical fields contrasts with the failure of an international general-purpose political and legal regime to develop. We survey (...) the new global regulatory systems in the actuarial, banking and accounting fields, with a view to showing how the need to deal reasonably with risk has resulted in an international de facto law solidly based on correct abstract principles of probability. (shrink)

In view of the publication of the DSM-V researchers were asked to discuss the theoretical implications of the definition of mental disorders. The reasons for the use, in the DSM-III, of the term disorder instead of disease are considered. The analysis of these reasons clarifies the distinction between the general definition of disorder and its implicit, technical meaning which arises from concrete use in DSM disorders. The characteristics and limits of this technical meaning are discussed and contrasted (...) to alternative definitions, like Wakefield’s harmful/dysfunction analysis. It is shown that Wakefield’s analysis faces internal theoretical problems in addition to practical limits for its acceptance in the DSM-V. In particular, it is shown that: a) the term dysfunction is not purely factual but intrinsically normative/evaluative; b) it is difficult to clarify what dysfunctions are in the psychiatric context (the dysfunctional mechanism involved being unknown in most cases and the use of evolutionary theory being even more problematic); c) the use of conceptual analysis and commonsense intuition to define dysfunctions leaves unsatisfied empiricists; d) it is unlikely that the authors of the DSM-V will accept Wakefield’s suggestion to revise the diagnostic criteria of any single DSM disorder in accordance with his analysis, because this is an excessively extensive change and also because this would probably reduce DSM reliability. In conclusion, it is pointed up in which sense DSM mental disorders have to be conceived as constructs, and that this undermines the realistic search for a clear-cut demarcation criterion between what is disorder and what is not. (shrink)

Herbert Marcuse was one of the most influential political philosophers in the 20th century. After his death, his popularity started decreasing and the philosopher somewhat sank into oblivion. This dissertation intends to investigate the Marcusean contribution to the subject of technics, so imbricated on his political philosophy, and demonstrate that it deserves reappraisal. We shall analyse the theoretical context of Marcuse’s work and put opposing stances, both technophobe and technophile, up for debate. The intent is to not only present the (...) topics that organized this discussion back in its day, but also to set Marcuse apart from such hardline approaches. We shall then elucidate the Marcusean criticism of the capitalist technological system of advanced industrial societies and present the fundamental lines of its new historical project, supported by a qualitative change made possible by the ambivalence of technics. Since, in Marcuse’s view, technics configure the basis for the organisation of the status quo, and also the basis which might modify it if duly reoriented, the ambivalent character which the philosopher identifies in technics becomes the nuclear idea in his thesis; it is the very foundation upon which he builds his philosophy of technics. The marcusean thoughtshall then be exposed to critique: we shall examine the most relevant objections raised against it, but also its most fruitful ideas. Through the contributions of Gorz and, more specifically, of Feenberg, we intend to confirm the relevance of Marcuse’s thought in the context of the hodiern technological reality. (shrink)

Social machines are a prominent focus of attention for those who work in the field of Web and Internet science. Although a number of online systems have been described as social machines, there is, as yet, little consensus as to the precise meaning of the term “social machine.” This presents a problem for the scientific study of social machines, especially when it comes to the provision of a theoretical framework that directs, informs, and explicates the scientific and engineering activities of (...) the social machine community. The present paper outlines an approach to understanding social machines that draws on recent work in the philosophy of science, especially work in so-called mechanical philosophy. This is what might be called a mechanistic view of social machines. According to this view, social machines are systems whose phenomena are explained via an appeal to socio-technical mechanisms. We show how this account is able to accommodate a number of existing attempts to define the social machine concept, thereby yielding an important opportunity for theoretical integration. (shrink)

This paper presents a view of nature as a network of infocomputational agents organized in a dynamical hierarchy of levels. It provides a framework for unification of currently disparate understandings of natural, formal, technical, behavioral and social phenomena based on information as a structure, differences in one system that cause the differences in another system, and computation as its dynamics, i.e. physical process of morphological change in the informational structure. We address some of the frequent misunderstandings regarding the (...) natural/morphological computational models and their relationships to physical systems, especially cognitive systems such as living beings. Natural morphological infocomputation as a conceptual framework necessitates generalization of models of computation beyond the traditional Turing machine model presenting symbol manipulation, and requires agent-based concurrent resource-sensitive models of computation in order to be able to cover the whole range of phenomena from physics to cognition. The central role of agency, particularly material vs. cognitive agency is highlighted. (shrink)

In knowledge representation, socio-technical systems can be modeled as multiagent systems in which the local knowledge of each individual agent can be seen as a context. In this paper we propose formal ontologies as a means to describe the assumptions driving the construction of contexts as local theories and to enable interoperability among them. In particular, we present two alternative conceptualizations of the notion of sociomateriality (and entanglement), which is central in the recent debates on socio-technical systems in (...) the social sciences, namely critical and agential realism. We thus start by providing a model of entanglement according to the critical realist view, representing it as a property of objects that are essentially dependent on different modules of an already given ontology. We refine then our treatment by proposing a taxonomy of sociomaterial entanglements that distinguishes between ontological and epistemological entanglement. In the final section, we discuss the second perspective, which is more challenging form the point of view of knowledge representation, and we show that the very distinction of information into modules can be at least in principle built out of the assumption of an entangled reality. (shrink)

Theoretical response to technical development tends to come in two overall forms: that technology is either transparent or opaque to society. The transparency thesis lays its cards directly on the table: technology is essentially neutral and has merely instrumental relation to the social. The opacity thesis suggests that technology is not essentially neutral, but has effects of its own on social life. This thesis itself subdivides clearly into two: those who denigrate and those who celebrate the effects of technology. (...) The former category is the one that has been most filled by philosophers and theoretically-minded social commentators, and includes, among others, Heidegger's analysis of technology, the Frankfurt School and Max Weber. The latter category is associated primarily with two movements, of dubious socio-political sensitivity: futurism and North-American techno-libertarianism. Far from contesting the premise of the transparency arguments, these views still think of technology as instrumental. It's just that instrumentality is regarded as a problem by denigrators, whereas sheer increase in prosthetic capacity is regarded as a blessing by the celebrators. (shrink)

In recent years there has been growing interest in adapting virtue ethics to the ethics of technology. However, it has most typically been invoked to address some particular issue of moral importance, and there is only a limited range of works dealing with the methodological question of how virtue ethics may contribute to this field. My approach in this paper is threefold. I start with a brief discussion of Aristotelian virtue ethics, with a view to constructing a framework in (...) which to then address at least some of the aspects of the growing technicization of life that call for scrutiny. I subsequently proceed further by outlining three possible models of virtue-theoretical analysis within the ethics of technology, giving special attention to those changes in human agency where technicization can be seen to exert a significant influence. Finally, I focus on the third such possibility, the extended virtue model, as a basis for calling for a more inclusive account of moral agency. (shrink)

Algorithms can now identify patterns and correlations in the (big) datasets, and predict outcomes based on those identified patterns and correlations with the use of machine learning techniques and big data, decisions can then be made by algorithms themselves in accordance with the predicted outcomes. Yet, algorithms can inherit questionable values from the datasets and acquire biases in the course of (machine) learning, and automated algorithmic decision-making makes it more difficult for people to see algorithms as biased. While researchers have (...) taken the problem of algorithmic bias seriously, but the current discussion on algorithmic fairness tends to conceptualize ‘fairness’ in algorithmic fairness primarily as a technical issue and attempts to implement pre-existing ideas of ‘fairness’ into algorithms. In this paper, I show that such a view of algorithmic fairness as technical issue is unsatisfactory for the type of problem algorithmic fairness presents. Since decisions on fairness measure and the related techniques for algorithms essentially involve choices between competing values, ‘fairness’ in algorithmic fairness should be conceptualized first and foremost as a political issue, and it should be (re)solved by democratic communication. The aim of this paper, therefore, is to explicitly reconceptualize algorithmic fairness as a political question and suggest the current discussion of algorithmic fairness can be strengthened by adopting the accountability for reasonableness framework. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among (...) possibilities that, according to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Motivated by the question of responsible AI and value alignment, I seek to offer a uniquely Foucauldian reconstruction of the problem as the emergence of an ethical subject in a disciplinary setting. This reconstruction contrasts with the strictly human-oriented programme typical to current scholarship that often views technology in instrumental terms. With this in mind, I problematise the concept of a technological subjectivity through an exploration of various aspects of ChatGPT in light of Foucault’s work, arguing that current systems lack (...) the reflexivity and self-formative characteristics inherent in the notion of the subject. By drawing upon a recent dialogue between Foucault and phenomenology, I suggest four techno-philosophical desiderata that would address the gaps in this search for a technological subjectivity: embodied self-care, embodied intentionality, imagination and reflexivity. Thus I propose that advanced AI be reconceptualised as a subject capable of “technical” self-crafting and reflexive self-conduct, opening new pathways to grasp the intertwinement of the human and the artificial. This reconceptualization holds the potential to render future AI technology more transparent and responsible in the circulation of knowledge, care and power. (shrink)

The terms ‘compatibilism’ and ‘incompatibilism’ were introduced in the mid-20th century to name conflicting views about the logical relationship between the thesis of determinism and the thesis that someone has free will. These technical terms were originally introduced within a specific research paradigm, the classical analytic paradigm. This paradigm is now in its final stages of degeneration and few free-will theorists still work within it (i.e. using its methods, granting its substantive background assumptions, etc.). This chapter discusses how the (...) ambiguity of the terms ‘incompatibilism’ and ‘compatibilism’ took root as the classical analytic paradigm declined and why this matters to the contemporary debate. Among other things, I explain why the ambiguity of these anachronistic terms, though relatively innocuous when they were first introduced, is now encouraging theorists to tolerate and perpetuate serious philosophical errors (e.g. to conflate relations as different in kind and importance as correlation and causation, to promote uncontentiously invalid arguments, and to equivocate in ways that keep the free-will debate mired in pseudo-stalemates). I also suggest a new framework for anyone looking for relief from the confusion and deadlock created by quixotic attempts to redefine classical narratives and jargon so that they adequately describe the dialectical contours of the contemporary free-will debate. In addition, this new framework allows philosophers to start cross-pollinating work on free will and other problems, e.g. the paradox of moral luck. -/- A selection from the publication is available to download here. For full version, please gmail me, username: kristin.mickelson.42 -/- . (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly (...) formalized, and is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

Much recent discussion has focused on the nature of artifacts, particularly on whether artifacts have essences. While the general consensus is that artifacts are at least intention-dependent, an equally common view is function essentialism about artifacts, the view that artifacts are essentially functional objects and that membership in an artifact kind is determined by a particular, shared function. This paper argues that function essentialism about artifacts is false. First, the two component conditions of function essentialism are given a (...) clear and precise formulation, after which counterexamples are offered to each. Second, ways to handle the counterexamples suggested by Randall Dipert and Simon Evnine are considered and rejected. Third, I then consider the prospects for restricting function essentialism to so-called technical artifacts, as Lynne Baker does, and argue that this, too, fails. This paper thereby consolidates the scattered literature on function essentialism and shows that, despite the seeming plausibility of the thesis, it should be rejected as an account of artifact essences. (shrink)

Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, (...) or dysfunction, occurs when an artefact token either does not or cannot do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter. (shrink)

In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are tied to different communities, which endorse (...) different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to (...) change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used (...) to produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Susanne Langer was a student at Radcliffe College between 1916 and 1926---a highly transitional period in the history of American philosophy. Intellectual generalists such as William James, John Dewey, and Josiah Royce had dominated philosophical debates at the turn of the century but the academic landscape gradually started to shift in the years after World War I. Many scholars of the new generation adopted a more piecemeal approach to philosophy---solving clearly delineated, technical puzzles using the so-called “method of logical (...) analysis”. Especially at Harvard, the intellectual climate rapidly changed. The department hired several philosophers who had contributed to the development of symbolic logic---H. M. Sheffer, C. I. Lewis, and A. N. Whitehead---and Harvard quickly began to be viewed as a central hub for analytic philosophy in the United States. This chapter contextualizes Langer’s earliest work by reading it through the lens of this shifting academic environment. Though Harvard did not allow women to take its courses until 1943, Langer is one of the most significant fruits of this period. Her dissertation “A Logical Analysis of Meaning” and her first publications are all illustrations of the approach that came to dictate the American philosophical conversation. By exploring the increased focus on the logical-analytic method and Langer’s attempts to expand the new approach to what she later called “non-discursive” symbolisms, I situate her publications in the intellectual context of the 1920s. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

Illusionism claims that we are not conscious, that there is nothing it is like, in the usual sense of the word, to feel sad, or to smell lavender. According to Illusionists, we are, in a technical sense, zombies. Instead of arguing for the falsity of Illusionism directly, I will explain why the main philosophical motivations for it are mistaken – and I trust the rest will be taken care of by the extreme implausibility of the view. I want (...) to spread the good news to Illusionists that they don’t need to resort to this highly counterintuitive, strange, and as I will argue later, morally corrosive idea. One can be a physicalist and phenomenal realist since neither of the two types of arguments Illusionists rely on – the conceivability arguments, and the debunking arguments against physicalist phenomenal realism – work. In the last part of the paper, I will say something about the corrosive effect this metaphysics has on our moral and evaluative outlook. (shrink)

In The World as Will and Representation (Vol. I, Book 3, § 52) by Arthur Schopenhauer we find the following, striking words: It is just this universality that belongs uniquely to music, together with the most precise distinctness, that gives it that high value as the panacea of all our sorrows. (p. 262) Accordingly, music ... is in the highest degree a universal language ... Yet its universality is by no means that empty universality of abstraction, but is of quite (...) a different kind; it is united with thorough and unmistakable distinctness. (p. 262) ... music expresses in an exceedingly universal language, in a material, that is, in mere tones, and with the greatest distinctness and truth, the inner being, the in-itself, of the world, which we think of under the concept of will (p. 264). These quotations contain an outright paradox: the meanings of music should be at the same time universal in the highest degree and characterised by the greatest distinctness. As it turns out this paradox does not follow merely from Schopenhauer's liking for brilliant, rethorical formulations. For it occurs in many contexts concerned with the expressive meaning of art, and especially music. Other occurrences of the dilemma are to be found in the writings of Felix Mendelssohn-Bartholdy and in the aesthetic theory of Susanne Langer formulated in chapter VIII, >On the Significance in Music of her book Philosophy in a New Key and it would be possible to quote many other sources. The persistently recurring nature of this paradox confirms that the issue will be central to any attempt at a complete theory of musical meaning. Furthermore, it may be essential for it to be resolved first if one aims to make sense of the relationship between musical and linguistic forms of meaning and, consequent upon this, to address the much debated question of whether music itself can be considered to be a language of the emotions. An attempt at a solution to the paradox in question constitutes the subject of this paper. For this purpose the framework and some notions of Langer's theory are used. The solution which I propose takes the form of distinguishing between two distinct notions of generality (which I will term 'generality' and 'abstractness'), as well as two distinct notions of particularity (which I will term 'specificity' and 'concreteness'), and involves assigning technically precise meanings to these with a view to constructing two relatively independent oppositions: on the one hand the concrete versus the abstract and, on the other, the specific versus the general. (Hints at such a solution are to be found both in Schopenhauer and in Langer). With the help of these notions it is, I believe, then possible to show that the arguments often quoted to the effect that musical meanings possess a certain generality in fact justify no more than their abstractness, while arguments usually thought to demonstrate that they possess a certain particularity in fact show only their specificity (but not concreteness). Consequently, musical meanings are shown to be abstract but specific, which does not entail any contradiction since these notions are independent and not opposed to each other. At the same time, musical meanings may then be contrasted with linguistic meanings, which themselves are abstract and general. If, however, each of the notions of abstractness and generality is understood as also permitting gradations, it will be the case that whereas linguistic meanings may be said to be more general (i.e. less specific) than musical ones, the latter are without any doubt more abstract than the former. (shrink)

The potential capacity for robots to deceive has received considerable attention recently. Many papers explore the technical possibility for a robot to engage in deception for beneficial purposes (e.g., in education or health). In this short experimental paper, I focus on a more paradigmatic case: robot lying (lying being the textbook example of deception) for nonbeneficial purposes as judged from the human point of view. More precisely, I present an empirical experiment that investigates the following three questions: (a) (...) Are ordinary people willing to ascribe deceptive intentions to artificial agents? (b) Are they as willing to judge a robot lie as a lie as they would be when human agents engage in verbal deception? (c) Do people blame a lying artificial agent to the same extent as a lying human agent? The response to all three questions is a resounding yes. This, I argue, implies that robot deception and its normative consequences deserve considerably more attention than they presently receive. (shrink)

Is it about energy?! This paper consists of the analysis of the construction of the Fierza's dam, built on the Drin river bed in 1978. During the study of the dam construction scheme and later during the design of the projects, various problems were taken into account, such as the geological conditions of the area where the hydropower plants were erected, the construction materials, the most suitable solution for the type of dam, the auxiliary works, their construction, sequence and time. (...) For centuries, the world's water resources have been developed to benefit mankind. The construction of dams in order to create reservoirs has served many purposes. These are some common uses such as water supply, hydroelectric power, flood control, irrigation, and navigation. The dams are also used to regulate the flow of water in rivers. Water can be released from the reservoir during drier seasons to support wildlife and the environment downstream, and to provide a resource for human uses. Dams have long been viewed as a symbol of human ingenuity and among them is the Fierza's dam, one of the greatest achievements in Albania. During the period of the construction of the dam, Albania was in difficulty to finance the design and the implementation of such works that envisaged large dams. Regardless of everything, the small state of Albania managed to build magnificent hydropower works with great economic value and a high technical and scientific level, such as Fierza's hydropower plant. This paper aims to show the importance of the construction of Fierza's dam in the production of energy in the country with an annual average output of 1,330 GWh. Also, the importance of Fierza, besides energy production, relates to the capacity of its lake, which regulates the annual inflows, increasing the efficient use throughout the cascade. (shrink)

In this paper I first offer a systematic outline of a series of conceptual novelties in the life-sciences that have favoured, over the last three decades, the emergence of a more social view of biology. I focus in particular on three areas of investigation: (1) technical changes in evolutionary literature that have provoked a rethinking of the possibility of altruism, morality and prosocial behaviours in evolution; (2) changes in neuroscience, from an understanding of the brain as an isolated (...) data processor to the ultrasocial and multiply connected social brain of contemporary neuroscience; and (3) changes in molecular biology, from the view of the gene as an autonomous master of development to the ‘reactive genome’ of the new emerging field of molecular epigenetics. In the second section I reflect on the possible implications for the social sciences of this novel biosocial terrain and argue that the postgenomic language of extended epigenetic inheritance and blurring of the nature/nurture boundaries will be as provocative for neo-Darwinism as it is for the social sciences as we have known them. Signs of a new biosocial language are emerging in several social-science disciplines and this may represent an exciting theoretical novelty for twenty-first social theory. (shrink)

For Kant, ‘reflection’ is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and (...) ‘applied’ general logic. The foundational text of existing interpretations is a passage in Logik Jäsche that appears to attribute to Kant the view that reflection is a mental operation involved in the generation of concepts from non-conceptual materials. I argue against the received view by attending to Kant's division between ‘pure’ and ‘applied’ general logic, identifying senses of reflection proper to each, and showing that none accords well with the received view. Finally, to take account of Kant's notio.. (shrink)

The potential capacity for robots to deceive has received considerable attention recently. Many papers focus on the technical possibility for a robot to engage in deception for beneficial purposes (e.g. in education or health). In this short experimental paper, I focus on a more paradigmatic case: Robot lying (lying being the textbook example of deception) for nonbeneficial purposes as judged from the human point of view. More precisely, I present an empirical experiment with 399 participants which explores the (...) following three questions: (i) Are ordinary people willing to ascribe intentions to deceive to artificial agents? (ii) Are they as willing to judge a robot lie as a lie as they would be when human agents engage in verbal deception? (iii) Do they blame a lying artificial agent to the same extent as a lying human agent? The response to all three questions is a resounding yes. This, I argue, implies that robot deception and its normative consequences deserve considerably more attention than it presently attracts. (shrink)

Purpose The purpose of this paper is to defend the notion of “trust in technology” against the philosophical view that this concept is misled and unsuitable for ethical evaluation. In contrast, it is shown that “trustworthy technology” addresses a critical societal need in the digital age as it is inclusive of IT-security risks not only from a technical but also from a public layperson perspective. Design/methodology/approach From an interdisciplinary perspective between philosophy andIT-security, the authors discuss a potential instantiation (...) of a “trustworthy information and communication technology ”: a solution for privacy respecting video surveillance. Here, strong data protection measures address grave concerns such as the threat of bulk biometric tracking of citizens. In a logical argument, however, the authors show that this technical notion of “trust” needs to be complemented by interlocking trust relations to justify public trust. Findings Based on this argument, the authors demonstrate that the philosophical position considering “trust in technology” to denote either “reliability” or “interpersonal trust” is too limited as it fails to address critical aspects of IT-security. In a broader, socio-technical sense, however, it is shown that several distinct accounts of trust – technical, interpersonal and institutional – should meaningfully interlock, to address concerns with ICTs. Originality/value This conceptual study demonstrates the potential of “trust in technology” for a more comprehensive evaluation of ICTs within the context of operation. Furthermore, it adds to the discussion of trust in IT-security by highlighting the layperson’s challenge of judging a technology’s trustworthiness. Vice versa, it contributes to Ethics of Technology by highlighting crucial IT-security needs. (shrink)

In 1957, Feyerabend delivered a paper titled ‘On the Quantum-Theory of Measurement’ at the Colston Research Symposium in Bristol to sketch a completion of von Neumann's measurement scheme without collapse, using only unitary quantum dynamics and well-motivated statistical assumptions about macroscopic quantum systems. Feyerabend's paper has been recognised as an early contribution to quantum measurement, anticipating certain aspects of decoherence. Our paper reassesses the physical and philosophical content of Feyerabend's contribution, detailing the technical steps as well as its overall (...) philosophical motivations and consequences. Summarising our results, Feyerabend interpreted collapse as a positivist assumption in quantum mechanics leading to a strict distinction between the uninterpreted formalism of unitary evolution in quantum mechanics and the classically interpreted observational language describing post-measurement outcomes. Thus Feyerabend took the no-collapse completion of the von Neumann measurement scheme to show the dispensability of the positivist assumption, leading the way to a realistic interpretation of quantum theory. We note, however, that there are substantial problems with his account of measurement that bring into question its viability as a legitimate foil to the orthodox view. We further argue that his dissatisfaction with the von Neumann measurement scheme is indicative of early views on theoretical pluralism. (shrink)

Many so-called problems in contemporary philosophy of mind depend for their expression on a collection of inter-defined technical terms, a few of which are qualia, phenomenal property, and what-it’s-like-ness. I express my scepticism about Keith Frankish’s illusionism, the view that people are generally subject to a systematic illusion that any properties are phenomenal, and scout the relative merits of two alternatives to Frankish’s illusionism. The first is phenomenal meta-illusionism, the view that illusionists such as Frankish, in holding (...) their view, are themselves thereby under an illusion. The second is qualia quietism, the view that nothing worth saying is said by employing any of the aforementioned inter-defined technical terms. (shrink)

Stojnić et al. (2013, 2017) argue that the reference of demonstratives is fixed without any contribution from the extra-linguistic context. On their `prominence/coherence' theory, the reference of a demonstrative expression depends only on its context-independent linguistic meaning. Here, we argue that Stojnić et al.’s striking claims can be maintained in only the thinnest technical sense. Instead of eliminating appeals to the extra-linguistic context, we show how the prominence/coherence theory merely suppresses them. Then we ask why one might be tempted (...) to try and offer such a view. Since we are rather sympathetic to the motivations we find, we close by sketching a more plausible alternative. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement (...) we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (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)

The aim of this study was to identify the obstacles facing the application of knowledge management and its impact on performance at Palestine Technical University-Kadoorei from the point of view of employees and to detect the differences between the average views of the study sample on the subject of the study according to some variables such as (gender, nature of work, Education Level, specialization, years of experience). The study followed the descriptive analytical method and the questionnaire as a (...) tool for study. It was distributed to 74 employees. After the questionnaire was distributed, the data was collected and coded and entered into the computer and processed statistically using the SPSS program. The study found that the percentage of approval of the obstacles to the application of knowledge management at Palestine Technical University-Kadoorei differed between few and large, and the relative weight of the axis was complete (68.2). The degree of awareness of the workers of the reality of performance excellence at the University of Palestine Technical-Kadoorei was between medium and very large. There is an impact of the constraints of the application of knowledge management on performance excellence at Palestine Technical University-Kadoorei. In light of the results of the previous study, the researchers recommended that the importance of knowledge management should be taken into account in order to raise the university's reputation and reputation at home and abroad and improve its services to students and the local community. And to promote the exchange of experiences and knowledge with local, regional and international universities in order to enhance the knowledge and preserve it and provide modern and sophisticated scientific techniques and use them in administrative and academic work at the university. (shrink)

As Thomas Uebel has recently argued, some early logical positivists saw American pragmatism as a kindred form of scientific philosophy. They associated pragmatism with William James, whom they rightly saw as allied with Ernst Mach. But what apparently blocked sympathetic positivists from pursuing commonalities with American pragmatism was the concern that James advocated some form of psychologism, a view they thought could not do justice to the a priori. This paper argues that positivists were wrong to read James as (...) offering a psychologistic account of the a priori. They had encountered James by reading Pragmatism as translated by the unabashedly psychologistic Wilhelm Jerusalem. But in more technical works, James had actually developed a form of conventionalism that anticipated the so-called “relativized” a priori positivists themselves would independently develop. While positivists arrived at conventionalism largely through reflection on the exact sciences, though, James’s account of the a priori grew from his reflections on the biological evolution of cognition, particularly in the context of his Darwin-inspired critique of Herbert Spencer. (shrink)

Why did Kant write the Critique of Judgment, and why did he say that his analysis of the judgment of taste — his technical term for our enjoyment of beauty — is the most important part of it? Kant claims that his analysis of taste “reveals a property of our faculty of cognition that without this analysis would have remained unknown” (KU §8, 5:213). The clue lies in Kant’s view that while taste is an aesthetic, and non-cognitive, mode (...) of judgment, it nevertheless involves the “free play” of cognitive capacities that is pleasurable in some way that ordinary cognitive business is not. My thesis is that the judgment of taste reveals a pleasure that is not usually apparent when we understand something in particular, but which is nevertheless proper to the activity of understanding as such. This matters, I argue, because in this way the judgment of taste points to a standard of cognitive virtue. (shrink)

The study aimed at measuring the dominant pattern of leadership and its relation to the performance of the administrative staff in the Palestinian universities. The study community consists of all the administrative staff from Al-Azhar University and the Islamic University, and through the census of the study society it was found to consist of (655) administrative staff. In order to achieve the objectives of the study, the researchers used the method of random sample in the study, and the study was (...) conducted on a sample of (221) administrative staff of the surveyed universities and the response rate was (82.35%). The study found that there is a high degree of satisfaction with the Dominant Pattern of Leadership in the Palestinian universities in Gaza Strip from the point of view of the administrative staff, which reached (71.67%). There is a high level of performance from the point of view of administrative staff, with a percentage of (82.53%). There is a direct correlation between the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences between the sample according to the gender variable in their perception of the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the age variable. There are differences of statistical significance according to the variable of scientific qualification in the Dominant Pattern of Leadership, while there were no differences in performance, the differences in the dominant pattern of leadership according to the scientific qualification were in favor of those who obtained the diploma degree compared to other practical qualifications, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable years of service, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable level of career (Director, Head of Department, and Administrative Officer). There were differences in the perception of workers to the dominant pattern of leadership depending on the variable of the workplace, where there were differences in favor of workers in deanships and colleges compared with the workers in the technical departments. While there were no differences in job performance according to the workplace variable, the existence of differences in the perception of workers to the dominant pattern of leadership depending on the university in which they work in favor of the Islamic University and the absence of differences in performance between the Islamic University and Al-Azhar University. The study reached a number of recommendations, the most important of which is that the interest of the managements of the Palestinian universities in improving the dominant pattern of leadership, to give universities the opportunity to participate in decision-making, the continued administration of universities interest and continuous improvement of the performance of its employees, enhance the periodic evaluation of job performance and to inform employees and express their opinion, solving workers' problems and giving them the opportunity to contribute to solving their own problems, the use of the staff rotation method periodically and strengthening the democratic the dominant pattern of leadership and empowering university staff. -/- . (shrink)

In response to the Royal Society report’s claim that “the acceptability of geo­engineering will be determined as much by social, legal, and political issues as by scientific and technical factors” (Geoengineering the Climate: Science, Governance and Uncertainty [London: Royal Society, 2009], ix), a number of authors have suggested the key to this challenge is to engage the public in geoengineering decision-making. In effect, some have argued that inclusion of the public in geoengineering decision-making is necessary for any geoengineering project (...) to be morally permissible. Yet, while public engagement on geoengineering comes in various forms, the discussion in geoengineering governance and the ethics of geoengineering have too often conceptualized it exclusively in terms of public participation in decision-making, and supported it by various liberal democratic values. However, if the predominant understanding of public engagement on—or, the role of the public in—geoengineering decision-making is indeed only grounded on liberal democratic values, then its normative relevance could be challenged by and in other ethical-political traditions that do not share those values. In this paper, I shall explore these questions from a Confucian perspective. I argue that the liberal democratic values invoked in support of the normative importance of public participation are, at least, foreign to Confucian political philosophy. This presents a prima facie challenge to view public participation in geoengineering decision-making as a universal moral requirement, and invites us to reconsider the normative significance of this form of public engagement in Confucian societies. Yet, I contend that the role of the public remains normatively significant in geoengineering governance and the ethics of geoengineering from a Confucian perspective. Drawing from recent work on Confucian political philosophy, I illustrate the potential normative foundation for public engagement on geoengineering decision-making. (shrink)

This highly technical book is densely packed with arguments and is an important addition to the literature. Even if one ultimately disagrees with Chalmers there is much to be gained in his exhaustive study, and he goes out of his way to show how one can accept limited or modified versions of scrutability. It is impossible for me to do justice to his argumentative rigor and comprehensive coverage of possible views in the space I have here. In the end (...) I find much of what Chalmers says convincing but something of a Pyrrhic victory. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views (...) in modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)