Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property

The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are applicable to most modal logics for which decidability with respect to admissibility is known and to many others, for instance, to the modal logicsK4,K4.1,K4.2,K4.3,S4.1,S4.2,GL.2; to all smallest and greatest counterparts of intermediate Gabbay-De-Jong logicsD _n; to all intermediate Gabbay-De-Jong logicsD _n; to all finitely axiomatizable modal and intermediate logics of finite depth etc. Semantic criteria for recognizing admissibility for these logics are offered as well.The results of this paper were obtained by the author during a stay at the Free University of Berlin with support of the Alexander von Humboldt Foundation in 1992 – 1993.Presented byWolfgang Rauntenberg     

Modal Mereology and Modal Supervenience

David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist??s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on their respective mereological metaphysics, and offers a Golden Mean between their two opposite extremes. I argue for a novel account of mereology I call Modal Mereology that is an alternative to Classical Mereology. A modal mereologist can be a universalist about the possible composition of wholes from parts and a restrictivist about the actual composition of wholes from parts. I argue that puzzles facing Modal Mereology (e.g., puzzles concerning Cambridge changes and the Problem of the Many, and how to demarcate the actual from the possible) are also faced in similar forms by classical universalists. On my account, restricted composition is rather motivated by and occurs due to a possible whole??s instantiating an actual type. Universalists commonly believe in such types and defend their existence from objections and puzzles. The Modal Mereological restrictivist can similarly defend the existence of such types (adding that such types are the only wholes) from similar objections and puzzles.     

Modal Persistence and Modal Travel

We argue that there is an interesting modal analogue of temporal persistence, namely modal persistence, and an interesting modal analogue of time travel, namely modal travel. We explicate each of these notions and then argue that there are plausible conditions under which some ordinary objects modally persist. We go on to consider whether it is plausible that any modally persistent objects also modally travel. 1     

Modal Rationalism and Modal Monism

Modal rationalism includes the thesis that ideal primary positive conceivability entails primary possibility. Modal monism is the thesis that the space of logically possible worlds is coextensive with the space of metaphysically possible worlds. In this paper I explore the relation between the two theses. My aim is to show that the former thesis implies the latter thesis, and that problems with the latter make the former implausible as a complete picture of the epistemology of modality. My argument explores the relation between logical modality and metaphysical modality.

---

Modal Realism with Modal Tense 1

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism.     

Familiar idiom comprehension

Sentences containing idioms used either literally or figuratively were presented repeatedly for 100 msec per presentation. Half of the sentences were preceded by a paragraph. The number of presentations required to read the sentences and cued recall of the sentences were recorded. The serial brief presentations method provided predictable and meaningful results. Sentences containing idioms used literally required more presentations than those containing idioms used figuratively. Cued recall was better for idioms used literally than for those used figuratively. These results are interpreted as support for the Idiomatic Processing Model of idiom comprehension, which suggests that the figurative meaning is processed first; only if that one is inappropriate is the literal meaning processed.     

Expectation-based syntactic comprehension

This paper investigates the role of resource allocation as a source of processing difficulty in human sentence comprehension. The paper proposes a simple information-theoretic characterization of processing difficulty as the work incurred by resource reallocation during parallel, incremental, probabilistic disambiguation in sentence comprehension, and demonstrates its equivalence to the theory of Hale [Hale, J. (2001). A probabilistic Earley parser as a psycholinguistic model. In Proceedings of NAACL (Vol. 2, pp. 159-166)], in which the difficulty of a word is proportional to its surprisal (its negative log-probability) in the context within which it appears. This proposal subsumes and clarifies findings that high-constraint contexts can facilitate lexical processing, and connects these findings to well-known models of parallel constraint-based comprehension. In addition, the theory leads to a number of specific predictions about the role of expectation in syntactic comprehension, including the reversal of locality-based difficulty patterns in syntactically constrained contexts, and conditions under which increased ambiguity facilitates processing. The paper examines a range of established results bearing on these predictions, and shows that they are largely consistent with the surprisal theory.     

Altering comprehension: The effect of biasing titles on text comprehension

Titles can alter the comprehension of a text by affecting the selection of information from a text and the organization of this information in memory. Text comprehension is assumed to involve an organizational process that results in the formation of a text base, an ordered list of semantic units—propositions. The text base can be used as a retrieval scheme to reconstruct the text. Procedures for assigning propositions as more relevant to some themes as compared to other themes are developed and applied to texts. Texts with biasing titles were used in an experiment to demonstrate that immediate free recall is biased toward the theme emphasized in the title. The comprehension process which is guided by the text’s thematical information is described.     

Modal Epistemology

Philosophical Studies -     

Modal Expansionism

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

     

听障儿童错误信念理解与谎言理解的关系：情绪理解的调节作用

本研究主要探讨听障儿童自我/他人错误信念理解与谎言理解各层面的关系,以及情绪理解在其中的调节作用。实验1采用错误信念理解和谎言理解来探讨自我/他人错误信念理解与谎言理解各层面的关系。实验2增加了情绪理解任务,并探讨情绪理解在错误信念理解和谎言理解之间关系的机制。结果发现：（1）听障儿童他人错误信念理解、真假信息辨别、谎言意图理解的正确率显著不如典型发展儿童,且他人错误信念理解越好,越容易进行真假信息辨别和谎言意图理解;（2）典型发展儿童自我/他人错误信念理解越准确,谎言意图理解越好;（3）当听障儿童情绪理解得分较高时,自我/他人错误信念理解对谎言行为判断具有正向预测作用;（4）典型发展儿童情绪理解得分较高时,自我错误信念理解对真假信息辨别有正向预测作用,他人错误信念理解对谎言行为判断、真假信息辨别有正向预测作用。这些研究结果不仅表明听障儿童他人错误信念理解对谎言理解具有解释作用,而且表明高情绪理解在谎言理解中有促进作用以及表明高情绪理解在对错误信念理解与谎言理解中的调节作用更加显著。     

Modal Scepticism, Unqualified Modality, and Modal Kinds

I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.     

The relation between children's reading comprehension level and their comprehension of idioms

We report an investigation of 9-year-olds' ability to interpret idioms in relation to their reading comprehension level. We manipulated whether the idioms were transparent or opaque, whether they were real or novel, whether they were presented in isolation or in a supportive narrative context. As predicted, children were better able to explain the meanings of idioms in context than in isolation. The good and poor comprehenders did not differ in their abilities to interpret transparent idioms in context, but the poor comprehenders were significantly worse at using context to work out the meanings of opaque idioms. The explanation task revealed the source of information used by the children to derive nontarget interpretations. We discuss these findings in relation to idiom processing strategies and Levorato and Cacciari's global elaboration model.     

Structure-mapping in metaphor comprehension

Metaphor has a double life. It can be described as a directional process in which a stable, familiar base domain provides inferential structure to a less clearly specified target. But metaphor is also described as a process of finding commonalities, an inherently symmetric process. In this second view, both concepts may be altered by the metaphorical comparison. Whereas most theories of metaphor capture one of these aspects, we offer a model based on structure-mapping that captures both sides of metaphor processing. This predicts (a) an initial processing stage of symmetric alignment; and (b) a later directional phase in which inferences are projected to the target. To test these claims, we collected comprehensibility judgments for forward (e.g., "A rumor is a virus") and reversed ("A virus is a rumor") metaphors at early and late stages of processing, using a deadline procedure. We found an advantage for the forward direction late in processing, but no directional preference early in processing. Implications for metaphor theory are discussed.     

The comprehension of idioms

Four experiments will performed to examine how familiar idioms are interpreted. Subjects had to respond as rapidly as possible whether an idiom had the same or different meaning as a phrase which, on half of the trials, was a paraphrase of either the figurative or literal meaning of the idiom. When subjects were instructed to respond on the basis of either figurative or literal meaning, idioms were matched to their literal and figurative paraphrases equally rapidly. When subjects were instructed to respond only on the basis of literal meaning, idiom-phrase pairs that shared a figurative interpretation took longer to reject as different than idiom pairs that shared no interpretation. These results domonstrated that whenever a familiar idiom is comprehended, both its literal and figurative interpretations are made.     

Text comprehension in aphasia

The semantic and pragmatic strategies in the comprehension of spoken texts are investigated in four subgroups of aphasic patients and in normal and brain-damaged controls. Short texts of similar linguistic structure were read to the subjects, who were required to choose the picture, from a multiple choice set of five, that was appropriate to the story. Besides a picture showing the main event of the story, one picture depicted the literal sense of a metaphorical comment, and the others misrepresented semantic functions expressed in the text. With respect to these types of responses, both aphasics and controls exhibited the same pattern of reaction. It is concluded that the redundancy of texts makes up for the difficulties aphasics have in comprehending isolated words and sentences.     

Imitation improves language comprehension

Humans imitate each other during social interaction. This imitative behavior streamlines social interaction and aids in learning to replicate actions. However, the effect of imitation on action comprehension is unclear. This study investigated whether vocal imitation of an unfamiliar accent improved spoken-language comprehension. Following a pretraining accent comprehension test, participants were assigned to one of six groups. The baseline group received no training, but participants in the other five groups listened to accented sentences, listened to and repeated accented sentences in their own accent, listened to and transcribed accented sentences, listened to and imitated accented sentences, or listened to and imitated accented sentences without being able to hear their own vocalizations. Posttraining measures showed that accent comprehension was most improved for participants who imitated the speaker's accent. These results show that imitation may aid in streamlining interaction by improving spoken-language comprehension under adverse listening conditions.     

Inexpert calibration of comprehension

Students with a wide range of course work in physics or music theory read expositions in both domains. After reading 16 texts, each student provided a judgment of confidence in his/her ability to verify inferences based on the central principles of the texts. The primary dependent variable was calibration of comprehension, the degree of association between confidence and performance on the inference test. Two results of most interest were that (1) expertise in a domain was inversely related to calibration and (2) subjects were well calibrated across domains. Both of these results can be accommodated by a self-classification strategy: Confidence judgments are based on self-classification as expert or nonexpert in the domain of the text, rather than on an assessment of the degree to which the text was comprehended. Because self-classifications are not well differentiated within a domain, application of the strategy by experts produces poor calibration within a domain. Nonetheless, because self-classification is generally consistent with performance across domains, application of the strategy produces calibration across domains.