Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition

The paper presents a way to transform pregroup grammars into contextfree grammars using functional composition. The same technique can also be used for the proof-nets of multiplicative cyclic linear logic and for Lambek calculus allowing empty premises.     

基本医疗卫生改革的政治伦理、市场逻辑与未来走向

基本医疗卫生改革是当前实现“2030健康中国”和新时代下践行人民健康优先战略的一项制度创新。然而,现实中改革仍面临医疗资源配置不均和医疗服务供给效率不高的双重困境。本质上,医疗服务具有公利性与私利性二元属性,进而延伸出立足于公利性属性,基本医疗卫生改革应当坚守“人人公平享有”的政治伦理,鉴于私利性属性改革需要维护医疗市场主体合法逐利的正当权利,政府公利性创造与市场私利驱动是辩证性的哲学思考。我国医改未来应以公民健康与福祉共享为价值依归,始终坚持政府严守底线、市场有序竞争、社会和谐稳定的发展主线。

     

Critical thinking in North America: A new theory of knowledge,learning, and literacy

The pace of change in the world is accelerating, yet educational institutions have not kept pace. Indeed, schools have historically been the most static of social institutions, uncritically passing down from generation to generation outmoded didactic, lecture-and-drill-based, models of instruction. Predictable results follow. Students, on the whole, do not learn how to work by, or think for, themselves. They do not learn how to gather, analyze, synthesize and assess information. They do not learn how to analyze the diverse logic of the questions and problems they face and hence how to adjust their thinking to those problems. They do not learn how to enter sympathetically into the thinking of others, nor how to deal rationally with conflicting points of view. They do not learn to become critical readers, writers, speakers and listeners. They do not learn how to use their native languages clearly, precisely, or persuasively. They do not, therefore, become literate, in the proper sense of the word. Neither do they gain much in the way of genuine knowledge since, for the most part, they could not explain the basis for what they believe. They would be hard pressed to explain, for example, which of their beliefs were based on rational assent and which on simple conformity to what they have been told. They have little sense as to how they might critically analyze their own experience, or identify national or group bias in their own thinking. They are much more apt to learn on the basis of irrational than rational modes of thought. They lack the traits of mind of a genuinely educated person: intellectual humility, courage, integrity, perseverance, and faith in reason.Happily, there is a movement in education today striving to address these problems in a global way, with strategies and materials for the modification of instruction at all levels of education. At its foundation is an emerging new theory of knowledge, learning, and literacy, one which recognizes the centrality of independent critical thinking to all substantial learning, one which recognizes that higher-order, multilogical thinking is as important to childhood as to adult learning, and as important to foundational learning in monological as in multilogical disciplines. This educational reform movement is not proposing an educational miracle cure, for its leading proponents recognize that many social and historical forces must come together before the ideals of the critical thinking movement will become a full academic reality. Schools do not exist in a social vacuum. To the extent that the broader society is uncritical so, on the whole, will be society's schools. Nevertheless, the social conditions necessary for fundamental changes in schooling are increasingly apparent. The pressure for fundamental change is growing. Whether and to what extent these needed basic changes will be delayed or side-tracked, thus requiring new periodic resurgences of this movement, with new, more elaborate articulations of its ideals, goals, and methods — only time will tell.     

Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

Eine Auch Sich Selbst Missverstehende Kritik: Über das Reflexionsdefizit Formaler Explikationen

The criticism formulated by L. B. Puntel concerning the theory of dialectic proposed by the author is rejected. Puntel's attempt at explicating predication by means of (second order) predicate logic fails: It misjudges predication being already presupposed for the possibility of predicate logic, thus belonging to the transcendental conditions of formal predicate logic, so that predication itself cannot be further explicated by means of such logic. What is in fact criticized by Puntel is something like an artefact of formalization. The unreflected application of formal logic here generates problems instead of solving them.