Some independence results in interpretability logic

A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL.     

Syntactical results on the arithmetical completeness of modal logic

In this paper the PA-completeness of modal logic is studied by syntactical and constructive methods. The main results are theorems on the structure of the PA-proofs of suitable arithmetical interpretationsS of a modal sequentS, which allow the transformation of PA-proofs ofS into proof-trees similar to modal proof-trees. As an application of such theorems, a proof of Solovay's theorem on arithmetical completeness of the modal system G is presented for the class of modal sequents of Boolean combinations of formulas of the form p _i,m _i=0, 1, 2, ... The paper is the preliminary step for a forthcoming global syntactical resolution of the PA-completeness problem for modal logic.     

Conceivability,intensionality, and the logic of Anselm's modal argument for the existence of God

International Journal for Philosophy of Religion -     

Formal Methods in the Philosophy of Science

In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.     

Studies in the logic of K-onfirmation

Philosophical Studies - This research article revisits Hempel’s logic of confirmation in light of recent developments in categorical proof theory. While Hempel advocated several logical...     

心理治疗中的正式反馈

<正>式反馈是近年来发展出的一项提高临床实践的有效方法,它是指利用标准化的治疗效果测量工具,系统监控当事人评定的治疗进展情况,并将当事人的进展信息提供给治疗师,以供其随后的治疗作参考之用。治疗效果问卷评定系统和合作-改变效果管理系统是目前使用较为广泛的正式反馈测量工具。正式反馈的使用不仅能够改善偏离预期进展当事人(not on track,NOT)的治疗效果,提高当事人治疗进展的速率,同时还能够促进治疗双方更好的合作。正式反馈的作用机制可以使用概念化反馈干预理论和交互作用论进行解释。影响正式反馈作用效果的因素包括反馈本身的特征、当事人初始症状严重程度、治疗师方面因素以及治疗的时长等。未来研究需关注正式反馈的研究方法、作用机制及其跨文化研究的差异。     

从现代逻辑观点看印度新因明三支论式

Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal instantiation.