Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'

Routley-Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting.     

On Fork Arrow Logic and its Expressive Power

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order correspondence language, so both can express the same input–output behavior of processes.     

Methodological naturalism and epistemic internalism

Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for thinking that naturalism in epistemology is compatible with both internalist and externalist conceptions of justification. We also argue that there are some distinctively internalist aims that are currently being studied scientifically and these notions, and others, should be studied by scientific methods. This essay is dedicated to Deborah Mayo, who has long advocated using error statistical techniques to analyze and resolve epistemological puzzles in the philosophy of science. This essay follows the same spirit by advocating that computational concepts and techniques be applied within the heart of traditional, analytic epistemology.     

医学教育发展的困局与突破

受“大跃进”思维模式影响,我国高等教育由精英化快速过渡到大众化,医学教育呈现出急剧膨胀的发展态势,在教育理念、培养体系、办学模式、学制结构、专业设置、教育质量等方面出现了许多新情况、新问题,陷入了发展困局.面对困局必须更新教育观念,加强统筹协调,推动医学教育科学发展.     

CBL、PBL及Seminar结合的立体教学模式的应用和思考——临床医学八年制呼吸科床旁教学实践中的应用

临床医学八年制内科学床旁教学应用传统的教学模式及基于案例的学习（CBL）单一教学方法难以满足教学要求.将CBL与基于问题的学习（PBL）及研讨会（Seminar）结合的立体教学模式应用于呼吸科的床旁教学实践中,激发了学生学习的积极性、创新性,培养了学生良好的团队合作精神和临床思维模式,提高了学生们解决临床问题的能力,并能加深师生互动交流,达到教学相长的目的.     

Kant on Complete Determination and Infinite Judgement

In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it as synthetic, and what his explanatory claim means. I argue that the principle of complete determination does not follow from the principle of excluded middle because the externally negated or ‘negative’ judgement ‘Not (S is P)’ does not entail the internally negated or ‘infinite’ judgement ‘S is not-P.’ Kant's puzzling explanatory claim means that empirical objects are determined by the content of the totality of experience. This entails that empirical objects are completely determinate if and only if the totality of experience has a completely determinate content. I argue that it is not a priori whether experience has such a completely determinate content and thus not analytic that objects obey the principle of complete determination.     

文化心理学的跨学科运用——以跨文化传播研究为例

文化心理学是最近二三十年来心理学中发展最快的领域之一,作为一门典型的交叉学科,它有人类学、心理学、传播学等多种学科取向,是一门有胸怀、有气度、能包容的学科。文化心理学与跨文化传播研究诞生在相同的社会历史文化背景中,拥有共同的学科渊源,这种天然的关系决定了跨文化传播研究中运用文化心理学的正当性、必然性。文化心理学的全球化研究视角为跨文化传播研究提供了参照; 文化的观念、文化适应理论、文化敏感性和文化冲突理论等文化心理学的概念和理论为跨文化传播研究提供了理论支撑; 文化心理学还为跨文化传播现象和问题的具体研究提供了分析工具。反之,跨文化传播研究不仅为文化心理学提供了鲜活的案例,还为其理论建构提供了重要资源。     

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

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

     

The Relation between Formal and Informal Logic

The issue of the relationship between formal and informal logic depends strongly on how one understands these two designations. While there is very little disagreement about the nature of formal logic, the same is not true regarding informal logic, which is understood in various (often incompatible) ways by various thinkers. After reviewing some of the more prominent conceptions of informal logic, I will present my own, defend it and then show how informal logic, so understood, is complementary to formal logic.