In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

The development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages with (...) relating the number ofpronouns available to the expressivity of the language.The results are obtained using techniques from static and dynamic modeltheory: model theoretic games, transition systems and bisimulation. (shrink)

This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some (...) familiar results aboutthe proof theory of this logic to indicate how the new techniques workout. (shrink)

In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with (...) the familiar formalisms in dynamic semantics, DRT and DPL. (shrink)

Topic of this paper is the way in which the structure of events features in discourse. We focus on the structure as introduced by verbs that express some sense of progress. First it is shown by means of examples that this structure is anaphorically available in discourse. Then we go on to discuss the different ways in which the same event may be structured within one discourse situation. We give formal representations of the crucial examples in many-sorted dynamic logic.

BackgroundWhen conducting research with Indigenous populations consent should be sought from both individual participants and the local community. We aimed to search and summarise the literature about methods for seeking consent for research with Indigenous populations.MethodsA systematic literature search was conducted for articles that describe or evaluate the process of seeking informed consent for research with Indigenous participants. Guidelines for ethical research and for seeking consent with Indigenous people are also included in our review.ResultsOf 1447 articles found 1391 were excluded (...) ; 56 were relevant and included. Articles were categorised into original research that evaluated the consent process or publications detailing the process of seeking consent and guidelines for ethical research. Guidelines were categorised into international ; national and state/regional/local guidelines. In five studies based in Australia, Canada and The United States of America the consent process with Indigenous people was objectively evaluated. In 13 other studies interpreters, voice recording, videos, pictures, flipcharts and “plain language” forms were used to assist in seeking consent but these processes were not evaluated. Some Indigenous organisations provide examples of community-designed resources for seeking consent and describe methods of community engagement, but none are evaluated. International, national and local ethical guidelines stress the importance of upholding Indigenous values but fail to specify methods for engaging communities or obtaining individual consent. In the ‘Grey literature’ concerns about the consent process are identified but no solutions are offered.ConclusionConsultation with Indigenous communities is needed to determine how consent should be sought from the community and the individual, and how to evaluate this process. (shrink)

Cho and Martinez-Martin provide a wide-ranging analysis of what they label “digital simulacra”—which are in essence data-driven AI-based simulation models such as digital twins or models used for i...

In the recent past, several papers have pointed to the possibility that tumour removal generates a permissive environment in which tumour growth is potentiated. This phenomenon has been coined “perioperative tumour growth” and whilst it represents a departure in terms of our attitude to the surgical process, this concept was first hinted at by Paget1Sir James Paget (1814–1899) was a surgeon and physiologist who is widely held (along with Rudolph Virchow) to be the father of the science of pathology. Paget (...) described Paget's disease of the nipple as well as Paget's disease of bone. himself. Despite this, the time interval immediately before and after cancer surgery (i.e. the perioperative period) remains an underutilised interval during which chemotherapeutic regimens are rarely implemented. Herein, we present a summarised review of the literature that supports the concept that tumour removal may potentiate the growth of residual neoplastic disease. We also outline current knowledge regarding underlying mechanisms and in this manner highlight potential therapeutic entry points. Finally, we emphasise the urgent need for trials of agents that could protect patients against the harmful host–tumour interactions that may occur during the perioperative period. BioEssays 28: 433–437, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

ABSTRACT:A wide range of research uses patterns of genetic variation to infer genetic similarity between individuals, typically referred to as genetic ancestry. This research includes inference of human demographic history, understanding the genetic architecture of traits, and predicting disease risk. Researchers are not just structuring an intellectual inquiry when using genetic ancestry, they are also creating analytical frameworks with broader societal ramifications. This essay presents an ethics framework in the spirit of virtue ethics for these researchers: rather than focus on (...) rule following, the framework is designed to build researchers’ capacities to react to the ethical dimensions of their work. The authors identify one overarching principle of intellectual freedom and responsibility, noting that freedom in all its guises comes with responsibility, and they identify and define four principles that collectively uphold researchers’ intellectual responsibility: truthfulness, justice and fairness, anti-racism, and public beneficence. Researchers should bring their practices into alignment with these principles, and to aid this, the authors name three common ways research practices infringe these principles, suggest a step-by-step process for aligning research choices with the principles, provide rules of thumb for achieving alignment, and give a worked case. The essay concludes by identifying support needed by researchers to act in accord with the proposed framework. (shrink)

Researchers are required to seek consent from Indigenous communities prior to conducting research but there is inadequate information about how Indigenous people understand and become fully engaged with this consent process. Few studies evaluate the preference or understanding of the consent process for research with Indigenous populations. Lack of informed consent can impact on research findings. The Picture Talk Project was initiated with senior Aboriginal leaders of the Fitzroy Valley community situated in the far north of Western Australia. Aboriginal people (...) were interviewed about their understanding and experiences of research and consent processes. Transcripts were analysed using NVivo10 software with an integrated method of inductive and deductive coding and based in grounded theory. Local Aboriginal interpreters validated coding. Major themes were defined and supporting quotes sourced. Interviews with Aboriginal leaders were facilitated by a local Aboriginal Community Navigator who could interpret if necessary and provide cultural guidance. Participants were from all four major local language groups of the Fitzroy Valley; aged 31 years and above; and half were male. Themes emerging from these discussions included Research—finding knowledge; Being respectful of Aboriginal people, Working on country, and Being flexible with time; Working together with good communication; Reciprocity—two-way learning; and Reaching consent. The project revealed how much more there is to be learned about how research with remote Aboriginal communities should be conducted such that it is both culturally respectful and, importantly, meaningful for participants. We identify important elements in community consultation about research and seeking consent. (shrink)

The consent and community engagement process for research with Indigenous communities is rarely evaluated. Research protocols are not always collaborative, inclusive or culturally respectful. If participants do not trust or understand the research, selection bias may occur in recruitment, affecting study results potentially denying participants the opportunity to provide more knowledge and greater understanding about their community. Poorly informed consent can also harm the individual participant and the community as a whole. Invited by local Aboriginal community leaders of the Fitzroy (...) Valley, the Kimberley, Western Australia, The Picture Talk project explores the consent process for research. Focus groups of Aboriginal community members were conducted to establish preferences for methods of seeking individual consent. Transcripts were analysed through NVivo10 Qualitative software using grounded theory with inductive and deductive coding. Themes were synthesised with quotes highlighted. Focus groups with Aboriginal community members were facilitated by a Community Navigator as a cultural guide and interpreter and a researcher. Participants were recruited from all main language groups of the Fitzroy Valley – Gooniyandi, Walmajarri, Wangkatjungka, Bunuba and Nikinya. Participants were aged ≥18 years, with 5 female groups and one male group. Themes identified include: Reputation and trust is essential; The Community Navigator is key; Pictures give the words meaning – milli milli versus Pictures; Achieving consensus in circles; Signing for consent; and Research is needed in the Valley. Aboriginal communities of the Fitzroy Valley recommend that researchers collaborate with local leaders, develop trust and foster a good reputation in the community prior to research. Local Aboriginal researchers should be employed to provide cultural guidance throughout the research process and interpret local languages especially for elders. Pictures are preferred to written text to explain research information and most prefer to sign for consent. The Fitzroy Valley welcomes research when collaborative and for the benefit of the community. Future research could include exploring how to support young people, promote health screening and improve understanding of medical knowledge. (shrink)

ZusammenfassungMit den Fortschritten im Bereich der psychiatrisch-genetischen Forschung gehen auch intensive Diskussionen bezüglich der daraus erwachsenden Implikationen einher. Hoffnungen wie Befürchtungen gegenüber der neuen Technologie und deren Folgen werden gleichermaßen zum Ausdruck gebracht. Über die Einstellung der Bevölkerung und insbesondere der Patienten mit affektiven oder schizophrenen Erkrankungen und ihrer Angehörigen in Deutschland war bisher allerdings wenig bekannt. Daher führten wir im Rahmen des Deutschen Humangenomprojektes erstmals eine Studie durch, um die Einstellungen und ihre beeinflussenden Faktoren zu erfassen. Wir entwickelten einen (...) Fragebogen zur Erfassung der Erwartungen, Hoffnungen und Befürchtungen sowie der die Einstellung beeinflussenden Faktoren. Hiermit wurde eine repräsentative Stichprobe von 3077 Personen aus der Allgemeinbevölkerung am Telefon befragt. Weiterhin wurden mit 316 Patienten und 163 Angehörigen persönliche standardisierte Interviews anhand des Fragebogens durchgeführt. Die Mehrzahl der Befragten hatte eine positive Einstellung zu psychiatrisch-genetischer Forschung, äußerte jedoch gleichzeitig ethische Bedenken. Übereinstimmend waren die Befragten der Ansicht, dass Informationen aus genetischen Untersuchungen vertraulich behandelt werden sollten. Kleine, aber signifikante Unterschiede zwischen den Gruppen zeigten sich bezüglich der Einstellung zu präsymptomatischer genetischer Diagnostik. Unsere Ergebnisse weisen auf eine Ambivalenz der Befragten gegenüber der psychiatrisch-genetischen Forschung und Untersuchung hin: Neben einer überwiegend positiven Einstellung wurden auch moralische Bedenken geäußert. (shrink)