To obtain effective fusion results of multi source evidences with different importance, an evidence fusion method with importance discounting factors based on neutrosopic probability analysis in DSmT framework is proposed. First, the reasonable evidence sources are selected out based on the statistical analysis of the pignistic probability functions of single focal elements. Secondly, the neutrosophic probability analysis is conducted based on the similarities of the pignistic probability functions from the prior evidence knowledge of the reasonable evidence sources. Thirdly, the importance (...) discounting factors of the reasonable evidence sources are obtained based on the neutrosophic probability analysis and the reliability discounting factors of the real-time evidences are calculated based on probabilistic-based distances. Fourthly, the real-time evidences are discounted by the importance discounting factors and then the evidences with the mass assignments of neutrosophic empty sets are discounted by the reliability discounting factors. Finally, DSmT+PCR5 of importance discounted evidences is applied. Experimental examples show that the decision results based on the proposed fusion method are different from the results based on the existed fusion methods. Simulation experiments of recognition fusion are performed and the superiority of proposed method is testified well by the simulation results. (shrink)

The question of ontological foundation has undergone a noteworthy revival in recent years: metaphysicians today quarrel about how exactly to understand the asymmetrical and hyperintensional relationship of grounding. One of the reasons for this revival is that the old quantificationalist meta-ontology inherited from Quine has been effectively criticised by leading philosophers favourable to a meta-ontology, the aim of which is to come to know “which facts/items ground (constitute the base of) which other facts/items”, thus to examine the relation of ontological (...) dependence between beings (e.g. chemical properties depend on physical properties, the economic situation on the behaviour of individuals etc.), i.e. to explore the hierarchical structure of reality. I shall not discuss here the relationship of grounding in itself, but make some historical-formal remarks on the properties of the ultimate ontological foundational item itself and its aporetic nature. To do so I explore various more or less exotic philosophical ecosystems in the following order: Heidegger (Seyn), Plato (ἕν), Wáng Bi (道, dào). On the way I shall propose a new interpretation both of certain hypotheses in the Parmenides and of the nature of the opposition between Wáng Bì and Guō Xiàng in regard to the logical grammar of the expression “nothing (無, wú)” (transl. J. Dudley). (shrink)

This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, (...) Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar. (shrink)

This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...) Information Fusion; Statistics; Decision Making; Extenics; Instantaneous Physics; Paradoxism; Mathematica; Miscellanea), comprising 965 pages, published between 2005-2022 in different scientific journals, by the author alone or in collaboration with the following 110 co-authors (alphabetically ordered) from 26 countries: Abduallah Gamal, Sania Afzal, Firoz Ahmad, Muhammad Akram, Sheriful Alam, Ali Hamza, Ali H. M. Al-Obaidi, Madeleine Al-Tahan, Assia Bakali, Atiqe Ur Rahman, Sukanto Bhattacharya, Bilal Hadjadji, Robert N. Boyd, Willem K.M. Brauers, Umit Cali, Youcef Chibani, Victor Christianto, Chunxin Bo, Shyamal Dalapati, Mario Dalcín, Arup Kumar Das, Elham Davneshvar, Bijan Davvaz, Irfan Deli, Muhammet Deveci, Mamouni Dhar, R. Dhavaseelan, Balasubramanian Elavarasan, Sara Farooq, Haipeng Wang, Ugur Halden, Le Hoang Son, Hongnian Yu, Qays Hatem Imran, Mayas Ismail, Saeid Jafari, Jun Ye, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Abdullah Kargın, Vasilios N. Katsikis, Nour Eldeen M. Khalifa, Madad Khan, M. Khoshnevisan, Tapan Kumar Roy, Pinaki Majumdar, Sreepurna Malakar, Masoud Ghods, Minghao Hu, Mingming Chen, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohamed Loey, Mihnea Alexandru Moisescu, Muhammad Ihsan, Muhammad Saeed, Muhammad Shabir, Mumtaz Ali, Muzzamal Sitara, Nassim Abbas, Munazza Naz, Giorgio Nordo, Mani Parimala, Ion Pătrașcu, Gabrijela Popović, K. Porselvi, Surapati Pramanik, D. Preethi, Qiang Guo, Riad K. Al-Hamido, Zahra Rostami, Said Broumi, Saima Anis, Muzafer Saračević, Ganeshsree Selvachandran, Selvaraj Ganesan, Shammya Shananda Saha, Marayanagaraj Shanmugapriya, Songtao Shao, Sori Tjandrah Simbolon, Florentin Smarandache, Predrag S. Stanimirović, Dragiša Stanujkić, Raman Sundareswaran, Mehmet Șahin, Ovidiu-Ilie Șandru, Abdulkadir Șengür, Mohamed Talea, Ferhat Taș, Selçuk Topal, Alptekin Ulutaș, Ramalingam Udhayakumar, Yunita Umniyati, J. Vimala, Luige Vlădăreanu, Ştefan Vlăduţescu, Yaman Akbulut, Yanhui Guo, Yong Deng, You He, Young Bae Jun, Wangtao Yuan, Rong Xia, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Zayen Azzouz Omar, Xiaohong Zhang, Zhirou Ma.‬‬‬‬‬‬‬‬. (shrink)

This chapter offers a brief introduction to Xuanxue Wei Jin Dynasty philosophy.

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

One of the most debated problems in the foundations of the special relativity theory is the role of conventionality. A common belief is that the Lorentz transformation is correct but the Galilean transformation is wrong. It is another common belief that the Galilean transformation is incompatible with Maxwell equations. However, the “principle of general covariance” in general relativity makes any spacetime coordinate transformation equally valid. This includes the Galilean transformation as well. This renders a new paradox. This new paradox is (...) resolved with the argument that the Galilean transformation is equivalent to the Lorentz transformation. The resolution of this new paradox also provides the most straightforward resolution of an older paradox which is due to Selleri in. I also present a consistent electrodynamics formulation including Maxwell equations and electromagnetic wave equations under the Galilean transformation, in the exact form for any high speed, rather than in low speed approximation. Electrodynamics in rotating reference frames is rarely addressed in textbooks. The presented formulation of electrodynamics under the Galilean transformation even works well in rotating frames if we replace the constant velocity v\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}$$\end{document} with v=ω×r\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}=\varvec{\omega }\times \mathbf {r}$$\end{document}. This provides a practical tool for applications of electrodynamics in rotating frames. When electrodynamics is concerned, between two inertial reference frames, both Galilean and Lorentz transformations are equally valid, but the Lorentz transformation is more convenient. In rotating frames, although the Galilean electrodynamics does not seem convenient, it could be the most convenient formulation compared with other transformations, due to the intrinsic complex nature of the problem. (shrink)

Triangles and trigonometry are always difficult topics for both mathematics students and teachers. Hence, students' performance in solving mathematical word problems in these topics is not only a reflection of their learning outcomes but also an indication of teaching effectiveness. This case study drew from two examples of solving word problems involving triangles by pre-service mathematics teachers in a foundation mathematics course delivered by the author. The focus of this case study was on reasoning implications of students' performances on the (...) effective training of pre-service mathematics teachers, from which a three-step interactive explicit teaching-learning approach, comprising teacher-led precise and inspiring teaching (or explicit teaching), student-driven engaged learning (or imitative learning), and student-led and teacher-guided problem-solving for real-world problems or projects (or active application), was summarized. Explicit teaching establishes a solid foundation for students to further their understanding of new mathematical concepts and to conceptualize the technical processes associated with these new concepts. Imitative learning helps students build technical abilities and enhance technical efficacy by engaging in learning activities. Once these first two steps have been completed, students should have a decent understanding of new mathematical concepts and technical efficacy to analyze, formulate, and finally solve real-world applications with assistance from teachers whenever required. Specially crafted professional development should also be considered for some in-service mathematics teachers to adopt this three-step interactive teaching-learning process. (shrink)

This research investigates 3- and 5-year-olds' relative fairness in distributing small collections of even or odd numbers of more or less desirable candies, either with an adult experimenter or between two dolls. The authors compare more than 200 children from around the world, growing up in seven highly contrasted cultural and economic contexts, from rich and poor urban areas, to small-scale traditional and rural communities. Across cultures, young children tend to optimize their own gain, not showing many signs of self-sacrifice (...) or generosity. Already by 3 years of age, self-optimizing in distributive justice is based on perspective taking and rudiments of mind reading. By 5 years, overall, children tend to show more fairness in sharing. What varies across cultures is the magnitude of young children's self-interest. More fairness (less self-interest) in distributive justice is evident by children growing up in small-scale urban and traditional societies thought to promote more collective values. (shrink)

Introduction: During the COVID-19 pandemic, adolescents have increasingly suffered from online problem behaviors and mental disorders. But little research has paid attention to the protective factors among adolescents. Therefore, the present study attempted to investigate the role of positive youth development (PYD) attributes in adolescents’ depression, internet gaming disorder (IGD) and cyberbullying/victimization (CBV). -/- Methods: A total of 995 Chinese adolescents (Mage = 15.97 years, SD = 0.77, 325 boys) from two public high schools in Hubei province were recruited to (...) participate in the three-wave longitudinal study over the span of 1 year during the pandemic (Time 1: November, 2020; Time 2: May, 2021; Time 3: November, 2021). -/- Results: T1 PYD attributes negatively predicted T2 depression and T3 online problematic behaviors. T2 depression positively predicted IGD at T3. T3 IGD significantly predicted greater involvement in T3 CBV, and vice versa. Moreover, depression and one online problem behavior mediated the relationships between PYD attributes and the other online problem behavior, separately and sequentially. (shrink)

In China, plagiarism among undergraduate students has been a protuberant issue preventing the robust development of tertiary education. The purpose of this Interpretative Phenomenological Analysis (IPA) research was to acquire a profound understanding of the essence of the phenomenon through the process of students’ research writing at Shaoyang University (SYU), a southern Chinese University. Employing a step-wise combination of purposive and random sampling techniques, 11 participants were selected to partake in the study’s online, face-to-face, and one-on-one semi-structured interviews. On completion (...) of data analysis, seven themes emerged: poor literacy about plagiarism; few learning experiences related to plagiarism; disapproval of plagiarism with different tolerance levels; difficulties encountered during academic writing; sophistication in detouring the plagiarism detecting tool; reasons for committing plagiarism; and under-evaluation of disciplinary study. Based upon the rich findings, the study proposed a preliminary holistic solution to mitigate plagiarism, with school administration, policy makers, instructors, and students performing and abiding to their respective roles, and with the literacy education related to plagiarism at the center. (shrink)

This volume presents state-of-the-art papers on new topics related to neutrosophic theories, such as neutrosophic algebraic structures, neutrosophic triplet algebraic structures, neutrosophic extended triplet algebraic structures, neutrosophic algebraic hyperstructures, neutrosophic triplet algebraic hyperstructures, neutrosophic n-ary algebraic structures, neutrosophic n-ary algebraic hyperstructures, refined neutrosophic algebraic structures, refined neutrosophic algebraic hyperstructures, quadruple neutrosophic algebraic structures, refined quadruple neutrosophic algebraic structures, neutrosophic image processing, neutrosophic image classification, neutrosophic computer vision, neutrosophic machine learning, neutrosophic artificial intelligence, neutrosophic data analytics, neutrosophic deep learning, and neutrosophic (...) symmetry, as well as their applications in the real world. (shrink)

To what extent do early intuitions about ownership depend on cultural and socio-economic circumstances? We investigated the question by testing reasoning about third party ownership conflicts in various groups of three- and five-year-old children (N = 176), growing up in seven highly contrasted social, economic, and cultural circumstances (urban rich, poor, very poor, rural poor, and traditional) spanning three continents. Each child was presented with a series of scripts involving two identical dolls fighting over an object of possession. The child (...) had to decide who of the two dolls should own the object. Each script enacted various potential reasons for attributing ownership: creation, familiarity, first contact, equity, plus a control/neutral condition with no suggested reasons. Results show that across cultures, children are significantly more consistent and decisive in attributing ownership when one of the protagonists created the object. Development between three and five years is more or less pronounced depending on culture. The propensity to split the object in equal halves whenever possible was generally higher at certain locations (i.e., China) and quasi-inexistent in others (i.e., Vanuatu and street children of Recife). Overall, creation reasons appear to be more primordial and stable across cultures than familiarity, relative wealth or first contact. This trend does not correlate with the passing of false belief theory of mind. (shrink)

In the recent past, Vietnam has dramatically increased its investment relationship and trade with the United States. At the same time, United States foreign direct investment and trade with China has been decreasing. This is even more significant when we are in a period of internal growth within the United States. Using comparative business system analysis theory and a mixed method approach we conclude that Vietnam is turning into the new China for United States firms due to the fewer differences (...) that exist between their business systems. The Chinese business system has major differences when compared with the economic system of the United States, whereas the Vietnam system has closer resemblance to the United States system. We have laid out inferences of our arguments for future research, particularly in the area of institutional comparative advantage. (shrink)

Santangelo, Paulo (ed.). 2012.Laughing in Chinese.Rome: Aracne Editrice. 472pp. €26. ISBN 97888 548 46203. This book of 15 papers is divided into four parts: humor in Chinese and Japanese literary works, examples of comic literature, the moral involvement of humor, and the psychology of humor. Santangelo provides a substantial introduction to smiles and laughter in the Chinese context and also to the papers in his book (pp. 5–28). This structure lends itself to a description and analysis of smiling and laughing (...) as both social acts and as manifestations of states of mind. An identifiable theme is the interrelationship between social acts (the sociology, culture or politics of situation) and manifest states of mind (the psychology of the individuals involved in the situation). (shrink)

A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO), is a community-driven ontology developed to standardize and integrate data (...) relating to AEs arising subsequent to medical interventions, as well as to support computer-assisted reasoning. OAE has over 3,000 terms with unique identifiers, including terms imported from existing ontologies and more than 1,800 OAE-specific terms. In OAE, the term ‘adverse event’ denotes a pathological bodily process in a patient that occurs after a medical intervention. Causal adverse events are defined by OAE as those events that are causal consequences of a medical intervention. OAE represents various adverse events based on patient anatomic regions and clinical outcomes, including symptoms, signs, and abnormal processes. OAE has been used in the analysis of several different sorts of vaccine and drug adverse event data. (shrink)

This chapter explores how Guo Xiang’s views emerge from his approach to the metaphysics of dao 道 (way) and the place of human activity and agency in dao. Once we understand his views on these points, we can see that he holds a distinctive conception of the self and agency—and, accordingly, normatively appropriate action—on which self-fulfillment and easy, aimless freedom are consistent with his doctrine of non-mindedness, which in fact presents a precondition for attaining them. As I will show, GUO (...) Xiang uses key terms such as zi 自 (self), xin (heart-mind), zhi 知 (know), and xing (inherent character) in distinctive, specialized ways that diverge both from common uses of these words in Chinese and from familiar categories in contemporary philosophical psychology yet are coherent, intelligible, and defensible. The normative conception of agency and the well-lived life that emerges from his Zhuangzi commentary can at first sight seem puzzling and counterintuitive. But I will contend that it is plausible and presents a fascinating, profound, and potentially correct view of the nature of human agency and the sources of normativity. (shrink)

In this paper we define neutrosophic bi-LAsemigroup and neutrosophic N-LA-semigroup. Infact this paper is an extension of our previous paper neutrosophic left almost semigroup shortly neutrosophic LAsemigroup. We also extend the neutrosophic ideal to neutrosophic biideal and neutrosophic N-ideal. We also find some new type of neutrosophic ideal which is related to the strong or pure part of neutrosophy. We have given sufficient amount of examples to illustrate the theory of neutrosophic bi-LA-semigroup, neutrosophic N-LAsemigroup and display many properties of them (...) this paper. (shrink)

Here, we try to show that the method used in -/- Theory of Fuzzy Time Computation(TC * vs TC, TQC). 2023. ￿hal-04330281￿ -/- is a general method that sheds light on various types of problems. The author choose the navier stocks problem, to check the possibility of solving this problem by this method. This text is a guideline of possible proof of this problem.

This chapter presents an analysis of Wang Bi’s (226-249 CE) hermeneutics and reception theory via the concept of “forgetting” (wang 忘) in his essay “Clarifying the Images” (Ming xiang 明象).

A critical explanation of Ernest Sosa's bi-level virtue epistemology.

Soft set theory is a general mathematical tool for dealing with uncertain, fuzzy, not clearly defined objects. In this paper we introduced soft neutrosophic biLA-semigroup,soft neutosophic sub bi-LA-semigroup, soft neutrosophic N -LA-semigroup with the discuission of some of their characteristics. We also introduced a new type of soft neutrophic bi-LAsemigroup, the so called soft strong neutrosophic bi-LAsemigoup which is of pure neutrosophic character. This is also extend to soft neutrosophic strong N-LA-semigroup. We also given some of their properties of this (...) newly born soft structure related to the strong part of neutrosophic theory. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

A bi-level account of trust is developed and defended, one with relevance in ethics as well as epistemology. The proposed account of trust—on which trusting is modelled within a virtue-theoretic framework as a performance-type with an aim—distinguishes between two distinct levels of trust, apt and convictive, that take us beyond previous assessments of its nature, value, and relationship to risk assessment. While Ernest Sosa (2009; 2015; 2017), in particular, has shown how a performance normativity model may be fruitfully applied to (...) belief, my objective is to apply this kind of model in a novel and principled way to trust. I conclude by outlining some of the key advantages of the performance-theoretic bi-level account of trust defended over more traditional univocal proposals. (shrink)

Die Frage des Weiterlebens nach dem Tod ist sinnvoll, selbst im Lichte des strengen Sinnkriteriums der logischen Empiristen. Schlick schlägt folgende Verifikationsmethode fürs postmortale Weiterleben vor: "Warte, bis Du stirbst". Da Schlick diesen Gedanken nicht ausgearbeitet hat, spiele ich verschiedene Versionen der vorgeschlagenen Verifikation durch: Weiterleben mit einem fremden Körper und körperloses Weiterleben. Um die Identität des Weiterlebenden zu sichern, braucht der Weiterlebende Erinnerungen, intellektuelle Aktivität, Willensentscheidungen und kontinuierliche Erlebnisse ohne Bruch. Ob diese Aspekte unseres mentalen Lebens allesamt für Schlicks (...) Zwecke erforderlich sind, werde ich nicht entscheiden; doch Schlicks Chancen steigen, je mehr Aspekte des mentalen Lebens auch nach dem körperlichen Tod im Spiel bleiben – sicher ist sicher. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Only ten years since Derrida’s death, with critical detachment, is it possible to be in touch with him again, to start from the beginning of his philosophizing in company with Plato, and from this vantage point to re-read Dissemination? What really stands between Plato and Derrida? In the first page of Pharmacia Derrida writes: “We will take off here from the Phaedrus ... Only a blind or grossly insensitive reading, could indeed spread the rumour that Plato was simply condemning the (...) writer’s activity”.1 Hence the question: Is the nexus writing/pharmakon profitable for thinking of something ambivalent and irreducible, present and absent, something bearer of indefinitely deferred presence in the play of infinite real or imaginary substitutions? The main enterprise of this essay orbits about the problematic of writing, understood as τέχνη, but also as a key locus of relation Plato/ Derrida. Here technology - and thinking of its function and value- I would like to argue, regards the technical and non-technical, the practical and theoretical, seeing that thinking of their function remains always a “parasitical contamination”, seeing that writing is another speech, and, according this statement, we may regard Plato as he who paves the way for Derrida. In what follows, through textual analysis I will focus on some interesting unrolling, connected and disconnected threads by discussing the readings of different scholars and philosophers such as the disputed classicist E. A. Havelock, the historians of ancient philosophy G. Reale and C. H. Kahn. In particular I will explore, first, the nexus speech/writing, and argue that historically Plato was a bi-medial philosopher and writer, an aspect taken for granted, but not sufficiently attended by scholarship. In the second part of the essay I hold that the Derridean reading of ‘Plato’s Pharmacy’ discovers a special deconstruction at work within Plato’s dialogues. In the light of the manifold τέχνη, and of the hybrid Khora, at the end the apparent ambiguity in Plato’s stance and Derrida’s φάρμακον invites us to identify Plato as the Father of deconstruction. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

We study the algorithmic complexity of isomorphic embeddings between computable structures.

Khi chúng ta nhìn nhận khả năng bền bỉ và phục hồi như một quá trình xử lý thông tin, chúng ta có thể hiểu được cách mà các yếu tố nội tại và ngoại vi tương tác để ảnh hưởng đến quá trình phục hồi ở mỗi cá nhân hoặc tổ chức.

Nhân đọc bài bình sách mặc dù rất gọn, nhưng không hề kém lý thú trên tờ Kinh tế và Dự báo [1], vài suy nghĩ liên hệ chợt đến. Đoạn trích của bài bình sau là ví dụ: “Đối với trẻ em, chú chim Bói Cá trên cho thấy hậu quả không tốt của những người hay trì hoãn làm việc. Đối với người trưởng thành, câu chuyện phê phán những người ôm lấy lý thuyết mà không chịu hành (...) động, thiếu thực tiễn trong cuộc sống”. Quả nhiên những chuyện tương tự như trên ngẫm ra thấy rất phổ biến. Ngay trong công việc, chúng tôi cũng vẫn cứ phải nhắc nhau, vì có biết thì vẫn cứ thỉnh thoảng xảy ra. (shrink)

With regard to recent historical developments, the Social Model has been of enormous emancipatory significance, chiefly as a counter-agent against rigid definitions of dis-/ability and the traditional role (marked by misfortune) imposed on disabled people. Based on underdetermined notions of “social construction”, this model presently threatens to unduly narrow reflections on the existential conditions of disabled agents, and to obscure crucial questions facing just social orders of the future. These notions imply an overemphasis on linguistic/mental and cultural acts in the (...) shaping of life courses, whereas physical, practical and existential pre-conditions of life come to be disregarded as purportedly freely available, (natural) features. Conversely, this argumentation sketch – a contribution to DisKo18 – works towards a reconceptualisation of disability rooted in external realism, assuming partially autonomous agents. The paper asks: What is the place of disabled people in the world, given that the elementary conditions and problems of life are not primarily of human origin, but arise out of a complex interaction with elements of external reality? What space remains to them in view of extant impairment-related restrictions? Based on a critique of constructionist tenets, possibilities for a just social order are discussed, considering (a) disabilities vs. (b) external, pre-social factors that limit the range of possible social solutions, with special regard to available resources. This approach is exemplified by placing disability in contexts of ecological sustainability. (Paper in German, short version). (shrink)

Hội nghị tổng kết công tác năm 2024 của Chính phủ và chính quyền địa phương đã đánh giá cao kết quả đạt được trong năm, với 15 chỉ tiêu chủ yếu đạt và vượt kế hoạch.

Development economist Hernando de Soto Polar has effectively advocated for property rights in the Third World, as his ideas have influenced the policies of the World Bank, International Monetary Fund and United Nations Development Programme. He envisions land titling as a means of lifting the poor out of poverty. I argue that his classical liberal interpretations of property and the good life are dangerously naive. One can see the dangers of de Soto’s imperialist and one-dimensional vision after considering the cultural (...) destruction that results from his brand of development in pastoral Kenya. Also, this article demands a reframing of standardized development approaches. It argues that the conventional view is prone to creating unstable, culturally hegemonic relationships between the government and entrepreneurs, and the people of the land. Asymmetrical lawfare is another nondemocratic feature of de Soto’s development. This article emphasizes that Kenyan pastoralists are not inherently vulnerable people but that they have been rendered vulnerable by society. Lastly, the United Nations Declaration on the Rights of Indigenous Peoples (UNDRIP) is the basis for an alternative to de Soto’s development design. UNDRIP was a hard-fought legal protection for the world’s indigenous peoples that makes human dignity central to development. The Global North and Global South produce differing visions of development. This article points to Kenya as an example of how the Global North’s vision has fundamentally failed because it disenfranchises pastoralists—the very people policymakers and policy supporters claim it is intended to benefit. (shrink)

Business intelligence (BI) and data visualization tools play a pivotal role in today's businesses by facilitating data-driven decision-making. Amazon's AWS, Microsoft's Azure, and Google's GCP are the three foremost cloud service providers, providing extensive solutions encompassing computing, storage, databases, and advanced cloud services. This paper delivers a thorough comparative analysis of three top BI platforms: Amazon Studio, Microsoft Power BI, and Google Looker. It evaluates their features, user-friendliness, integration options, pricing structures, and customer support. By comparing specific features and examining (...) real-world applications, this paper offers bits of knowledge that will assist organizations with picking the best tool to meet their particular requirements. The objective is to aid businesses and professionals in comprehending the strengths and weaknesses of each platform, thereby enabling them to make informed choices tailored to their unique needs. (shrink)

Trong thế giới khoa học hiện nay, việc một nhà khoa học có bài báo bị rút thường bị ngầm hiểu gắn liền với các lỗi vi phạm đạo đức như ngụy tạo dữ liệu, đạo văn, quá trình phản biện bị thao túng, gian lận về danh sách tác giả... Điều này nếu đúng thì từ phía nhà khoa học, việc công khai, minh bạch thừa nhận các lỗi của mình với các đơn vị chức năng là điều đương (...) nhiên. (shrink)

Nhiều học giả cho rằng cuốn sách của Tổng bí thư Nguyễn Phú Trọng như “kim chỉ nam” về giữ gìn giá trị văn hóa truyền thống và cách mạng, về phát triển văn hóa trong thời kỳ mới.

Thomas Garrigue Masaryk, later founder and President of the Republic of Czechoslovakia, studied philosophy in the University of Vienna from 1872 to 1876, where he came under the powerful influence of Franz Brentano. We survey the role of Brentano’s philosophy, and especially of his ethics, in Masaryk’s life and work, and also in the life and work of Jan Patočka, a hero of the resistance to communism in Czechoslovakia.

Bài viết nghiên cứu đặc điểm của doanh nghiệp (DN) may Việt Nam hiện nay, bao gồm các đặc điểm về quy mô, khả năng tài chính và công nghệ, năng lực sản xuất, sự phụ thuộc vào các đối tác bên ngoài. Từ đó, nhóm tác giả phân tích ảnh hưởng của những yếu tố trên đến lựa chọn hình thức sản xuất chủ yếu tại các DN may Việt Nam. Nhóm tác giả cũng giới thiệu nội dung thực (...) hiện 3P dưới sự tác động của phương thức sản xuất chính trong các DN may Việt Nam, trên cơ sở đó đưa ra các khuyến nghị hoàn thiện 3P trong các DN may. (shrink)

An Introduction to Contemporary Metaphysics is one of the most popular and well-read volumes of Routledge's current collection. This book examines the most important issues in metaphysics with exemplary mastery, clear expression, a new perspective, and an analyticalapproach.

Nghiên cứu khảo sát bằng bảng hỏi được thiết kế theo thang đo Likert 5 mức độ gửi tới 380 khách hàng nữ trong độ tuổi 18-35 tham gia mua sắm mỹ phẩm thông qua livestream trên nền tảng TikTok nhằm phân tích tác động của chương trình khuyến mãi và nỗi sợ bị bỏ lỡ đến quyết định mua sắm bốc đồng của phụ nữ trẻ khi xem livestream mỹ phẩm trên TikTok. Số mẫu thu về hợp lệ là (...) 242 mẫu, dữ liệu sau khi thu thập được phân tích bằng phần mềm SmartPLS 4. Kết quả nghiên cứu cho thấy, nhân tố Chương trình khuyến mãi và Sự tham gia vào phiên livestream có tác động đáng kể đến Ý định và Quyết định mua sắm bốc đồng của phụ nữ trẻ. Trong khi đó, nhân tố Nỗi sợ bị bỏ lỡ không có ý nghĩa thống kê đối với Ý định mua sắm, nhưng vẫn ảnh hưởng đến Quyết định mua sắm. (shrink)

Metaphysics is a discipline with a long history, and throughout this history, this discipline has been considered in various ways. These different perspectives link different methodologies and even different topics to the discipline; So anyone trying to write an introductory text on metaphysics must choose from these different perspectives.

Tại Hội nghị Văn hóa toàn quốc ngày 24-11-2021, Tổng Bí thư Nguyễn Phú Trọng đã phát biểu: “Phát huy cao độ những giá trị văn hóa, sức mạnh và tinh thần cống hiến của mọi người Việt Nam, tạo nguồn lực nội sinh và động lực đột phá để thực hiện thành công mục tiêu phát triển đất nước đến năm 2025, 2030, tầm nhìn 2045 mà Đại hội XIII của Đảng đã đề ra”. Xây dựng một hệ thống (...) các giá trị văn hóa có tính toàn cầu đối với vấn đề bảo vệ môi trường sinh thái, làm cho mọi quốc gia, mọi người hiểu và đánh giá đúng về vai trò của các giá trị văn hóa, đó là yếu tố quyết định thái độ và hành vi ứng xử của con người với môi trường và xã hội nhằm giữ vững một hệ sinh thái cân bằng và bền vững cho tương lai. Đó cũng là mục tiêu phát triển bền vững đất nước mà Đảng và Nhà nước ta hướng đến. (shrink)

Mit Sprache können wir nicht nur über Gewalt reden, mit Sprache können wir auch Gewalt zufügen. Der Band bietet eine systematische Erschließung dieser Gewalt der Sprache, indem er durch eine Vielzahl von Autorenportraits unterschiedliche Grundpositionen freilegt.

Disparities in educational outcomes between Māori and non-Māori students remain a pressing concern in New Zealand. Recent policy documents framed through notions of 'effectiveness' champion culturally responsive pedagogies (CRPs) to address the achievement gap in mainstream secondary schools. Here, I interrogate this claim through close analysis of the Te Kotahitanga project led by Russell Bishop which, despite extensive government support, including a $42 million investment to restart the initiative, has limited conceptual and empirical grounding. I then consider broader understandings of (...) effectiveness that might better capture the benefits of CRPs but argue, drawing on social realist criticism, that some practices may paradoxically lead to poorer educational experiences for many Māori students by restricting access to disciplinary knowledge. I conclude that CRPs have variable effectiveness and are unlikely – on their own, at least – to greatly improve educational outcomes for Māori. (shrink)

An Introduction to Contemporary Metaphysics is one of the most popular volumes of Routledge series in contemporary philosophy.