A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical possibility are not logically necessary.     

Refutations,Proofs, and Models in the Modal Logic K4

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.     

The Early Formation of Modal Logic and its Significance: A Historical Note on Quine,Carnap, and a Bit of Church

The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break was about the status of extensionality and modal logic (and analyticity was much more of a second issue). Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention—it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues.     

说谎者悖论的一个新解决方案的纲要(英文)

首先,本文在第二节中提出了谎者悖论所包含的一些问题,比如加强的说谎者悖论,Curry悖论,Yablo悖论,偶然的说谎者悖论,以及塔尔斯基的真不可定义性定理。其次,在第三节简单介绍了塔尔斯基的分层理论,并且指出了他方案的一个最大不足之处就是把一个真谓词分成了很多个个真谓词,这和我们的直观很不符合。之后在第四节介绍了我的一个解悖方案,并讨论了它的一些性质,比如可靠性,完全性,以及我的方案和塔尔斯基方案的区别。第五节说明了第二节中提到的一些问题在我的这个方案下如何处理。     

摹略万物之然,论求群言之比--模态逻辑新观念述评

模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为"必然和可能的逻辑"而被人所知.但是,把模态逻辑视为关于"可能"和"必然"的逻辑至少在20世纪60年代末就已经过时."模态语言是研究关系结构的一种简单但富于表达力的语言"、"模态语言为关系结构提供一种内部的、局部的视角"、"模态语言不是孤立的形式系统",这就是关于模态逻辑的新观点(这种观点有时称为"阿姆斯特丹观点").新观点不再把模态逻辑视为任意种类的形而上学系统,而是作为研究行为、知识以及我们周围任何其他具有良好结构的具体事物的逻辑形式系统.     

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)

This paper investigates the “general” semantics for first-order logic introduced to Antonelli (Review of Symbolic Logic 6(4), 637–58, 2013): a sound and complete axiom system is given, and the satisfiability problem for the general semantics is reduced to the satisfiability of formulas in the Guarded Fragment of Andréka et al. (Journal of Philosophical Logic 27(3):217–274, 1998), thereby showing the former decidable. A truth-tree method is presented in the Appendix.     

从交换到分配：一种大劳动报酬观的民生逻辑

提高劳动报酬是一个涉及劳资关系交换和社会财富分配的复杂正义问题.劳资关系的交换正义是否"合乎公平的正义"是一个充满现实纠结的社会问题.社会财富的分配正义旨在建构一种保障、拓展和超越交换正义,普惠民生的大劳动报酬现.一方面,通过劳动要素资源均衡化,实现劳动报酬与人的再生产需求的全面协调发展;另一方面,通过承认和尊重民生权利,以彰显提高劳动报酬的民生逻辑.大劳动报酬观的正当性与权威性需要劳动者、企业和政府三方协同联动,以建构一个和谐共融的行动共同体.     

Associations Between Self-Esteem,General Self-Efficacy,and Approaches to Studying in Occupational Therapy Students: A Cross-Sectional Study

The aim of this study was to explore associations between self-esteem, general self-efficacy, and the deep, strategic, and surface approaches to studying. Norwegian occupational therapy students (n?=?125) completed questionnaires measuring study approaches, self-esteem, and general self-efficacy. Regression analyses were used to explore the direct relationships between self-esteem, general self-efficacy and the approaches to studying, after controlling for age, gender, prior higher education, and time spent on independent studying. General self-efficacy displayed positive associations with deep and strategic approaches to studying and a negative relationship with a surface approach to studying. Self-esteem was not significantly associated with approaches to studying.     

The General Form of the Proposition: The Unity of Language and the Generality of Logic in the Early Wittgenstein

The paper presents an interpretation of the thinking behind the early Wittgenstein's "general form of the proposition." It argues that a central role is played by the assumption that all domains of discourse are governed by the same laws of logic. The interpretation is presented partly through a comparison with ideas presented recently by Michael Potter and Peter Sullivan; the paper argues that the above assumption explains more of the key characteristics of the "general form of the proposition" than Potter and Sullivan suppose, including, in particular, its claim that the bases from which all other propositions are derived must be elementary propositions.     

The Expressivist Account of Punishment, Retribution, and the Emotions

This paper provides a discussion of the role that emotions may play in the justification of punishment. On the expressivist account of punishment, punishment has the purpose of expressing appropriate emotional reactions to wrongdoing, such as indignation, resentment or guilt. I will argue that this expressivist approach fails as these emotions can be expressed other than through the infliction of punishment. Another argument for hard treatment put forward by expressivists states that punitive sanctions are necessary in order for the law to be valid. But this justification of punishment, too, is unconvincing. There are no good reasons to assume that we have to resort to punitive measures in order to vindicate the law. I will then raise the more general worry whether there is any intelligible link at all between moral emotions such as indignation, resentment or guilt and retributive behaviour. I will finally conclude with some sceptical remarks on the moral worth of retribution.     

The Decision Problem of Modal Product Logics with a Diagonal,and Faulty Counter Machines

In the propositional modal (and algebraic) treatment of two-variable first-order logic equality is modelled by a ‘diagonal’ constant, interpreted in square products of universal frames as the identity (also known as the ‘diagonal’) relation. Here we study the decision problem of products of two arbitrary modal logics equipped with such a diagonal. As the presence or absence of equality in two-variable first-order logic does not influence the complexity of its satisfiability problem, one might expect that adding a diagonal to product logics in general is similarly harmless. We show that this is far from being the case, and there can be quite a big jump in complexity, even from decidable to the highly undecidable. Our undecidable logics can also be viewed as new fragments of first-order logic where adding equality changes a decidable fragment to undecidable. We prove our results by a novel application of counter machine problems. While our formalism apparently cannot force reliable counter machine computations directly, the presence of a unique diagonal in the models makes it possible to encode both lossy and insertion-error computations, for the same sequence of instructions. We show that, given such a pair of faulty computations, it is then possible to reconstruct a reliable run from them.     

实践的逻辑与哲学终结论的困境

以实践是一种具体、历史的现实生活为基础,把马克思意义上的哲学终结论解释为以具体、历史的分析取代抽象、超历史的形而上分析这种愈来愈被认可的说法,由于马克思仍然把需要、经济、理性、发展视为一般性、永恒性的东西,而需要重思。实际上,马克思在反旧形而上学之路上前进的距离不能过高估计。对实践的自悖性估计过低是马克思未能继续前进的根源。同时,在马克思主义理论中反对过分的专门化富有意义,但把哲学终结于社会批判理论中的马尔库塞式见解也会造成某种漠视。     

Quantifying the Strength of General Factors in Psychopathology: A Comparison of CFA with Maximum Likelihood Estimation,BSEM, and ESEM/EFA Bifactor Approaches

Whether or not importance should be placed on an all-encompassing general factor of psychopathology (or p factor) in classifying, researching, diagnosing, and treating psychiatric disorders depends (among other issues) on the extent to which comorbidity is symptom-general rather than staying largely within the confines of narrower transdiagnostic factors such as internalizing and externalizing. In this study, we compared three methods of estimating p factor strength. We compared omega hierarchical and explained common variance calculated from confirmatory factor analysis (CFA) bifactor models with maximum likelihood (ML) estimation, from exploratory structural equation modeling/exploratory factor analysis models with a bifactor rotation, and from Bayesian structural equation modeling (BSEM) bifactor models. Our simulation results suggested that BSEM with small variance priors on secondary loadings might be the preferred option. However, CFA with ML also performed well provided secondary loadings were modeled. We provide two empirical examples of applying the three methodologies using a normative sample of youth (z-proso, n = 1,286) and a university counseling sample (n = 359).     

模态系统的推理规则的强弱虚实

模态系统的推理规则可以用强弱虚实这四种性质进行分类。在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些性质在一个系统的变种或扩充中并不一定保持。