Formal Sciences

Five years ago, on May 24, 2019, the computer program ‘bayesvl’ was officially published on R under the name “bayesvl: Visually Learning the Graphical Structure of Bayesian Networks and Performing MCMC with ‘Stan’”. This program (or package) was developed by two founders of the SM3D Portal, Vuong Quan Hoang and La Viet Phuong, to improve the productivity of conducting social research. The package was designed with a pedagogical orientation, supporting users in familiarizing themselves with Bayesian statistical methods, MCMC simulation, and (...) visualization of technical diagnoses and results. (shrink)

Self-control requires intentionally resisting what we most want to do. Yet we do what we most want to do, if we do anything intentionally at that time (The Law of Desire). Therefore, self-control is impossible. So runs a well-studied puzzle. The three standard accounts assume that if a desire is our strongest desire, then it is stronger than all others. But that assumption is false. For we may have desires of equal strength. I describe cases which feature tied desires, self-control, (...) and doing what we most want to do. Following insights from computer science (Buridan’s Principle), equal-strength desires are possible any time we try to decide. My proposal may also be used to bolster all three standard analyses. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

This article explores the profound impact of Artificial Intelligence (AI) on the realm of religion, exploring the potential for AI to catalyze the birth of new world religions and break the "Solomon's Cycle." Drawing inspiration from King Solomon's timeless declaration, "There is nothing new under the sun," the article examines the challenges faced by new religions in a world dominated by established faiths and traditions. By leveraging the transformative capabilities of AI to inspire creativity, foster cross-cultural dialogue, provide ethical guidance, (...) build virtual communities, and personalize spiritual experiences, individuals are empowered to transcend historical barriers and forge new paths of spiritual exploration. The fusion of AI and human ingenuity holds the promise of birthing diverse, inclusive, and dynamic belief systems that resonate with the complexities of our contemporary world. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes (...) which are real and independent of us. (shrink)

Ngày 19/4/2024 vừa qua, Tuyên bố New York về Ý thức của Động vật đã được công bố tại một hội nghị "Khoa học Mới nổi về Ý thức của Động vật" được tổ chức tại Đại học New York.

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Sự tiến bộ nhanh chóng của các nền tảng Công nghệ Thông tin (CNTT) và ngôn ngữ lập trình đã làm thay đổi hình thái vận động và phát triển của xã hội loài người. Không gian mạng và các tiện ích đi kèm ngày càng được mở rộng, dẫn đến sự chuyển dịch dần từ đời sống trong thế giới thực sang đời sống trong thế giới ảo (còn gọi là không gian mạng hay không gian số). Trong bối (...) cảnh các hoạt động kinh tế và xã hội ngày càng được kết nối tốt hơn thông qua IoT, và sắp tới đây là tiềm năng tích hợp AI vào hầu như mọi mặt của đời sống ở cả thế giới thực và thế giới ảo, thì không chỉ cá nhân, mà cả doanh nghiệp và quốc gia cũng sẽ phải đối mặt với các thách thức chưa từng có tiền lệ đối với rủi ro về an ninh thông tin. Sự mở rộng và phát triển của các Mô hình Xử lý Ngôn ngữ Tự nhiên (Natural Language Processing – NLP) và Mô hình Ngôn ngữ Lớn (Large Language Model – LLM) thể hiện những đặc điểm giống con người về lập luận, nhận thức, sự chú ý và sáng tạo đã giúp con người vượt qua rào cản về khả năng vận hành. Đi kèm với các tiềm năng to lớn của AI là những lỗ hổng bảo mật mới và các rủi ro về an ninh thông tin phức tạp hơn. Khi xã hội vẫn đang cố gắng chuyển mình sang giai đoạn mới để có thể thích ứng với sự biến đổi công nghệ, cuộc cách mạng AI lại tiếp tục diễn ra đòi hỏi chúng ta phải suy nghĩ lại quỹ đạo của quá trình chuyển đổi xã hội vì nó có thể làm trầm trọng hơn các rủi ro an ninh thông tin được trình bày ở trên. Cụ thể, xã hội cần tiến hóa như thế nào để có thể bắt kịp với sự biến đổi mang tính đột phá tạo ra bởi làn sóng công nghệ AI hiện nay? Làm sao để quản lý và tận dụng sức mạnh của chúng trong khi vẫn đảm bảo được an ninh thông tin khi không gian và thời gian sống trong thế giới ảo của chúng ta ngày càng tăng? Các câu hỏi này sẽ được trả lời thông qua bài viết. (shrink)

The rapid advancement of Information Technology (IT) platforms and programming languages has transformed the dynamics and development of human society. The cyberspace and associated utilities are expanding, leading to a gradual shift from real-world living to virtual life (also known as cyberspace or digital space). The expansion and development of Natural Language Processing (NLP) models and Large Language Models (LLMs) demonstrate human-like characteristics in reasoning, perception, attention, and creativity, helping humans overcome operational barriers. Alongside the immense potential of artificial intelligence (...) (AI) are new security loopholes and more complex information security risks. As society is still trying to transition to a new phase to adapt to technological changes, the AI revolution continues to unfold, necessitating a reconsideration of the trajectory of societal transformation as it could exacerbate the aforementioned information security risks. Specifically, how should society evolve to keep pace with the transformative impact of the current AI technology wave? How can we manage and harness their power while ensuring information security as our presence in the virtual world increases? This article aims to shed light on and address these questions. (shrink)

Conservation of the circle explains autonomous intentional masking, and, always, vice versa.

Numerical computing is a key part of the traditional computer architecture. Almost all traditional computers implement the IEEE 754-1985 binary floating point standard to represent and work with numbers. The architectural limitations of traditional computers make impossible to work with infinite and infinitesimal quantities numerically. This paper is dedicated to the Infinity Computer, a new kind of a supercomputer that allows one to perform numerical computations with finite, infinite, and infinitesimal numbers. The already available software simulator of the Infinity Computer (...) is used in different research domains for solving important real-world problems, where precision represents a key aspect. However, the software simulator is not suitable for solving problems in control theory and dynamics, where visual programming tools like Simulink are used frequently. In this context, the paper presents an innovative solution that allows one to use the Infinity Computer arithmetic within the Simulink environment. It is shown that the proposed solution is user-friendly, general purpose, and domain independent. (shrink)

Emotions are a central aspect of communication. Consequently, emotion analysis (EA) is a rapidly growing field in natural language processing (NLP). However, there is no consensus on scope, direction, or methods. In this paper, we conduct a thorough review of 154 relevant NLP publications from the last decade. Based on this review, we address four different questions: (1) How are EA tasks defined in NLP? (2) What are the most prominent emotion frameworks and which emotions are modeled? (3) Is the (...) subjectivity of emotions considered in terms of demographics and cultural factors? and (4) What are the primary NLP applications for EA? We take stock of trends in EA and tasks, emotion frameworks used, existing datasets, methods, and applications. We then discuss four lacunae: (1) the absence of demographic and cultural aspects does not account for the variation in how emotions are perceived, but instead assumes they are universally experienced in the same manner; (2) the poor fit of emotion categories from the two main emotion theories to the task; (3) the lack of standardized EA terminology hinders gap identification, comparison, and future goals; and (4) the absence of interdisciplinary research isolates EA from insights in other fields. Our work will enable more focused research into EA and a more holistic approach to modeling emotions in NLP. (shrink)

Large language models (LLMs) reflect societal norms and biases, especially about gender. While societal biases and stereotypes have been extensively researched in various NLP applications, there is a surprising gap for emotion analysis. However, emotion and gender are closely linked in societal discourse. E.g., women are often thought of as more empathetic, while men's anger is more socially accepted. To fill this gap, we present the first comprehensive study of gendered emotion attribution in five state-of-the-art LLMs (open- and closed-source). We (...) investigate whether emotions are gendered, and whether these variations are based on societal stereotypes. We prompt the models to adopt a gendered persona and attribute emotions to an event like 'When I had a serious argument with a dear person'. We then analyze the emotions generated by the models in relation to the gender-event pairs. We find that all models consistently exhibit gendered emotions, influenced by gender stereotypes. These findings are in line with established research in psychology and gender studies. Our study sheds light on the complex societal interplay between language, gender, and emotion. The reproduction of emotion stereotypes in LLMs allows us to use those models to study the topic in detail, but raises questions about the predictive use of those same LLMs for emotion applications. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

This paper explores the impact of furniture and machines on spatial organization and circulation systems in industrial buildings using space syntax analysis. While space syntax research covers various settings, industrial buildings have received limited attention. This study aims to address this gap by examining how machines and furniture influence spatial organization and circulation in two industrial buildings: A Nitrile Glove manufacturing facility and a textile manufacturing factory. The furnished and unfurnished floor plans were analyzed using space syntax software, DepthMapX, with (...) connectivity and agent-based analyses. The results indicate that unfurnished plans have centrally located connectivity values, whereas furnished plans create subspaces with varying connectivity. Agent-based analysis reveals that unfurnished spaces have high density in the center, while furnished spaces distribute density more evenly, resulting in more uniform circulation. This study concludes that industrial building spatial configurations result from a combination of architectural design and the placement of machines and furniture. (shrink)

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees formal (...) concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. -/- In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)

Committing to contribute to promoting the 11th progressive cultural element – environmental-healing value – and building the eco-surplus culture for sustainable development, the AISDL Team (represented by Drs. Minh-Hoang Nguyen and Quan-Hoang Vuong) has collaborated with Discover Sustainability to launch “Environmental Sustainability Needs Humanities” Topical Collection. In contributing to the generation of knowledge that aids the social transitions toward an eco-surplus utopia, the Topical Collection welcomes various types of articles across disciplines, including Research, Reviews, Perspectives, Comments, Brief Communications, Case Studies, (...) Registered Reports, and Data Notes that are related but not limited to these issues: - Socio-cultural and economic issues that help mitigate and adapt to climate change and prevent biodiversity loss - Socio-cultural and economic issues that support the development and implementation of nature-based solutions and artificial technologies for achieving environmental sustainability - Factors that help restore the connection between nature and humans, such as science, art, literature, and lived experiences - The psychology towards climate change, biodiversity loss, social transition, and technological transformation - The roles of creativity, serendipity, and knowledge management in sustainability transformation - Sustainable financing mechanism for climate change mitigation and adaptation as well as biodiversity conservation - The roles of urban and rural humans in addressing climate change and biodiversity loss - Global agreement, national commitments, and local actions for addressing climate change and biodiversity loss. (shrink)

Монографія розкриває нове вирішення важливого науково-прикладного завдання, що полягає у поглибленні існуючих, розробленні й обґрунтуванні нових науково-методичних положень щодо формування інноваційної моделі розвитку України та її регіонів на основі реалізації підприємницького чиннику – активізації підприємницької ініціативи, розвитку інноваційної активності на регіональному рівні, підтримки розвитку підприємництва шляхом підвищення ефективності державної інноваційної політики. Поглиблено теоретичні засади концепцій інноватики та підприємництва, методологію дослідження підприємництва в контексті формування інноваційної моделі економіки України та її регіонів. Проаналізовано розвиток підприємництва та інноваційних процесів у регіонах України. Запропоновано (...) комплекс рішень з активізації підприємницької ініціативи та розвитку інноваційної моделі економіки України та її регіонів. Видання розраховане на наукових працівників, викладачів вищих навчальних закладів, спеціалістів у сфері національної та регіональної економіки. (shrink)