The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R – are improved and the relationship between R and R – is clarified.

To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical (Solovay-type) completeness theorem with respect to PA is obtained for LR.

To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical completeness theorem with respect to PA is obtained for LR.

In this paper, we study IL(), the interpretability logic of . As is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to : IL() is not or . IL() does, of course, contain all the principles known to be part of IL, the interpretability logic of the principles common to all reasonable arithmetical theories. In this paper, we take two arithmetical properties of and see what their consequences in the modal logic (...) IL() are. These properties are reflected in the so-called Beklemishev Principle , and Zambella’s Principle , neither of which is a part of IL. Both principles and their interrelation are submitted to a modal study. In particular, we prove a frame condition for . Moreover, we prove that follows from a restricted form of . Finally, we give an overview of the known relationships of IL() to important other interpretability principles. (shrink)

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)

"The studies collected in this book are all concerned with aspects of the Platonic tradition, either in its own internal development in the Hellenistic age and the period of the Roman Empire, or with the influence of Platonism, in one or other of its forms, on other spiritual traditions, especially that of Christianity." [Book jacket].

The skopos of this new type of church Bible is: ‘How would the source texts of the Bible have sounded in Afrikaans in the context envisaged for its hypothesised first audience?’ Fully acknowledging the complexities of language as a dynamic and complex system embedded in the culture and conceptual world of its speakers, as well as the wide range of frames that are involved in the process of Bible translation as a difficult form of secondary communication, this article addresses two (...) of the challenges of this ambitious project. In the first section the incongruence between the world of the Old Testament and speakers of Afrikaans is treated. Examples are provided of instances where both the nature of difficult secondary intercultural communication as well as the subjective theories of the host audience constrains the ‘directness’ of the translation. In the second section, some of the challenges of distinguishing between the formal and functional features of Biblical Hebrew are dealt with. The article concludes that, although the notion ‘communicative clue’ provides a useful heuristic device to act as point of departure for negotiations on the construal of the meaning of the text in the source language and host language respectively, the notion has to be supplemented by insights from the fields of cultural anthropology, cognitive linguistics and linguistic typology. A better understanding of how meaning ‘works’ provides members of a translation team with some criteria to make informed decisions when they negotiate how the meaning of specific Biblical Hebrew constructions are to be construed ‘directly’ in Afrikaans.Keywords: Afrikaans Bibles; Bible translation; Biblical Hebrew; church Bible; code model; cognitive linguistics; cognitive semantics; communication model; communicative clue; direct translation; discourse marker; dynamic equivalent translation; functionalist tran. (shrink)

Les pages suivantes essaient de résumer brièvement une étude entreprise par l’auteur sur les rapports qui unissent Descartes et Comenius, étude qui sera publiée sous peu in extenso. On y joindra évidemment les textes, les extraits des documents contemporains, bref tout l’appareil scientifique assez considérable que comporte une étude de nature historique. Mais ici, à mon grand regret, j’ai été obligé de supprimer toute la documentation qui doit étayer l’exposé que l’on trouvera ci-après. Il lui manque en outre l’esquisse des (...) perspectives historiques dans lesquels se placent les événements dont j’aurai à parler. Faute de place, il a fallu se résigner, bien à regret, à quelques généralités. (shrink)

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.