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)

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 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)

The purpose of this article is to establish that Lewis Mumford’s historical and philosophical writings were heavily influenced by the psychoanalytic theories of Sigmund Freud. It is argued that Freudian ideas and concepts played a foundational role in the construction of Mumford’s views on the nature and function of mind, culture and history, which in turn founded his views on the relationship between technology and society. Indeed, it is argued that a full understanding of Mumford’s technological writings cannot be achieved (...) until one has grasped their psychoanalytic influence. To this end, this article will reconstruct the psychological views of Lewis Mumford and indicate how they draw upon and modify Freudian theory. It will then be shown how Mumford’s theory of the psyche interacts with Mumford’s own concept of the idolum. This interaction, I will argue, considerably underpins Mumford’s holistic views on the relationship between society and the individual and between the internal and external world and will require us to reconsider our understanding of Mumford’s philosophy of technology, particularly with regard to his descriptions of monotechnics and biotechnics, the authoritarian and democratic technological forms. It will be argued that for Mumford the division intechnics corresponds to a division in the human psyche, and indeed arises from it. Not only will an appreciation of Mumford’s Freudian influence alter our understanding of Mumford’s technological writings in general, but also in particular it can enable us better to comprehend the reasoning behind Mumford’s recommended method of resistance to the modern power complex of the megamachine. Such a revised understanding of Mumford’s philosophy also undercuts any attempts to characterize his position as being a technological determinist one. Rather, his philosophy of technology is better understood as a form of technological voluntarism. (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)

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)

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)

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)

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)

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)

Bilateralism is the view that the speech act of denial is as primitive as that of assertion. Bilateralism has proved helpful in providing an intuitive interpretation of formalisms that, prima facie, look counterintuitive, namely, multiple-conclusion sequent calculi. Under this interpretation, a sequent of the form $\Gamma \vdash \Delta$ is regarded as the statement that it is incoherent, according to our conversational norms, to occupy the position of asserting all the sentences in $\Gamma$ and denying all the sentences in $\Delta$. (...) Some have argued, based on this interpretation, that the notion of invalidity is as conceptually primitive and important as the notion of validity: whereas the latter is couched in terms of what positions are incoherent and hence untenable, the former is couched in terms of what positions are coherent and hence tenable. My ultimate goal in this paper is to contest this view. Based on a novel technical account of the two notions—one that I find more accurate than the existing accounts in the literature—I shall argue that the notion of incoherence takes conceptual priority over the notion of coherence. (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)

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)

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 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)

Dear Editors, -/- I found the content of your editorials to be highly intriguing [1,2]. Scientific journals are witnessing a growing prevalence of publications related to artificial intelligence (AI). Three letters to the editor were recently published in your journal [3-5]. The renowned journal Nature has dedicated approximately 25 publications solely to the subject of ChatGPT. Moreover, a quick search on Pubmed using the term "ChatGPT" yields around 900 articles, with the vast majority originating in 2023. These statistics underscore the (...) substantial interest of the scientific community in this area. -/- AI, especially the ChatGPT tool and the recent Bard, have faced criticism and been portrayed as significant adversaries of science. It is evident that many authors or researchers, who may not be well-versed in writing, can greatly benefit from these tools, as mentioned earlier. Without taking a contrarian stance, one should consider the potential advantages of such technologies for researchers in less privileged regions, where access to new technologies is limited, and local or regional challenges abound [6]. AI cannot be confounded with other technologies, as it specifically focuses on replicating human-like intelligence and decision-making processes, rather than simply automating tasks or improving performance based on data patterns. -/- The translation into English poses challenges due to the dominance of English in worldwide publications, with over 95% of articles being published in this language, and even reaching 98% in some fields. Although this manuscript was partially translated using AI, it can still benefit researchers from non-native English regions. Even simple tasks like text editing can be problematic for researchers in underprivileged areas. AI can play a crucial role in the evolution of online lectures and classes, providing valuable support for African maxillofacial surgeons who lack the luxury of taking breaks from work to update their knowledge, as they may be the only available option [7]. One of the remarkable features of AI is its ability to discover knowledge gaps. The use of simple tools like reference organizers is rapidly evolving and can become automated or semi-automated through AI. However, we must carefully consider whether we should refrain from relying too heavily on AI in certain cases, as this could be seen as a significant regression. -/- On the other hand, we must be cautious about freely allowing AI tools to circulate in scientific journals and books without proper regulation [8]. Currently, accurately identifying texts generated by AI is challenging, and their effectiveness remains relatively low, at less than 30%. This means that only about 30 out of every 100 texts can be confidently classified as AI-generated. The technology must advance further to increase detection accuracy or at least raise suspicion. Academic journals no longer view authors acknowledging artificial intelligence tools as co-authors in their research favorably. This is crucial to prevent certain unscrupulous individuals, such as "false prophets," charlatans, and flat-earthers, from infiltrating the realm of science, potentially impeding the progress of serious research conducted by professionals dedicated to advancing humanity through science. -/- It is essential to keep in mind that AI does not generate anything novel. Human authors can not be fully substituted [9]. In research involving groundbreaking concepts, innovations, case reports, or technical notes, the use of AI tends to be less frequent due to its lack of capability in creating innovative outcomes. On the other hand, reviews, whether narrative, systematic, or scoping, are based on existing publications. To address potential fraudulent practices, editors, reviewers, and journals themselves should exercise greater vigilance and apply more stringent filters for this type of publication. -/- An article from over a decade ago already discussed the professions most susceptible to replacement by computerization [10]. Maxillofacial surgeons, physicians, dentists, and psychologists are among the professions that are less likely to be displaced. This position can be attributed to the significant level of patient-professional interaction, the development of specific manual skills over time, and the ability to make adaptable decisions during procedures. These intricacies pose formidable challenges for AI to grasp, regardless of its level of advancement. -/- We should maintain a composed yet vigilant stance at this juncture. Just as Portuguese navigators feared encountering serpents and sea monsters when they ventured into uncharted waters, the uncertainty and novelty of AI can evoke apprehension in us all. Nonetheless, we must embrace the benefits that AI can offer while imposing strict regulations and appropriate penalties to prevent any potential abuses carried out "in the name of science." -/- Sincerely yours,. (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)

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)

dolce, the first top-level (foundational) 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 (e.g. CIDOC CRM, DBpedia and WordNet). 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)

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)

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)

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)

The article examines the ethics of musical interpretation, focusing on the performer’s responsibility in faithfully recreating a work from the score. Drawing inspiration from conductor Daniel Barenboim’s reflections (2016), it analyzes the delicate balance between personal expression and fidelity to the work, highlighting how interpretation involves not only technical skill but also moral responsibility. This notion develops through the importance attributed to history, authenticity, and the present in interpretation. These concepts are explored in the relationship between the score and (...) the performer, addressing the ethical challenges involved in balancing fidelity and creativity. The study of Historically Informed Performance (HIP) demonstrates how it serves as the foundation of the ethics of musical interpretation, due to its attempt to recreate the original conditions of performances. However, it is also noted that HIP embodies an overly rigid fidelity, thus requiring a more balanced approach that views musical practice as an ongoing dialogue between past and present. Finally, since the rules of musical practice are not enough for performers to interpret ethically, as they need to be internalized, the role of Aristotelian phronesis is explored as an internal guide for performers in interpretative practice. Phronesis aids the performer in mediating between past and present and in making interpretative decisions that are both ethically and musically appropriate. (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)

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)

In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly true (...) as long as sometimes in the future it will be the case that there exists something that makes Q true. However, if the events that occur in 2060 do not exist unrestrictedly (for us, here in 2021), what, in reality, can possibly ground the truth (or falsity) of Q? In the second part of the paper, we concentrate on some conceptual difficulties raised by their brilliant attempt to adapt the growing block view of reality to a relativistic setting, based on what they call bow-tie presentism, according to which for each spacetime point s only s plus the spacelike-related region with respect to s exists. By extending temporal logic into a relativity-friendly spatiotemporal logic, we conclude by noting that Correia and Rosenkranz’s Nothing to Come makes very important strides in showing that there are technical ways to develop the growing block of reality into an ontology that coheres with relativity theories perfectly well, while retaining most of the distinctive content of classical growing block theory. (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)

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)

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)

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)

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)

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)

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)

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)

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)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. (...) These operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

The use of evolutionary game theory to explain the evolution of human norms and the behavior of humans who act according to those norms is widespread. Both the aims and motivation for its use are clearly articulated by Harms and Skyrms (2008) in the following passage: "A good theory of evolution of norms might start by explaining the evolution of altruism in Prisoner’s Dilemma, of Stag Hunting, and of the equal split in the symmetric bargaining game. These are not well-explained (...) by classical game theory based on rational choice. From a technical point of view, they present different theoretical challenges. In the bargaining game, there are an infinite number of equilibria with no principled (rational choice) way to select the cooperative one. In Stag Hunt there are only two, but the non-cooperative one is selected by risk-dominance. In Prisoner’s Dilemma the state of mutual cooperation is not a Nash equilibrium at all, and cooperation flies in the face of the rational-choice principle that one does not choose less rather than more. In contrast to rational choice theory, the most common tool of evolutionary game theory is the replicator dynamics, in which the propagation rate of each strategy is determined by its current payoffs. These dynamics have a rationale in both biological and cultural evolutionary modeling, and sometimes tell us things that rational choice theory does not." We agree with the first sentence in this quotation: a good theory about the behavior under norms ought to explain altruism in the Prisoner’s Dilemma (PD), playing Stag in Stag Hunt (SH), and offering equal splits in the symmetric Nash bargaining game (NB). We also agree with Harms and Skyrms about the difference in technical challenges each of these games poses. Finding a single mechanism, even one as broadly understood as evolution, that could solve these challenges en masse is no doubt a tall order. Nonetheless, in this paper, we present a single, simple, modification to SH, NB, and a general n-player PD that does just that: we introduce deontological autonomy into the models. (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)

Why interdisciplinary research in AI is so important, according to Jurassic Park. -/- “Your scientists were so preoccupied with whether or not they could, they didn’t stop to think if they should.” -/- I think this quote resonates with us now more than ever, especially in the world of technological development. The writers of Jurassic Park were years ahead of their time with this powerful quote. -/- As we build new technology, and we push on to see what can actually (...) be achieved there is an undertone of sales to whatever we build. The end product must be sold somewhere and to someone. This can derail any good intentions, just as building a resort full of dinosaurs was sold as a fun attraction, we see later in the film that it became a resort of terror. -/- In the field of AI we are certainly late to the party with ethics and regulation. Indeed, even existing modelling protocols have been, in many cases, circumvented or potentially ignored. This has led to a widening of the gap in the interdisciplinary field of AI. This is compounded by pop culture representations of AI and the Ethicist’s potential lack of knowledge surrounding technical progression in the field of AI. There are now seemingly two separate branches that ought to be in sync. The first branch is a group of Philosophers led by the Author of Superintelligence, Nick Bostrom, who believe that there is a singularity where AI takes over the world and starts to kill off humans. The second branch is the Technical Cohort who are led by companies such as Google and Deepmind. The remit of these developers is to see what can be developed and produced. Ultimately a separate sales team will determine what products can be sold. -/- We have seen multiple failures of AI due to lack of interdisciplinary discourse. Some cases include misallocated or cut off financial support and healthcare. This indicates the prevalence of issues that can grow and become ever more complex. -/- So, we have to ask ourselves two questions: One, do the Philosophers have a point? Two, does that point refer to humans programming AI in such a way that the destruction of the human race is its optimal aim in order to create a better future world? -/- Is the development of AI that different to an island of genetically engineered Dinosaurs? -/- The only solution, in my view, is interdisciplinary discourse. (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)

In a recent book and article, James Sterba has argued that there is no free will defense. It is the purpose of this article to show that, in the most technical sense, he is wrong. There is a version of the free will defense that can solve what Sterba (rightly) takes to be the most interesting and severe version of the logical problem of moral evil. However, I will also argue that, in effect (or, we might say, in practice), (...) Sterba is correct. The only working version of the free will defense requires embracing a view that entails consequences theists traditionally have not and cannot accept. Consequently, the one and only free will solution is not viable. Unless some other solution can be found (Sterba argues there is none), the logical problem of evil, as Sterba understands it, either commits one to atheism, or a version of theism that practically all theists would regard as a heresy. (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)

ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used (...) for causes had the function of describing or explaining particular features of certain causes in particular philosophical contexts. I challenge the sometimes assumed close connection of Chrysippus’ notion of causation with explanation. I show that the standard view that the distinction between proximate and auxiliary causes and perfect and principal causes corresponds to the distinction between internal and external determining factors is not born out by the evidence, and argue that causes of the two types were not thought to co-operate, but rather conceived of as alternatives. (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)

In 2020, TICCIH published its thematic study on oil heritage, the first global assessment of the heritage of petroleum production and the oil industry, and of the places, structures, sites, and landscapes that might be conserved for their historical, technical, social, or architectural attributes. In many cases, the petroleum production sites and historical infrastructures, situated in corrosive and fragile landscapes, are costly to conserve, challenging to re-use, and pre-function considering their contribution to climate change. TICCIH also included the proposals (...) for criteria to evaluate this heritage and priorities for conserving the most important sites, ensembles, and landscapes, from regional inventories up to World Heritage sites. In this report, the heritage of the petroleum industry is defined as ‘the most significant fixed, tangible evidence for the discovery, exploitation, production, and consumption of petroleum products and their impact on human and natural landscapes’. While the importance of the historical evidence for the oil industry as a tangible cultural heritage is self-evident, it is also challenging to define an integrated and holistic strategy from a conversation point of view. For achieving holistic and methodological re-use strategies, it is required to reconsider various factors such as national policies and economic systems. (shrink)

British writers of the eighteenth century such as Shaftesbury and Hutcheson are widely thought to have used the notion of disinterestedness to distinguish an aesthetic mode of perception from all other kinds. This historical view originates in the work of Jerome Stolnitz. Through a re-examination of the texts cited by Stolnitz, I argue that none of the writers in question possessed the notion of disinterestedness that has been used in later aesthetic theory, but only the ordinary, non-technical concept, (...) and that they did not use this notion to define a specifically aesthetic mode of perception or a specifically aesthetic mode of anything else. The nearest thing that they had to the Stolnitzian conception of “the aesthetic” was their conception of taste, which differs from the former in some essential respects. (shrink)

This paper is a contribution to the emerging field of comparative metaethics, which aims to analyse the metaethical views of philosophical traditions outside the Western mainstream. It argues that the metaethical views implicit in the mediaeval Chinese school of Tiantai Buddhism can be reconstructed in contemporary terms in order to develop two novel views. These views are moral dialetheism and moral trivialism. The taxonomy of contemporary metaethical views, in epistemic terms, is exhausted by either partial success, or complete error, theories. (...) They claim, respectively, either that some moral judgments are true (and some false) or that all moral judgments are false. There are also noncognitivist and nonfactualist views, claiming that all moral judgments are technically neither true nor false. In opposition to this moral truth gap, moral dialetheism and moral trivialism offer a moral truth glut. These views say, respectively, that some moral judgments and their negations are true and that all moral judgments and their negations are true. The upshot of this metaethical reconstruction of Tiantai Buddhism is that it allows us to complete the contemporary metaethical taxonomy, and to contribute to the therapeutic goal of finding ways to utilize metaethical reflection for the sake of release from the pathologies of morality. (shrink)