Although previous studies have explored relationships between psychological abuse and social support, the pathways from psychological abuse to social support are still unclear, particularly in Chinese adolescents. This cross-sectional study attempts to delineate the prevalence of psychological abuse and explore the relationships between psychological abuse, social support, and self-esteem under the Chinese cultural context. Data were obtained from 417 Chinese adolescents aged 15–18 years old. All of them completed the Child Psychological Abuse and Neglect Scale, Rosenberg Self-Esteem Scale, and Multidimensional (...) Scale of Perceived Social Support. Results indicated that the prevalence of psychological abuse in Chinese adolescents was 25.66%, and psychological abuse was negatively associated with self-esteem and social support, respectively. Self-esteem partially mediated the relationships between psychological abuse and social support. Findings highlight the importance of improving self-esteem in survivors of psychological abuse for decreasing the negative effects on social support. Additionally, the significance and limitations of the results were discussed. (shrink)

Robot-assisted retinal cannulation is an eye surgical procedure which can dissolve the obstruction by using robot to inject anticoagulant into occluded vessel. The current research on the critical parameters of cannulation for human is scarce because of the immature technology. Considering the influence of microneedle, this work investigated the effects of drug concentration, injection velocity, injection position, and size of clot on cannulation by theoretical analysis and finite element analysis. For finite element analysis, the multiphysics continuum model was established to (...) demonstrate species transport and reaction which simulates the entire lytic process of the occlusive clot, and four cell zones were established to describe the generation of plasmin with the addition of tissue-type plasminogen activator and fibrinolysis of clot by importing subroutines into each cell zone under the conditions of constant clot size and variable size, respectively. The results imply that the most efficient value of tPA concentration is 50 nM, injection velocity is 60 mm/s for clot length of 0.1 mm, and the best position to insert the cannula is 0.5 mm in front of the thrombus. For different clot lengths of 0.1 mm to 0.6 mm, the optimal range of tPA concentration and injection velocity is from 20 nM to 70 nM and from 40 mm/s to 60 mm/s, respectively, and explores the reasonable injection position of 0.3 mm to 0.5 mm in front of clot in a vein of 100 μm. This conclusion can be used to perform robot-assisted cannulation surgery to improve fibrinolytic efficiency. (shrink)

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a (...) Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras. (shrink)

While it has been known for several decades that the Āvaśyakacūrṇi of the Śvetāmbara Jaina tradition and the Mūlasarvāstivāda Vinaya of the Buddhist tradition share some common narrative plots or motifs, so far no detailed study has been made to understand the different ways in which parallel narrative material is utilized in the two texts. Through a comparative study of stories of three characters in the Mūlasarvāstivāda Vinaya and their counterparts in the Āvaśyakacūrṇi, this paper demonstrates that the Buddhists and (...) the Jainas who composed or redacted the two texts exploited parallel narrative plots or motifs along different lines and for different purposes. In particular, with regard to Jīvaka, who is widely known among Buddhists as a model of medical skill and religious faith, this paper argues that the fact that Jīvaka is prominently featured in Buddhist literature but finds no parallel in Jaina literature may be explained by the different attitudes of the two religions to medical healing and to the role of secular physicians in general. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

Di 1 juan. San song tang zi xu -- di 2-3 juan. Zhongguo zhe xue shi -- di 4-5 juan. Zhen yuan liu shu -- di 6 juan. Zhongguo zhe xue jian shi [translation of Short history of Chinese philosophy] -- di 7-9 juan. Zhongguo zhe xue shi xin bian -- di 10 juan. Zhe xue lun wen ji.

Wen ji" fen wei "Wo de xue shu chuang xin zhi lu (dai zi xu)" he "Ming dai zhu ming zhe xue jia Wang Tingxiang yan jiu"(di 1-2 juan), "Zhongguo zhe xue Fan Chou shi yan jiu" (di 3-4 juan), "Zhongguo shi xue yu Dong Ya shi xue yan jiu", "Zhongguo guan li zhe xue yan jiu" (di 5-6 juan), "Zhonguo zhe xue ji qi xian dai quan shi lun ji" (di 10-12 juan) wu da ban (...) kuai. (shrink)

v. 1. Ji nian juan = Annals -- v. 2. Ji shi juan = Chronicles -- v. 3-4. Xue an juan = Academics.

di 1 juan. Lun yu bie cai -- di 2 juan. Laozi ta shuo, Mengzi pang tong -- di 3 juan. Yi jing za shuo, Yi jing xi zhuan bie jiang -- di 4 juan. Chan zong yu dao jia, Dao jia, Mi zong yu dong fang shen mi xue, Jing zuo xiu dao yu chang sheng bu lao -- di 5 juan. Chan hai li ce, Chan hua, Zhongguo fo jiao fa zhan shi lüe, (...) Zhongguo dao jiao fa zhan shi lüe -- di 6 juan. Li shi de jing yan, Yi xin yi jiu de yi dai, Zhongguo wen hua fan yan -- di 7 juan. Ru he xiu zheng fo fa, Yao shi jing de ji shi guan, Xue fo zhe de ji ben xin nian -- di 8 juan. Jin gang jing shuo shen mo, Leng yan da yi jin shi -- di 9 juan. Yuan jue jing lüe shuo, Ding hui chu xiu, Leng qie da yi jin shi -- di 10 juan. Yuan ben da xue wei yan. (shrink)

Di 1 juan. Zhu zhang juan -- Di 2 juan. Xue shi juan -- Di 3 juan. Shi ji juan.

di 1 juan. Zheng lun pian -- di 2 juan. Zhe xue pian -- di 3juan. Wen hua pian -- di 4 juan. Shu xin yu sui bi pian.

Di 1-2 juan. Xi fang si chao -- di 3-4 juan. Zhongguo wen xue -- di 5-6 juan. Zhongguo xi ju.

volume 1. Zi zhuan ; Zhe xue si xiang shi juan -- volumes 2-4. Zhe xue si xiang shi juan -- volume 5. Yu yan li shi xue juan -- volume 6. Yu yan li shi xue juan ; Min su xue yu wen xue juan -- volume 7. Min su xue yu wen xue juan ; Mu lu wen xian xue juan -- volume 8. Mu lu wen xian xue juan ; (...) Sui bi xin zha juan. (shrink)

1 juan, lun Zhong xi zhe xue jing shen -- 2 juan, ru xue yu xin ru xue -- 3 juan, lun li yu guan li -- 4 juan, ben ti quan shi xue.

Di yi juan. Si wei xue, yuan li lun he zhe xue juan -- Di er juan. Mei xue juan -- Di san juan. Fu hao fen xi he yu yan fen xi juan -- Di si juan. Wen hua xue yu dao de zhe xue juan -- Di wu juan. Shi wen juan.

di yi juan. Wen yi mei xue -- di er juan. Zhongguo gu dian wen yi xue -- di san juan. Bi jiao wen yi xue --di si juan. Wen hua mei xue -- di wu juan. Mei de zhui xun.

This article argues that the price obtainable in an open market provides the best standard for determining the justice or injustice of the price of a product. The article argues that this standard, which is closely related to positions which have been held for hundreds of years, is superior to several alternative conceptions of the just price that have been put forward in recent years and is not subject to fundamental criticisms which can be addressed to them. The article also (...) shows how this standard is grounded in more fundamental principles of justice such as desert and equality. (shrink)

We give examples of calculi that extend Gentzen’s sequent calculusLKby unsound quantifier inferences in such a way that derivations lead only to true sequents, and proofs therein are nonelementarily shorter thanLK-proofs.

We prove a topological completeness theorem for the modal logic $$\textsf{GLP}$$ GLP containing operators $$\{\langle \xi \rangle :\xi \in \textsf{Ord}\}$$ { ⟨ ξ ⟩ : ξ ∈ Ord } intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X, any sentence $$\phi $$ ϕ consistent with $$\textsf{GLP}$$ GLP can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the (...) finitely many modalities that occur in $$\phi $$ ϕ. (shrink)

di 1 juan. Qian shen shou--shen shou shi dai -- di 2 juan. She ji shou shi dai -- di 3 juan. Zhu zi shi dai.

El presente trabajo se enfoca en el abordaje que realiza Foucault de la tragedia Edipo Rey de Sófocles. Mi objetivo es rastrear algunas diferencias entre el análisis que el autor realiza en sus trabajos de los años 70 y el que se encuentra en sus últimos cursos. En esta última etapa, aparece una interpretación que ya no se limita a la descripción genealógica de un modo de ejercer el poder, sino que muestra las implicancias transformadoras de este reconocimiento. A través (...) de esta torsión se hace explicita la dimensión ética del rastreo genealógico, una cuestión que se expresa en un posicionamiento más claro que distingue a la verdad del saber jurídico-discursivo. Este enfoque también revela las diversas posibilidades de desestabilización, cambio y constitución a la altura de este reconocimiento. (shrink)

In this paper it is studied the habit of wisdom according to Leonardo Polo; intellectual habit that is innate, superior to the others, solidary to the personal intellect, to whom attains as to known at the level of the act of human being, and to the others personal transcendentals.