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)

Exploring Textual Action questions how we analyse works of art after the performative turn and shows how the interplay of performativity, 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)

Son 13 yıl içinde yazdıklarım içinden seçip derlediğim bu dosyada farklı amaçlarla yazılıp bütünsel bir anlatı oluşturmak arzusuyla bir araya getirilmiş yazılar var. İçindeki yazıların başlıkları sırasıyla şöyle: 1. Maddesiz ama manalı ufuklar; 2. Wittgenstein'ın ölümsüz dünyasında kim öle, kim kala?; 3. Hilbert izlencesinin izinde; 4. Adcılık adına yeni bulgular; 5. Doğa ile oynanan oyunlarda hakikat arayışı; 6. Hakikat-sonrası hakikat araştırmaları; 7. Ekolojik bir etik arayışı: hakikat-sonrası, yalan, dolan; peki ya daha sonrası? Söz konusu yazılarla arzulanan bütünsel anlatıya göre bu (...) çalışma zihin-beden ikiliği, özdeşleştirme dizgeleri, adcılık, kamusal akıl yürütme ve çevre etiği gibi konularda felsefece değinilerden oluşan bir doğa felsefesine giriş denemesi olarak değerlendirilebilir. (shrink)

In this survey study of 7,208 Dutch healthcare workers, we investigate whether healthcare workers dealing with COVID-19 patients experience lower general health, more physical and mental exhaustion and more sleep problems than other healthcare workers. Additionally, we study whether there are differences in well-being within the group of healthcare workers working with COVID-19 patients, based on personal and work characteristics. We find healthcare workers who are in direct contact with COVID-19 patients report more sleep problems and are more physically exhausted (...) than those who are not in direct contact with COVID-19 patients. Mental exhaustion and general health do not significantly differ between healthcare workers who are in direct contact with COVID-19 patients and those who are not. Among healthcare workers in direct contact with COVID-19 patients, lower well-being on one or more indicators is reported by those who are female, living alone, without leadership role, or without sufficient protective equipment. Regarding age, physical exhaustion is more prevalent under healthcare workers older than 55 years, whereas mental exhaustion is more prevalent under healthcare workers younger than 36 years. These results stress the need of mental and physical support of healthcare workers during a pandemic, catered to the needs of healthcare workers themselves. (shrink)

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.

BackgroundRandomized controlled trials 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 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 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 that describe methods or reporting considerations for RCTs conducted using cohorts and routinely collected health data or 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 and The REporting of studies Conducted using Observational Routinely-collected health Data 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)

Kimi zaman akademik hayatımızı doğrudan etkileyen kararların kimler tarafından nerede ve nasıl alındığını bilemeyebiliriz. Kimi zaman da bilsek bile bu akademik toplumun şeffaf olduğu anlamına gelmeyebilir. Doktora sonrası yurda dönmeden önce, tezimi okuyan hocalarımdan “Orada seni anlayan birilerini bulabilecek misin?” gibi bir soru gelmişti. Sorunun doğru yanıtının ne olduğundan emin değildim; hala da değilim.

Verili bir durumu anlamayı, onu bir bütün olarak kurgulamak olarak düşünelim. Kurgu basit bir gösterge de olabilir, karmaşık bir yapı da olabilir; belli belirsiz bir iz veya izler toplamı da olabilir. Kurgunun işlevini yerine getirmesini sağlayan gerek ve yeter koşul verili olan durum ile kendi yapısı arasında bir karşılaştırma olanağını sağlamasıdır. Nitekim, en bilindik anlamda bir durumu kurgulamak onu bir başka durumla karşılaştırmaktır. Bu yüzden de karşılaştırma yapmayı anlama yetimiz için ön dayanak olan bir alt-yeti olarak tanımlayabiliriz. Bu alt-yetinin edimsel (...) doğasına ilişkin bazı sorulara yanıt aramak istersek, karşılaştırma dediğimiz edimin doğal koşullarını incelememiz gerekir. Bu bildiride karşılaştırma ediminin doğal koşullarını betimlemeyi amaçlayan bir çerçeve çizmeye ve böylelikle anlama yetimizin ön dayanaklarının edimsel doğasını uygun bir biçimde nasıl yorumlayabileceğimiz sorusuna yanıt vermeye çalışacağım. (shrink)

Mantık tarihi ondokuzuncu yüzyılın ikinci yarısından bu yana matematiğin temelleriyle ilgili soruların yanıtlanmasına sahne olmuştur. Bugün tarihsel gelişiminin bir sonucu olarak mantık bilgisayar kullanımı aracılığıyla yaşam ile etkileşmektedir. Bu yazıda söz konusu etkileşimin geleceğine ilişkin bilgisel ufukların geçmişte hangi soruları yanıtlamak amacıyla belirlendiği çok kısaca özetlenmektedir.