ObjectivesThe purpose of this study was to identify risk factors for delirium after total joint arthroplasty and provide theoretical guidance for reducing the incidence of delirium after TJA.MethodsThe protocol for this meta-analysis is registered with PROSPERO. We searched PubMed, the Cochrane Library and Embase for observational studies on risk factors for delirium after TJA. Review Manager 5.3 was used to calculate the relative risk or standard mean difference of potential risk factors related to TJA. STATA 14.0 was used for quantitative (...) publication bias evaluation.ResultsIn total, 25 studies including 3,767,761 patients from 9 countries were included. Old age has been widely recognized as a risk factor for delirium. Our results showed that the main risk factors for delirium after TJA were patient factors, comorbidities, surgical factors and drug factors.ConclusionsMultiple risk factors were associated with delirium after TJA. These results may help doctors predict the occurrence of delirium after surgery and determine the correct treatment.Systematic review registrationhttps://www.crd.york.ac.uk/prospero/, identifier: CRD42020170031. (shrink)

A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely many pretabular (...) extensions of \. (shrink)

The study aims to explore the roles of Massive Open Online Courses based on deep learning in college students’ English grammar teaching. The data are collected using a survey. After the experimental data are analyzed, it is found that students have a low sense of happiness and satisfaction and are unwilling to practice oral English and learn language points in English learning. They think that college English learning only meets the needs of CET-4 and CET-6 and does not take it (...) as the ultimate learning goal. After the necessity and problems in English grammar teaching are discussed, the advantages of flipped classrooms of MOOCs are discussed in English grammar teaching. A teaching platform is constructed to study the foreign language teaching mode under MOOCs, and classroom teaching is combined with the advantages of MOOCs following the principle of “teaching students according to their personalities” to improve the listening, speaking, reading, writing, and translation skills of foreign language majors. The results show that high-quality online teaching resources and the deep learning-based teaching environment can provide a variety of interactive tools, by which students can communicate with their peers and teachers online. Sharing open online communication, classroom discussion, and situational simulation can enhance teachers’ deep learning ability, like the ability to communication and transfer thoughts. Constructivism with interaction as the core can help students grasp new knowledge easily. Extensive communication and interaction are important ways for learning and thinking. The new model provides students with profound learning experience, expands the teaching resources of MOOCs around the world, and maximizes the interaction between online and offline teachers and students, making knowledge widely rooted in the campus and realizing the combination of online resources and campus classroom teaching. Students can learn the knowledge through autonomous learning and discussion before class, which greatly broadens the learning time and space. In the classroom and after class, the internalization and sublimation of knowledge are completed through group cooperation, inquiry learning, scenario simulation, display, and evaluation, promoting students to know about new knowledge and highlighting the dominant position of students. (shrink)

Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics and the relational semantics are introduced. Kripke-completeness for some quasi-Boolean modal logics is shown by the canonical model method. We show that every descriptive persistent quasi-Boolean modal logic is canonical. The finite model property of some quasi-Boolean modal logics is proved. A cut-free Gentzen sequent calculus for the minimal quasi-Boolean logic is developed and we show that it has the Craig interpolation property.

In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the (...) announced proposition. We dually characterize the associated submodel-injection map as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. As is well known, these complex algebras are complete atomic BAOs . The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras . Thanks to this construction, the benefits and the wider scope of applications given by a point-free, intuitionistic theory of epistemic updates are made available. As an application of this dual characterization, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, prove soundness and completeness of IPAL w.r.t. both algebraic and relational models, and show that the well known Muddy Children Puzzle can be formalized in IPAL. (shrink)

本书所编选的文章,是作者从事伦理学的教学和科研工作40多年来,在伦理道德建设方面潜心研究的成果。大体分为以下几个方面:伦理学基本理论研究、中国传统伦理思想研究、现实道德问题研究等。.

Mencius, the second sage of Confucianism after Confucius, is well known for his subtle argumentative skills. Mencius did not develop his own argumentation theory, but argumentation practices, including his political argumentation, have enormously inspired later scholars in China to develop argumentation theories. In this paper, we try to reconstruct Mencius’s political argumentation from perspectives of both strategic maneuvering developed by van Eemeren et al. in argumentation theory and truth-functional logic in formal logic. The aim is to manifest the Dao, a (...) rational balance among logical, dialectical and rhetorical dimensions in Mencius’s political argumentation. The results indicate that Mencius’s political argumentation is not only logically justified but also shown to have maneuvered strategically between reasonableness and effectiveness, and that human beings have a common ground of formal and substantial logos, which makes it possible for people from different cultural groups to communicate rationally. (shrink)

We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.

Every Berman’s variety \ which is the subvariety of Ockham algebras defined by the equation \ and \) determines a finitary substitution invariant consequence relation \. A sequent system \ is introduced as an axiomatization of the consequence relation \. The system \ is characterized by a single finite frame \ under the frame semantics given for the formal language. By the duality between frames and algebras, \ can be viewed as a \-valued logic as it is characterized by a (...) distributive lattice of \ elements with a unary operator. Moreover, a structural-rule-free, cut-free and terminating sequent system \ is established for \. The Craig interpolation property of \ is shown proof-theoretically utilizing \. (shrink)

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

本书收集了中国伦理学会会长罗国杰教授近20年来发表的著作、文章、书序等共计194 篇。从中,既可以看到罗国杰先生教学、研究的思想脉络,更可以把握改革开放以来我国伦理道德建设和社会主义精神文明建设的大致轨迹。.

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

A deterministic weakening \ of the Belnap–Dunn four-valued logic \ is introduced to formalize the acceptance and rejection of a proposition at a state in a linearly ordered informational frame with persistent valuations. The logic \ is formalized as a sequent calculus. The completeness and decidability of \ with respect to relational semantics are shown in terms of normal forms. From an algebraic perspective, the class of all algebras for \ is described, and found to be a subvariety of Berman’s (...) variety \. Every linearly ordered frame is logically equivalent to its dual algebra. It is proved that \ is the logic of a nine-element distributive lattice with a negation. Moreover, \ is embedded into \ by Glivenko’s double-negation translation. (shrink)

本书是罗根泽对诸子的哲学研究,包括《古史辨》第四册《诸子丛考》自序;战国前无私家著作说;由《墨子》引经推测儒墨两家与经书之关系;《墨子》探源等内容。.

Intuitionistic propositional logic with Galois negations ( \(\mathsf {IGN}\) ) is introduced. Heyting algebras with Galois negations are obtained from Heyting algebras by adding the Galois pair \((\lnot,{\sim })\) and dual Galois pair \((\dot{\lnot },\dot{\sim })\) of negations. Discrete duality between GN-frames and algebras as well as the relational semantics for \(\mathsf {IGN}\) are developed. A Hilbert-style axiomatic system \(\mathsf {HN}\) is given for \(\mathsf {IGN}\), and Galois negation logics are defined as extensions of \(\mathsf {IGN}\). We give the bi-tense (...) logic \(\mathsf {S4N}_t\) which is obtained from the minimal tense extension of the modal logic \(\mathsf {S4}\) by adding tense operators. We give a new extended Gödel translation \(\tau \) and prove that \(\mathsf {IGN}\) is embedded into \(\mathsf {S4N}_t\) by \(\tau \). Moreover, every Kripke-complete Galois negation logic _L_ is embedded into its tense companion \(\tau (L)\). (shrink)

Peirce introduced Existential Graphs in late 1896, and they were systematically investigated in his 1903 Lowell Lectures. Alpha graphs for classical propositional logic constitute the first part of EGs. The second and the third parts are the beta graphs for first-order logic and the gamma graphs for modal and higher-order logics, among others. As a logical syntax, EGs are two-dimensional graphs, or diagrams, in contrast to the linear algebraic notations. Peirce's theory of EGs is not only a theory of logical (...) syntax but also a proof theory for many logics. A set of transformation rules of graphs defines a proof system for a graphical logic. In this... (shrink)

本书分为“理论与背景”、“先秦儒家与经典诠释”、“传统儒者解经方法及其现代转折”三个部分.

Charles Peirce’s alpha system \ is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.

Editor’s AbstractTaiwanese Confucian Li Minghui is the best-known contemporary voice of New Confucianism. This is a published, edited transcript of an oral interview, so the style is somewhat informal, lively, even emotional. The first part of the interview primarily concerns the continued relevance of Confucianism in Taiwan, while the second focuses in part on Li's views of “Mainland New Confucianism.”.

Labelled tableau systems are developed for subintuitionistic logics \, \ and \. These subintuitionistic logics are embedded into corresponding normal modal logics. Hintikka’s model systems are applied to prove the completeness of labelled tableau systems. The finite model property, decidability and disjunction property are obtained by labelled tableau method.

Alexithymia and emotion regulation are closely related to internet addiction. However, no research has examined how the different components of alexithymia are associated with cognitive emotion regulation in the context of multi-strategy use in internet addiction. The current study aimed to investigate the relation between alexithymia and cognitive emotion regulation in individuals with internet addiction via network analysis. Participants included 560 students with Young’s Internet Addiction Test scores greater than 50 points; they were also asked to complete the Toronto Alexithymia (...) Scale and the Cognitive Emotion Regulation Questionnaire. The results revealed two bridge nodes emerging within the combined alexithymia and cognitive emotion regulation network model: “catastrophizing” and “externally oriented thoughts.” These findings indicate a more specific relation between alexithymia and cognitive emotion regulation and provide empirical evidence for targeted prevention and targeted interventions for internet addiction. (shrink)

In this analysis, we develop a new approach to investigate the semianalytical solution of the delay differential equations. Mohand transform coupled with the homotopy perturbation method is called Mohand homotopy perturbation transform method and performs the solution results in the form of series. The beauty of this approach is that it does not need to compute the values of the Lagrange multiplier as in the variational iteration method, and also, there is no need to implement the convolution theorem as in (...) the Laplace transform. The main purpose of this scheme is to reduce the less computational work and the error analysis of the problems than others studied in the literature. Some illustrated examples are interpreted to confirm the accuracy of the newly developed scheme. (shrink)

Becker argued Confucianism lacked of argumentation, dialogue and debate. However, Becker is wrong. First, the purpose of philosophical argumentation is to justify an arguer’s philosophical standpoints. Second, both Confucius’ Analects and Mencius’ Mencius were written in forms of dialogues. Third, the content of each book is the recorded utterance and the purpose of dialogue is to persuade its audience. Finally, after Confucius, Confucians’ works have either argued for those unjustified standpoints or re-argued about some justified viewpoints in the Analects.

A contraction-free and cut-free sequent calculus \ for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus \ for De Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both calculi enjoy the decidability and Craig interpolation. The sequent calculi are applied to prove some embedding theorems: \ is embedded into \ via Gödel–Gentzen translation. \ is embedded into a sequent calculus for classical propositional logic. \ is embedded into the sequent calculus \ for intuitionistic (...) propositional logic. (shrink)

This paper analyzes legal fact-argumentation in the framework of the argumentation-based litigation game by Xiong :16–19, 2012). Rather than as an ontological one, an ALG treats a legal fact as a fact-qua-claim whose acceptability depends on the reasons supporting it. In constructing their facts-qua-claims, parties to an ALG must interact to maintain a game-theoretic equilibrium. We compare the general interactional constraints that the civil and common law systems assign, and detail what the civil, administrative, and criminal codes of mainland China (...) require of the suitor, the respondent, and the trier to establish their respective S-, R- and T-facts. We also offer an improved version of the legal syllogism. (shrink)

Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical consequence and its properties. These texts have not been referred to in the literature before. We provide a complete reconstruction and transcription of these previously unpublished sets of manuscript sheets and analyse their main content. In the reconstructed text, Peirce is seen to outline both a general theory of deduction and a general theory of consequence (...) relation. The two are the cornerstones of modern logic and have played a crucial role in its development. From the wider perspective, Peirce is led to these theories by three important generalizations: propositions to all signs, truth to scriptibility, and derivation to transformability. We provide an exposition of such proposed semiotic foundation for logical constants and point out a couple of further innovations in this rare text, including the sheet of assertion, correction as a dual of deduction and the nature of conditionals as variably strict conditionals. (shrink)

The man and his times -- How Jesuit science conquered the Kangxi court -- Searching for truth in the origins of civilizations -- How to build a coalition around science -- An outsider enters the mainstream -- How to dethrone Jesuit science -- Bringing it home to the palace of light -- Legibility of visionary scholars.

Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...) can be transferred to modal logics. (shrink)

The finite model property (FMP) in weakly transitive tense logics is explored. Let \(\mathbb {S}=[\textsf{wK}_t\textsf{4}, \textsf{K}_t\textsf{4}]\) be the interval of tense logics between \(\textsf{wK}_t\textsf{4}\) and \(\textsf{K}_t\textsf{4}\). We introduce the modal formula \(\textrm{t}_0^n\) for each \(n\ge 1\). Within the class of all weakly transitive frames, \(\textrm{t}_0^n\) defines the class of all frames in which every cluster has at most _n_ irreflexive points. For each \(n\ge 1\), we define the interval \(\mathbb {S}_n=[\textsf{wK}_t\textsf{4T}_0^{n+1}, \textsf{wK}_t\textsf{4T}_0^{n}]\) which is a subset of \(\mathbb {S}\). There are (...) \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) lacking the FMP, and there are \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) having the FMP. Then we explore the FMP in finitely alternative tense logics \(L_{n,m}=L\oplus \{\textrm{Alt}_n^F, \textrm{Alt}_m^P\}\) with \(n,m\ge 0\) and \(L\in \mathbb {S}\). For all \(k\ge 0\) and \(n,m\ge 1\), we define intervals \(\mathbb {F}^k_{n,m}\), \(\mathbb {P}^k_{n,m}\) and \(\mathbb {S}^k_{n,m}\) of tense logics. The number of logics lacking the FMP in them is either 0 or \(2^{\aleph _0}\), and the number of logics having the FMP in them is either finite or \(2^{\aleph _0}\). (shrink)

As a method of family formation, cross-border surrogacy is controversial and beset by risks of exploitation. This article extends the literature on surrogacy by examining the way Australian surrogacy promotion and information events represent cross-border surrogacy. It examines the emerging phenomenon of surrogacy events held by a not-for-profit surrogacy organization to promote cross-border surrogacy in Australia—a country that prohibits commercial surrogacy. The article draws on observations from a series of surrogacy events in Australia and online during the 2019–21 time period. (...) It examines the presentations given at these events by surrogacy facilitators, surrogate mothers, and intended parents. We observed four themes: (1) Intended parents are positioned as consumers, (2) the benefits of cross-border commercial surrogacy are highlighted relative to other methods of family formation, (3) the positive side of cross-border surrogacy is accentuated, and (4) reproductive rights are emphasized. These representations run counter to feminist framings of cross-border surrogacy as exploitative and risky. This paper understands that the framing of surrogacy that occurs at these promotion events to be neoliberal in nature. The conceptualization helps explain their consumerist peppiness and commodifying subjectivity. (shrink)

This essay examines the classical Confucian perspective on the topic of happiness through the lens of three Western theories: hedonism, desire satisfaction theory, and objective list theory. My analysis of the two classical texts—the Analects and the Mencius —reveals that three salient aspects of the Confucian conception of happiness, namely ethical pleasure, ethical desire, and moral innocence, play the fundamental role in the guidance and evaluation of an individual’s life. According to Confucius and Mencius, happiness consists primarily not in pleasure, (...) but in ethical pleasure; the good life is not a life in which all or most of one’s desires are fulfilled, but a life in which the satisfaction of prudential desires is subject to the constraint of ethical desire; the source of the greatest happiness lies not in the attainment of the greatest political power, but rather in the cognizance of one’s moral innocence. For classical Confucian thinkers, the relationship between happiness and the good life is that happiness is a critically important constituent of the good life. However, happiness—defined in terms of pleasure, desire satisfaction, or a list of goods—needs to be tempered by moral constraints. In light of their views on happiness and the good life, I conclude that Confucius and Mencius each lived a good life that exemplified the three salient features of happiness, and to that extent they were happy. (shrink)

Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.

1. Husserl’s theory of primordial reduction proves to be notorious: it is essential to his analysis of alterity, yet the theory itself incurs various criticisms. On a popular reading, primordial re...