Combining classical logic, paraconsistency and relevance

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.     

The logic of the medical research article

As do all forms of science, medical theories have a factual as well as a logical basis. New information is presented in medical research articles. These papers have three separate arguments: the argument of the hypothesis, the argument of the experimental protocol, and the argument of the hypothesis's judgment. These arguments may be examples of the hypothetico-deductive or confirmational model of scientific inference. The logical form of these arguments are informal and inductive rather than formal and deductive. Understanding the nature of the logic of the medical research article may help avoid erroneous conclusions.     

Paradoxes and Failures of Cut

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning—one which takes meaning to be constituted by assertibility and deniability conditions—and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system—ST—that conservatively extends classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered and responded to.     

Psycho-logic: some thoughts and after-thoughts

The main features of the system of psycho-logic and its historical origins, especially in the writings of Heider and Piaget, are briefly reviewed. An updated version of the axioms of psycho-logic, and a list of the semantic primitives of Wierzbicka are presented. Some foundational questions are discussed, including the genetically determined limitations of human knowledge, the constructive, moral, and political nature of the approach, the role of fortuitous events, the ultimate limitations of psychological knowledge (the "balloon" to be inflated from the inside), the role of the subjective unconscious, and the implications of the approach for practice.     

多层多项Logit模型：原理与应用

常用的多层线性模型要求因变量是服从正态分布的连续变量,却无法处理因变量为离散变量的嵌套数据.多层多项Logit模型能够处理因变量是无序多分类的多层嵌套数据,但这一模型在我国心理学研究中却鲜有介绍和应用.研究简要介绍了多层多项Logit模型的原理、参数估计和假设检验,然后分别用该模型和传统Logistic回归模型探讨个体因素和区域因素对35721名学生进入不同高校就读机会的影响并对结果进行了解释,结果表明多层多项Logit模型比传统Logistic回归模型更拟合数据.     

Proto-Semantics for Positive Free Logic

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of non-existing objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non unlike the notion of truth at world found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization).     

Scientific Discovery on Positive Data via Belief Revision

A model of inductive inquiry is defined within a first-order context. Intuitively, the model pictures inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players along with a partition of a class of structures for that vocabulary. Next, Nature secretly chooses one structure (the real world) from some cell of the partition. She then presents the scientist with a sequence of atomic facts about the chosen structure. With each new datum the scientist announces a guess about the cell to which the chosen structure belongs. To succeed in his inquiry, the scientist's successive conjectures must be correct all but finitely often, that is, the conjectures must converge in the limit to the correct cell. A special kind of scientist selects his hypotheses on the basis of a belief revision operator. We show that reliance on belief revision allows scientists to solve a wide class of problems.     

Varieties of Monadic Heyting Algebras. Part III

This paper is the concluding part of [1] and [2], and it investigates the inner structure of the lattice (MHA) of all varieties of monadic Heyting algebras. For every n , we introduce and investigate varieties of depth n and cluster n, and present two partitions of (MHA), into varieties of depth n, and into varieties of cluster n. We pay a special attention to the lower part of (MHA) and investigate finite and critical varieties of monadic Heyting algebras in detail. In particular, we prove that there exist exactly thirteen critical varieties in (MHA) and that it is decidable whether a given variety of monadic Heyting algebras is finite or not. The representation of (MHA) is also given. All these provide us with a satisfactory insight into (MHA). Since (MHA) is dual to the lattice NExtMIPC of all normal extensions of the intuitionistic modal logic MIPC, we also obtain a clearer picture of the lattice structure of intuitionistic modal logics over MIPC.     

Partial Monotonic Protothetics

This paper has four parts. In the first part, I present Leniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of maximally saturated sets. This technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent.