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)

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)

Reports and researches on political science published by the Journal of Human Resource Development in Vietnam from 2007 until present.

There is a prominent phenomenon in the religious life of Vietnam, which is the emergence of “new religions”. These phenomena have not only made the religious space of the nation more complex and multi-dimensional but also challenged stability and sustainable development within the religious communities in this key economic region. Having studied the new religious phenomenon in recent years, we have noted its progress and widespread characteristics within the ethnic communities. While it may appear that "new religion" is a simple (...) and gentle concept and practice, it is in fact, intrinsically related to and has significant implications on the social life of the community members. However, there is a growing concern, considerable suspicion and anxiety with regards to its impacts on individuals, families, social and cultural traditions, beliefs and religions; many have opined that it is radically changing the peaceful cohabitation of diverse religious traditions, revealing a potential for conflicts across groups. Based on the religious reality of the Southern region of Vietnam, the Center for Religion Studies has implemented a project regarding new religions in Ho Chi Minh City and the problems faced by the religious policy in Vietnam. This article is an overview of the results of this project. (shrink)

History of political ideology in Vietnam.

History of government under the Lý-Trần dynasty, from XI-XIV centuries in Vietnam.

This study examines the enduring influence of Confucian ethics on Vietnam’s new morality, shaped by revolutionary and socialist ideals. Confucianism, with its emphasis on moral values, social harmony, and hierarchical relationships, provided the foundation for Vietnam’s traditional morality during the feudal era. However, its remnants, including patriarchal structures and rigid hierarchies, present challenges to modern democratic and socialist aspirations. Employing a qualitative research design, this study analyzes primary texts, including Confucian classics and Hồ Chí Minh’s writings, alongside secondary academic sources. (...) Through thematic content analysis, the research explores the interplay between traditional Confucian values and modern ethical constructs, highlighting their dual role as both a moral cornerstone and a potential barrier to progress. The findings underscore that while Confucian ethics offer valuable guidance for governance, education, and societal cohesion, their feudal origins must be critically reevaluated to align with contemporary goals of equality and social justice. The study concludes by proposing strategies to retain the strengths of Confucian ethics while addressing their limitations, demonstrating how Vietnam can integrate its cultural heritage with revolutionary and modern principles to build a harmonious and progressive society. (shrink)

Climate change and biodiversity loss are interconnected crises that demand integrated solutions. While mitigation strategies such as reforestation and afforestation, renewable energy development, and Bioenergy with Carbon Capture and Storage (BECCS) are essential for reducing greenhouse gas emissions, they also pose risks to ecosystems, specifically biodiversity. This review examines the biodiversity impacts of these key mitigation strategies, identifying potential trade-offs and opportunities for synergy. Large-scale forest plantations can sequester carbon but often reduce biodiversity when implemented as monocultures. Renewable (...) energy expansion, particularly wind and solar farms, contributes to decarbonization but can disrupt habitats and wildlife migration. BECCS, though promoted for negative emissions, requires extensive land conversion, threatening biodiversity and food security. To balance climate action with ecological integrity, this study advocates for an eco-surplus culture, where mitigation strategies not only minimize harm but actively enhance biodiversity. Nature-based solutions, such as restoring native forests and integrating biodiversity-conscious renewable energy planning, offer pathways to maximize co-benefits. Policy frameworks must prioritize biodiversity safeguards, promote sustainable land use, and ensure community participation. Addressing climate and biodiversity goals together through holistic, long-term planning is essential for fostering environmental resilience and achieving genuinely sustainable climate solutions. (shrink)

Ho Chi Minh City is a city which has received and accumulated many cultures and religions from around the world, from Oriental culture to Western civilization, from West Asian and East Asian cultures to South Asian and Southeast Asian cultures. The cultures of some African and Latin American countries have also arrived recently. Most world religions, regional religions, national religions and even new religions are present in the city. The characteristic of religions and cultural identities of Ho Chi Minh City (...) is in the process of transformation, receipt and selection of the cultural and religion elements of those cultures. Based on the research results of a scientific research on the topic, “Cultural and religion life in Ho Chi Minh City in the era of international integration”, we would like to share some opinions about the characteristics of culture and religions in the process of cultural exchange, acculturation and accumulation of Ho Chi Minh City from traditional to modern stage. (shrink)

This paper proposes several recurrent neural network-based models for recognizing requisite and effectuation parts in Legal Texts. Firstly, we propose a modification of BiLSTM-CRF model that allows the use of external features to improve the performance of deep learning models in case large annotated corpora are not available. However, this model can only recognize RE parts which are not overlapped. Secondly, we propose two approaches for recognizing overlapping RE parts including the cascading approach which uses the sequence of BiLSTM-CRF models (...) and the unified model approach with the multilayer BiLSTM-CRF model and the multilayer BiLSTM-MLP-CRF model. Experimental results on two Japan law RRE datasets demonstrated advantages of our proposed models. For the Japanese National Pension Law dataset, our approaches obtained an \ score of 93.27% and exhibited a significant improvement compared to previous approaches. For the Japan Civil Code RRE dataset which is written in English, our approaches produced an \ score of 78.24% in recognizing RE parts that exhibited a significant improvement over strong baselines. In addition, using external features and in-domain pre-trained word embeddings also improved the performance of RRE systems. (shrink)

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)

Racism is a key driver of the social, political, and economic injustices that cause and maintain health inequities. Over centuries and across continents, racism has become deeply ingrained within societies. Therefore, we believe that it is our professional and ethical obligation as scientists, and public health scholars specifically, to address racism head on in order to ameliorate racialized health disparities. We argue that greater focus is needed on addressing racism rather than race and how race is described or defined. We (...) offer input from public health scholarship to help bioethicists and other scientists contribute to addressing racism. To do so effectively and comprehensively, public health scholars, bioethicists, and other scientists should work together to identify and implement equity-driven collaborations to eliminate the deleterious effects of racism on individuals, families, and communities. (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.

Dưới đây là một số quan sát từ dữ liệu giao dịch trái phiếu sơ cấp từ hệ thống thông tin trực tuyến của Sở Giao dịch Chứng khoán Hà Nội (HNX). HNX đảm nhiệm chức năng giao dịch sơ cấp tập trung đối với thị trường trái phiếu chính phủ.

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)

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)

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)

New Foundations with Urelements (NFU) is a theory that extends Quine’s original theory (New Foundations) by adding “urelements” (atoms). It was discovered by Jensen in 1969, who proved that NFU is relatively consistent with Peano arithmetic and consequently with Zermelo–Fraenkel set theory (ZF). Jensen’s proof is rather hard to follow, so Boffa introduced a more straightforward method of constructing models for NFU from a model of ZF. However, Boffa’s presentation of his construction is extremely terse with many essential details omitted, (...) since he probably only wanted to emphasize the differences from Jensen’s construction. Our main goal is to elaborate on this construction in great detail, and also to prove that the said construction yields some results that are either not present in the contemporary literature, or are accepted as true at face value. Namely, besides proving that this construction gives a model for NFU, we will also use it to define models for NFU with the Axiom of Infinity, NFU with the Axiom of Choice, and NFU with both of those axioms. (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 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)

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.

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.

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.

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to (...) artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research.

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has only recently started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics (...) to artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.

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.

The Cham Balamon people in Vietnam are an ethnic group with long religious and cultural traditions, who give a great importance to preserving their own cultural identity through generations. However, in recent years there are many economic, cultural and social changes in the life of the Cham Balamon community. One of the significant changes in the spiritual life of this community is the conversion of belief from Hinduism to Christianity. We think that this is an outstanding problem that needs to (...) be addressed by formal and comprehensive scientific research projects. We have dispatched several research groups to conduct field trips, deep interviews and sociological surveys on the spiritual life of the Cham Balamon community. This paper is the first step of those researches pointing out the problems and challenges to the Cham Balamon community in Ninh Thuan Province, Vietnam. These are cultural and belief conflicts among people in the community or even among family members. However, we would predict that the biggest challenge is the risk of losing cultural identities that the Cham Balamon community is facing today due to religious conversion. (shrink)

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)

Religious conversion is a phenomenon that has frequently occurred in human history. As part of religious life, religious conversion reflects fluctuations and changes in social existence, especially changes in the economic, cultural, social, religious factors and one‟s own subjective religious convictions. Religious conversions are taking place in the ethnic communities in Southern Vietnam, but in a context that is space and time specific. So the process of evolution, the nature, dynamics and characteristics of the case of religious conversion here is (...) different and unique. Currently, the study of religious conversion in Vietnam in general and the South in particular, is modest. There have not been many studies regarding case specific religious conversion of people and no studies have done a full assessment of the nature and characteristics of religious conversion on social life in Southern Vietnam as well as forecasted the evolution and impact of the same. This article is intended to present and describe three cases of religious conversion in the south of Vietnam. These are the conversion to Protestantism of ethnic communities Khmer. (shrink)

Over the past six decades, Antarctic Treaty Consultative Parties have developed legal agreements to protect various aspects of the Antarctic environment. Strong anthropocentrism (e.g., unsustainable harvesting of marine living resources) is generally rejected, and stewardship (e.g., minimizing risks of contamination) is accepted while protection of nonanthropocentric values (e.g., wilderness and intrinsic values) is evoked when it furthers human interests. As one of the world’s remaining large wildernesses, Antarctica is under threat from the continuous expansion of the human footprint and is (...) in need of attention from the wider society, including the environmental ethics community. The interdependence of all life on this planet means that problems in Antarctica are not as far away and trivial as it may seem. Furthermore, Antarctica’s extreme position at the edge of civilization challenges humans as moral agents to think about where our moral duties and rights begin and end on this planet, and elsewhere in the universe. Considerations of wilderness and intrinsic values, equity, and abiotic ethics are some of the issues that environmental ethics can contribute toward the protection of the Antarctic wilderness. (shrink)

In a series of televised interviews in spring 2022, Bruno Latour explained, in clear and straightforward terms, how humans have changed the planet and why environmental disasters are an intrinsic part of modern life. We have now come to realize that all life depends on a thin skin of our planet that is only few kilometres thick - what scientists call the 'critical zone'. Our capacity to continue to live on a planet we are transforming is now at risk and (...) if we wish to survive as a species, we must put an end to the mechanisms of destruction, rethink our connection to living beings and face head-on the confrontation between the extractivists who are exploiting the Earth's resources and the ecologists. This poignant reflection on the greatest challenge of our time is also an opportunity for Latour to explain the underlying thread that guided his work throughout his career, from his pathbreaking research on the social construction of scientific knowledge to his last writings on the Anthropocene. (shrink)

The host actin nucleation machinery is subverted by many bacterial pathogens to facilitate their entry, motility, replication, and survival. The majority of research conducted in the past primarily focused on exploitation of a host actin nucleator, the Arp2/3 complex, by bacterial pathogens. Recently, new studies have begun to explore the role of formins, another family of host actin nucleators, in bacterial pathogenesis. This review provides an overview of recent advances in the study of the exploitation of the Arp2/3 complex and (...) formins by bacterial pathogens. Secreted bacterial effector proteins seem to manipulate the regulation of these actin nucleators or functionally mimic them to drive bacterial entry, motility and survival within host cells. An enhanced understanding of how formins are exploited will provide us with greater insight into how a fundamental eurkaryotic cellular process is utilized by bacteria and will also advance our knowledge of host‐pathogen interactions. (shrink)

This book offers an innovative approach to the analysis of the current crisis in the South China Sea. Moving beyond the spirit of the UN Convention on the Law of the Sea (UNCLOS), the mechanisms of which are limited to physical geography, it demonstrates how epistemological insights from the field of critical realist philosophy can reveal the importance of cultural and structural conditioning processes in social interactions, processes which shape the conditions for the emergence of crisis points along a spectrum (...) of conflict and cooperation. The potential for conflict resolution and the emergence of new regions in Pacific Asia much depends on the nature of such interactions at many levels (political-economic, semiotic and cultural) based on perceptions of what constitutes the "common" versus a Sinicised version of "Lebensraum". (shrink)

Everything about Derrida suggests that he is for a radical reform or transformation of language, whilst Wittgenstein seems to vindicate a fidelity to ordinary language and to want to 'expunge' from language the 'metaphysical use' of words. But just how opposed are they? My contention in this paper is that Wittgenstein does not 'deconstruct', as some critics have rather loosely suggested, because, as we shall see, the expunging of metaphysical use favoured by Wittgenstein does not amount to the deconstruction of (...) metaphysical appurtenance practised by Derrida. However, there are interesting parallels to be drawn between the two philosophers which I shall try to articulate in the course of this paper. The first part provides the background, in Wittgenstein's writings, to his concept of 'metaphysi cal use'; the second is an exposition of what Derrida refers to as 'metaphysical appurtenance' and attendant notions such as those of binary oppositions and of the labouring of concepts; and the third is a summing up and a defence of the thesis that Wittgenstein does not, in any full-bodied sense of the term, 'deconstruct'. (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.

In The Flesh of Images, Mauro Carbone analyzed Merleau-Ponty's interest in film as it relates to his aesthetic theory. Philosophy-Screens broadens the work undertaken in this earlier book, looking at the ideas of other twentieth-century thinkers concerning the relationship between philosophy and film, and also extending that analysis to address the wider proliferation of screens in the twenty-first century. In the first part of the book, Carbone examines the ways that Sartre, Merleau-Ponty, Lyotard, and Deleuze grappled with the philosophical significance (...) of cinema as a novel aesthetic medium unfolding in the twentieth century. He then considers the significance of this philosophical framework for understanding the digital revolution, in particular the extent to we are increasingly and comprehensively connected with screens. Smart phones, tablets, and computers have become a primary referential optical apparatus for everyday life in ways that influence the experience not only of seeing but also of thinking and desiring. Carbone's Philosophy-Screens follows Deleuze's call for "a philosophy-cinema" that can account for these fundamental changes in perception and aesthetic production, and adapts it to twenty-first century concerns. (shrink)

We analyse the structure of propositional proofs in the sequent calculus focusing on the well-known procedures of Interpolation and Cut Elimination. We are motivated in part by the desire to understand why a tautology might be ‘hard to prove’. Given a proof we associate to it a logical graph tracing the flow of formulas in it . We show some general facts about logical graphs such as acyclicity of cut-free proofs and acyclicity of contraction-free proofs , and we give a (...) proof of a strengthened version of the Craig Interpolation Theorem based on flows of formulas. We show that tautologies having minimal interpolants of non-linear size must have proofs with certain precise structural properties. We then show that given a proof Π and a cut-free form Π′ associated to it , certain subgraphs of Π′ which are logical graphs correspond to subgraphs of Π which are logical graphs for the same sequent. This locality property of cut elimination leads to new results on the complexity of interpolants, which cannot follow from the known constructions proving the Craig Interpolation Theorem. (shrink)

The ability to read emotions in faces helps humans efficiently assess social situations. We tested how this ability is affected by aspects of familiarization with face masks and personality, with a focus on emotional intelligence. To address aspects of the current pandemic situation, we used photos of not only faces per se but also of faces that were partially covered with face masks. The sample, the size of which was determined by an a priori power test, was recruited in Germany (...) and consisted of healthy individuals of different ages [M = 24.8 years]. Participants assessed the emotional expressions displayed by six different faces determined by a 2 × 3 design. Each person was presented with six different emotional displays with or without a face mask. Accuracy and confidence were lower with masks—in particular for the emotion disgust but also for happiness, anger, and sadness. When comparing the present data collected in July 2021 with data from a different sample collected in May 2020, when people first started to familiarize themselves with face masks in Western countries during the first wave of the COVID-19 pandemic, we did not detect an improvement in performance. There were no effects of participants’ emotional intelligence, sex, or age regarding their accuracy in assessing emotional states in faces for unmasked or masked faces. (shrink)

Succinct representation and fast access to large amounts of data are challenges of our time. This unique book suggests general approaches of 'complexity of descriptions'. It deals with a variety of concrete topics and bridges between them, while opening new perspectives and providing promising avenues for the 'complexity puzzle'.

Interpretability logic is a modal formalization of relative interpretability between first‐order arithmetical theories. Verbrugge semantics is a generalization of Veltman semantics, the basic semantics for interpretability logic. Bisimulation is the basic equivalence between models for modal logic. We study various notions of bisimulation between Verbrugge models and develop a new one, which we call w‐bisimulation. We show that the new notion, while keeping the basic property that bisimilarity implies modal equivalence, is weak enough to allow the converse to hold in (...) the finitary case. To do this, we develop and use an appropriate notion of bisimulation games between Verbrugge models. (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)

La domanda "chi è l´uomo?" è un interrogativo esistenzialmente cruciale per ognuno di noi: non lo si può eludere. Per chi accoglie la Rivelazione cristiana la domanda si fa ancora più coinvolgente perchè la Sacra Scrittura ci insegna che l´uomo è creato a immagine e somiglianza di Dio e l´immagine perfetta di Dio è il Figlio Unigenito, Gesù Cristo. San Tommaso approfondisce queste categorie bibliche nella sua prima opera sistematica, lo "Scritto sulle Sentenze", aprendo delle prospettive quasi del tutto ignorate, (...) come la relazione tra immagine di Dio e la coscienza di sé, o la presenza dell'immagine di Dio anche nella corporeità umana. Inoltre, egli sviluppa il tema dell´assimilazione a Dio e della divinizzazione dell'uomo mediante l'immagine divina prodotta dalla grazia santificante e dalla gloria eterna. (shrink)

Nonostante l’immagine della visione sia ancora largamente dominata dal paradigma della finestra, per quanto il cinema stesso si sia concepito a partire da tale figura, evocata per altro dal nome del sistema operativo informatico più diffuso nel mondo – Windows –, la mia ipotesi è che, nell’epoca presente, è piuttosto lo schermo ad essere diventato il dispositivo ottico di riferimento, discostandosi in maniera significativa dal modello della finestra. Per questo ritengo che comprendere in che modo pensiamo la nostra esperienza degli (...) schermi oggi, può aiutarci a comprendere la nostra esperienza presente della visione. Credo inoltre che la nostra esperienza contemporanea degli schermi sia il risultato dell’esperienza percettiva dello schermo che è stata inaugurata dal cinema, nonostante le molteplici differenze che separano queste due strutture. A questo proposito, sappiamo che, fin dalla tenda dietro la quale Pitagora si nascondeva, la superficie opaca dello schermo è stata tradizionalmente considerata come qualcosa che impedisce la visione e dunque come ciò che nasconde la verità. Al contrario, l’avvento del cinema ha mostrato che l’opacità di tale superficie è anche ciò che ci permette di vedere, così che luce ed ombra, tradizionalmente opposti dalla nostra cultura, non possono esistere separatamente. Ma possiamo ancora aggiungere che una simile superficie ha da sempre suscitato e orientato il desiderio di chi la contempla. Se un tale desiderio aveva coinciso con la possibilità di vedere oltre lo schermo, al di là di questo, al contrario oggi la superficie dello schermo è ciò che ci avvolge in una visibilità reversibile, invitandoci a soffermarci sulla sua superficie. Possiamo allora pensare il secolo del cinema, che si è da poco concluso, come la progressiva affermazione di una maniera differente di concepire il darsi del nostro incontro con il mondo. Tale modo nuovo, discostandosi dal dispositivo teatrale, cui la finestra rimandava in quanto sistema per eccellenza rappresentativo – come spettacolo percepito al di là del sipario –, apre a un dispositivo cinematografico, di cui tenterò di delineare alcune caratteristiche essenziali. (shrink)

Active, constructive, and interactive are terms that are commonly used in the cognitive and learning sciences. They describe activities that can be undertaken by learners. However, the literature is actually not explicit about how these terms can be defined; whether they are distinct; and whether they refer to overt manifestations, learning processes, or learning outcomes. Thus, a framework is provided here that offers a way to differentiate active, constructive, and interactive in terms of observable overt activities and underlying learning processes. (...) The framework generates a testable hypothesis for learning: that interactive activities are most likely to be better than constructive activities, which in turn might be better than active activities, which are better than being passive. Studies from the literature are cited to provide evidence in support of this hypothesis. Moreover, postulating underlying learning processes allows us to interpret evidence in the literature more accurately. Specifying distinct overt activities for active, constructive, and interactive also offers suggestions for how learning activities can be coded and how each kind of activity might be elicited. (shrink)

We develop a combinatorial model to study the evolution of graphs underlying proofs during the process of cut elimination. Proofs are two-dimensional objects and differences in the behavior of their cut elimination can often be accounted for by differences in their two-dimensional structure. Our purpose is to determine geometrical conditions on the graphs of proofs to explain the expansion of the size of proofs after cut elimination. We will be concerned with exponential expansion and we give upper and lower bounds (...) which depend on the geometry of the graphs. The lower bound is computed passing through the notion of universal covering for directed graphs. In this paper we present ground material for the study of cut elimination and structure of proofs in purely combinatorial terms. We develop a theory of duplication for directed graphs and derive results on graphs of proofs as corollaries. (shrink)

For animal research that causes sentient nonhuman animal suffering to be justifiable, I believe that two conditions must be met. First, harming animals for human benefit must be morally justified; this is the speciesism justification. Second, animal research must have utility—that is, it must produce useful, empirically valid knowledge that successfully increases our understanding of human illness and treatments and that could not reasonably be obtained through other means; this is the utility justification. In other words, (some) animals must be (...) sufficiently different from humans in morally relevant ways to allow the morality of speciesism, and (some) animals must be sufficiently similar to humans biologically for cross‐species extrapolation to have utility. Both conditions are necessary, and neither by itself is sufficient to justify animal experimentation. I focus exclusively on the utility justification. I do not defend the morality of using animals in experiments, nor do I review the alternatives and refinements that can minimize laboratory animal suffering. I will argue that I and the medical scientists with whom I work have a sound rationale to continue the work we do. (shrink)

The Taizhou school of philosophy, followers of Wang Yangming, places significant emphasis on the body, which has led to theoretical challenges concerning the potential dissipation of natural desires. Critics contend that while Taizhou philosophy acknowledges the natural state of human existence, it fails to provide a satisfactory explanation for the existence of evil and tends to overlook the crucial role of deliberate moral practice by idealizing the natural as morally perfect. Drawing on insights from embodied cognition, this article aims to (...) shed light on the nuanced perspectives of Taizhou moral philosophy and address common criticisms regarding its approach to evil and moral practice. I will explore Taizhou’s holistic understanding, which integrates mind and body, self and others, offering fresh insights into the interplay between deliberation and spontaneity within moral practices. As a comparative and interdisciplinary endeavor, this work seeks to bridge the divide between Eastern and Western philosophical traditions and between moral philosophy and empirical science. This article not only aims to enhance our understanding of Taizhou philosophy but also strives to illuminate broader implications for ethical behavior and moral reasoning in a diverse, global context. (shrink)