I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.

The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...) be substituted and\nthat correspond to maximally linearly ordered subsets of instants.\nThis second type is for tense logics in which time is not linear\nand where at any moment there may exist alternative future courses\nof events. Quantifiers are included in both types but only for clock-\nand history-propositional variables. However, these quantifiers are\ngiven an essentially substitutional interpretation. In addition,\nbesides each clock-propositional variable being true at exactly one\ninstant, the semantics requires that for each instant there be at\nleast one clock-propositional variable true at that instant, which\nin effect amounts to having each instant of the model "denoted" in\nthe formalism by some clock-propositional variable. Thus it is not\nsurprising that quantification over clock-propositional variables\nturns out to have a "well behaved first-order semantics" (p. 284).\n{One axiom relating history- with clock-propositions seems to need\nrevision: CKTauTbuAUabUba. Since the clock-propositional variables\nmight be true at the same instant the consequent should include an\nalternative, namely, LCab.} Besides the standard truth-functional\nand tense operators G,H,F,P, the author includes L for "it is\nalways the case that". The model-theoretic earlier-than relation\nordering instants and the semantic truth-at (an instant) relation\nare formalized by Uab and Taα (for a wff α) which\nare defined respectively as LCbPa (whenever the clock-proposition\nb is the case the clock-proposition a was the case) and LCaα\n(α is the case whenever the clock-proposition a is the case).\nBecause the future tense operators are definable in terms of U\nand T and the latter are definable in terms of L and P, the\ndual of H, the author notes that his completeness proofs can be\nrestricted to L and H as primitive and with the future tense\noperators used for other interpretations, especially Prior, A.'s\nindeterminist "it will be the case that", where time is not linear.\nThe author concludes with some rather technical observations showing\nthat "in ordinary tense logics the instants are nonstandard elements\nof the models. This provides", according to the author, "a semantic\npressure to build the instants into tense logic, so that they will\nappear as standard elements in the models" (p. 283). (shrink)

Despite the fact that they play a prominent role in everyday speech, the representation and processing of fixed expressions during language production is poorly understood. Here, we report a study investigating the processes underlying fixed expression production. “Tip-of-the-tongue” (TOT) states were elicited for well-known idioms (e.g., hit the nail on the head) and participants were asked to report any information they could regarding the content of the phrase. Participants were able to correctly report individual words for idioms that they could (...) not produce. In addition, participants produced both figurative (e.g., pretty for easy on the eye) and literal errors (e.g., hammer for hit the nail on the head) when in a TOT state, suggesting that both figurative and literal meanings are active during production. There was no effect of semantic decomposability on overall TOT incidence; however, participants recalled a greater proportion of words for decomposable rather than non-decomposable idioms. This finding suggests there may be differences in how decomposable and non-decomposable idioms are retrieved during production. (shrink)

A critical examination of contemporary nursing theory suggests that two distinct discourses coexist within this field. On the one hand, proponents of the ‘knowledge discourse’ argue that nurses should drop the ‘virtue script’ and focus on the scientific and technical aspects of their work. On the other hand, proponents of the ‘caring discourse’ promote a view of nursing that embodies humanistic qualities such as compassion, empathy and mutuality. In view of this, we suggest a way to reconcile both discourses despite (...) the fact that they appear to be at odds theoretically and practically. To that end, we argue that nursing theory must give a prominent role to the Aristotelian conception of virtue, and we offer an account that includes both character and intellectual virtues. This account allows for a focus on moral competence but also accommodates the demands for discipline‐specific knowledge. Our account incorporates the caring discourse by suggesting a way for individuals to cultivate the conditions within themselves that make ‘caring in nursing’ possible, while the knowledge discourse is accommodated via the acquisition of the intellectual virtues. The process for achieving both these ends is the same: an intention to consistently develop, hone and exercise certain character traits over time. (shrink)

Purpose – Information and communications technology offers a peculiar twenty-first century conundrum, as it offers both a cause and solution to rising carbon emissions. The growth in the digital economy is fueling increased energy consumption while affording new opportunities for reducing the environmental impacts of our daily lives. This paper responds and builds on Patrignani and Whitehouse’s overview of Slow Tech by providing examples of how ICT can be used to reduce energy. Encouraging examples are provided from the field of (...) energy and buildings and implications for wider society are raised. Design/methodology/approach – This paper builds on the previous overview “The Clean Side of Slow Tech”, based on a comprehensive knowledge of literature of the latest developments in the field of digital economy, energy and sustainability. Findings – This paper provides clear and encouraging signs of how ICT can be used to contribute to sustainability through controlling systems more efficiently, facilitating behavioural changes and reducing energy consumption. Future challenges and recommendations for future research are presented. Originality/value – This conceptual paper presents the latest research into the use of ICT in energy reduction and offers cautious, but encouraging signs that while the environmental impact of ICT must not be overlooked, there are benefits to be had from the digital economy. (shrink)

In [1, §4], my ‘proof’ that GH1 has the finite model property is incorrect; there are considerable obscurities towards the end of §1, particularly on p. 33; and I should have exhibited the finite models for GH1. In §1 of this paper I expand the analysis of the sub-directly irreducible models for GH1 which I give in §1 of [1]. In §2 I give a correct proof that GH1 has the finite model property. In §3 I exhibit these finite models (...) as models on certain ordered sets. (shrink)

The aims of the present study were to analyse people’s natural ability to discriminate between true and false statements provided by people with intellectual disability (IQTRUE = 62.00, SD = 10.07; IQFALSE = 58.41, SD = 8.42), and the differentiating characteristics of such people’s statements using criteria-based content analysis (CBCA). Thirty-three people assessed 16 true statements and 13 false statements using their normal abilities. Two other evaluators trained in CBCA evaluated the same statements. The natural evaluators differentiated between true and (...) false statements with somewhat above-chance accuracy, even though error rate was high (38.19%). That lay participants could not effectively discriminate between false and true statements demonstrates that such assessments cannot be considered useful in a forensic context. The CBCA technique did discriminate at a better level than intuitive judgements. However, of the 19 criteria, only one significantly discriminated. More procedures specifically adapted to the abilities of people with intellectual disabilities are thus required. The presence of structured production, quantity of details, characteristics details and unexpected complications increased the probability that a statement would be considered true by non-expert evaluators. The classification made by the non-expert evaluators was independent of the participants’ IQ. A big data analysis is performed in search for better classification quality. (shrink)

Although it is thought that young children focus on the magnitude of the target dimension across ratio sets during binary comparison of ratios, it is unknown whether this is the default approach to ratio reasoning, or if such approach varies across representation formats that naturally afford different opportunities to process the dimensions in each ratio set. In the current study, 132 kindergarteners performed binary comparisons of ratios with discrete and continuous representations. Results from a linear mixed model revealed that children (...) followed an additive strategy to ratio reasoning—i.e., they focused on the magnitude of the target dimension across ratio sets as well as on the absolute magnitude of the ratio set. This approach did not vary substantially across representation formats. Results also showed an association between ratio reasoning and children’s math problem-solving abilities; children with better math abilities performed better on ratio reasoning tasks and processed additional dimensions across ratio sets. Findings are discussed in terms of the processes that underlie ratio reasoning and add to the extant debate on whether true ratio reasoning is observed in young children. (shrink)

In a number of membrane-bound viruses, ion channels are formed by integral membrane proteins. These channel proteins include M2 from influenza A, NB from influenza B, and, possibly, Vpu from HIV-1. M2 is important in facilitating uncoating of the influenza A viral genome and is the target of amantadine, an anti-influenza drug. The biological roles of NB and Vpu are less certain. In all cases, the protein contains a single transmembrane α-helix close to its N-terminus. Channels can be formed by (...) homo-oligomerization of these proteins, yielding bundles of transmembrane helices that span the membrane and surround a central ion-permeable pore. Molecular modeling may be used to integrate and interpret available experimental data concerning the structure of such transmembrane pores. This has proved successful for the M2 channel domain, where two independently derived models are in agreement with one another, and with solid-state nuclear magnetic resonance (NMR) data. Simulations based on channel models may yield insights into possible ion conduction and selectivity mechanisms. BioEssays 20:992–1000, 1998. © 1998 John Wiley & Sons, Inc. (shrink)