In 1980 F. Wattenberg constructed the Dedekind completion

d of the Robinson non-archimedean field

and established basic algebraic properties of

d [6]. In 1985 H. Gonshor established further fundamental properties of

d [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion

d in transcendental number theory were considered. We dealing using set theory ZFC
(
-model (...) of ZFC).Given an class of analytic functions of one complex variable f  

z, we investigate the arithmetic nature of the values of fz at transcendental points en, n  .Main results are: (i) the both numbers e
 and e   are irrational, (ii) number ee is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained. (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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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

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

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)

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)

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)

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)

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

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)

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)

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)

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)

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.

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.

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)

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)

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)

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)

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.

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'.

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)

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.

In the theoretical framework developed by Y. Lenoir and his colleagues, Bourdieu’s concept of habitus is fundamental to explaining the tacit aspect of teaching practices. This article takes a critical look at the connection the framework makes between the concept of habitus and that of embedded skills, which is derived from French ergonomic psychology. Our primary objective is to examine the relevance and the limitations of this connection, with specific focus on its methodological implications. Our results indicate that a cognitive (...) interpretation of the concept of habitus may contribute significantly to understanding the implicit aspect of professional practices. Dans le cadre théorique élaboré par Y. Lenoir et ses collègues, le concept bourdieusien d’habitus joue un rôle central pour expliquer la dimension tacite des pratiques enseignantes. Cet article propose de porter un regard critique sur le rapprochement proposé dans ce cadre entre le concept d’habitus et celui de compétence incorporée issu de psychologie ergonomique francophone. Notre objectif principal est d’examiner la pertinence et les limites de ce rapprochement, en portant une attention particulière à ses implications méthodologiques. Nos résultats indiquent la pertinence d’une interprétation cognitive du concept d’habitus, contribuant de façon significative à la compréhension de la dimension implicite des pratiques professionnelles. (shrink)

Given the explanatory stalemate between ‘embedded’ (EMB) and ‘extended’ (EXT) cognition, various authors have proposed normative and moral arguments in favour of EXT. According to what we call the “extended cognition moral narrative” (EXT-MN) (Cassinadri, 2022), we should embrace EXT and dismiss EMB, because the former leads to morally preferable consequences with respect to the latter. In this article we argue that two arguments following the EXT moral narrative are flawed. In Sect. 2.1 and 2.2, we present respectively King (2016) (...) and Vold’s (2018) ‘argument from assessment of capacities’ (AAC) and Clowes (2013), Farina and Lavazza’s (2022a) ‘cognitive diminishment argument’ (CDA). The AAC states that we should embrace EXT over EMB since the former is better at attributing cognitive credit to individuals with learning disabilities who use assistive tools to complete their learning tasks, thus avoiding their marginalisation. The CDA states that EMB implies a morally undesirable picture of the agent in terms of cognitive diminishment. In Sect. 3, we clarify and criticise the underlying assumptions of the AAC and CDA: the “cognitive credit assumption”, the “marginalisation assumption” and, more generally, an ableist conception of disabled agency. In Sect. 3.1, we discuss the role of moto-perceptual skills and metacognitive credit involved in complex cases of tool-use, to demonstrate that the EXT-MN is uninformative in addressing these cases. To conclude, in Sect. 4 we argue that AAC and CDA fail to present EXT as descriptively and normatively superior to EMB. (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)

Frege’s distinction between force and sense is a central pillar of modern thinking about meaning. This is the idea that a self-standing utterance of a sentence S can be divided into two components. One is the proposition P that S’s linguistic meaning and context associates with it. The other is S’s illocutionary force. The force/sense distinction is associated with another thesis, the embedding principle, that implies that the only content that embeds in compound sentences is propositional content. We argue that (...) both the Force/Sense distinction and the principle of embedding are seriously challenged by figurative language, and irony in particular. We conclude that theorists need to go back to the drawing board about the nature of illocutionary acts. (shrink)

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. Forces (...) are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

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.

Abstract. Following the tracks of Ryle and based upon the theory of complex systems, we shall develop a characterization of action-based consciousness as an embodied, embedded, selforganized process in which action and dispositions occupy a special place. From this perspective, consciousness is not a unique prerogative of humans, but it is spread all around, throughout the evolution of life. We argue that artificial systems such as robots currently lack the genuine embodied embeddedness that allows the type of self-organization that is (...) relevant to consciousness. -/- Sommario. Seguendo la linea tracciata da Ryle e basata sulla teorie dei sistemi complessi, svilupperemo una caratterizzazione della coscienza basata sull’azione come un processo incarnato, situato e auto organizzante nel quale le azioni e le disposizioni occupano un ruolo decisivo. Da questo punto di vista, la coscienza non è una prerogativa esclusiva degli esseri umani, ma è diffusa nel mondo naturale grazie ai processi evolutivi. Noi sosteniamo che i sistemi artificiali come i robot attualmente sono carenti del tipo di relazione con la corporeità e con l’ambiente che consente quel tipo di auto-organizzazione indispensabile per l’emergenza della coscienza. (shrink)

Meaning in life is too important not to study systematically, but doing so is made difficult by conceptual indeterminacy. An approach to meaning that is promising but, indeed, conceptually vague is Jonathan Haidt’s ‘cross-level coherence’ account. In order to remove the vagueness, I propose a concept of ‘good fit’ that a) captures central aspects of meaning as it is discussed in the literature; b) brings the subject of meaning under the survey of the dynamicist or ‘embodied-embedded’ philosophy of cognition; and (...) c) allows the theoretical discussion on meaning to become more focused and systematic. The article addresses two apparent problems with the idea of ‘good fit,’ namely the fact that both challenges and relations of an agent with the outside world are central to meaning. It is finally pointed out which implications adopting the concept of ‘good fit’ instead of ‘meaning’ would have. (shrink)