Giải quyết biến đổi khí hậu và ô nhiễm môi trường đang và sẽ là thách thức lớn của nhân loại trong thế kỷ 21. Con người không còn nhiều thời gian để sửa chữa, phục hồi đưa hệ sinh thái môi trường (tự nhiên) trở về trạng thái an toàn. Trong khi các nỗ lực trong thời gian qua chưa thực sự hiệu quả thì COP26 mở ra cơ hội lớn để nhân loại tiến gần đến mục tiêu kiềm (...) chế nhiệt độ của trái đất không vượt quá 1.5 độ C. Mặc dù Việt Nam cùng với 146 quốc gia trên thế giới đã có cam kết mạnh mẽ nhất trong việc giảm phát thải vào năm 2050, tuy nhiên việc cụ thể hóa cam kết thông qua các giải pháp sáng tạo là rất quan trọng. Sử dụng (áp dụng, vận dụng) hệ sáng tạo 3D và nguyên lý bán dẫn giá trị, tác giả đề xuất hệ sinh thái “giải pháp trụ cột” cần thực hiện gồm có tăng cường thông tin, truyền thông, nghiên cứu khoa học về môi trường (biến đổi khí hậu, ô nhiễm môi trường...); xây dựng, chuyển đổi và nâng cao văn hóa và môi trường; đẩy mạnh phát triển kinh tế gia tăng phúc lợi; xây dựng (chuyển đổi) lớp doanh nhân có văn hóa, trách nhiệm môi trường; tăng cường mở rộng sự hợp tác quốc tế về mọi mặt đặc biệt là trong lĩnh vực kinh tế, truyền thông và khoa học; và thực thi các giải pháp nêu trên một cách kỷ luật. (shrink)

Hiện tại, hệ thống JSTOR đã có một giao diện web rất thân thiện. Họ cũng đã tăng cường các mục thông tin bài vở phổ thông, có tính cách phổ biến cập nhật thông tin khoa học. Nhiều thông tin khai thác từ lịch sử dữ liệu hàn lâm cũng rất lý thú, nhờ vào hệ thống lớn tích lũy lâu ngày của 2600 tạp chí hàn lâm hàng đầu, từ 1200 nhà xuất bản (...) của 57 quốc gia. (shrink)

Cải tiến phương pháp lượng giá tài nguyên và di sản sử dụng nguyên lý bán dẫn giá trị và hệ xử lý thông tin SM3D. Lý thuyết sử dụng trong bài: • Total economic value (Adger et al., 1995) • Mindsponge theory (Quan-Hoang Vuong, 2023) và khung ra quyết định mindspongeconomics (Khuc, 2022) • Tháp văn hóa (Khuc, 2023) • Lý thuyết nguyên lý bán dẫn giá trị (Q.-H. Vuong, 2021) • Hệ xử lý thông tin (lý (...) thuyết quản trị tri thức) SM3D (Nguyen, 2023; Q. H. Vuong et al., 2022) . (shrink)

Hồ Mạnh Tùng và Hồ Mạnh Toàn đều là các nhà nghiên cứu trẻ trong lĩnh vực khoa học xã hội ở độ tuổi dưới 30. Mặc dù mới tham gia nghiên cứu khoa học chưa lâu, nhưng 2 anh em nhà họ Hồ đã có thành tích khoa học ấn tượng.

Central limit theorem for the functional of jump Markov process. Nguyễn Văn Hữu, Vương Quân Hoàng và Trần Minh Ngọc. Báo cáo: Hội nghị toàn quốc lần thứ III “Xác suất - Thống kê: Nghiên cứu, ứng dụng và giảng dạy” (tr. 34). Ba Vì, Hà Tây, ngày 12-14 tháng 05 năm 2005. Viện Toán học / Trường Đại học Khoa học tự nhiên / Đại học Quốc gia Hà Nội.

The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula (...) is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. (shrink)

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.

An increasing number of regulations propose the notion of ‘AI audits’ as an enforcement mechanism for achieving transparency and accountability for artificial intelligence (AI) systems. Despite some converging norms around various forms of AI auditing, auditing for the purpose of compliance and assurance currently have little to no agreed upon practices, procedures, taxonomies, and standards. We propose the ‘criterion audit’ as an operationalizable compliance and assurance external audit framework. We model elements of this approach after financial auditing practices, and argue (...) that AI audits should similarly provide assurance to their stakeholders about AI organizations’ ability to govern their algorithms in ways that mitigate harms and uphold human values. We discuss the necessary conditions for the criterion audit, and provide a procedural blueprint for performing an audit engagement in practice. We illustrate how this framework can be adapted to current regulations by deriving the criteria on which ‘bias audits’ for hiring algorithms can be performed, as required by the recently effective New York City Local Law 144 of 2021. We conclude by offering critical discussion on the benefits, inherent limitations, and implementation challenges of applying practices of the more mature financial auditing industry to AI auditing where robust guardrails against quality assurance issues are only starting to emerge. Our discussion as informed by experiences in performing these audits in practice highlights the critical role that an audit ecosystem plays in ensuring the effectiveness of such methodology. (shrink)

This paper is a discussion note on Isaacs et al. (2022), who have claimed to offer a new motivation for imprecise probabilities, based on the mathematical phenomenon of non-measurability. In this note, I clarify some consequences of their proposal. In particular, I show that if their proposal is applied to a bounded 3-dimensional space, then they have to reject at least one of the following: (i) If A is at most as probable as B and B is at most as (...) probable as C, then A is at most as probable as C. (ii) Let A ∩ C = B ∩ C = ∅. A is at most as probable as B iff (A ∪ C) is at most as probable as (B ∪ C). But rejecting either statement seems unattractive. (shrink)

Rational agents seem more confident in any possible event than in an impossible event. But if rational credences are real-valued, then there are some possible events that are assigned 0 credence nonetheless. How do we differentiate these events from impossible events then when we order events? de Finetti (1975), Hájek (2012) and Easwaran (2014) suggest that when ordering events, conditional credences and subset relations are as relevant as unconditional credences. I present a counterexample to all their proposals in this paper. (...) While their proposals order possible and impossible events correctly, they deliver the wrong verdict for disjoint possible events assigned equal positive credence. (shrink)

Sobre la base de una línea interpretativa propiciada por la misma doctrina de Plotino, este trabajo pretende estudiar el problema que conlleva el fin último del alma humana en vista de su ascenso hacia el Uno-Bien. En varios pasajes de su obra, el filósofo sostiene que, conociendo el propio sí-mismo, se puede tomar contacto con un principio supremo, anterior incluso a la potencia intelectiva, en virtud de cuya visión es dable gozar de un amor sin medida. El remate en la (...) unificación no depende en última instancia del acierto racional, sino de concordar en el mismo centro con aquello de semejante al Uno-Bien que hay en el alma. Estas distinciones abonarían la posibilidad de una unión mística dentro del sistema plotiniano. Sin embargo, desde el punto de vista epistemológico, el estatuto místico es controvertido y plantea una serie dificultades teóricas que es necesario dilucidar. Para el análisis de los tópicos mentados se desarrolla una lectura a la vez hermenéutica y crítica tanto de las fuentes como de la bibliografía erudita. (shrink)

A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...) types of modal definability on the level of Kripke models, we give characterization theorems in the usual form, in terms of algebraic closure conditions. As some consequences of these, various preservation results are presented. Also, some characterizations are strengthened by replacing closure under ultraproducts with closure under ultrapowers. (shrink)

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...) an example of derivation, a formal proof of Arrow’s impossibility theorem is given. (shrink)

This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.

A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.

We prove an existential analogue of the Goldblatt‐Thomason Theorem which characterizes modal definability of elementary classes of Kripke frames using closure under model theoretic constructions. The less known version of the Goldblatt‐Thomason Theorem gives general conditions, without the assumption of first‐order definability, but uses non‐standard constructions and algebraic semantics. We present a non‐algebraic proof of this result and we prove an analogous characterization for an alternative notion of modal definability, in which a class is defined by formulas which are satisfiable (...) under any valuation (the so‐called existential validity). Continuing previous work in which model theoretic characterization for this type of definability of elementary classes was proved, we give an analogous general result without the assumption of the first‐order definability. Furthermore, we outline relationships between sets of existentially valid formulas corresponding to several well‐known modal logics. (shrink)

The current study aimed to investigate the extent to which familial history of reading and math difficulties have an impact on children’s academic outcomes within a 3-year longitudinal study, which evaluated their core reading and math skills after first and second grades, as well as performance on complex academic tasks after second and third grades. At baseline, parents were asked to complete the Adult Reading History Questionnaire and its adaption, Adult Math History Questionnaire, to index familial history of reading and (...) math difficulties, respectively. Preliminary findings established the psychometric properties of the AMHQ, suggesting that it is a reliable and valid scale. Correlation analyses indicated that the ARHQ was negatively associated with children’s reading skills, whereas the AMHQ was negatively related to math outcomes. Path results revealed that the ARHQ predicted children’s performance on complex reading tasks indirectly via their core reading skills, and the AMHQ was linked to complex math outcomes indirectly via core math abilities. The ARHQ was also found to be negatively correlated with measures of children’s math performance, with path findings suggesting that these relations were indirectly explained by differences in their core reading skills. These results suggest that assessing familial risk for academic difficulties may be crucial to understanding comorbid etiological and developmental associations between reading and math differences. (shrink)

Australia’s punitive policy towards people seeking asylum deliberately causes severe psychological harm and meets recognised definitions of torture. Consequently, there is a tension between doctors’ obligation not to be complicit in torture and doctors’ obligation to provide best possible care to their patients, including those seeking asylum. In this paper, we explore the nature of complicity and discuss the arguments for and against a proposed call for doctors to boycott working in immigration detention. We conclude that a degree of complicity (...) is unavoidable when working in immigration detention, but that it may be ethically justifiable. We identify ways to minimise the harms associated with complicity and argue that it is ethical to continue working in immigration detention as long as due care and attention is paid to minimising the harms of complicity. (shrink)

_Health Education: Critical perspectives_ provides a socio-cultural and critical approach to health education. The book draws together international experts in the fields of health and education who deconstruct contemporary discourses and practices, and re-imagine a health education that both connects with young people and offers a way forward in addressing issues of health and wellbeing. Chapters within specifically link academic work on neoliberalism, healthism, risk and the body to wider discourses of health and health education. They challenge current practices and (...) call for a re-thinking of current health programs in education settings. A unique feature of this book is the analyses of health education from both political and applied levels across a range of international contexts. The book is divided into three sections: the social and political contexts informing health education how individual health issues articulate in education in complex ways alternative ways to think about health and health education pedagogy. The overall theme of the book offers a perspective that the current approach to health education – promoting a fear of ill health, self-surveillance and individual responsibility – can become a form of health fascism, and we need to be cognisant of this potential and its consequences for young people. The book will be of key interest to academics and researchers exploring the political context of health education. (shrink)

China’s phenomenal economic development since 1979 has caught the attention and envy of the rest of the world. 500 million Chinese have been lifted out of poverty since then.1 Yet, it has come with a huge price which threatens not only China but the rest of the world. These challenges include corruption, environmental issues, social inequalities and a rapidly aging population. If China is not able to overcome any of these, then its development will not be sustainable and the impact (...) will be immensely negative just as its development over the last three decades have been positive on the rest of the world. The purpose of this article is to show that there is a little-known transformation happening in China which may address the above issues. It is the thesis of the author that China’s present developmental challenges are fundamentally a problem of misplaced values, i.e. unsustainable priorities. And the little known transformation is that tens of millions of Chinese are quickly embracing a new set of values and accepting a biblical worldview.2 Rodney Stark, socialogist and popular author, has shown through his many works, such as For the Glory of God: How Monotheism Led to Reformations, Science, Witch-Hunts, and the End of Slavery,3 that societies which have espoused the monotheistic belief system are able to successfully overcome similar social challenges and remain viable. (shrink)

In a fair finite lottery with n tickets, the probability assigned to each ticket winning is 1/n and no other answer. That is, 1/n is unique. Now, consider a fair lottery over the natural numbers. What probability is assigned to each ticket winning in this lottery? Well, this probability value must be smaller than 1/n for all natural numbers n. If probabilities are real-valued, then there is only one answer: 0, as 0 is the only real and non-negative value that (...) is smaller than 1/n for all natural numbers n. However, this answer seems counter-intuitive, as it violates Regularity: for all possible events A that are assigned a probability, A is assigned a positive probability. It is possible for ticket i to win in the second lottery. So, the set {i} should be assigned a positive probability and not 0. Consequently, in order to satisfy Regularity, probabilities must be allowed to take on `non-real' values, e.g. a positive infinitesimal x that is smaller than 1/n for all natural numbers n. So, what regular probability is assigned to {i} in the second lottery? This probability value must be positive but smaller than 1/n for all natural numbers n. Given the definition of x, x is a correct answer. But x isn't unique, because every other positive infinitesimal is a correct answer as well and there are uncountably many positive infinitesimals. After all, every positive infinitesimal is strictly between 0 and 1/n for all natural numbers n. Nothing about a fair lottery over the natural numbers uniquely determines x as the correct answer and nothing about the lottery rules out other positive infinitesimals as a correct answer as well. What probability to assign to {i} is underdetermined. -/- In this thesis, I explore this difference between fair finite lotteries and fair infinite lotteries. The constraints governing the former uniquely determine the probabilities assigned to events in those lotteries, but this isn't true for the latter lotteries, when Regularity is a constraint on probabilities. Now, although there are uncountably many correct probability values that can be assigned to {i} in the second lottery, there are some applications of probability theory, for which at least one correct probability value must be chosen in order to accomplish that application, e.g. calculation of expected utilities. In this thesis, I spell out sufficient conditions for when a choice like that is problematic. These conditions apply to precise probabilities, imprecise probabilities, and qualitative probabilities. So, I will consider Benci et al. (2018)'s and Pruss (2021)'s suggestion of allowing probabilities to be imprecise, as well as resorting to qualitative probabilities, to overcome the choice problem. I will argue that both don't solve the problem. Furthermore, there's a hitherto unnoticed difficulty in deriving imprecise probabilities by supervaluating over precise `non-real' probability values. To avoid this difficulty, precise probability values should be real-valued. Thus, Regularity cannot be a constraint on probabilities. But as it turns out, dropping Regularity as a constraint and requiring precise probabilities to be real-valued solve the choice problem. (shrink)

Cảm xúc là yếu tố cơ bản thúc đẩy con người đưa ra quyết định và xử lý thông tin. Sợ hãi là một trong những cảm xúc phổ biến nhất ảnh hưởng đến hành vi của nhà đầu tư cá nhân trên thị trường chứng khoán. Mặc dù nhiều nghiên cứu đã được thực hiện để khám phá tác động của nỗi sợ hãi đối với hiệu quả đầu tư và hành vi giao dịch của nhà đầu tư (...) cá nhân, nhưng vẫn còn rất ít thông tin về các yếu tố ảnh hưởng đến nỗi sợ hãi của nhà đầu tư cá nhân trong thời kỳ thị trường sụt giảm (hoặc những giai đoạn cực kỳ biến động). Vì thế, nghiên cứu này được thực hiện để tìm hiểu liệu các nguồn thông tin ảnh hưởng đến quyết định đầu tư của nhà đầu tư có ảnh hưởng đến sự sợ hãi của họ khi khủng hoảng xảy ra hay không. Nghiên cứu đã sử dụng phương pháp phân tích Bayesian Mindsponge Framework (BMF) trên bộ dữ liệu từ 1526 nhà đầu tư Trung Quốc và Việt Nam. Kết quả nghiên cứu chỉ ra rằng các nhà đầu tư tiếp cận các loại thông tin khác nhau khi đưa ra quyết định đầu tư sẽ ảnh hưởng đến tần suất phản ứng sợ hãi khác nhau. Cụ thể, các nhà đầu tư tham khảo thông tin từ chuyên gia hoặc tự phân tích khi đưa ra quyết định đầu tư ít bị đóng băng (biểu hiện của tâm lý sợ hãi) hơn trong thời kỳ thị trường sụt giảm. Ngược lại, những người đưa ra quyết định đầu tư dựa trên thông tin từ người quen hay bạn bè và trực giác sẽ bị đóng băng thường xuyên hơn. Kết quả nghiên cứu này giúp gợi ý nhà đầu tư cá nhân nên trang bị cho mình các kiến thức về tài chính cũng như tham khảo các ý kiến chuyên gia trên thị trường, hoặc những nguồn thông tin đáng tin cậy, khi đưa ra quyết định đầu tư. Bên cạnh đó, cơ quan quản lý thị trường cần có hoạt động phổ cập kiến thức về thị trường chứng khoán, hạn chế ảnh hưởng của các kênh thông tin không chính thống, và khuyến khích nhà đầu tư ít kinh nghiệm mua chứng chỉ quỹ của các quỹ đầu tư. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...) nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

The issue of aftercare for participants in clinical research was explored in the context of an asthma drug trial. Although there may be financial constraints and practical difficulties with implementation, the results show that it may be feasible for clinical investigators and commercial sponsors to take on some limited responsibility for the medical care of research subjects after clinical trials. However, the ethical implications for this practice remain unclear. On the one hand, society may have a moral obligation to compensate (...) and reward some of its members who assume the risk of research subjects for the benefit of society as a whole. On the other hand, the promise of aftercare may provide an inducement to volunteers which, under certain conditions may be considered morally wrong and scientifically unsound. (shrink)

A phenomenon is that which appears. In his phenomenology, Jean-Luc Marion shows how a phenomenon that appears in and out of itself evades the metaphysical demand of grounding. Classical philosophy has acknowledged phenomena only in so far as they can be sanctioned by the concepts of the intellect. This holds good also of Husserl’s constitutive ego. Now, Marion distinguishes between such intuitively “poor phenomena” and the “saturated phenomena” that exceed the intentional consciousness; they are given not by the consciousness but (...) to the consciousness in an excess of intuition. This “gift of appearance” is Marion’s main concern, in the visible in general, and in painting in particular. But whereas idols only reflect our own desire to see and to be seen, icons surprise us by the gaze the saint directs on us. A picture is the scene of a possible revelation; and the revelation is nothing but the phenomenon taken in its fullest meaning: intuitive saturation at its maximum. A crucial question, nonetheless, remains: What is the relation between revelation as a phenomenological possibility, and Revelation as a theological dogma of the utmost importance? (shrink)

Currently, although the implementation of corporate social responsibility (CSR) practices and its incorporation into business strategies is emphasised widely in developed countries as a key to sustainable growth and economic profitability, this term is still new to the Vietnamese market because of the low awareness of the importance of CSR practices, which leads to the failure of many firms. Since Vietnamese firms do not prioritise CSR implementation, Vietnam is experiencing an increasing shortage of skilled employees owing to a lack of (...) motivation. Therefore, this study examines the relationship between the corporate strategic objective (CSO), CSR practices and employee commitment, to provide recommendations to enhance motivation. This study used a quantitative approach and data from a questionnaire delivered to 869 enterprises in 2019 in Vietnam. Results suggest that the CSO had direct and indirect effects on employee commitment through the mediation of CSR practices. (shrink)

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford University (...) introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

In recent years there has been an increasing interest in museum studies in exhibitions on what is termed Difficult Matters —such as rape and mass murder—and how such exhibitions may evoke ethical change. This raises the question about the conditions on which such exhibitions can lead to an ethical change. By developing a conceptual framework this article contributes to museum studies on Difficult Matters demonstrating how vulnerability can work as a key concept in a relational pedagogical understanding of the conditions (...) for ethical change. Inspired by feminist ethics the article suggests that there is an “ambivalent potentiality” of the concept of vulnerability and forwards a double perspective on vulnerability as condition: vulnerability is inherent to the human condition and always situational. From this point of departure vulnerability is fleshed out as a key concept in museum pedagogy via pedagogical thinkers inspired by the philosopher Emmanuel Lévinas’ ethics. Concepts like heteronomy, incarnation, Face and Saying/Said are introduced to define vulnerability and the relation between exhibition and visitor is defined as a teaching–learning relation conditioned by vulnerability. Vulnerability is defined as openness to an encounter with the Other as being different, which is conditional of an ethical transformation of existing perceptions of self, others and the world. Finally, inspired by feminist philosophy a norm critical is introduced. It is argued that displaying Difficult Matters in order to evoke an ethical transformation museum professionals need consider critically the norms of vulnerability at play in particular situations. On this basis, the concept of vulnerability can serve as a lever for discussions on the pedagogy of exhibitions on Difficult Matters and the ethical responsibility of museum professionals in public museums in this regard. (shrink)

We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.

Nghiên cứu này được thực hiện để tìm hiểu liệu các nguồn thông tin ảnh hưởng đến quyết định đầu tư của nhà đầu tư có ảnh hưởng đến sự sợ hãi của họ khi khủng hoảng xảy ra hay không? Nghiên cứu đã sử dụng phương pháp phân tích Bayesian Mindsponge Framework (BMF) trên bộ dữ liệu từ 1,526 nhà đầu tư Trung Quốc và Việt Nam. Kết quả nghiên cứu chỉ ra rằng, các nhà đầu tư tiếp (...) cận các loại thông tin khác nhau khi đưa ra quyết định đầu tư sẽ ảnh hưởng đến tần suất phản ứng sợ hãi khác nhau. Cụ thể, các nhà đầu tư tham khảo thông tin từ chuyên gia hoặc tự phân tích khi đưa ra quyết định đầu tư ít bị đóng băng (biểu hiện của tâm lý sợ hãi) hơn trong thời kỳ thị trường sụt giảm. Ngược lại, những người đưa ra quyết định đầu tư dựa trên thông tin từ người quen hay bạn bè và trực giác sẽ bị đóng băng thường xuyên hơn. -/- [English Abstract] This study was conducted to explore whether the sources of information priority during decision-making contribute to their fear reactions during crises. The research utilized the Bayesian Mindsponge Framework (BMF) analytics on data collected from 1,526 investors in China and Vietnam. The study results indicated that investors prioritizing different types of information when making investment decisions would have different frequency of fear reactions. Specifically, investors who prioritized information from experts or conducted self-analysis when making investment decisions experienced less freezing (an expression of psychological fear) during market downturns. Conversely, those who based their investment decisions on information from acquaintances, friends, and intuition tended to experience freezing more frequently. (shrink)

The book explores two radical changes of cultural and social paradigm that determined the World after 1945 - Modernism and Postmodernism. From the cataclysmic atmosphere emerged the second wave of Modernism. In art this attitude was manifested in the form of a radical break with the aesthetic and stylistic characteristics of prior generations. In architecture the International Style was born, meanwhile similar "universality" was also a characteristic of musical serialism. From the beginning of the 1970s the wheels again began to (...) turn in the other direction. The powerful destructive will of modernism increasingly waivered, and the period after modernism - postmodernism - began. The book answers questions related to the reasons for these turnarounds, their consequences and their implications. (shrink)

In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...) relative to a neighbourhood system, which is studied in more detail. The main new result on generic cuts presented here is a description of truth in the structure , where I is a generic cut of a model M of Peano arithmetic. The special case of elementary generic cuts provides a partial answer to a question of Kossak [R. Kossak, Four problems concerning recursively saturated models of arithmetic, Notre Dame Journal of Formal Logic 36 519–530]. (shrink)

Planlama --- bir amaca ulaşmak üzere bir aksiyonlar bütünü tasarlamak --- yapay zekadaki en temel problemlerden biridir. Bu yazıda, robotikte planlama konusuna mantıkçı (logicist) yaklaşım ele alınmaktadır. [Planning --- devising a plan of action to reach a given goal --- is a fundamental problem in AI. This paper reviews the logicist approach to planning in robotics.].

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.