Simulation and Transfer Results in Modal Logic – A Survey

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.     

论当前我国医疗市场对医患关系的影响

解读目前紧张的医患关系是一个迫切的社会课题.医疗服务是一种商品,医疗市场是客观存在的,它是导致医患关系紧张的深层次原因.     

汉语母语者英语动词三种屈折变化形式加工机制的差异

采用ERP技术考察了汉语母语者,英语动词三种屈折变化形式加工机制的差异。结果发现,英语动词进行式的屈折变化形式- ing的错误使用诱发了P600成分;完成式的屈折变化形式- ed的错误使用诱发了N400成分;完成式中没有明显屈折变化标识的不规则词的错误使用没有诱发典型的ERP成分。研究结果表明：对于缺乏英语使用环境、母语为汉语的晚期英语学习者来说,屈折变化形式- ing,完成式规则动词的变化形式- ed和没有明显形态变化标识的不规则动词的变化形式具有不同的加工机制,前者可能处于由陈述性记忆系统向程序性记忆系统加工的转变过程中,而后两者更多地由陈述性系统进行加工。这种加工机制的差异可能与动词屈折变化规则的复杂程度有关。     

Talking About a Universalist World

The paper defends a combination of perdurantism with mereological universalism by developing semantics of temporary predications of the sort ’some P is/was/will be (a) Q’. We argue that, in addition to the usual application of causal and other restrictions on sortals, the grammatical form of such statements allows for rather different regimentations along three separate dimensions, according to: (a) whether ‘P’ and ‘Q’ are being used as phase or substance sortal terms, (b) whether ‘is’, ‘was’, and ‘will be’ are the ‘is’, ‘was’, ‘will be’ of identity or of constitution, and (c) whether ‘Q’ is being used as a subject or predicate term. We conclude that this latitude is beneficial, as it conforms with linguistic reality (i.e., the multiple uses actually in place) and also enables one to turn what is ordinarily perceived as a problem for universalist perdurantism viz., a commitment to all sorts of weird and gerrymandered temporally extended entities, into an advantage, for the richness in questions allows us to make sense of the many different readings of sentences of the same grammatical form.     

Past tense formation and comprehension of passive sentences in Parkinson's disease: evidence from Greek

The present study investigates the production of regular and irregular verbs in the past tense and the comprehension of passive sentences by Greek-speaking PD patients, and compares their behavior to that of normal speakers. Although the two groups manifest large scale differences at all the above constructions, the behavior of PDs is not different at regular vs. irregular past tense formation neither did we obtain strong evidence that they do not comprehend passives, most importantly, they certainly do not perform at chance. On the basis of the above, we conclude that there are no indications for a clearly linguistic deficit of the PD group, hence, their difference with the control group should be attributed to other factors, such as the computational demands of the tasks.     

Tense and syntactic processes in agrammatic speech

This study focuses on inflectional errors in a group of eight, English-speaking people with agrammatism. Subjects were required to provide inflected verbs in declarative sentences and construct negative sentences. The errors made by these speakers are considered in terms of whether they resemble the errors made by children at the Optional Infinitive Stage. Results confirm that the errors differ from those made by children and that a different explanation is required. Explanations offered by Borer and Rohrbacher (1997) and by Friedmann and Grodzinsky (2000) are discussed but are considered inadequate to deal with our data. It is proposed that agrammatic speakers have problems with the implementation of grammar and particularly with syntactic processes such as feature-checking.     

Root nonfinite and finite utterances in child language and agrammatic speech

Root nonfinite structures are frequent in both child language and agrammatic speech. Moreover, root nonfinites seem to have quite similar properties in both types of speech. Although many accounts are available for child language this is not the case for agrammatic speech. I present data of a Dutch agrammatic patient in this paper. The properties of her root nonfinites are best accounted for by the assumption of an underspecified Tense Phrase licensed by an empty element. In her finite sentences a dummy Tense element shows up. The use of either an empty or a dummy Tense element is a way of reducing the processing load of the utterance. The speech of this patient shows a dissociation between the verbal and the nominal domain.     

A Two Dimensional Tense-modal Sortal Logic

We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.     

Combinations of Tense and Modality for Predicate Logic

In recent years combinations of tense and modality have moved into the focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of predicate logic are desirable, and in this paper I present two such results. The main developments in this area can be split into two directions, differing in the question whether the ordering of time is world-independent or not. Semantically, this difference appears in the discussion whether T×W-frames or Kamp-frames (resp. Ockham-frames) provide a suitable semantics for combinations of tense and modality. Here, two calculi are presented, the first adequate with respect to Kamp-semantics, the second to T×W-semantics. (Both calculi contain an appropriate version of Gabbay's irreflexivity rule.) Furthermore, the proposed constructions of canonical frames simplify some of those which have hitherto been discussed.