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.     

The Concept of Intermediate Existence in the Early Buddhist Theory of rebirth

This article investigates the concept of intermediate existence in the early Buddhist theory of rebirth. The main sources investigated for this article are the Pāli canonical and commentarial literature. My main thesis is that early Buddhist discourses contain instances that suggest a spatial-temporal gap between death and rebirth known as ‘intermediate existence’ (antarābhava), in contrast to the idea of Theravāda Buddhist theory that rebirth takes place immediately without a spatial-temporal gap. In order to prove this, I argue that the ‘one who liberates in interval’ (anarāparinibbāyī) attains Nibbāna in the intermediate existence and the concept of gandhabbā in early Buddhist discourses refers to a being in intermediate existence, not to a dying consciousness (cuti-viññāna), and there are indirect inferences to an spatiotemporal gap between death and rebirth in the early Buddhist discourses.     

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

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

Metamorphic malicious code behavior detection using probabilistic inference methods

Existing antivirus programs detect malicious code based on fixed signatures; therefore, they have limitations in detecting metamorphic malicious code that lacks signature information or possesses circumventing code inserted into it. Research on the methods for detecting this type of metamorphic malicious code primarily focuses on techniques that can detect code based on behavioral similarity to known malicious code. However, these techniques measure the degree of similarity with existing malicious code using API function call patterns. Therefore, they have certain disadvantages, such as low accuracy and large detection times. In this paper, we propose a method which can overcome the limitations of existing methods by using the FP-Growth algorithm, a data mining technique, and the Markov Logic Networks algorithm, a probabilistic inference method. To perform a comparative evaluation of the proposed method's malicious code behavior detection, we performed inference experiments using malicious code with an inserted code for random malicious behavior. We performed experiments to select optimal weights for each inference rule to improve our malicious code behavior inferences’ accuracy. The results of experiments, in which we performed a comparative evaluation with the General Bayesian Network, showed that the proposed method had an 8% higher classification performance.     

Parameter selection based on fuzzy logic to improve UAV path-following algorithms

In order to steer an Unmanned Aerial Vehicle (UAV) and make it follow a desired trajectory, a high level controller is needed. Depending on the control algorithm, one or more parameters have to be tuned, having their values high impact on the performance. In most of the works, these parameters are taken as constant. In this paper, we apply fuzzy logic to select the parameters of the control law and compare this approach with the tuning by constant parameters and with another adjusting method based on the kinematic analysis of the equations of the UAV. After many simulations of the quadrotor following randomly generated paths, we have proved that the fuzzy tuning law is not only a good and feasible solution, but also more general as it can be applied to any trajectory.     

Disagreements Over Analogies

This essay presents a dialogical framework for treating philosophical disagreements as persuasion dialogues with analogical argumentation, with the aim of recasting philosophical disputes as disagreements over analogies. This has two benefits: (1) it allows us to temporarily bypass conflicting metaphysical intuitions by focusing on paradigmatic examples, (dis)similarities, and the plausibility of conclusions for or against a given point of view; and (2) it can reveal new avenues of argumentation regarding a given issue. This approach to philosophical disagreements is illustrated by studying the role of argumentation by analogy in disputes over Lockean justifications of intellectual property rights, and disagreements over whether artificial agents should be treated as moral agents. Finally, a nonexhaustive list of possible global and local points of contention over analogical arguments is identified in order to highlight potential avenues of argumentation in disagreements over analogies.     

Borderline personality disorder in an intermediate psychological therapies service

The intermediate psychological therapies service is provided for individuals referred with common mental health problems within the primary care psychological therapies service, but whose difficulties are longstanding and/or complex. The prevalence of borderline personality disorder (BPD) in intermediate psychological therapy services has not been researched to-date. The current study aimed to measure the prevalence of BPD amongst patients attending intermediate psychological therapies (n?=?63). The prevalence of BPD was established by identifying the number of patients who met DSM-IV criteria. BPD prevalence amongst patients attending an intermediate psychological therapy service was 37%. The high proportion of patients presenting with BPD indicates the potential need for staff training and supervision in how to manage such high levels of need at this service level. This is the first study to report prevalence rates of BPD specifically in an intermediate care psychological therapy service.     

The four antinomies of the death instinct1

Matte Blanco examines four paradoxical positions that arise out of Freud's writings on the death instinct. He notes that death is not a content known to the unconscious. Furthermore, the absence of time and space in the unconscious means that the conditions necessary for any process such as instinct are similarly absent. Matte Blanco demonstrates the way in which the antinomies that he explores can be explained in terms of the logics that obtain in the unconscious, and he suggests that the concept of the death instinct is one of the most profound expressions of the relationship between the modes that underlie conscious and unconscious logic.     

从"炸药"到"伟哥"创新历程的启示--科学创新思维中的逻辑与直觉

国家的经济发展需要科学创新的成果,而创新的成果源自创新的思维.法国数学家彭加勒在谈到创新性的思维时说过:"逻辑用于论证,直觉用于发明",并提出了创造性的科学思维活动的"三段式"理论.从"炸药"到"伟哥"科学创新的百年历程中,去验证和探究彭加勒的科学哲学思维,以及这个理论中包含的逻辑与直觉的关系.     

科学发展与文化逻辑--从杨振宁论中国无科学的观点说起

每一个文明都有自己存在的理由和发展的逻辑线路,不同文明可以有不同的发展程度,但不能有凌驾于其他文明之上的话语解释权.近代科学作为近代西方文明的产物,也同时是古代多种文明融合的产物.科学发展离不开自身所属的文化逻辑,但反过来具备同等文化逻辑的文明未必就一定产生科学.科学作为文化的一种形态,它没有必要成为所有文明的必经之路.我们在尊重、发展作为现代化工具的科学技术的同时,要反对用科学话语来解释工具之上的东西.