Entailment and Bivalence

My purpose in this paper is to argue that the classical notion of entailment is not suitable for non-bivalent logics, to propose an appropriate alternative and to suggest a generalized entailment notion suitable to bivalent and non-bivalent logics alike. In classical two valued logic, one can not infer a false statement from one that is not false, any more than one can infer from a true statement a statement that is not true. In classical logic in fact preserving truth and preserving non-falsity are one and the same thing. They are not the same in non-bivalent logics however and I will argue that the classical notion of entailment that preserves only truth is not strong enough for such a logic. I will show that if we retain the classical notion of entailment in a logic that has three values, true, false and a third value in between, an inconsistency can be derived that can be resolved only by measures that seriously disable the logic. I will show this for a logic designed to allow for semantic presuppositions, then I will show that we get the same result in any three valued logic with the same value ordering. I will finally suggest how the notion of entailment should be generalized so that this problem may be avoided. The strengthened notion of entailment I am proposing is a conservative extension of the classical notion that preserves not only truth but the order of all values in a logic, so that the value of an entailed statement must alway be at least as great as the value of the sequence of statements entailing it. A notion of entailment this strong or stronger will, I believe, be found to be applicable to non-classical logics generally. In the opinion of Dana Scott, no really workable three valued logic has yet been developed. It is hard to disagree with this. A workable three valued logic however could perhaps be developed however, if we had a notion of entailment suitable to non-bivalent logics.     

Subjective Situations and Logical Omniscience

The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience. A comparison with two well-known proposals (Levesque's logic of explicit and implicit beliefs and Thijsse's hybrid sieve systems) is also provided.     

Rational Emotive Behavior Coaching

Managed care has led some psychotherapists to seek alternative modes of practice. Personal coaching provides one such approach. To what extent might an REBT practitioner already be “coaching”? How can REBT be meshed with personal coaching? What advantages and problems might ensue? What training is involved? These questions are answered based on the experiences of the author in shifting her work to what she calls Rational Emotive Behavior Coaching.     

Coercion and pragmatic presuppositions

In Category Mistakes, Magidor proposes that sortal restrictions should be viewed as pragmatic presuppositions. This contrasts with recent linguistic theories of successfully resolved category mistakes, e.g. coercions or copredication. It has been argued that for the proper treatment of such examples, sortal restrictions should be expressed by semantic presuppositions since they need to interact with compositional semantics. I explore possible ways in which Magidor’s theory could be extended to explain examples of coercion and copredication. The outcome of the discussion is that incorporation of these facts into Magidor’s pragmatic system might be possible, but ecessitates choices that are far from trivial.     

Feature Statistics Modulate the Activation of Meaning During Spoken Word Processing

Understanding spoken words involves a rapid mapping from speech to conceptual representations. One distributed feature‐based conceptual account assumes that the statistical characteristics of concepts’ features—the number of concepts they occur in (distinctiveness/sharedness) and likelihood of co‐occurrence (correlational strength)—determine conceptual activation. To test these claims, we investigated the role of distinctiveness/sharedness and correlational strength in speech‐to‐meaning mapping, using a lexical decision task and computational simulations. Responses were faster for concepts with higher sharedness, suggesting that shared features are facilitatory in tasks like lexical decision that require access to them. Correlational strength facilitated responses for slower participants, suggesting a time‐sensitive co‐occurrence‐driven settling mechanism. The computational simulation showed similar effects, with early effects of shared features and later effects of correlational strength. These results support a general‐to‐specific account of conceptual processing, whereby early activation of shared features is followed by the gradual emergence of a specific target representation.     

Latent semantic analysis cosines as a cognitive similarity measure: Evidence from priming studies

In distributional semantics models (DSMs) such as latent semantic analysis (LSA), words are represented as vectors in a high-dimensional vector space. This allows for computing word similarities as the cosine of the angle between two such vectors. In two experiments, we investigated whether LSA cosine similarities predict priming effects, in that higher cosine similarities are associated with shorter reaction times (RTs). Critically, we applied a pseudo-random procedure in generating the item material to ensure that we directly manipulated LSA cosines as an independent variable. We employed two lexical priming experiments with lexical decision tasks (LDTs). In Experiment 1 we presented participants with 200 different prime words, each paired with one unique target. We found a significant effect of cosine similarities on RTs. The same was true for Experiment 2, where we reversed the prime-target order (primes of Experiment 1 were targets in Experiment 2, and vice versa). The results of these experiments confirm that LSA cosine similarities can predict priming effects, supporting the view that they are psychologically relevant. The present study thereby provides evidence for qualifying LSA cosine similarities not only as a linguistic measure, but also as a cognitive similarity measure. However, it is also shown that other DSMs can outperform LSA as a predictor of priming effects.     

Skepticism and Epistemic Logic

This essay attempts to implement epistemic logic through a non-classical inference relation. Given that relation, an account of '(the individual) a knows that A' is constructed as an unfamiliar non-normal modal logic. One advantage to this approach is a new analysis of the skeptical argument.     

句子理解过程中词类加工的功能性质

句法优先理论假设词类加工功能上优先于语义、动词论元结构和话语信息加工。来自德语和法语的证据显示, 词类违反阻断语义整合和动词论元结构加工, 因而词类优先于语义和动词论元结构。关于词类加工在功能上是否优先于话语信息加工, 尚无来自任何语言的证据。汉语证据尽管显示词类并不优先于语义, 但未充分讨论任务因素的影响。将来研究有必要使用ERP技术和违反范式, 从语义整合、动词论元结构加工和话语水平加工等多个层面, 同时操纵词类的正确性和非句法因素, 考察句法特性上与德语和法语不同的语言, 如汉语和韩语。这方面研究将有助于洞察一个语言的语言学特性如何制约或调整词类加工的功能性质。