This is a research report in which we present examples which should be of interest to those working on clausal embedding and dubitative verbs. Examples are presented which are relevant to the evaluation of claims and arguments in: (Karttunen 1977), (Uegaki 2021), (Huddleston 1994), (Biezma & Rawlins 2012), (Roelofsen; Herbstritt; & Aloni 2019), (Suñer 1993), and (Rawlins 2008). The examples are mostly from English, but we also present some examples from Italian, Spanish, and German.

In this paper, I argue that not only PPs and adverbs can act as predicates of the event argument of the verb, but certain NPs and certain clauses can, as well. I will give syntactic and semantic arguments that NPs that are cognate objects and clauses of (at least some) nonbridge verbs are optional predicates of the event argument of the verb. With respect to clauses, I will argue that for independent reasons the meaning of both independent and embedded sentences (...) can be construed as event-properties, namely as properties of intentional events. (shrink)

Dreams are not real, so when we recount them we prefix an intensional operator like “I dreamed that…”. Linguists will analyze this construction in terms of clausal complementation syntax and possible worlds semantics. But talking about a dream is often more like telling a story, with a potentially complex discourse structure (involving propositional discourse units connected by coherence relations like NARRATION, BACKGROUND, and EXPLANATION) that is hard to fit inside a single syntactically embedded that-clause (or a sequence of independently (...) embedded clauses). I show how we can analyze actual, complex dream report stories using a formal discourse semantics framework. I then explore how to extend this discourse framework to visual dream reporting, like in movies and comics, where it’s not immediately clear that we even have any intensional operators or embeddings to begin with. (shrink)

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

Standard models of visual perception hold that vision is an inferential or interpretative process. Such models are said to be superior to competing, non-inferential views in explanatory power. In particular, they are said to be capable of explaining a number of otherwise mysterious, visual phenomena such as multi-stable perception. Multi-stable perception paradigmatically occurs in the presence of ambiguous figures, single images that can give rise to two or more distinct percepts. Different interpretations are said to produce the different percepts. In (...) this paper, I argue that a non-inferential account of visual perception is just as capable of explaining multi-stable perception. I propose an embedded understanding of vision, and show how the embedded account can, after properly qualifying them, use the explanatory resources of the inferential view to explain just what such a view explains. (shrink)

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

This paper brings together two erstwhile distinct strands of philosophical inquiry: the extended mind hypothesis and the situationist challenge to virtue theory. According to proponents of the extended mind hypothesis, the vehicles of at least some mental states (beliefs, desires, emotions) are not located solely within the confines of the nervous system (central or peripheral) or even the skin of the agent whose states they are. When external props, tools, and other systems are suitably integrated into the functional apparatus of (...) the agent, they are partial bearers of her cognitions, motivations, memories, and so on. According to proponents of the situationist challenge to virtue theory, dispositions located solely within the confines of the nervous system (central or peripheral) or even the skin of the agent to whom they are attributed typically do not meet the normative standards associated with either virtue or vice (moral, epistemic, or otherwise) because they are too susceptible to moderating external variables, such as mood modulators, ambient sensibilia, and social expectation signaling. We here draw on both of these literatures to formulate two novel views – the embedded and extended character hypotheses – according to which the vehicles of not just mental states but longer-lasting, wider-ranging, and normatively-evaluable agentic dispositions are sometimes located partially beyond the confines of the agent’s skin. (shrink)

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

This paper proposes a distinctive kind of agency that can vindicate the agency of members of marginalised groups while accommodating the autonomy-undermining influences of oppression. Socially-embedded agency—the locus of which is in the exercise of our ability to negotiate between different social features—is compatible with, and can explain, various phenomena, including double-consciousness and white fragility. Moreover, although socially-embedded agency is neither necessary nor sufficient for autonomy, exercising it is practically necessary for autonomy, at least for members of marginalised groups in (...) our non-ideal world. (shrink)

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

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

Embedding ethics modules within computer science courses has become a popular response to the growing recognition that CS programs need to better equip their students to navigate the ethical dimensions of computing technologies like AI, machine learning, and big data analytics. However, the popularity of this approach has outpaced the evidence of its positive outcomes. To help close that gap, this empirical study reports positive results from Northeastern’s program that embeds values analysis modules into CS courses. The resulting data (...) suggest that such modules have a positive effect on students’ moral attitudes and that students leave the modules believing they are more prepared to navigate the ethical dimensions they’ll likely face in their eventual careers. Importantly, these gains were accomplished at an institution without a philosophy doctoral program, suggesting this strategy can be effectively employed by a wider range of institutions than many have thought. (shrink)

In this thesis, we will study the embedding of classical first-order logic in first-order S4, which is based on the translation originally introduced in Fitting (1970). The initial main part is dedicated to a detailed model-theoretic proof of the soundness of the embedding. This will follow the proof sketch in Fitting (1970). We will then outline a proof procedure for a proof-theoretic replication of the soundness result. Afterwards, a potential proof of faithfulness of the embedding, read in (...) terms of soundness and completeness, will be discussed. We will particularly highlight the many difficulties coming with it. In the final section, we will relate this discussion to the debate on notational variance in French (2019). We will do this by showing how a weaker version of French's notion of ‘expressive equivalence’ conforms to the model-theoretic soundness result. We will then conclude that the soundness result without completeness might contain rather little overall insight by relating it to the extensibility of classical logic to S4. (shrink)

The principal argument suggested here is that we are all morally embedded selves: We have no control over the abilities that make us moral agents nor can we control the degree to which we have these abilities; in other words, we are not responsible for our good or bad qualities as moral agents. This, I believe, calls for the adoption of embedded compatibilism (EC). According to EC, people have control over their conduct; this control, however, is embedded within prerequisites, which (...) they cannot control and hence are not responsible for having or lacking. On the one hand, EC enables us to explain why a lack of control at the ultimate level does not eliminate moral judgment altogether. However on the other hand, EC ought to change our understanding of moral responsibility; interalia, it supports a hybrid notion of punishment, indicates the incomplete nature of guilt and reintroduces the problem of moral luck. (shrink)

Karl Polanyi in The Great Transformation diagnosed what had happened in the Nineteenth Century that led to poverty, increasingly wild economic fluctuations, increasingly severe depressions, and social dislocation and oppression on a massive scale – the market had been disembedded from communities which were then subjected to the imperatives of a supposedly autonomous market. In fact, such disembedding and imposition of these imperatives was a deliberate strategy developed as a means to impose exploitative relations on people, in opposition to ideas (...) of republican democracy. Recognizing this, after such disembedding had engendered a major global depression in the 1890s and an even more severe depression in the 1930s, along with two world wars, reformers largely succeeded in re-embedding markets. This achievement was fought by neoliberals, and their triumph in the 1970s was a really a project of reversion to the Nineteenth Century economic and political order, now upheld by much more powerful forces, including immensely powerful transnational corporations and financial institutions, corrupt politicians, and much more effective mind control industries. As in the Nineteenth Century, it has concentrated wealth and income, destabilized economies, and threatens a new Great Depression and, as a by-product of the tensions generated by global ecological destruction, possibly a new world war. As opposed to Marxist analyses, Polanyi’s analysis provided a much clearer goal to aim at that has not been discredited by the failures of supposedly communist countries. However, there are still huge problems to be overcome if we are to re-embed the market in communities, including the problem of grappling with the immense power of transnational corporations and financial institutions and those who serve them and the success they have had in corrupting the institutions and culture of democracy. This includes not only undermining the power of nations to control their economies and their subversion of democratic processes, but also in promoting passivity in the population to render them inert and powerless. In this paper I will examine proposals, such as those promoted by Arild Vatn in his book Institutions and the Environment, to develop institutions able to achieve this re-embedding. (shrink)

Suppose Alice asserts p, and the Caterpillar wants to disagree. If the Caterpillar accepts classical logic, he has an easy way to indicate this disagreement: he can simply assert ¬p. Sometimes, though, things are not so easy. For example, suppose the Cheshire Cat is a paracompletist who thinks that p ∨ ¬p fails (in familiar (if possibly misleading) language, the Cheshire Cat thinks p is a gap). Then he surely disagrees with Alice's assertion of p, but should himself be unwilling (...) to assert ¬p. So he cannot simply use the classical solution. Dually, suppose the Mad Hatter is a dialetheist who thinks that p ∧ ¬p holds (that is, he thinks p is a glut). Then he may assert ¬p, but it should not be taken to indicate that he disagrees with Alice; he doesn't. So he too can't use the classical solution. The Cheshire Cat and the Mad Hatter, then, have a common problem, and philosophers with opinions like theirs have adopted a common solution to this problem: appeal to denial. Denial, these philosophers suppose, is a speech act like assertion, but it is not to be understood as in any way reducing to assertion. Importantly, denial is something different from the assertion of a negation; this is what allows it to work even in cases where assertion of negation does not. Just as importantly, denial must express disagreement, since this is the job it's being enlisted to do. (shrink)

The concept of the receptive field, first articulated by Hartline, is central to visual neuroscience. The receptive field of a neuron encompasses the spatial and temporal properties of stimuli that activate the neuron, and, as Hubel and Wiesel conceived of it, a neuron’s receptive field is static. This makes it possible to build models of neural circuits and to build up more complex receptive fields out of simpler ones. Recent work in visual neurophysiology is providing evidence that the classical receptive (...) field is an inaccurate picture. The receptive field seems to be a dynamic feature of the neuron. In particular, the receptive field of neurons in V1 seems to be dependent on the properties of the stimulus. In this paper, we review the history of the concept of the receptive field and the problematic data. We then consider a number of possible theoretical responses to these data. (shrink)

Current state-of-the-art out-of-distribution algorithm does not address the variation in dynamic and static behavior between malware variants from the same family as evidence in their poor performance against an out-of-distribution malware attack. We aims to address this limitation by: 1) exploitation of the in-dimensional embedding space between variants from the same malware family to account for all variations 2) exploitation of the inter-dimensional space between different malware family 3) building a deep learning-based model with a shallow neural network with (...) maximum of two connected layers to overcome overfitting from the scratch 4) building a Bayesian inference based computation algorithm that intertwine with connected network and is able to create new and adjust existing data points in response to an exposure to new out-of-distribution variants of existing or new malware family which determines the extent at which model weight is adjusted which in turn triggers update on the gradient. Preliminary result of our proposed framework gave an accuracy of 81\% in the successful classification of a novel out-of-distribution malware attack, something that could not be achieve by any of the state-of-the-art algorithms on novel malware classification. (shrink)

Abstract: The intelligent embedded agricultural robotic system is a low cost and efficient microcontroller robot which include; A soil moisture monitoring system which monitors the moisture content of the soil in the various parts of the field and the measured data to a microcontroller unit which in turn displays the received data on a Liquid Crystal Display to determine when to irrigate or spray the farm field. An automatic car, which follows a path designed in the field, i.e., a white (...) line on a black surface integrated with a spraying and irrigating mechanism for carrying out agricultural spray and irrigation. An automatic solar tracking system that tracks the sun’s position for maximum light intensity was used to charge the DC 12V battery which was used to power to the robotic system. A refilling system with obstacle detection feature was used for refilling water, chemical or fertilizer spray in the spraying and irrigating tank integrated with the line follower robotic system. This embedded system is useful for farmers who wish to monitor the soil moisture content of the field, and automate spraying and irrigation purposes at low costs and higher efficiency. (shrink)

With this article, I seek to examine Krause’s analysis of the self in Analitische Philosophie, and in particular in Vorlesungen über die Psychische Anthropologie. But I do so through the texts that the Spanish Krausists devoted either to translating or to discussing and disseminating Krause’s ideas in dialogue with the philosophies of the time. In my exposition and examination of the doctrine of the self, I focus on its embedding in a particular existence through embodiment, and argue that these (...) are aspects with which Krausism can still illuminate the debate about human subjectivity. (shrink)

In this article I investigate the extent to which Bhikhu Parekh believes that a person's cultural/religious background must be preserved and whether, by implication, religious schooling is justified by his theory. My discussion will explore—by inference and implication—whether Parekh's carefully crafted multiculturalism, enriched and illuminated by numerous practical insights, is socially tenable. I will also consider whether, by extension, it is justifiable, on his line of reasoning, to cultivate cultural and religious understandings among one's own children. Finally, I will contend (...) that Parekh, notwithstanding his cautious, even‐handed approach, commits several important errors, including conflating the culture of the parents with that of the children and insisting that cultural and religious persons ought to be allowed to defend their views in the public square on religious grounds. (shrink)

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

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)

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

The article will be divided into three parts: 1. Explain the literary origins of the nesting pattern and its relationship to cinema narrative, and analyse the nesting tactics commonly used in films under Hollywood’s classical narrative. 2. Describe the variations in nested structures in films made in the 1990s, focusing on self-reflexive nesting, which emerged as a new model beyond conventional nesting during this period. 3. Distinguish the literary style of embedded narratives from the visual recognition mode and provide an (...) example of how the latter is used in films to create impossible puzzles. (shrink)

I argue for the usefulness of the distinction between knowledge that is, and knowledge that is not, acquired in such a way as necessarily to be acquired along with other knowledge so acquired. Knowledge gained in the latter ways—e.g. by testimony, by linguistic stipulation—has proved philosophically puzzling. But this is because philosophers have used traditional epistemological vocabulary to try to describe what’s distinctive about it. Using the solitary/embedded distinction, we can frame descriptions that are both true, and not stipulative-seeming, of (...) what is distinctive of knowledge gained in these ways. I illustrate these points by discussing Saul Kripke’s claim that one can gain non-linguistic knowledge by linguistic stipulation. (shrink)

I present experimental and computational research, inspired by the perspective of Embodied Embedded Cognition, concerning various aspects of language as supporting Everett’s interactionist view of language. Based on earlier and ongo- ing work, I briefly illustrate the contribution of the environment to the syste- maticity displayed in linguistic performance, the importance of joint attention for the development of a shared vocabulary, the role of (limited) traveling for language diversification, the function of perspective taking in social communica- tion, and the bodily (...) nature of understanding of meaning. (shrink)

Programming artificial intelligence to make fairness assessments of texts through top-down rules, bottom-up training, or hybrid approaches, has presented the challenge of defining cross-cultural fairness. In this paper a simple method is presented which uses vectors to discover if a verb is unfair or fair. It uses already existing relational social ontologies inherent in Word Embeddings and thus requires no training. The plausibility of the approach rests on two premises. That individuals consider fair acts those that they would be willing (...) to accept if done to themselves. Secondly, that such a construal is ontologically reflected in Word Embeddings, by virtue of their ability to reflect the dimensions of such a perception. These dimensions being: responsibility vs. irresponsibility, gain vs. loss, reward vs. sanction, joy vs. pain, all as a single vector. The paper finds it possible to quantify and qualify a verb as fair or unfair by calculating the cosine similarity of the said verb’s embedding vector against FairVec—which represents the above dimensions. We apply this to Glove and Word2Vec embeddings. Testing on a list of verbs produces an F1 score of 95.7, which is improved to 97.0. Lastly, a demonstration of the method’s applicability to sentence measurement is carried out. (shrink)

This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities are related (...) to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

Current state-of-the-art out-of-distribution algorithm does not address the variation in dynamic and static behavior between malware variants from the same family as evidence in their poor performance against an out-of-distribution malware attack. We aims to address this limitation by: 1) exploitation of the in-dimensional embedding space between variants from the same malware family to account for all variations 2) exploitation of the inter-dimensional space between different malware family 3) building a deep learning-based model with a shallow neural network with (...) maximum of two connected layers to overcome overfitting from the scratch 4) building a Bayesian inference based computation algorithm that intertwine with connected network and is able to create new and adjust existing data points in response to an exposure to new out-of-distribution variants of existing or new malware family which determines the extent at which model weight is adjusted which in turn triggers update on the gradient. Preliminary result of our proposed framework gave an accuracy of 81\% in the successful classification of a novel out-of-distribution malware attack, something that could not be achieve by any of the state-of-the-art algorithms on novel malware classification. (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)

We present a specific elaboration and partial defense of the claims that cognition is enactive, embodied, embedded, affective and (potentially) extended. According to the view we will defend, the enactivist claim that perception and cognition essentially depend upon the cognizer’s interactions with their environment is fundamental. If a particular instance of this kind of dependence obtains, we will argue, then it follows that cognition is essentially embodied and embedded, that the underpinnings of cognition are inextricable from those of affect, that (...) the phenomenon of cognition itself is essentially bound up with affect, and that the possibility of cognitive extension depends upon the instantiation of a specific mode of skillful interrelation between cognizer and environment. Thus, if cognition is enactive then it is also embodied, embedded, affective and potentially extended. (shrink)

The integration of Internet Protocol and Embedded Systems can enhance the communication platform. This paper describes the emerging smart technologies based on Internet of Things (IOT) and internet protocols along with embedded systems for monitoring and controlling smart devices with the help of WiFi technology and web applications. The internet protocol (IP) address has been assigned to the things to control and operate the devices via remote network that facilitates the interoperability and end-to-end communication among various devices c,onnected over a (...) network. The HTTP POST and HTTP GET command that supports the RESTful service have been used to ensure the transmission and reception of packets between the IOT Gateway and Cloud Database. The emerging smart technologies based on the Internet of Things (IoT) facilitated features like automation, controllability, interconnectivity, reliability which in turn turn paved the way for a wide range of acceptance amongst the masses. The Internet of Things (IoT) has brought in many new emerging technologies into varoius field like our daily lives, industry, agricultural sector, and many more. The world is experiencing the explosive growth with the advent of Internet of Things (IoT) these years. The potential growth of IoT is enoromous which is evidenced by all the human beings in our day to day life. (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)

We extend Langdon Winner's idea that artifacts have politics into the realm of mathematics. To do so, we first provide a list of examples showing the existence of mathematical artifacts that have politics. In the second step, we provide an argument that shows that all mathematical artifacts have politics. We conclude by showing the implications for embedding ethics into mathematical curricula. We show how acknowledging that mathematical artifacts have politics can help mathematicians design better exercises for their mathematics students.

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)

Expressive-Assertivism, a metaethical theory championed by Daniel Boisvert, is sometimes considered to be a particularly promising form of hybrid expressivism. One of the main virtues of Expressive-Assertivism is that it seems to offer a simple solution to the Frege-Geach problem. I argue, in contrast, that Expressive-Assertivism faces much the same challenges as pure expressivism.

In this paper I sketch a liberal studies course designed to explore our fundamental problem of thought and life: How can our human world exist and best flourish embedded as it is in the physical universe? The fundamental character of this problem provides one with the opportunity to explore a wide range of issues. What does physics tell us about the universe and ourselves? How do we account for everything physics leaves out? How can living brains be conscious? If everything (...) occurs in accordance with physical law, what becomes of free will? How does Darwin's theory of evolution contribute to the solution to the fundamental problem? What is the history of thought about this problem? What is of most value associated with human life? What kind of civilized world should we seek to help create? Why is the fundamental problem not a part of standard education in schools and universities? What are the most serious global problems confronting humanity? Can humanity learn to make progress towards as good a world as possible? These are some of the questions that can be tackled as an integral part of exploring the fundamental problem. But the course does not merely wander at random from one issue to another. Taking the fundamental problem as central provides the course with a coherent structure. The course would be conducted as a seminar, and it would respond to queries and suggestions from students. (shrink)

Considerable recent research in neurosciences has dealt with the topic of consciousness, even though there is still disagreement about how to identify and classify conscious states. Recent behavioral work on the topic also exists. We survey recent behavioral and neuroscientific literature with the aims of commenting on strengths and weaknesses of the literature and mapping new directions and recommendations for experimental psychologists. We reconcile this literature with a view of human information processing (Cowan, 1988; Cowan et al., 2024) in which (...) a capacity-limited focus of attention is embedded within the activated portion of long-term memory, with dual bottom-up and top-down control of the focus of attention. None of the many extant theories fully captures what we propose as the organization of conscious thought at cognitive and neural levels. It seems clear that information from various cognitive functions, based on signals from various brain areas, is integrated into a conscious whole. In our new proposal, the integration involves funneling information to a hub or focus of attention neurally centered in the parietal lobes and functionally connected to areas representing the currently attended information. This funneling process (bringing information from diverse sensory and frontal sources to contact a small parietal area where attended information is coordinated and combined) may be the converse of global broadcasting, from other proposals (Baars et al., 2021; Baars & Franklin, 2003; Dehaene & Changeux, 2011). The proposed system incorporates many principles from previous research and theorization and strives toward a resolution of the relation between consciousness and attention. Keywords: consciousness, attention, embedded processes model, experimental psychology, neuroscience. (shrink)

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

Self models contribute to key functional domains of human intelligence that are not yet presented in today’s artificial intelligence. One important aspect of human problem-solving involves the use of conceptual self-knowledge to detect self-relevant information presented in the environment, which guides the subsequent retrieval of autobiographical memories that are relevant to the task at hand. This process enables each human to behave self-consistently in our own way across complex situations, manifested as self-interest and trait-like characteristics. In this paper, we outline (...) a computational framework that implements the conceptual aspect of human self models through a modified version of the joint-embedding predictive architecture. We propose that through the incorporation of human-like autobiographical memory retrieval and self-importance evaluation, the modified architecture could support machine agents with significantly enhanced self-consistency, which could be applied to deliver more believable simulations of human behaviors. (shrink)

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...) S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (shrink)

Concrete is one of the most intelligent and widely utilized man-made materials in the construction industry. Despite this, even high-quality concrete is susceptible to porosity, which reduces its serviceability period. Furthermore, there is an increasing need to increase longevity due to environmental exposure such as soil moisture, corrosive outside elements, or structural defects forming in the surface of concrete. The use of crystalline admixtures in concrete is one of the many approaches to reducing these risks. When crystalline admixtures come into (...) contact with water, they form thin crystals that fill pores, capillaries, and micro fractures, as a result making concrete a self-sealing material. When the concrete has dried, the crystalline particles remain dormant until they come into contact with additional water, which causes them to crystallize once more. This research aims to analyze and compare the material properties of commonly used concrete and concrete where crystalline waterproofing is present. Furthermore, experiments are conducted to evaluate each of the concrete samples: compressive strength, water permeability, and flexure strength. As a result, demonstrating the benefits or negative aspects of the use of crystalline admixture in the early stages of concrete is important. It is not yet defined, whether this is the future of cutting-edge concrete and the impact that it will have in the Albanian building market. (shrink)

Diễn đàn Phát triển Việt nam (Vietnam Symposium of Development - VSOD) 2023 đã được tổ chức từ ngày 16 tới 19 tháng 12, năm 2023 tại Trung tâm Quốc tế Khoa học và Giáo dục liên ngành ICISE, Quy Nhơn, Bình Định với chủ đề “Nhúng Bền vững vào Phát triển”. Diễn đàn đã nhận được sự tham gia tích cực của 21 chuyên gia khách mời, 33 báo cáo viên, và 120 người tham dự, với tổng số 55 (...) bài trình bày, phiên thảo luận, và hoạt động tương tác xoay quanh ba nhóm chủ đề: Giảng dạy cho một tương lai Phát triển bền vững, Phát triển bản thân và tập thể với lối sống bền vững, và Phát triển địa phương không quên bền vững. (shrink)

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

Describes my book from the first bias creating belief in male superiority, to developing language with a massive number of names embedding male bias to guarantee patriarchy's survival, creating belief supplanting knowledge. Suggests changing language with evidence-based, neutral, inclusive and specific names reducing, and perhaps, eliminating male dominance.

The extended mind thesis maintains that while minds may be centrally located in one’s brain-and-body, they are sometimes partly constituted by tools in our environment. Critics argue that we have no reason to move from the claim that cognition is embedded in the environment to the stronger claim that cognition can be constituted by the environment. I will argue that there are normative reasons, both scientific and ethical, for preferring the extended account of the mind to the rival embedded account.

While calls to integrate ethics into computer science education go back decades, recent high-profile ethical failures related to computing technology by large technology companies, governments, and academic institutions have accelerated the adoption of computer ethics education at all levels of instruction. Discussions of how to integrate ethics into existing computer science programmes often focus on the structure of the intervention—embedded modules or dedicated courses, humanists or computer scientists as ethics instructors—or on the specific content to be included—lists of case studies (...) and essential topics to cover. While proponents of computer ethics education often emphasize the importance of closely connecting ethical and technical content in these initiatives, most do not reflect in depth on the variety of ways in which the disciplines can be combined. In this paper, I deploy a framework from cross- disciplinary studies that categorizes academic projects that work across disciplines as multidisciplinary, interdisciplinary, or transdisciplinary, depending on the degree of integration. When applied to computer ethics education, this framework is orthogonal to the structure and content of the initiative, as I illustrate using examples of dedicated ethics courses and embedded modules. It therefore highlights additional features of cross-disciplinary teaching that need to be considered when planning a computer ethics programme. I argue that computer ethics education should aim to be at least interdisciplinary—multidisciplinary initiatives are less aligned with the pedagogical aims of computer ethics—and that computer ethics educators should experiment with fully transdisciplinary education that could transform computer science as a whole for the better. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)