Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

Procrastination is a chronic and widespread problem; however, emerging work raises questions regarding the strength of the relationship between self-reported procrastination and behavioral measures of task engagement. This study assessed the internal reliability, concurrent validity, predictive validity, and psychometric properties of 10 self-report procrastination assessments using responses collected from 242 students. Participants’ scores on each self-report instrument were compared to each other using correlations and cluster analysis. Lasso estimation was used to test the self-report scores’ ability to predict two behavioral (...) measures of delay. The self-report instruments exhibited strong internal reliability and moderate levels of concurrent validity. Some self-report measures were predictive of days to study completion. No self-report measures were predictive of deadline action pacing, the pacing style most commonly associated with procrastination. Many of the self-report measures of procrastination exhibited poor fit. These results suggest that researchers should exercise caution in selecting self-report measures and that further study is necessary to determine the factors that drive misalignment between self-reports and behavioral measures of delay. (shrink)

The Second Conference of the International Society for the Study of Time was held at Hotel Mt. Fuji, near Lake Yamanaka, Japan, on July I to 7,1973. The present volume is the proceedings at that Con ference and constitutes the second volume in The Study of Time series. * At the closing session of our First Conference in Oberwolfach, Germany, in 1969, I was honored by being elected to the Presidency of the Society, following Dr. J. G. Whitrow, our fIrst (...) President. My mandate was to organize a Second Conference, consistent with the aim of the Society, which is the holding of interdisciplinary conferences for the presentation and discussion of papers on various as pects of time. Several participants expressed to me their wish to have a second conference held in Japan so as to emphasize the international and intercultural dedication of this Society. Dr. Fraser carefully evaluated this and many other suggestions, weighed the possible conference sites and our chances of raising the necessary funds to convene a meeting at such sites, and concurred with my conclusions that we should go ahead with the plans for a Japanese meeting. For the difficult and complicated task of raising funds and organizing a conference in Japan, I had to select and rely heavily on somebody both capable and reliable and also living in Japan. Thus, I asked the Reverend Michael Mutsuo Yanase, S. J. (shrink)

Do philosophic views affect job performance? The authors found that possessing a belief in free will predicted better career attitudes and actual job performance. The effect of free will beliefs on job performance indicators were over and above well-established predictors such as conscientiousness, locus of control, and Protestant work ethic. In Study 1, stronger belief in free will corresponded to more positive attitudes about expected career success. In Study 2, job performance was evaluated objectively and independently by a supervisor. Results (...) indicated that employees who espoused free will beliefs were given better work performance evaluations than those who disbelieve in free will, presumably because belief in free will facilitates exerting control over one’s actions. (shrink)

Four studies measured or manipulated beliefs in free will to illuminate how such beliefs are linked to other aspects of personality. Study 1 showed that stronger belief in free will was correlated with more gratitude, greater life satisfaction, lower levels of perceived life stress, a greater sense of self-efficacy, greater perceived meaning in life, higher commitment in relationships, and more willingness to forgive relationship partners. Study 2 showed that the belief in free will was a stronger predictor of life satisfaction, (...) meaning in life, gratitude, and self-efficacy than either locus of control or implicit person theory. Study 3 showed that experimentally manipulating disbelief in free will caused a reduction in the perceived meaningfulness of life. Study 4 found that inducing a stronger belief in free will caused people to set more meaningful goals for themselves. The possible concern that believers in free will simply claim all manner of positive traits was contradicted by predicted null finding.. (shrink)

LET ME BEGIN this inquiry with the simple but fundamental fact that the flow of time, or passage, as it is also known, is given in experience, that it is as indubitable an aspect of our perception of the world as the sights and sounds that come in upon us, even though it is not the peculiar property of a special sense. Consider, by way of illustration, that I am now sitting at the desk in my study. This particular event (...) was not present at any earlier time, nor will it be present shortly as I become involved in other activities. The present, as I experience it, is regularly associated with later and later events. It does not hop about capriciously from here to a later time, to a previous time, and then to a much later time, or trace out some other such indiscriminate pattern; instead I find it always in association with the next moment, and as I look backward and inward, so to speak, I find that the prior moment was present and that this next-later moment is present. Quite often this condition is expressed by means of imagery. We are asked to envision either a moving present racing along a fixed track of moments or events from earlier to later, or alternatively a fixed present through which stream a series of moments or events, first the earlier and then the later ones. One is in truth hard-pressed to find references to passage which do not employ quasi-poetical tropes and metaphors, and while these do help in some sense to say what we mean, great caution is required when handling them because of their ready tendency to draw us away from the actual phenomenon requiring explanation. (shrink)

We investigate how nonstandard reals can be established constructively as arbitrary infinite sequences of rationals, following the classical approach due to Schmieden and Laugwitz. In particular, a total standard part map into Richman's generalised Dedekind reals is constructed without countable choice.

Should weak forms of the axiom of choice really be accepted within constructive mathematics? A critical view of the Brouwer-Heyting-Kolmogorov interpretation, accompanied by the intention to include nondeterministic algorithms, leads us to subscribe to Richman's appeal for dropping countable choice. As an alternative interpretation of intuitionistic logic, we propose to renew dialogue semantics.

Even after yet another grand conjecture has been proved or refuted, any omniscience principle that had trivially settled this question is just as little acceptable as before. The significance of the constructive enterprise is therefore not affected by any gain of knowledge. In particular, there is no need to adapt weak counterexamples to mathematical progress.

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be (...) extremely useful in computer science. The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students. (shrink)

In this paper I shall examine creation and annihilation in time rather than solipsism of the moment. The argument will focus upon a difficulty raised by the creationist's qualification of the solipsist's denial of past and future. The solipsist maintains that the words "past" and "future" have no object of reference; hence, statements denying their existence, like such statements as "Fairies do not exist" and "Santa Claus does not exist," convey the idea that there simply are no existents to which (...) the subject terms refer. At no point can we accuse the solipsist of making the absurd claim that some existents do not exist, and yet that is precisely the claim which the creationist makes; for his subject term refers to some existent—something which does exist or did exist—and then he denies the existence of that existent. Indeed, he cannot express himself without granting existence, on the one hand, and denying it, on the other, so that he appears at the very outset to be involved in a contradiction. If the following argument is correct, it will prove that the contradiction is not merely apparent but real, and that the creationist is confronted by it as soon as he says what he wants to say in whatever idiom he chooses to say it. (shrink)

The long-standing conflict between the two theories centers about the question whether time can exist independently of that which is in it. Those who advocate absolute time answer in the affirmative while the relationists take the opposite position claiming that temporal relations, and thus time, have no reality apart from the things and events which they order. In the terminology of Paul Weiss, relational time is "concrete." The considerable emphasis placed upon this issue of the concreteness of time has adversely (...) affected the absolute theory, leading to presentations of the absolutist position that are confusing, if not erroneous. Absolute time, as interpreted by philosophers such as Broad, Gunn, and Whitehead, posits the existence of abstract moments which are arranged in serial order one before the other by virtue of relations of precedence between them. Things and events participate in time only vicariously, so to speak, being joined to their respective moments by another kind of relation which Whitehead calls "occupation." The overall structure presented by the absolute theory is therefore thought to be as follows: one event is before another if both are respectively bound by relations of occupation to moments which are in turn so related as to be one before the other. Relational time mercifully simplifies this picture by a neat bit of surgery, cutting away the abstract moments and tying the relations of precedence directly to things and events themselves. As a consequence, the parasitic relations of occupation wither away. (shrink)

First it will be necessary to examine the argument, and the meaning of the argument, by which Mr. Ingram-Pearson is led to uphold such an unusual position. Using the statement, "fairies do not exist," as his example, he observes: "In order to achieve its obvious status as a denial this statement must have some object of reference for its subject term; for denials which are denials of nothing are not denials in any sense at all." What, then, is the designate (...) of the term "fairies"? It is, we are told, "an existent [italics mine] which at least one person believes to be present in the world and which another person at the same time and in the same context believes is not there." To say that "fairies do not exist" is therefore to say that "certain entities, designated by the term 'fairies,' are not present in the world," or "specific entities, designated by the term 'fairies,' are really absent from the world." The latter statement is positive, and Mr. Ingram-Pearson tells us explicitly that positive statements cannot "succeed in making intelligible" something made intelligible by negative statements about non-existents; but he has in mind such "ordinary" positive statements as "fairies are imagined beings." In other words, it is not that negative statements about. (shrink)

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

Identifying the determinants of reproductive success in small-scale societies is critical for understanding how natural selection has shaped human evolution and behavior. The available evidence suggests that status-accruing behaviors such as hunting and prosociality are pathways to reproductive success, but social egalitarianism may diminish this pathway. Here we introduce a mixed longitudinal/cross-sectional dataset based on 45 years of research with the Batek, a population of egalitarian rain forest hunter-gatherers in Peninsular Malaysia, and use it to test the effects of four (...) predictors of lifetime reproductive success: foraging return rate, sharing proclivity, cooperative foraging tendency, and kin presence. We found that none of these factors can explain variation in lifetime reproduction among males or females. We suggest that social egalitarianism, combined with strikingly low infant and juvenile mortality rates, can mediate the pathway between foraging, status-accruing behavior, and reproductive success. Our approach advocates for greater theoretical and empirical attention to quantitative social network measures, female foraging, and fitness outcomes. (shrink)