This article examines how emerging technologies – particularly artificial intelligence – disrupt the moral and institutional foundations of contemporary military practice. While strategic documents from the United States, NATO, and other major actors anticipate profound institutional transformation driven by AI, their treatment of ethics largely confines itself to legal compliance and technical safeguards, leaving the ethical role of military leadership in managing disruptive change underexamined. Drawing on Seumas Miller’s distinction between social institutions that are merely instrumental to collective goods and (...) those whose defining ends are constitutive of such goods, the article argues that the military belongs to the latter category. Because the military’s core function – defending the sovereignty of a polity – is itself morally significant, technological disruption of its organizational structures simultaneously constitutes ethical disruption. The article thus reconceives change management during periods of technological transition as calling for a specific kind of military prudence, a practical wisdom exercised within and through the institution’s role-mediated ethical practices. By analyzing three concrete modes of techno-moral disruption, the article shows how AI may reshape ethical standards, redistribute professional knowledge, and alter organizational ethos, and why navigating these transformations responsibly is a central task of military virtue. (shrink)

Cognitive scientific explanations can take either a mechanistic or design perspective. Some recent philosophical works propose to apply the mechanistic perspective to the influential mental file framework. The design perspective, however, remains underexplored. This paper takes on this task, arguing that mental files have been designed by natural selection to efficiently represent property cluster structures in the environment—such as objects and kinds—to facilitate our learning about them. It also shows that the design perspective can help resolve a previous debate between (...) two specific accounts of mental files. (shrink)

This paper discusses the semantically parenthetical use of clauseembedding verbs such as see, hear, think, believe, discover and know. When embedding verbs are used in this way, the embedded clause carries the main point of the utterance, while the main clause serves some discourse function. Frequently, this function is evidential, with the parenthetical verb carrying information about the source and reliability of the embedded claim, or about the speaker’s emotional orientation to it. Other functions of parenthetical uses of verbs (...) are discussed. (shrink)

How silence relates to politics has traditionally been connected to the dismissal of silence from politics. However, there is a growing recognition that this representation of silence as absence is harmful to our ability to think through the integral and productive role that silences play in political life. This book exchange contributes to this shift in theorising that emerges from the field of ‘silence studies’. To this end, the following exchange between Michael Freeden and Mónica Brito Vieira regarding their recent (...) books on the politics of silence looks at how each author specifically engages with how and in what ways silence relates to politics. In bringing these authors together not only is clarity given to why silence(s) should be a research concern, but also to the issues of how and to what end silence can or should be researched. (shrink)

Philosophers of science have variously tried to characterize how-possibly explanations (HPEs) and distinguish them from how-actually explanations (HAEs). I argue that existing contributions to this debate have failed to pay attention to the different, but complementary, functions possibilities play in scientific explanations. To bring these functions to the fore, I introduce a distinction between what I call elucidating and embedding HPEs. While elucidating HPEs specify and demonstrate possible processes for a given research target, embedding HPEs demonstrate how the (...) research target fits into a space of suitably constrained possibilities. I specify both functions of HPE with reference to two case studies from origins-of-life research. I contrast my distinction with an alternative proposal by Wirling and Grüne-Yanoff (2024) to highlight that focusing on the functions, rather than types, of possibilities in explanation is better suited to account for key scientific practices. (shrink)

This paper introduces a universal Meta-Language framework that integrates human, mathematical, programming, and animal languages across time. Each linguistic unit (word) is modeled as a topological knot with a fingerprint and an associated Seifert surface, embedded within a cryptographically committed graph. Using zero-knowledge proofs (ZKPs), we demonstrate that every word either reaches a designated conceptual region or faces extinction. Leveraging Zeckendorf's theorem, we establish that embedding matrices derived from Seifert surfaces can be uniquely represented in Fibonacci dimensions, providing a (...) structured and scalable growth pattern for semantic embeddings. Additionally, we present a new theorem on Meta-Language Completeness & Byzantine Resolution, asserting that practical completeness of a language requires a Byzantine-resilient consensus mechanism enacted in response to endogenous linguistic desire. -/- To make the dense interplay of topology, cryptography, and linguistics more accessible, we include step-by-step examples (e.g., modeling "love" as a trefoil knot) and simple visualizations throughout. (shrink)

Clinical ethics committees support ethical decision-making in healthcare. In the DACH region (Germany, Austria, Switzerland), their adoption is growing, but factors shaping implementation and daily functioning remain underexplored. Development has been uneven, and little is known about what drives it. This qualitative study examined influences on committee adoption, implementation, and routine practice. Semi structured expert interviews were conducted with committee representatives and researchers, then analysed using thematic qualitative text analysis in MAXQDA, identifying six key themes. The adoption is driven by (...) bottom-up and top-down initiatives, external pioneers, societal debates, certification demands, and resources. Efficient implementation relied on leadership, protected time and funding, committee member role clarity, and visibility through early activities. Everyday functioning depended on member motivation, clinician acceptance, staffing, training, networking, and regulatory and cultural factors. Evaluation of their activities was frequently emphasized but often constrained by limited resources. Legal and regulatory requirements were also debated: mandates could promote establishment but risk tokenism, making softer mechanisms preferable. Future directions emphasized professionalization, billing options, care integration, organizational models, and systematic evaluation. Sustainable, high-quality committee functioning requires coordinated action across policy and institutional levels, alongside clinician engagement and evaluation capacity. These empirically grounded insights provide practical strategies for managers and policymakers to strengthen clinical ethics infrastructure in the DACH context. (shrink)

Personal Information Management Systems (PIMS) aim to facilitate the sharing of personal information and protect privacy. Efforts to enhance privacy management, aligned with established privacy policies, have led to guidelines for integrating transparent notices and meaningful choices within these systems. Although discussions have revolved around the design of privacy-friendly systems that comply with legal requirements, there has been relatively limited philosophical discourse on incorporating the value of privacy into these systems. Exploring the connection between privacy and personal autonomy illuminates the (...) instrumental value of privacy and highlights the importance of intentionally embedding the value of privacy into these systems. To translate the value of privacy into concrete design requirements, this study constructs a values hierarchy consisting of values, norms, and design requirements. After analyzing the relationships between privacy and autonomy and identifying norms, the design requirements translated from the norms associated with the components of personal autonomy are specified at the lowest layer. These requirements include a design to prevent unauthorized access and dark patterns and to provide effective and efficient notices and choices. The findings contribute to expanding the requirements for designing the aspect of privacy as a legal requirement to incorporate the value of privacy into systems. (shrink)

Say that the property Φ of a cardinal λ strongly implies the property Ψ. If and only if for every λ,Φ implies that Ψ and that for some λ′<λ,Ψ. Frequently in the hierarchy of large cardinal axioms, stronger axioms strongly imply weaker ones. Some strong implications are proved between axioms of the form “there is an elementary embedding j:Lα[Vλ+1]→Lα[Vλ+1] with ”.

Nursing is characterized by ethical complexity, emotional intensity, and relational asymmetry. While bioethics is often included in nursing curricula, it is frequently taught in a fragmented or purely normative manner, leaving students insufficiently prepared to interpret and inhabit the moral dimensions of care. To describe a three-year educational pathway in Medical Humanities, philosophical anthropology, and bioethics developed for pediatric nursing students at the University of Genoa – Istituto Giannina Gaslini, and to explore the ethical themes articulated by students. The structure (...) of the program, which integrated philosophical anthropology, ethics of care and vulnerability, narrative practices, and dialogical pedagogy, was outlined. A thematic analysis was conducted on students’ written reflections which were presented at a public conference at the end of the program. Students’ reflections reveal the emergence of a coherent ethical sensibility structured around key themes: embodied care, vulnerability as a shared human condition, relational presence, the moral significance of everyday clinical gestures, and the integration of technology within caring relationships. The educational experience fostered reflective depth, interpretive sensitivity, and an understanding of ethics as lived moral practice rather than abstract rule application. An integrated, humanistic approach to bioethics education can meaningfully contribute to the formation of pediatric nurses capable of ethical presence, moral judgment, and relational responsibility. Students can be helped to cultivate an ethically attuned professional identity responsive to vulnerability and care. (shrink)

We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.

This article contributes to the discussion on how transformative and Indigenous paradigms can be incorporated into policy and practice. It shows how these paradigms can be meaningfully integrated into the design and delivery of education programmes to ensure that interventions are not only technically effective but also relational, participatory, and emancipatory, especially in contexts characterised by historical marginalisation and structural inequality. Using the dual lenses of Mertens’ Six Steps for Transformative Research and Chilisa’s Eight Rs of Indigenous Inquiry, this article (...) examines the South African Kha Ri Gude (Tshivenda for “Let Us Learn”) Literacy Campaign as a national example that embodies these principles. Delivered in all 12 official South African languages, including South African Sign Language, the campaign reached over 4.7 million adults through a decentralised, community-based model delivered by approximately 40,000 volunteers. Drawing on my experience as CEO of the campaign, this article presents a praxis-oriented reflection on the potential of transformative and Indigenous paradigms for implementing large-scale education interventions that achieve both redress and epistemic justice. This article affirms that embedding these paradigms from inception to evaluation can help realise a project’s transformative potential. (shrink)

Knowledge graphs entity typing aims to predict the potential types to an entity, that is,. Recently, several embedding models are proposed for KG entity types prediction according to the existing typing information of the tuples in KGs. However, most of them unreasonably assume that all existing entity typing instances in KGs are completely correct, which ignore the nonnegligible entity type noises and may lead to potential errors for the downstream tasks. To address this problem, we propose ConfE, a novel (...) confidence-aware embedding approach for modeling the tuples, which takes tuple confidence into consideration for learning better embeddings. Specifically, we learn the embeddings of entities and entity types in separate entity space and entity type space since they are different objects in KGs. We utilize an asymmetric matrix to specify the interaction of their embeddings and incorporate the tuple confidence as well. To make the tuple confidence more universal, we consider only the internal structural information in existing KGs. We evaluate our model on two tasks, including entity type noise detection and entity type prediction. The extensive experimental results in two public benchmark datasets demonstrate that our proposed model outperforms all baselines on all tasks, which verify the effectiveness of ConfE in learning better embeddings on noisy KGs. The source code and data of this work can be obtained from https://github.com/swufenlp/ConfE. (shrink)

Explanations in genetics have intriguing aspects to both biologists and philosophers, and there is no account that satisfactorily elucidates such explanations. The aim of this article is to analyze the kind of explanations usually given in Classical (Transmission) Genetics (CG) and to present in detail the application of an account of explanation as ampliative, specialized nomological embedding to elucidate the such explanations. First, we present explanations in CG in the classical format of inferences with the explanans as the premises (...) and the explanandum as the conclusion and compare them with explanations in other paradigmatic explanatory fields such as Classical Mechanics. Second, we summarize the main aspects discussed in the literature with regard the peculiarities of genetic explanations. Third, we introduce the account of scientific explanation as ampliative, specialized nomological embedding making use of Sneedian structuralism, in particular the notions of theory-net, fundamental law or guiding principle, specialization, and special laws. Finally, we apply this account to the case of CG and show that this analysis sheds light to the intriguing aspects of genetic explanations and remove most of their alleged oddities. (shrink)

Situated approaches to affectivity overcome an outdated individualistic perspective on emotions by emphasizing the role embodiment and environment play in affective dynamics. Yet, accounts which provide the conceptual toolbox for analyses in the philosophy of emotions do not go far enough. Their focus falls (a) on the present situation, abstracting from the broader historico-cultural context, and (b) on adopting a largely functionalist approach by conceiving of emotions and the environment as resources to be regulated or scaffolds to be used. In (...) this paper, I argue that we need totake situatedness seriously: We need (a) to acknowledge that emotions are not situated in undetermined “contexts” but in concrete socio-culturally specific practices referring to forms of living; and (b) to agree that not only are context and emotionsusedfor the sake of something else but also that the meaning-disclosive dimension of affective intentionality is structured by situatedness as well. To do so, I offer a multidimensional approach to situatedness that integrates the biographical and cultural dimensions of contextualization within the analysis of situated affective dynamics. This approach suggests that humans affectively disclose meaning (together) which is at once product and producer of specific forms of living – and these are always already subjects of (politically relevant) critique. (shrink)

Multiplex networks have been widely used in information diffusion, social networks, transport, and biology multiomics. They contain multiple types of relations between nodes, in which each type of the relation is intuitively modeled as one layer. In the real world, the formation of a type of relations may only depend on some attribute elements of nodes. Most existing multiplex network embedding methods only focus on intralayer and interlayer structural information while neglecting this dependence between node attributes and the topology (...) of each layer. Attributes that are irrelevant to the network structure could affect the embedding quality of multiplex networks. To address this problem, we propose a novel multiplex network embedding model with high-order node dependence, called HMNE. HMNE simultaneously considers three properties: intralayer high-order proximity of nodes, interlayer dependence in respect of nodes, and the dependence between node attributes and the topology of each layer. In the intralayer embedding phase, we present a symmetric graph convolution-deconvolution model to embed high-order proximity information as the intralayer embedding of nodes in an unsupervised manner. In the interlayer embedding phase, we estimate the local structural complementarity of nodes as an embedding constraint of interlayer dependence. Through these two phases, we can achieve the disentangled representation of node attributes, which can be treated as fined-grained semantic dependence on the topology of each layer. In the restructure phase of node attributes, we perform a linear fusion of attribute disentangled representations for each node as a reconstruction of original attributes. Extensive experiments have been conducted on six real-world networks. The experimental results demonstrate that the proposed model outperforms the state-of-the-art methods in cross-domain link prediction and shared community detection tasks. (shrink)

Given the recent interest in the fragment of system $\mathbf{F}$ where universal instantiation is restricted to atomic formulas, a fragment nowadays named system ${\mathbf{F}}_{\textbf{at}}$, we study directly in system $\mathbf{F}$ new conversions whose purpose is to enforce that restriction. We show some benefits of these new atomization conversions: they help achieving strict simulation of proof reduction by means of the Russell–Prawitz embedding of $\textbf{IPC}$ into system $\mathbf{F}$, they are not stronger than a certain ‘dinaturality’ conversion known to generate a (...) consistent equality of proofs, they provide the bridge between the Russell–Prawitz embedding and another translation, due to the authors, of $\textbf{IPC}$ directly into system ${\mathbf{F}}_{\textbf{at}}$ and they give means for explaining why the Russell–Prawitz translation achieves strict simulation whereas the translation into ${\mathbf{F}}_{\textbf{at}}$ does not. (shrink)

It is meaningful for a researcher to find some proper collaborators in complex academic tasks. Academic collaborator recommendation models are always based on the network embedding of academic collaborator networks. Most of them focus on the network structure, text information, and the combination of them. The latent semantic relationships exist according to the text information of nodes in the academic collaborator network. However, these relationships are often ignored, which implies the similarity of the researchers. How to capture the latent (...) semantic relationships among researchers in the academic collaborator network is a challenge. In this paper, we propose a content-enhanced network embedding model for academic collaborator recommendation, namely, CNEacR. We build a content-enhanced academic collaborator network based on the weighted text representation of each researcher. The content-enhanced academic collaborator network contains intrinsic collaboration relationships and latent semantic relationships. Firstly, the weighted text representation of each researcher is obtained according to its text information. Secondly, a content-enhanced academic collaborator network is built via the similarity of the weighted text representation of researchers and intrinsic collaboration relationships. Thirdly, each researcher is represented as a latent vector using network representation learning. Finally, top- k similar researchers are recommended for each target researcher. Experiment results on the real-world datasets show that CNEacR achieves better performance than academic collaborator recommendation baselines. (shrink)

Public companies in the US stock market must annually report their activities and financial performances to the SEC by filing the so-called 10-K form. Recent studies have demonstrated that changes in the textual content of the corporate annual filing can convey strong signals of companies’ future returns. In this study, we combine natural language processing techniques and network science to introduce a novel 10-K-based network, named Lazy Network, that leverages year-on-year changes in companies’ 10-Ks detected using a neural network (...) class='Hi'>embedding model. The Lazy Network aims to capture textual changes derived from financial or economic changes on the equity market. Leveraging the Lazy Network, we present a novel investment strategy that attempts to select the least disrupted and stable companies by capturing the peripheries of the Lazy Network. We show that this strategy earns statistically significant risk-adjusted excess returns. Specifically, the proposed portfolios yield up to 95 basis points in monthly five-factor alphas, outperforming similar strategies in the literature. (shrink)

The number of scientific publications is growing exponentially. Research articles cite other work for various reasons and, therefore, have been studied extensively to associate documents. It is argued that not all references carry the same level of importance. It is essential to understand the reason for citation, called citation intent or function. Text information can contribute well if new natural language processing techniques are applied to capture the context of text data. In this paper, we have used contextualized word (...) class='Hi'>embedding to find the numerical representation of text features. We further investigated the performance of various machine-learning techniques on the numerical representation of text. The performance of each of the classifiers was evaluated on two state-of-the-art datasets containing the text features. In the case of the unbalanced dataset, we observed that the linear Support Vector Machine achieved 86% accuracy for the “background” class, where the training was extensive. For the rest of the classes, including “motivation,” “extension,” and “future,” the machine was trained on less than 100 records; therefore, the accuracy was only 57 to 64%. In the case of a balanced dataset, each of the classes has the same accuracy as trained on the same size of training data. Overall, SVM performed best on both of the datasets, followed by the stochastic gradient descent classifier; therefore, SVM can produce good results as text classification on top of contextual word embedding. (shrink)

We follow along the line of research begun with the pioneering work Maksimova and Rybakov (1974) which has initiated comparative analysis of the lattices of normal extensions of S4 and of intermediate logics. Grounding on the Gödel–McKinsey–Tarski embedding, for any S4-logic, we define the notion of $$\tau $$ τ -decomposition and that of a modal component of the logic. Then, we investigate conditions, when a modal logic has its least modal component.

In recent years, many face image feature extraction and dimensional reduction algorithms have been proposed for linear and nonlinear data, such as local-based graph embedding algorithms or fuzzy set algorithms. However, the aforementioned algorithms are not very effective for face images because they are always affected by overlaps and sparsity points in the database. To solve the problems, a new and effective dimensional reduction method for face recognition is proposed—sparse graph embedding with the fuzzy set for image classification. (...) The aim of this algorithm is to construct two new fuzzy Laplacian scattering matrices by using the local graph embedding and fuzzy k-nearest neighbor. Finally, the optimal discriminative sparse projection matrix is obtained by adding elastic network regression. Experimental results and analysis indicate that the proposed algorithm is more effective than other algorithms in the UCI wine dataset and ORL, Yale, and AR standard face databases. (shrink)

In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.

Mr. A. F. Bentley in his Linguistic Analysis of Mathematics has attacked the problem of the “embedding language” of mathematics; “This essay” we read in the Foreword, “deals with the language of mathematics, including not only the mathematical symbols, but also those immediately surrounding forms of expressions and assertions through which the symbols are developed, communicated and interpreted. The writer seeks to establish a firm construction for this embedding language.” Inevitably, in the first instance this embedding language (...) must be, as he puts it, “every-day language”; but this is sadly inadequate: “The every-day language reeks with philosophies—the absolutisms of pointing. It shatters at every touch of advancing knowledge. At its heart is paradox… Mathematicians know this. Yet they feel ever the compulsion to interpret their mathematics in terms of every-day language. So proceeding, their harvest is super-paradox.” Yet the writer recognizes after all that “every-day language is the basal medium of communication between men,” even when we seek to “extend standards of symbolic consistency into the regions of the embedding language.”. (shrink)

This paper concerns the proper definition of embeddings in purely category-theoretical terms. It is argued that plain category theory cannot capture what, in the general case, constitutes an embedding of one structure in another. We discuss three available solutions to this problem: variants of monics, concrete categories, and allegories. The first and last of these are found to be unable to solve the problem, and the second to be philosophically unsatisfactory. Instead, we introduce a theory of forms and relators, (...) which, like allegory theory, attempts to abstract from relation algebras in the way that categories abstract from monoids, but which does not have the shortcomings we have identified in allegories. We show that the theory in question does indeed solve the problem of defining embeddings. (shrink)

The models of normal open induction are those discretely ordered rings, integrally closed in their fraction field whose nonnegative part satisfy Peano's induction axioms for open formulas in the language of ordered semirings.It is known that neither open induction nor the usually studied stronger fragments of arithmetic , have the joint embedding property.We prove that normal models of open induction have the joint embedding property.

Based on data from interviews with CSR and HR professionals, this paper discusses possibilities for embedding corporate social responsibility (CSR) into human resource management (HRM). It examines how employee-related aspects can be addressed under the remit of CSR and how such interfaces work. Further, it argues that although HRM is responsible for employee issues such as diversity, equality, work-life balance, CSR has some implications for HRM. Thus, CSR helps to embed the social and ethical concerns of employees within HRM (...) policies and practices and promotes socially responsible HRM. However, such a relationship is subject to CSR-related variables, such as the scope of CSR and variation among industries. If these factors are not favourable,disconnections may exist between CSR and HRM. (shrink)

Multinational companies (MNCs) can have positive and negative impacts on the human rights situation of a country. More and more MNCs have made a commitment to respect human rights. So far, little research has been done on how MNCs can embed their commitment and which factors determine its success. This paper therefore aims to describe and learn from the process of embedding human rights in six subsidiaries of the multinational oil company Royal Dutch Shell (in short, Shell), operating in (...) different parts of the world. It develops an approach based on the model of Tatiana Kostova. Using a specific tool called the Human Rights Compliance Assessment, the paper concludes that, despite differences in local context, the process requirements of embedding global standardscan be the same. (shrink)

The paper contains a conceptual proposal, its key idea being that the successful functioning of a rule embedding artifact designed to regulate a practice (not pertaining to its use) produces the same result as the successful performance of the rule-invoking non-communicative actions belonging to the practice in case.

Many modern theories of indicative conditionals treat them as restricted epistemic necessity modals. This view, however, faces two problems. First, indicative conditionals do not behave like necessity modals in embedded contexts, e.g., under ‘might’ and ‘probably’: in these contexts, conditionals do not contribute a universal quantification over epistemic possibilities. Second, when we assess the probability of a conditional, we do not assess how likely it is that the consequent is epistemically necessary given the antecedent. I propose a semantics which solves (...) both problems, while still accounting for the data that motivated the necessity modal view. The account is based on the idea that the semantics of conditionals involves only a restriction of the relevant epistemic state, and no quantification over epistemic possibilities. The relevant quantification is contributed by an attitude parameter in the semantics, which is shifted by epistemic modals. If the conditional is asserted, the designated attitude is acceptance, which contributes a universal quantification, producing the effect of a restricted necessity modal. (shrink)

The purpose of this paper is to elucidate the semantic relation between continental drift and plate tectonics. The numerous attempts to account for this case in either Kuhnian or Lakatosian terms have been convincingly dismissed by Rachel Laudan, who nevertheless acknowledged that there was not yet a plausible alternative to explain the so called “geological revolution”. Several decades later, the epistemological side of this revolution has received much attention, while the semantic relation between drift theory and plate tectonics has remained (...) mainly unexplored. In studying this case under a new light, the notion of embedding, as distinguished from other sorts of intertheoretical relations :11–27, 2011), will have a particular significance. After formally analyzing the relationship between continental drift and plate tectonics, it will become evident that the models of drift theory are part of the models of plate tectonics, thereby fulfilling the conditions for embedding. All theoretical concepts from drift theory are presupposed in some theoretical concepts from plate tectonics, and all empirical concepts of the former are shared by the latter. Furthermore, all the successful paradigmatic applications of continental drift are also successful applications of plate tectonics. As a consequence, under the label “geological revolution”, we actually find a salient historical case of cumulative progress across theory change. (shrink)

In recent years, business ethics and economic scholars have been paying greater attention to the development of commons organizing. The latter refers to the processes by which communities of people work in common in the pursuit of the common good. In turn, this promotes commons organizational designs based on collective forms of common goods production, distribution, management and ownership. In this paper, we build on two main literature streams: the ethical approach based on the theory of the common good of (...) the firm in virtue ethics and the economic approach based on the theory of institutions for collective action developed by Ostrom’s research on common-pool resources to avert the tragedy of the commons. The latter expands to include the novel concepts of new commons, “commoning” and polycentric governance. Drawing on the analysis of what is new in these forms of organizing, we propose a comprehensive model, highlighting the integration of two sets of organizing principles—common good and collective action – and five problem-solving processes to explain the main dimensions of commons organizing. We contribute to business ethics literature by exploring the convergence between the ethical and economic approaches in the development of a commons organizing view. (shrink)

Expressivism faces four distinct problems when evaluative sentences are embedded in unassertive contexts like: If lying is wrong, getting someone to lie is wrong, Lying is wrong, so Getting someone to lie is wrong. The initial problem is to show that expressivism is compatible with - being valid. The basic problem is for expressivists to explain why evaluative instances of modus ponens are valid. The deeper problem is to explain why a particular argument like - is valid. The deepest problem (...) is to explain the meanings of evaluative conditionals like . Expressivists can solve the initial and basic problems simply by acknowledging that evaluative sentences have minimal truth aptness, but the deeper and deepest problems require more. The deepest problem cannot be solved even with the semantics of Gibbard and Blackburn, as is shown by an extension of Dreier’s hiyo argument. (shrink)

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

Altruism and solidarity are concepts that are closely related to organ donation for transplantation. On the one hand, they are typically used for encouraging people to donate. On the other hand, they also underpin the regulations in force in each country to different extents. They are often used indistinctly and equivocally, despite the different ethical implications of each concept. This paper aims to clarify to what extent we can speak of altruism and solidarity in the predominant models of organ donation. (...) It also raises the ethical question of whether these categories are adequate as a basis for such models, bearing in mind that organs are a scarce resource and that a shortage of them may mean that fewer lives are saved or improved. (shrink)

Artificial Intelligence (AI) has the potential to revolutionize public health surveillance by analyzing large datasets to detect outbreaks. However, privacy, consent, and governance issues persist. While the International Health Regulations do not explicitly mention the use of AI in infectious disease surveillance, transparent processes, accountability, and public trust are key for responsibly integrating AI in pandemic preparedness.

A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR + and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.

The goal of this paper is to present and defend an empiricist, neo-Hempelian account of scientific explanation as ampliative, specialized embedding. The proposal aims to preserve what I take to be the core of Hempel’s empiricist account, by weakening it in some respects and strengthening it in others, introducing two new conditions that solve most of Hempel’s problems without abandoning his empiricist strictures. According to this proposal, to explain a phenomenon is to make it expectable by introducing new conceptual/ontological (...) machinery and using special, and non-ad hoc, non-accidental regularities. The new conditions are elaborated making essential use of two central structuralist ideas, namely T-theoreticity and specialization. I first introduce and qualify the project, then present the new account in detail and assess it vis-à-vis its rivals, and finally discuss some possible objections, concluding that the account fares better than its monistic rivals and well enough to qualify as a promising neo-Hempelian account. Even for those unpersuaded by its monistic goals, it has the merit of calling attention to two new necessary conditions not explicitly emphasized thus far and showing how they serve to answer many of the criticisms addressed against Hempel’s account. (shrink)

The rich blend of theories and experiences that made the history of physics possible still now enlightens the scientific method. We stress the need to learn from this method the force of making its principles explicit, while developing a rich diversity of theories, which are often incompatible. Unity is preserved by common founding principles and their mathematical form, such as the understanding of conservation properties (energy, momentum etc.) in terms of symmetries. When moving from the inert to the living state (...) of matter, new challenges are posed, beginning with biological “heterogenesis”, as “genesis of and from diversity” in a changing space of pertinent observables and parameters: the Darwinian ecosystem. The question that is posed is how we may consistently embed the theories of the inert into biology. By naturalization we mean an analysis of physics as part of the sciences of nature, not as the science governing them all. In particular, the founding symmetry principles of physical theories, often used to “naturalize” (but, actually, to “physicalize”) other sciences, will instead be framed in more general dynamics which deal with fundamental changes of symmetries, as they apply, in our views, in all historical sciences, beginning with biology. This paper will accordingly explore the notion of (non-)conservative extension of theories in a precise mathematical sense. We stress a perspectival epistemology that promotes a dialogue of theories, in search for bridges or even unity, inspired by the method of “unification” at the core of major theoretical inventions in physics. Our main motivation is the need to go beyond the strong dualistic separation of space (or of the more general “phase space”) as a pre-given container of the dynamics of matter, that biased physics from Aristotle to Newton and, in a technically different way, even Einstein. (shrink)

Let be the class of odd involutive even the notion of partial lex products is not sufficiently general. One more tweak is needed, a slightly even more complex construction, called partial sublex product, introduced here.

Ethical decision-making is essential to professionalism in engineering. For that reason, ethics is a required topic in an ABET approved engineering curriculum and it must be a foundational strand that runs throughout the entire curriculum. In this paper the curriculum approach that is under development at the Padnos School of Engineering (PSE) at Grand Valley State University will be described. The design of this program draws heavily from the successful approach used at the service academies — in particular West Point (...) and the United States Naval Academy. As is the case for the service academies, all students are introduced to the “Honor Concept” (which includes an Honor Code) as freshmen. As an element of professionalism the PSE program requires 1500 hours of co-op experience which is normally divided into three semesters of full-time work alternated with academic semesters during the last two years of the program. This offers the faculty an opportunity to teach ethics as a natural aspect of professionalism through the academic requirements for co-op. In addition to required elements throughout the program, the students are offered opportunities to participate in service projects which highlight responsible citizenship. These elements and other parts of the approach will be described. “Train up a child in the way he should go and when he is old he will not depart from it.” King Solomon. (shrink)

The system obtained by adding full propositional quantification to S5 is known to be decidable, while that obtained by doing so for T is known to be recursively intertranslatable with full second-order logic. Recently it was shown that the system with two S5 operators and full propositional quantification is also recursively intertranslatable with second-order logic. This note establishes that the map assigning [1][2]p to \squarep provides a validity and satisfaction preserving translation between the T system and the double S5 system, (...) thus providing an easier proof of the recent result. (shrink)

The emergence of ethical concerns surrounding artificial intelligence (AI) has led to an explosion of high-level ethical principles being published by a wide range of public and private organizations. However, there is a need to consider how AI developers can be practically assisted to anticipate, identify and address ethical issues regarding AI technologies. This is particularly important in the development of AI intended for healthcare settings, where applications will often interact directly with patients in various states of vulnerability. In this (...) paper, we propose that an ‘embedded ethics’ approach, in which ethicists and developers together address ethical issues via an iterative and continuous process from the outset of development, could be an effective means of integrating robust ethical considerations into the practical development of medical AI. (shrink)

The use of ensemble learning, deep learning, and effective document representation methods is currently some of the most common trends to improve the overall accuracy of a text classification/categorization system. Ensemble learning is an approach to raise the overall accuracy of a classification system by utilizing multiple classifiers. Deep learning-based methods provide better results in many applications when compared with the other conventional machine learning algorithms. Word embeddings enable representation of words learned from a corpus as vectors that provide a (...) mapping of words with similar meaning to have similar representation. In this study, we use different document representations with the benefit of word embeddings and an ensemble of base classifiers for text classification. The ensemble of base classifiers includes traditional machine learning algorithms such as naïve Bayes, support vector machine, and random forest and a deep learning-based conventional network classifier. We analysed the classification accuracy of different document representations by employing an ensemble of classifiers on eight different datasets. Experimental results demonstrate that the usage of heterogeneous ensembles together with deep learning methods and word embeddings enhances the classification performance of texts. (shrink)

An increasing number of financial services (FS) companies are adopting solutions driven by artificial intelligence (AI) to gain operational efficiencies, derive strategic insights, and improve customer engagement. However, the rate of adoption has been low, in part due to the apprehension around its complexity and self-learning capability, which makes auditability a challenge in a highly regulated industry. There is limited literature on how FS companies can implement the governance and controls specific to AI-driven solutions. AI auditing cannot be performed in (...) a vacuum; the risks are not confined to the algorithm itself, but rather permeates the entire organization. Using the risk of unfairness as an example, this paper will introduce the overarching governance strategy and control framework to address the practical challenges in mitigating risks AI introduces. With regulatory implications and industry use cases, this framework will enable leaders to innovate with confidence. (shrink)

Embedding Human Rights in business practice is a challenge many multinational companies have to deal with to avoid reputational risks or to comply with soft law requirements. However, in doing so, the normative concept of corporate human rights obligations is both legally and ethically imprecise and the “UN Guiding Principles on Business and Human Rights” are just partly helpful. Therefore, it is asked and analyzed, if legal respectively ethical dogmatism or specific sustainability market mechanisms can provide guidance and clarity. (...) The examination however reveals legally paradox results. Not legitimized institutions might restrict companies unreasonably. From this perspective, it remains unclear, for which human rights behavior they are held accountable. A corporate human rights approach therefore should be aware of that and thoroughly chosen. (shrink)