In today’s neoliberal audit cultures university rankings, quantitative evaluation of publications by JIF or researchers by h-index are believed to be indispensable instruments for “quality assurance” in the sciences. Yet there is increasing resistance against “impactitis” and “evaluitis”. Usually overseen: Trivial errors in Thomson Reuters’ citation indexes produce severe non-trivial effects: Their victims are authors, institutions, journals with names beyond the ASCII-code and scholars of humanities and social sciences. Analysing the “Joshua Lederberg Papers” I want to illuminate eventually successful ‘invention’ (...) of science citation indexing is a product of contingent factors. To overcome severe resistance Eugene Garfield, the “father” of citation indexing, had to foster overoptimistic attitudes and to downplay the severe problems connected to global and multidisciplinary citation indexing. The difficulties to handle different formats of references and footnotes, non-Anglo-American names, and of publications in non-English languages were known to the pioneers of citation indexing. Nowadays the huge for-profit North-American media corporation Thomson Reuters is the owner of the citation databases founded by Garfield. Thomson Reuters’ influence on funding decisions, individual careers, departments, universities, disciplines and countries is immense and ambivalent. Huge technological systems show a heavy inertness. This insight of technology studies is applicable to the large citation indexes by Thomson Reuters, too. (shrink)

Objectives Practitioners in contemplative traditions commonly report experiencing an awareness that is distinct from sensory objects, thoughts, and emotions (“awareness itself”). They also report experiences of a void or underlying silence that is closely associated with this awareness. Subjects who carry out the Headless Way exercises frequently report an experience of emptiness or void at the same time as other contents (void-like experiences). The goals of this study were to (1) assess the reliability of these methods in eliciting the recognition (...) of awareness and void-like experiences in participants who had no prior exposure to these techniques, (2) investigate the prevalence of these experiences in these tasks, and (3) to differentiate these experiences from closely related and potential precursor experiences. -/- Method Twenty adults participated in in-depth individual interviews in which they were guided through the Headless Way exercises. A thematic analysis was conducted on the interview transcripts. -/- Results Twelve of the participants reported a void-like experience, and five participants reported an experience of awareness itself. These experiences were respectively categorized as subsets of the more general categories of perceptual absences and the sense of not being person-like. Another novel finding was the real-time reports of awareness and void-like experiences during the exercises. -/- Conclusions Our findings provide preliminary evidence that the Headless Way exercises can effectively induce experiences of emptiness and awareness in participants without prior experience. The findings suggest that such experiences can be elicited outside of a traditional meditation context, including in non-meditators. Furthermore, the experience of not being person-like and of perceptual absences may be precursors and more general forms of recognizing awareness itself and the void-like nature of the mind. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic (...) with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

This book is a thesis submitted to the Faculty of Arts of the University of Utrecht. It was prepared under the supervision of Prof. Dr. H. Schultink. I would like to express my gratitude to him for his criticisms of earlier versions which led to many improvements, in particular with respect to the exposition of the argument. To my co-referent Dirk van Dalen, reader in the Department of Philo sophy (,Centrale Interfaculteit') of the University of Utrecht, I am greatly (...) indebted for his valuable and fruitful suggestions about problems relevant to both linguistics and logic. Several ideas developed in this study owe their present concrete form to our many discussions. This thesis originates in syntactic research into the Aspects carried out in 1967 under the supervision of Albert Kraak, professor at the University of Nijmegen, who ever since gave much attention to my work in progress. I am very grateful to him for his careful and stimulating criticism as well as for the continuous support he gave me during these years. The present study closely relates to the work of my colleague Wim Klooster with regard to both its theoretical framework and its subject matter. Our joint work on the measurement of duration in Dutch is an integral part of the argument. I have greatly profited from the numerous discussions we have had. (shrink)