排序方式: 共有222条查询结果,搜索用时 15 毫秒
131.
Constraints for Input/Output Logics 总被引:1,自引:0,他引:1
In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, considering only the maximal subsets that do not yield output conflicting with a given input. When inputs are authorised to reappear as outputs, both maxichoice revision in the sense of Alchourrón/Makinson and the default logic of Poole emerge as special cases, and there is a close relation with Reiter default logic. However, our focus is on the general case where inputs need not be outputs. We show in what contexts the consistency of input with output may be reduced to its consistency with a truth-functional combination of components of generators, and under what conditions constrained output may be obtained by a derivation that is constrained at every step. 相似文献
132.
We consider substitutions in order sensitive situations, having in the back of our minds the case of dynamic predicate logic (DPL) with a stack semantics. We start from the semantic intuition that substitutions are move instructions on stacks: the syntactic operation [y/x] is matched by the instruction to move the value of the y-stack to the x-stack. We can describe these actions in the positive fragment of DPLE. Hence this fragment counts as a logic for DPL-substitutions. We give a calculus for the fragment and prove soundness and completeness. 相似文献
133.
Bruno Teheux 《Studia Logica》2007,87(1):13-36
In this paper, we develop a duality for the varieties of a Łukasiewicz
n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived
and we propose some ideas for future research.
Presented by Daniele Mundici 相似文献
134.
We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refinements that hold in our framework. 相似文献
135.
In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue rules with a simple scheme for betting on the
truth of atomic statements, and showed that the existence of winning strategies for the game corresponds to the validity of
formulas in Łukasiewicz logic. In this paper, it is shown that ‘disjunctive strategies’ for Giles’s game, combining ordinary
strategies for all instances of the game played on the same formula, may be interpreted as derivations in a corresponding
proof system. In particular, such strategies mirror derivations in a hypersequent calculus developed in recent work on the
proof theory of Łukasiewicz logic.
Presented by Daniele Mundici 相似文献
136.
In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a
purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language.
It is the logic K
t
4 plus a new axiom (P): ‘p Λ G
p ⊃ P G
p’. This formula was used by Prior in his original analysis of Master Argument. (P) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is
a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear
time. We show what properties of the set of moments are exactly forced by (P) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction.
Presented by Jacek Malinowski 相似文献
137.
对中期照护的定义、市场需求和国内实施难度进行了介绍。介绍了苏北人民医院医联体内开展中期照护的相关背景、基础条件、评估指标、医保结算、绩效分配及专家补贴方式。对在医联体联合病房内开展中期照护前后的情况进行比较,如对是否进行中期照护的急性肩袖损伤老年患者术后康复效果进行比较,苏北医院平均住院日及患者非计划再入院率,患者和工作人员的满意度,数据都有明显优化。说明在医联体联合病房内开展中期照护模式较适合术后需要康复的老年患者,应提升卫生院工作质量,加快三级医院运营效率,促进分级诊疗进一步推进。 相似文献
138.
采用中间概念测量法,围绕病人自主权、保密、有利、公平分配四个中间概念,对我国S省某医学院1108名医学生医学伦理推理行为表现和动机水平进行调查。调查发现,医学生在面对多重叠加的复杂伦理问题时,推理能力相对较差;对医学伦理行为动机的判定优于对行为的判定;医学生的年级、性别、医学伦理负面事件的干扰等因素,都会对其医学伦理推理能力产生影响。基于此,医学伦理教育应构建全方位、全环境的教育模式,明确教学目标、创新教育方式以加强伦理推理能力培养,充分利用隐性课程的积极作用。
相似文献139.
"先天八卦"中具有数理内涵,同样,"后天八卦"中亦具有数理内涵。前者呈二进制形态,后者则为三进制形态。《系辞》曰:"太极生两仪,两仪生四象,四象生八卦。"其实,四象生八卦有两种不同的逻辑法则,这两种不同的逻辑法则导致二进制八卦与三进制八卦。而且"后天八卦"与五行具有内在的关联,因此,"后天八卦"中的数理内涵比"先天八卦"中的数理内涵更显丰富。 相似文献
140.
Causation in a New Old Key 总被引:1,自引:0,他引:1
I argue (1) that it is not philosophically significant whether causation is linguistically represented by a predicate or by a sentence connective; (2) that there is no philosophically significant distinction between event- and states-of-affairs-causation; (3) that there is indeed a philosophically significant distinction between agent- and event-causation, and that event-causation must be regarded as an analog of agent-causation. Developing this point, I argue that event-causation's being in the image of agent-causation requires, mainly, (a) that the cause is temporally prior to the effect, (b) that the cause necessitates (is sufficient with necessity) for the effect. Causal necessity is explained as a derivative of nomological necessity, and finally, via a definition of the causal sentence connective, the logic of event-causation is shown to be a part of temporal modal logic. 相似文献