Remarks on Gregory's “Actually” Operator

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing actually operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an actually operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the actually axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language.     

Medicine and pharmacy — facts and myths about the development of an innovative pharmaceutical industry in Poland

Innovation is fundamental to the pharmaceutical industry and a key to improvements in healthcare. Its effectiveness depends on huge, constant investments in research. This innovative industry directly affects the course of studies in healthcare and medicine. Its efforts translate directly into the length and quality of our lives. For several years now, the progress underway in pharmaceutical industry has produced measurable benefits. Doctors have new pharmaceuticals at their disposal, including many types of antibiotics and anti-viral drugs, vaccines and a wide range of drugs which save lives or make them more comfortable. In the near future, ever more efficient cures for neoplastic, rheumatic, neurological, psychic, metabolic, circulatory or respiratory diseases can be expected. Innovation is necessary. The human population is ageing, and the task of an innovative pharmaceutical industry is to keep it in a good condition. The use of innovative drugs can translate directly into lowering the costs of illness. A continuous reduction in spending on healthcare has been observed. The costs of inventing an innovative drug are enormous though (US$ 800 million), and studies on a new drug last between 10 and 13 years. An essential element in recovering the incurred costs and ensuring funds needed for new research is protection by patent. Innovative pharmaceutical companies in Poland are committed to increasing the competitiveness and sustaining the development of not only the market, but also the entire pharmaceutical sector. It is a group of companies of crucial importance to the Polish healthcare system, as it influences improvement in the quality of medical services. Through their investments and spending on research and development, innovative companies accelerate economic growth. In Poland, the innovative pharmaceutical industry is represented by the Association of Pharmaceutical Companies Representatives in Poland (SPFFwP). An earlier version of this paper was presented at an international conference, “The Ethics of Intellectual Property Rights and Patents,” held in Warsaw, Poland on 23–24 April, 2004.     

Segmentation and Selection of Appropriate Chinese Characters in Writing Place Names in Japanese

This paper explores the relation between an unknown place name written in hiragana (a Japanese syllabary) and its corresponding written representation in kanji (Chinese characters). We propose three principles as those operating in the selection of the appropriate Chinese characters in writing unknown place names. The three principles are concerned with the combination of on and kun readings (zyuubako-yomi), the number of segmentations, and the bimoraicity characteristics of kanji chosen. We performed two experiments to test the principles; the results supported our hypotheses. These results have some implications for the structure of the Japanese mental lexicon, for the processing load in the use of Chinese characters, and for Japanese prosody and morphology.     

Cn-Definitions of Propositional Connectives

We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.     

A Temporal Logic for Sortals

With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.     

The Best Question

Journal of Philosophical Logic - Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the...     

Quintilian and the Pedagogy of Argument

Originating in the Sophistic pedagogy of Protagoras and reflecting the sceptical practice of the New Academy, Quintilian's rhetorical pedagogy places a special emphasis on the juxtaposition of multiple, competing claims. This inherently dialogical approach to argumentation is referred to here as controversia and is on full display in Quintilian's own argumentative practice. More important to this paper, however, is the role of controversia as an organizing principle for Quintilian's rhetorical curriculum. In particular, Quintilian introduces the protocols of controversia through a series of progressively more complex exercises in imitation, role-playing, and declamation (now referred to as situational games). All of these exercises are open for adaptation by contemporary teachers who would promote a dialogical approach to argument, i.e. argument with its methods of inquiry, invention, and judgment based on direct interaction with opposing parties.     

养老院老人社会支持网络和生活满意度研究

本研究所用问卷的编制参照了《中国心理卫生评定量表手册》中的PASS、GWB和社会支持评定等量表。以企了解上海市区养老院老人的社会支持网络状况及其与生活满意度之间的关系。研究表明：(1)养老院老人的社会支持与其生活满意度之间存在极其显著的相关;(2)经回归分析,影响养老院老人生活满意度的最主要因素是养老院的软硬件设施条件与院中老人之间的相互支持;但在生病等特殊状况下,子女仍是最主要的支持来源;(3)对养老院中的老人来说,精神支持的需求比物质支持和认知支持更重要。