Absolute Probability Functions for Intuitionistic Propositional Logic

Provided here is a characterisation of absolute probability functions for intuitionistic (propositional) logic L, i.e. a set of constraints on the unary functions P from the statements of L to the reals, which insures that (i) if a statement A of L is provable in L, then P(A) = 1 for every P, L's axiomatisation being thus sound in the probabilistic sense, and (ii) if P(A) = 1 for every P, then A is provable in L, L's axiomatisation being thus complete in the probabilistic sense. As there are theorems of classical (propositional) logic that are not intuitionistic ones, there are unary probability functions for intuitionistic logic that are not classical ones. Provided here because of this is a means of singling out the classical probability functions from among the intuitionistic ones.     

The Relation between Formal and Informal Logic

The issue of the relationship between formal and informal logic depends strongly on how one understands these two designations. While there is very little disagreement about the nature of formal logic, the same is not true regarding informal logic, which is understood in various (often incompatible) ways by various thinkers. After reviewing some of the more prominent conceptions of informal logic, I will present my own, defend it and then show how informal logic, so understood, is complementary to formal logic.     

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

An Operational Logic of Proofs with Positive and Negative Information

The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and we prove that our fragment is complete and decidable.     

Predicate Logics on Display

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.     

Logic and Philosophy of Logic in Wittgenstein

This essay discusses Wittgenstein's conception of logic, early and late, and some of the types of logical system that he constructed. The essay shows that the common view according to which Wittgenstein had stopped engaging in logic as a philosophical discipline by the time of writing Philosophical Investigations is mistaken. It is argued that, on the contrary, logic continued to figure at the very heart of later Wittgenstein's philosophy; and that Wittgenstein's mature philosophy of logic contains many interesting thoughts that have gone widely unnoticed.     

The Counseling Center Assessment of Psychological Symptoms Distress Index: A pragmatic exploration of general factors to enhance a multidimensional scale

Objective: The authors attempted to develop and validate a general distress index for a multidimensional psychological symptom/outcome measure used in over 300 college counseling centers with more than 100,000 cases annually: the Counseling Center Assessment of Psychological Symptoms (CCAPS). Method: Four models were compared for fit indices (n = 19,247): the existing first-order factor model (without a general factor), a second-order factor model, a bifactor model, and a single factor or “total score” model. In separate clinical and non-clinical samples, concurrent and divergent validity were examined using several well-established measures of psychological symptoms, as well as two-week test–retest and treatment utilization data. Results: Second-order and bifactor models which captured a single “distress” factor both exhibited good fit to the data relative to the baseline and “total score” model. Validity data indicated that factors adequately measured meaningful clinical onstructs. Conclusion: Both the bifactor and second-order models indicated the presence of a “distress index” comprised items across many of the CCAPS subscales. This distress scale has strong applicability for benchmarking the overall severity and complexity of patients at different centers, and can be used to help identify colleges and universities with areas of clinical strength, which can be studied to improve the field. Clinically, the distress index offers a parsimonious and efficient method for clinicians to monitor patients’ progress through treatment.     

论八卦是八个逻辑范式

基于太极代数,本文证明八卦是八个逻辑范式,八卦中包含四对矛盾关系,其中"六子"构成辩证逻辑组。八卦是生命生产和思想生产都必须共同遵循的变化法则。学界似有这样的倾向,以为《周易》中只有类推逻辑而没有演绎逻辑,本文证明这种观点是不能成立的。八卦本质上就是演绎逻辑的,卦象的本质是逻辑法则。因此,基于卦象的联想或推理不能脱离八卦的逻辑内涵;否则,想象的灵活性必将导致卦象上的混淆,甚至使八卦沦为象数游戏的工具。