We have lost one of the giants of the twentieth century physics when Yoichiro Nambu passed away in July, 2015, at the age of 94. Today's Standard Model, though still incomplete in many respects, is the culmination of the most successful theory of the Universe to date, and it is built upon foundations provided by discoveries made by Nambu in the 1960s: the mechanism of spontaneously broken symmetry in Nature (with G Jona-Lasinio) and the hidden new SU(3) symmetry of quarks (...) and gluons (with M-Y Han). In this volume honoring Nambu's memory, World Scientific Publishing presents a unique collection of papers written by his former colleagues, collaborating researchers and former students and associates, not only citing Nambu's great contributions in physics but also many personal and private reminiscences, some never told before. This book is a volume for all who benefited not only from Nambu's contributions toward understanding the Universe but also his warm and kind persona. It is a great addition to the history of contemporary physics. (shrink)
Plotkin suggested using a polymorphic dual intuitionistic/linear type theory as a metalanguage for parametric polymorphism and recursion. In recent work the first two authors and R.L. Petersen have defined a notion of parametric LAPL-structure, which are models of image, in which one can reason using parametricity and, for example, solve a large class of domain equations, as suggested by Plotkin.In this paper, we show how an interpretation of a strict version of Bierman, Pitts and Russo’s language image into synthetic domain (...) theory presented by Simpson and Rosolini gives rise to a parametric LAPL-structure. This adds to the evidence that the notion of LAPL-structure is a general notion, suitable for treating many different parametric models, and it provides formal proofs of consequences of parametricity expected to hold for the interpretation. Finally, we show how these results, in combination with Rosolini and Simpson’s computational adequacy result, can be used to prove consequences of parametricity for image. In particular, we show that one can solve domain equations in image up to ground contextual equivalence. (shrink)
Moral sensitivity and moral reasoning are essential competencies biomedical researchers have to develop to make ethical decisions in their daily practices. Previous research has shown that these competencies can be developed through ethics education. However, it is unclear which underlying mechanisms best support the development of these competencies. In this article we argue that the development of moral sensitivity and moral reasoning can be fostered through teaching strategies that tap into students’ moral imagination. We describe how moral imagination can stimulate (...) the development of these competencies through three different merits of moral imagination. Moral imagination can help students to 1) transfer and apply abstract moral concepts to concrete situations and contexts, 2) explore the perspective of others, 3) explore and foresee the moral consequences of different decisions and actions. We explain these three merits of moral imagination in the context of biomedical research and present a theoretical model for how these merits can be used to stimulate the development of moral sensitivity and moral reasoning. Furthermore, we describe multiple teaching strategies for biomedical curricula that tap into the three merits of moral imagination. These teaching strategies can inspire teachers to design ethics education that activates students’ moral imagination for the development of moral sensitivity and moral reasoning. (shrink)
Exploring Textual Action questions how we analyse works of art after the performative turn and shows how the interplay of performativity (textual action), space and topography, and the converging of genres and art forms is essential in modern drama, theatre, prose fiction, poetry and film. The volume also fosters a keen concern for the development of congenial theory. Its 14 detailed essays analyse works of art ranging from Balzac, Melville and George Eliot, to Breton, Kafka, Benjamin, Blixen and Woolf; and (...) from W.C. Williams, Bresson and Scorsese, to Sarraute, Duras, Reygadas, Dumont and Waltz. The approach of these studies discloses the art works as creative and dynamic utterances with active and shaping forces so powerful, and consequential, that they have the potential to transform human perception and blur clear distinctions between art and "real" life. Using an alternative and dynamic method and suggesting a direction towards the detailed analysis of literature, art, media and culture, Exploring Textual Action addresses current debates within the humanities. (shrink)
BackgroundRandomized controlled trials (RCTs) are often complex and expensive to perform. Less than one third achieve planned recruitment targets, follow-up can be labor-intensive, and many have limited real-world generalizability. Designs for RCTs conducted using cohorts and routinely collected health data, including registries, electronic health records, and administrative databases, have been proposed to address these challenges and are being rapidly adopted. These designs, however, are relatively recent innovations, and published RCT reports often do not describe important aspects of their methodology in (...) a standardized way. Our objective is to extend the Consolidated Standards of Reporting Trials (CONSORT) statement with a consensus-driven reporting guideline for RCTs using cohorts and routinely collected health data.MethodsThe development of this CONSORT extension will consist of five phases. Phase 1 (completed) consisted of the project launch, including fundraising, the establishment of a research team, and development of a conceptual framework. In phase 2, a systematic review will be performed to identify publications (1) that describe methods or reporting considerations for RCTs conducted using cohorts and routinely collected health data or (2) that are protocols or report results from such RCTs. An initial “long list” of possible modifications to CONSORT checklist items and possible new items for the reporting guideline will be generated based on the Strengthening the Reporting of Observational Studies in Epidemiology (STROBE) and The REporting of studies Conducted using Observational Routinely-collected health Data (RECORD) statements. Additional possible modifications and new items will be identified based on the results of the systematic review. Phase 3 will consist of a three-round Delphi exercise with methods and content experts to evaluate the “long list” and generate a “short list” of key items. In phase 4, these items will serve as the basis for an in-person consensus meeting to finalize a core set of items to be included in the reporting guideline and checklist. Phase 5 will involve drafting the checklist and elaboration-explanation documents, and dissemination and implementation of the guideline.DiscussionDevelopment of this CONSORT extension will contribute to more transparent reporting of RCTs conducted using cohorts and routinely collected health data. (shrink)
İletişimsel eylem kuramı stratejik eylemi dışlamakla bizi gerçekçi bir doğruluk kavramı geliştirmekten alıkoyar. Halbuki, gerçekçi bir doğruluk kavramı, kuramın öndayanaklarından biridir. O halde, yeni bir mantık aracılığıyla, stratejik eylemi de bünyesine alan, yeni bir iletişimsel eylem anlayışının olanaklılığı sorgulanabilir. Bu bildiride böyle bir anlayışın nasıl geliştirilebileceği üzerinde duracağım.
Mantık, yirminci yüzyıldaki gelişimi bakımından ele alındığında, matematik, bilgisayar bilimi, dilbilim ve felsefe gibi alanlarla sıkı kavramsal bağlantılar kuran bir disiplin haline gelmiştir. Tüm bu alanların gündelik dilde izi sürülen anlamalar, anlaşmalar, anlatmalar vb. edimler için birşeyler söyleyebileceğini ya da yapabileceğini varsayabiliriz. Ancak bu varsayım gündelik dilin mantığıyla ya da mantıksızlıklarıyla doğrudan başedebilecek bir anlama yetisi kazanmanın kolay bir yolu olduğu anlamına gelmez. Modern mantık matematikseldir ve gündelik dilde bir kolaylık sağlamaz; aksine işleri olduğundan da karmaşık hale getirir.