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)

◎ 第一部全面探討東亞康德哲學的專著。 ◎ 完整呈現康德哲學傳東亞的過程，以及各國康德研究的意義與課題。 ◎ 本書由臺、中、日、韓學者共同合作，並以中、日、韓文出版，為東亞學術交流史上一大成就。 在西方哲學的發展當中，十八世紀的德國哲學家康德無疑是最受矚目的一位，他集西方傳統哲學之大成，也是現代西方哲學的共同源頭，具有承先啟後之關鍵地位。康德哲學於十九世紀中葉逐步傳入中國與日本、二十世紀初傳入 韓國，迄今已超過一百多年，對現代東亞文化具有難以估計的影響。 本書是第一部全面探討東亞學界如何接受與吸收康德哲學的專門論著，書中從接受史的角度闡述康德哲學傳入臺灣、中國、日本與韓國的過程；並從跨文化的視野，深入分析在此過程中涉及的哲學問題。誠如前輩康德專家鄭昕所 言：「超過康德，可能有新哲學，掠過康德，只能有壞哲學。」東亞各國對康德哲學的受容，並非只是被動吸收，而是反應各國學界所面臨的不同課題，呈現出多元化的樣貌。.

儒家是中國文化與哲學的主流，康德則建立了西方哲學第一個自律倫理學系統，兩者都有深刻而完整的內涵，深遠地影響了東、西方社會，至今力猶未逮。 中國傳統文化以實踐哲學為主，不長理論，西方哲學則以理論見長，實踐哲學欠缺獨立的地位，尤其是道德哲學，直到康德提出「自律」的原則，建立自律倫理學，才扭轉了情勢。康德對西方倫理學思考所造成的這種根本轉向， 被稱為「哥白尼式的革命」，因而與儒家思想間形成本質上的關聯。康德從人所共有的道德意識出發說明道德的本質，儒家則主張聖人之道本乎人心，仁義道德不離人倫日用。東西方聖哲的思想，就在人最根本的道德基礎上，如 電光石火般地交會，碰撞出絢麗的火花。 《儒家與康德》（增訂版）以論自律道德為主要論述的切入點，嘗試闡明康德的「自律」觀念並探討儒家孟子的自律倫理學，比較康德的「幸福」概念與儒家的義利之辯。本書自初版以來，已超過四分之一世紀，在學界引發了不 少討論與爭辯。「儒家與康德」這兩項跨文化的主題迄今依然是中外學界的熱門議題，值得繼續開發。 新版除原有的五篇精彩論文，又收錄作者兩篇論文：〈從康德的實踐哲學論王陽明的「知行合一」說〉及〈從康德的「道德宗教」論儒家的宗教性〉，並全面更新引用資料、修訂標題與文字，以便於讀者的閱讀與引用。.

儒家思想究竟是中國現代化歷程上的阻力還是助力？它能否在經過轉化後，繼續維持生命力？ 自十九世紀中葉以來，作為中國文化主流的儒家思想面臨了前所未有的挑戰，而有逐步崩解的危機。在這種嚴峻的形勢下，儒家傳統如何因應現代化之要求，並且在現代社會進行自我轉化，便成為現代儒家無法迴避的重要課題。 本書作者長期致力於詮釋並重建儒家傳統的工作，本書展現他從跨文化的視野對儒家思想之現代意義所作的省思。本書所收錄的十一篇論文，都是作者在特殊的機緣下針對當代學者的觀點而發，內容廣泛涉及儒家倫理學、儒學與 民主、科學的關係、內聖外王、內在超越性等重要議題。附錄中討論哈伯瑪斯對康德倫理學的批評與重建，間接為思考上述問題提供有意義的參考架構。.

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.

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)

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)

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 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.

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.

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)

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.”.

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)

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)

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)

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 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)

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)

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)

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)

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.

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.

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.

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)

To achieve environmental sustainability, the role of human capital and financial inclusion has been debated in limited empirical studies. Employing a reliable ARDL model approach, this study examines the dynamic link between human capital and ICT, financial inclusion, and CO2 emissions using the China economy dataset over the period 1998–2020. The vivacious side of human capital shows that literacy rate and average year of schooling curb CO2 emissions in long run. The results of human capital are also based on facts (...) in magnitude as well as in direction. Also, empirics unfold that digital financial inclusion significantly increases CO2 emissions. Based on these novel findings, a wide set of economic policies are repaired for environmental quality. Environmental education should be considered at early levels of education. The authorities and policymakers should fix energy-related issues through education. The China government should stimulate the educational sector to conduct a clean and green revolution that acts as a mechanism for a green and clean economy. This study's finding is more effective than the previous unlike empirical studies for policy-making because of the advanced econometric method. (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)

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.

The global consequence relation of a normal modal logic \ is formulated as a global sequent calculus which extends the local sequent theory of \ with global sequent rules. All global sequent calculi of normal modal logics admits global cut elimination. This property is utilized to show that decidability is preserved from the local to global sequent theories of any normal modal logic over \. The preservation of Craig interpolation property from local to global sequent theories of any normal modal (...) logic is shown by proof-theoretic method. (shrink)

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)

自己思考過後找到的答案，往往跟自己有關。 這個屬於自己的答案，當然比別人給的更特別，更好。__褚士瑩 褚士瑩師事法國哲學老師奧斯卡‧柏尼菲，從這一位「非典型」老師身上經歷了前所未有的思考練習與震撼教育。 世界上這麼多東西可以學，為什麼一定要學哲學？而且值得學的老師那麼多，為什麼偏偏是奧斯卡？ 褚士瑩形容奧斯卡是「搶走禮物的聖誕老人」，甚至因為幫忙安排諮商行程，竟然收到律師函，成為被告上法庭…… 但是褚士瑩卻在學習哲學思考的過程中，變成一個被「挑戰」問題時超開心，被「質疑」問題時興奮無比的人。 問，為什麼人生不能想做什麼就做什麼？ 問，為什麼學思考，就等於學做人？ 問，為什麼被挑戰、被質疑，反而會高興？ 問，為什麼謹慎小心不好？ 問，為什麼有錢人不會成為物質的奴隸？ 問，為什麼我不能幫爸媽安排他們的人生？ 問，為什麼要學習「享受」問題，而不是「解決」問題？ 人生階段百百問，但是如果我們開始動腦思考，其實就已經踏入改變自己的第一步。 《我為什麼去法國上哲學課？》實踐篇最大的特點在於，本書將強調如何使用思考的技巧，幫助我們每一天的生活。而最好的方法就是從觀察開始，任何生活裡的小事，都可以去問「為什麼會這樣？」「為什麼會有這個現象？」 不論是跟人一句短短的對話，還是我們聽到的一句話，都可以觀察自己的反應與情緒。 如此一來「每一件事情都可以想，世界上沒有任何一件不可以想的事情，從此以後我沒有任何一個時刻是無聊的，因為就算聽到很無聊的話，也可以觀察這個人為什麼會說這麼無聊的話？他真的相信說的這些話嗎？如果他不相信 ，為什麼他覺得他要說呢？」 本書也等於透過實例舉證，讓讀者像是親臨「哲學諮商」的實境，在每一個生活上會產生的問題，如人與人之間的溝通、對未來的徬徨與抉擇、金錢的價值觀，最重要的是釐清複雜的人際關係，學習相處與成長。當我們將問題透 過「哲學思考」來一層一層推理，最終我們都回到最原始的關鍵上，那就是：「我是一個 什麼樣的人？」「我認識我自己嗎？」「我了解自己嗎？」「我愛自己嗎？」 本書特色 工作無法趁心如意，對未來茫然不知方向，到底該轉職？還是繼續忍耐熬？ 你其實想大吼：人生難道不能想做什麼就做什麼嗎？ 越想完美經營人脈，越抓不到重點，你有沒有想過自己對「人際關係」很貪心？ 好了，現在下決心脫離舒適圈，好像自由高飛了， 但你也許在「更保守的國外」原地踏步繞圈圈…… 以上問號絕對不是「跟著感覺走」就能夠得到答案，也不是別人的答案，可以先偷來用。 你如何找到屬於自己的路？ 哲學思考實踐→尋找適合自己的思考方法 ★用第三者的角度來看自己。 ★學習享受問題，而不是解決問題。 ★善用「刪去法」知道自己不要什麼。 ★「跟著感覺走」不是真思考。 ★人生充滿未知，請不要過度準備。 ★把每一個意外，都當成一個禮物。 ★不斷練習，養成有紀律的思考習慣。.

Epistemic monadic Boolean algebras are obtained by enriching monadic Boolean algebras with a knowledge operator. Epistemic monadic logic as the monadic fragment of first-order epistemic logic is introduced for talking about knowing things. A Halmos-style representation of epistemic monadic Boolean algebras is established. Relativizations of epistemic monadic algebras are given for modelling updates. These logics are semantically complete.

本书是作者的一部遗作。书中对中国国学大师王国维1898-1911年间11种哲学译稿进行了详尽周密考订和主板,可谓王国维研究的可喜成果。作者同时利用加“按”的形式,在许多细微的对比与议论中贯注了自己的审 美意识与世界观,也具有学术价值.

本书主要研究的是心理现象的形式、范围、本质、特征、心身关系、心理内容及其根源等,并对常识心理解释模式和心理学进行哲学反思。.