Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Il tema della complessità della scienza è stato da qualche decennio oggetto di una vasta letteratura sia sul versante più strettamente scientifico, sia sul piano filosofico. Un argomento emerso con notevole interesse ha riguardato un aspetto della complessità inteso come rinuncia a una generalizzazione dei procedimenti assiomatico-deduttivi come metodo generale della ricerca scientifica. È stata espressa la convinzione che la fisica pre-relativistica sia stata fondata prevalentemente sul trionfo di questo metodo, sulla scia, fra l’altro, della gloriosa tradizione dei Principia newtoniani. (...) Pur riconoscendo la sua imponenza storica e concettuale, che ha condotto spesso a una sua identificazione con la stessa tradizione della scienza occidentale, la mia ricerca storica ha evidenziato una posizione antagonista presente nelle idee di Newton, e ripresa da due grandi fisici ottocenteschi, Ampere e Maxwell, posizione consistente in un ricorso alla cosiddetta deduzione dai fenomeni, un metodo di ricerca che rappresenta un’importante alternativa rispetto al metodo assiomatico-deduttivo. Nei primi decenni del nuovo secolo, si impongono poi progressivamente le idee di Einstein, che sul problema del metodo presentano un’irrisolta problematica. La celebrazione del metodo assiomatico-deduttivo si contrappone ad una lode dell’osservazione dei fenomeni e della riflessione sugli esperimenti, una variazione sul tema della deduzione dai fenomeni. Seppure i contributi del grande scienziato alle teorie derivate dagli assiomi del campo generalizzato non portarono a teorie conclusive, le sue idee in merito contribuirono enormemente alla moderna riflessione storico-epistemologica sulla scienza. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...) linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

The current study is conducted to examine the following research questions: 1) How are the father’s interactions with children regarding energy saving associated with the children’s energy conservation behaviors? 2) How are the mother’s interactions with children regarding energy saving associated with the children’s energy conservation behaviors?

The current study is conducted to examine the following research questions: 1) How are the father’s interactions with children regarding waste recycling associated with the children’s recycling behaviors? 2) How are the mother’s interactions with children regarding waste recycling associated with the children’s recycling behaviors?

The current study is conducted to examine the following research questions: 1) How are gender, age, and income associated with trying space tourism? 2) How are gender, age, and income associated with the intention to try space tourism when conditional on the level of immersiveness in information on social media?

The current study has four objectives to examine whether: -/- The family’s provisions of cultural-historical knowledge of other countries, communication methods with people in different cultures, and encouragement to learn foreign languages are associated with students’ willingness to exchange historical and cultural information with other people. Students’ willingness to exchange historical and cultural information with others is associated with their awareness of cultural diversity. Students’ willingness to exchange historical and cultural information with others is associated with their awareness of global (...) interdependence. Students’ willingness to exchange historical and cultural information with others is associated with their awareness of peace protection. (shrink)

This month, the AISDL Team was glad to see its continuing effort to raise the voice for conserving wildlife appearing in Pacific Conservation Biology (published by CSIRO/the Australian Academy of Science). The article stipulates the need for weaving humane values with scientific information, leveraging the sociocultural power to harmonize humans with nature. The article articulates the coauthors’ idea of building a funding source to contribute to the nature conservation cause by investing in some listed stocks. Technically, stocks we intend to (...) invest in must possess some key features of (i) having significant growth potential, (ii) containing little environmental risk of potential moral-practical gaps in their CSR missions, and (iii) showing a certain degree of “relevance” with AISDL’s fundamentals. (shrink)

The current study is conducted to examine the following research questions: 1) How are coastal activities enabling close connections to nature associated with the mental health condition of the visitors in the previous year? 2) How are coastal activities that have close connections to nature associated with the perceived general health condition of the visitors in the previous year?

The current study is conducted to examine the following research questions: 1) How is the residential proximity to the coast during childhood, and nature connectedness, associated with peace of mind when visiting the coast? 2) Does the residential proximity to the coast during childhood moderate the relationship between nature connectedness and peace of mind when visiting the coast? 3) How is the peace of mind associated with improved thinking when visiting the coast?

The current study is conducted to examine the following research questions: 1) How are the enjoyment of and connection to the coastal environment associated with the perceived health outcomes during the previous year’s coastal visits? 2) How are the perceived health outcomes during the previous year’s coastal visits associated with visitors’ mental health and perceived general health? 3) Do the perceived health outcomes during the previous year’s coastal visits mediate the relationships between the enjoyment of and connection to the coastal (...) environment and the visitors’ mental health and perceived general health? (shrink)

The current study is conducted to examine the following research questions: 1) What information sources on social media are associated with the general intention to try space tourism? 2) Does the automatically recommended information moderate the associations between multiple sources of information and the intention to try space tourism?

The current study is conducted to examine the following research questions: 1) How are information trustworthiness, usefulness, and immersiveness associated with the general intention to try space tourism? 2) Does the uncertainty of information (proxied by information trustworthiness) moderate the associations between information usefulness, immersiveness, and the general intention to try space tourism?

The aim of this study is to illustrate the role played by Augustine’s Commentary on the Genesis in the writings of Thomas Aquinas. This work is of great importance for Aquinas, not only because it is the work where Augustine clarifies his interpretation of creation, but also because creation is, among the theological topics, perhaps the most philosophical, insofar as it gives the opportunity of elaborating on many philosophical issues. In particular, the goal of the study is to rethink the (...) positions of Aquinas and Augustine on one of these issues, that is the relationship between soul and body. I mean to call into question two historiographical theses: first, that Augustine and Aquinas formulate positions that are irreconcilable with each other, and second, that they in no way address that which we today call the Mind-Body Problem. (shrink)

The current study is conducted to examine the following research question: How are the temperature and rainfall associated with the countries’ cultural values of embeddedness and hierarchy cultural values?

The current study is conducted to examine the following research questions: 1) How is the relationship between general coastal activities enabling close connections and mental health in the previous year conditional on the nature connectedness? 2) How is the relationship between general coastal activities enabling close connections and perceived general health in the previous year conditional on the nature connectedness?

The current study is conducted to examine the following research questions: 1) Is the relationship between the enjoyment of and connection to the coastal environment and the visitors’ mental health and perceived general health conditional on the duration of daily visits to the coast in the previous year? 2) Is the relationship between the enjoyment of and connection to the coastal environment and the visitors’ mental health and perceived general health conditional on the duration of stay visits to the coast (...) in the previous year? (shrink)

The current study is conducted to examine the following research question: What are the factors associated with the sensitivity towards the air quality rating index to reduce outdoor activities?

The current study is conducted to examine the following research questions: 1) How is engaging children with nature associated with their environmental awareness? 2) How is engaging children with nature associated with their environmental protection participation?

Trong quá trình công tác, việc triển khai những thay đổi có khả năng tạo ra tiến triển tích cực với kết quả diễn ra khá thường xuyên. Một cách gọi khác khá phổ biến hiện nay là: “innovation”. Đối với lĩnh vực nghiên cứu, các “innovation” cũng có khả năng tạo ra giá trị gia tăng rất đáng kể, nhất là khi phương pháp được cải thiện. Ở một mức độ nhỏ nhưng sâu hơn, và cũng hiếm hơn, đó (...) là thay đổi/bổ sung về phương diện “khái niệm”. Hiếm là bởi không mấy khi ta có nhu cầu cải tiến một “khái niệm”. Đó là tiền đề sâu xa của những thông tin và thảo luận xây trên đó. Nếu cải tiến, bổ sung, hệ quả khá chắc chắn là có thể phải xới tung một trật tự logic của lập luận, cũng như gây ra thay đổi các khái niệm liên quan mật thiết. Tuy thế, có một trường hợp cần thay đổi: Mục tiêu nghiên cứu chính là khái niệm đó. (shrink)

Our latest contribution to the world’s battle against climate and biodiversity crises was an expert commentary on Vietnamese forests and the prospect of carbon credits trade. The article appeared in the Land and Climate Review on Feb. 2, 2024.

The current study is conducted to examine the following research questions: -/- - What are the consequences of blockage, vandalism, and harassment activities for the cause of climate change mitigation? - What kind of environmental activism leads to the escalation of violence? - Which pathways (e.g., survival threats) do the activism lead to violence escalation? -/- The findings from this study are expected to provide insights into the effectiveness and appropriateness of strategies to raise public awareness and support and contribute (...) to the societal transitions to address climate change. (shrink)

The methodology title on BMF analytics is now in its third year of service to our research community, enabling many researchers to implement their research pursuits.

On November 3 and 4, 2023, Dr. Nguyen Minh Hoang (Phenikaa University), co-author of the BMF Analytics [1], gave a lecture on computational approaches using bayesvl and BMF application for social science research.

According to data provided by CRAN, in November 2023, the number of downloads of the bayesvl program reached 293, showing an increase of +57.5% compared to the previous month.

“[…] To alleviate the boredom, after catching a fish, Kingfisher would press all three buttons before swallowing the fish. Pressing the buttons has gradually become somewhat of a new technological ritual.” -/- —In “Innovation”; The Kingfisher Story Collection [1].

Do thay đổi chính sách Journal Citation Reports (JCR) 2023 có vài cải tiến. Các ấn phẩm trong Core Collections đều được công bố Journal Impact Factor (JIF).

The current study is conducted to examine how investors’ information priorities for investment decision-making influence their fear during the crisis.

The current study is conducted to examine the following research question: 1) Who were the people who had no access to wildfire smoke notifications during the smoke event in the summer of 2018 in the Boise Metropolitan Area in Idaho? 2) Who were the people who were not familiar with the air quality rating system?

Trong thế giới cạnh tranh thời đại số (“digital”), phương tiện kỹ thuật cung cấp nhiều thuận lợi cho việc sản xuất nội dung. Tuy thế, sự phong phú nội dung và đầu tư cho xúc tiến, tiếp thị gia tăng cũng lại khiến cho quá trình cạnh tranh tìm một chỗ đứng cho sản phẩm trở nên hết sức gian nan.Sản phẩm gần đây của nhóm nghiên cứu, chuyên khảo [1] của AISDL, ra đời sau những bài học gian (...) khó thu lượm được từ trước. Như thế, ý thức của mọi người về mức độ thách thức trong việc “chạm tới” người tiêu dùng. (shrink)

TS. Nguyễn Minh Hoàng (ngoài cùng; tay trái) và KS. Lã Việt Phương (ngoài cùng; tay phải) ở trong rừng nguyên sinh, tại điểm tập kết “thuốc lào hạnh phúc” của đồng bào Mường đi rừng.

Nhân dịp khai giảng năm học 2023-24, nhóm nghiên cứu báo cáo thống kê số lần bayesvl tải về (downloads) từ The Comprehensive R Archive Network (CRAN).

The Axis II Work Group of the Task Force on Diagnostic and Statistical Manual of Mental Disorders (DSM-IV) has expressed concern that antisocial personality disorder (APD) criteria are too long and cumbersome and that they focus on antisocial behaviors rather than personality traits central to traditional conceptions of psychopathy and to international criteria. R. D. Hare et al describe an alternative to the approach taken in the DSM-III—Revised (DSM-III—R; American Psychiatric Association, 1987), namely, the revised Psychopathy Checklist. The authors also (...) discuss the multisite APD field trials designed to evaluate and compare 4 criteria sets: the DSM-III—R criteria, a shortened list of these criteria, the criteria for dyssocial personality disorder from the 10th edition of the International Classification of Diseases (World Health Organization, 1990), and a 10-item criteria set for psychopathic personality disorder derived from the revised Psychopathy Checklist. (PsycINFO Database Record (c) 2015 APA, all rights reserved). (shrink)

It is not always obvious for even well-trained researchers to appreciate their peer’s scientific pursuits. In many cases, research results obtained from strenuous work processes could even be regarded as “useless knowledge”. -/- Only in very few places on this planet had the notion of useless knowledge been respected and sought after. That’s the famous IAS of Princeton University powered by the conception of the usefulness of useless knowledge of Abraham Flexner. That’s why brilliant scientists such as Albert Einstein, Kurt (...) Godel, and John von Neumann were among its first recruited members. -/- Our team has for many years now gone through various research problems. Still, it is difficult for even experienced and highly accomplished researchers to identify the type of IAS “useless knowledge” problems. But we never stopped trying. -/- Our latest try has led to the informational entropy-based definition of value. At first, it sounded weird for one to ponder the long-existing notion of value, which is used on a daily basis by everybody on Earth. In short, kind of... useless. But gradually, we have come to an understanding that the very familiarity of the word “value” has long obscured our question of its nature. -/- So, a bit about this newly minted definition is here for your perusal. (shrink)

This Study has covered Post Graduate Students of four University of Gujarat State including Sardar Patel University, M. S. University, Gujarat University and DDIT University. The data collected from 400 P G Students 100 students from each university for the study under the research design of descriptive cum exploratory in nature. The Questionnaire is used for this research consists of 50 Questions. As a Consideration of that the youth or students are the future for any nation so level of understanding (...) of youth about human rights is very important to know. If human rights knowledge is not up to mark among youth or students, it's a serious issue for the youth and nation as well. As a Social Worker, to maintain equality, non discrimination, protection and development is a mission. So, Human Rights is a one of the best weapon to all social worker to achieve main goals as mentioned before. Mehul Rabari | Dr. S. D. Mishra "Youth and Human Rights - A Research Study among University Student" Published in International Journal of Trend in Scientific Research and Development (ijtsrd), ISSN: 2456-6470, Volume-1 | Issue-1 , December 2016, . (shrink)

Thanks to the Internet, Information Communication Technology (ICT), and international transportation, the world has become more globalized than ever. In such an era, people are required to obtain high tolerance and inclusiveness levels. For the young generation to survive and thrive, equipping them with a mindset with high tolerance and inclusiveness is essential while they are schooling. The current study has two objectives: Examine whether discussions with parents about cultural-historical knowledge and social skills and participation in multicultural school events improve (...) children’s and youth’s tolerance toward different viewpoints; Examine whether discussions with parents about cultural-historical knowledge and social skills and participation in multicultural school events improve children’s and youth’s general inclusiveness. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

This first piece of 2024 introduces some ideas concerning the role of non-linear thinking in today's fight against the climate crisis. More exactly, it is about the potential power of serendipity, artificial intelligence and the information deluge (that is causing headaches, too) when it comes to humankind's efforts to find solutions for the sake of surviving the paramount crisis.

About six weeks ago, our post referred to the long-winding path to a new theoretical innovation as the pursuit of “useless knowledge” in Flexner’s terms. That little creation is the freshly minted informational entropy-based definition of value, presented in a very short paper, initially regarded by its authors as a research note. (And it still is.) Well, only two and a half months since its birth, this new concept of value has had enough time to power up several of our (...) publications in different disciplinary fields. The first published paper using the new definition deals with climate change denialism. The second paper (forthcoming) discusses the problem of academic retractions amidst the growing influence of generative AI. And the third, just accepted, explains the underlying mechanism of submission mechanism employed by journal editors and peer-reviewers, and the information-value nexus associated with it. (shrink)

“Only those who have lived among the birds could truly appreciate the magic of their singing. At daybreak, the bushes and the alley corners would all be drenched in a vibrant chorus of birdsongs. The whole scene is exhilarating, exuding the mysterious vibes of a major orchestra.” -/- —In “Conductor”; The Kingfisher Story Collection [1].

The current study is conducted to examine the following research questions: 1) How are health information-seeking ability and e-health literacy associated with illness response capability? 2) How are health information-seeking ability and e-health literacy associated with the frequency of health checkups?

This page provides a quick glance at official publications that use either the bayesvl package in R or the BMF analytics (or both). The data will tell a bit about the research community’s efforts made over time and the growth of the bayesvl/BMF analytics community.

The current study is conducted to examine the following research questions: 1) What are the differences in the duration of daily and stay visits between people visiting only one coast and those visiting more than one? 2) How are coastal visit constraints associated with the duration of daily and stay visits?

“As time passes, news about the now hotter Earth buzzes through the bird village. […] As Kingfisher casts his gaze upon the events that have unfolded, he can’t help but feel a sense of unease creeping up within him. He decides to collect all the scientific information concerning climate change and greenhouse gas emissions.” -/- —In “GHG Emissions”; The Kingfisher Story Collection.

Today marks the 7th anniversary of the Centre for Interdisciplinary Social Research (ISR), at Phenikaa University. ISR has for seven years now the place where the co-founders of this portal have been working and producing publications. A special event occurs now as the Current Conservation magazine publishes a new writing piece by our member, Dr Minh-Hoang Nguyen.

Hôm nay là ngày Khoa học Công nghệ Việt Nam (KHCN). Có rất nhiều chuyện để bàn vì có biết bao thứ cần tới lao động KHCN. Nhưng có lẽ một chủ đề đang rất nóng chính là bảo vệ và phục hồi môi trường sinh thái trong bối cảnh đa dạng sinh học bị tác động tiêu cực nghiêm trọng và biến đổi khí hậu đang làm trầm trọng hóa thêm.