A logical expression of reasoning

A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible Deduction (LPD), a deductive logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented.     

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK

The paper aims at providing the multi-modal propositional logicLTK with a sound and complete axiomatisation. This logic combinestemporal and epistemic operators and focuses on m odeling thebehaviour of a set of agents operating in a system on the backgroundof a temporal framework. Time is represented as linear and discrete,whereas knowledge is modeled as an S₅-like modality. A furthermodal operator intended to represent environment knowledge isadded to the system in order to achieve the expressive powersufficient to describe the piece of information available tothe agents at each moment in the flow of time.     

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

We present a methodology for the verification of multi-agent systems, whose properties are specified by means of a modal logic that includes a temporal, an epistemic, and a modal operator to reason about correct behaviour of agents. The verification technique relies on model checking via ordered binary decision diagrams. We present an implementation and report on experimental results for two scenarios: the bit transmission problem with faults and the protocol of the dining cryptographers.     

Cut-free common knowledge

Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in [L. Alberucci, G. Jäger, About cut elimination for logics of common knowledge, Annals of Pure and Applied Logic 133 (2005) 73–99], we apply the finite model property to “finitize” this deductive system. The result is a cut-free, sound and complete sequent calculus for common knowledge.     

ABCs of principal–agent interactions: Accurate predictions,biased processes,and contrasts between working and delegating

We experimentally investigate people’s evaluations of incentive pay contracts and people’s predictions of others’ evaluations of incentive pay contracts. We emphasize that the construction of evaluations and predictions often includes two substeps, involving likelihood judgment and likelihood weighting. Predictors appear to be biased at both substeps but in opposing directions. Accurate overall predictions thus sometimes reflect two errors that are of the same magnitude and thereby offset. Moreover, predictions can become more inaccurate if one step is debiased but the other is left untouched. Importantly, principals deciding whether to delegate a task are susceptible to just one of the biases. Delegation assessments are thus often flawed, reflecting a single error that is not offset.     

伦理治理:医疗卫生机构的角色和责任

在推进“健康中国”战略的大环境下,医疗卫生机构承担着服务全民健康的重大职责。然而,当前医疗卫生实践面临着诸多伦理问题,其中一个关键原因在于医疗卫生机构尚缺乏相应的伦理规约。从“机构伦理”的视角出发,探讨医疗卫生机构的伦理治理。在从理论角度梳理医疗卫生机构面临的伦理问题和挑战的基础上,探讨医疗卫生机构同时作为“治理主体”和“治理对象”应当承担的道德责任,以期为探讨医疗卫生机构伦理提供一个可能的视角。     

条件反射性免疫调节的动物研究

心理神经免疫学是一个新兴的跨学科研究领域,其研究内容涉及许多方面。其中条件反射性免疫调节是心理神经免疫学研究中最引人注目的研究领域。本文着重介绍了有关条件反射性免疫药理学效应及抗原作为非条件刺激所致的条件反射性的免疫效应的基本的实验设计和研究方法,讨论了对其实验结果的不同解释,对条件反射性免疫效应方向的预测及所包含的学习过程也进行了一定的分析。     

The epistemic innocence of psychedelic states

One recent development in epistemology, the philosophical study of knowledge, is the notion of ‘epistemic innocence’ introduced by Bortolotti and colleagues. This concept expresses the idea that certain suboptimal cognitive processes may nonetheless have epistemic (knowledge-related) benefits. The idea that delusion or confabulation may have psychological benefits is familiar enough. What is novel and interesting is the idea that such conditions may also yield significant and otherwise unavailable epistemic benefits. I apply the notion of epistemic innocence to research on the transformative potential of psychedelic drugs. The popular epithet ‘hallucinogen’ exemplifies a view of these substances as fundamentally epistemically detrimental. I argue that the picture is more complicated and that some psychedelic states can be epistemically innocent. This conclusion is highly relevant to policy debates about psychedelic therapy. Moreover, analysing the case of psychedelics can shed further light on the concept of epistemic innocence itself.     

Teleology and the intentions of supernatural agents

Teleological beliefs about the natural world often exist implicitly, and there is a positive relationship between teleological endorsement and belief in supernatural agents. In the current study, participants judged a series of scientifically unwarranted teleological explanations of biological organisms and natural non-living objects, under speeded or un-speeded instructions. After controlling for belief in the existence of supernatural agents, rates of implicit (speeded) and explicit (un-speeded) teleological endorsement were moderated by the belief that supernatural agents intentionally interact with the world. Amongst non-religious individuals, rates of implicit endorsement were significantly higher than explicit endorsement, whereas for highly religious individuals the difference was non-significant. This interaction was driven predominantly by explanations of natural non-living objects. These results are consistent with an intention-based theory of teleology, and help to reconcile the finding of a positive relationship between teleological endorsement and belief in supernatural agents, with the those of an enduring teleological bias.