Research suggests that sedentary behavior is negatively associated with cognitive outcomes. Interrupting prolonged sitting has been shown to improve cognitive functions, including executive functioning, which is important for academic performance. No research has been conducted on the effect of standing on EF in VET students, who make up a large proportion of the adolescent population and who are known to sit more than other students of this age. In this study, we investigated the acute effects of reducing SB by short (...) time standing on EF in vocational education and training students. In a randomized crossover study, 165 VET students were first taught for 15 min in seated position. After this, they performed while seated the Letter Memory Test for updating, and the Color Shape Test for shifting and inhibition. Students were randomly assigned to a sitting or standing condition. All students were taught again for 15 min and then took the same tests in the condition they were allocated to, respectively, standing or seated. After 1 week, the test procedure was repeated, in which students switched conditions. Mixed model analyses showed no significant effect of sitting or standing on updating, shifting, or inhibition. Also, no significant differences were found for the order of condition on updating, shifting, or inhibition. Our results suggest that 40 min of standing does not significantly influence EF among VET students. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

This article focuses on maternal-fetal surgery (MFS) and on the concept of clinical equipoise that is a widely accepted requirement for conducting randomized controlled trials (RCT). There are at least three reasons why equipoise is unsuitable for MFS. First, the concept is based on a misconception about the nature of clinical research and the status of research subjects. Second, given that it is not clear who the research subject/s in MFS is/are, if clinical equipoise is to be used as a (...) criterion to test the ethical appropriateness of RCT, its meaning should be unambiguous. Third, because of the multidisciplinary character of MFS, it is not clear who should be in equipoise. As a result, we lack an adequate criterion for the ethical review of MFS protocols. In our account, which is based on Chervenak and McCullough's seminal work in the field of obstetric ethics, equipoise is abandoned. and RCT involving MFS can be ethically initiated when a multidisciplinary ethics review board (ERB), having an evidence-based assessment of the risks involved, is convinced that the value of answering the research hypothesis, for the sake of the health interests of future pregnant women carrying fetuses with certain congenital birth defects, justifies the actual risks research participants might suffer within a set limit of low/manageable. (shrink)

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logicalnotions considered we suggest that the "most natural" reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the “most natural” reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.

Julian H. Franklin, scholar of constitutionalism in the late sixteenth century, has extended his researches into the late seventeenth century with this fine work on Locke and Locke’s immediate sources. Franklin’s book is short, concise, well-focused and carefully argued. It is also thought-provoking to a degree one would not expect from the modesty or historicity of the subject. Controversy over this problem of political rhetoric and science, once heated while lives and fates were involved, is now cold, and the problem (...) no longer seems to be ours. Franklin follows the reasoning of past thinkers and deftly joins in when he can, providing for us an exemplary model of political theory on the quiet: he makes old arguments relevant to us without forcing them and he detaches us from our alleged necessities without resorting to silly hypotheses. (shrink)

Julian H. Franklin, scholar of constitutionalism in the late sixteenth century, has extended his researches into the late seventeenth century with this fine work on Locke and Locke’s immediate sources. Franklin’s book is short, concise, well-focused and carefully argued. It is also thought-provoking to a degree one would not expect from the modesty or historicity of the subject. Controversy over this problem of political rhetoric and science, once heated while lives and fates were involved, is now cold, and the problem (...) no longer seems to be ours. Franklin follows the reasoning of past thinkers and deftly joins in when he can, providing for us an exemplary model of political theory on the quiet: he makes old arguments relevant to us without forcing them and he detaches us from our alleged necessities without resorting to silly hypotheses. (shrink)

"Historical recurrence" is an idea of uncertain but considerable breadth conceived by G. W. Trompf. Vaguer and wider than the notion of a cycle, it can mean "typical changes" or that "history somehow repeats itself". Besides the cycle it is said to include the alternation view, the reciprocal view, the reenactment view, renaissance, recurrence proceeding from the uniformity of human nature, similarity, parallelism, and lessons of the past. As Trompf traces this idea from antiquity to the Reformation he points out (...) many along the way who somehow contributed to its formation but rests on three who chiefly formulated some version of it: Polybius, Luke, and Machiavelli. These are seen as historians—even Luke is "an historian of the Hellenistic period" —to whom history somehow repeats itself. (shrink)

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

"The Quattrocento Dialogue" discussed by David Marsh was produced by Leonardo Bruni, Poggio Bracciolini, Lorenzo Valla, Leon Battista Alberti, and Giovanni Pontano. Their dialogues "examine philosophical questions in a contemporary setting," and since that setting is one of emerging modernity, the development of the genre of dialogue "illustrates the development of emerging modern thought". Marsh’s book is a mixture of intellectual and literary history, unburdened or unenlivened with fashionable theorizing, and directed more toward establishing the existence of a genre of (...) Quattrocento dialogue than toward defining modernity. (shrink)

Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...) is lawless? is not acceptable, the lawless sequences do not form a well-circumscribed intuitionistic set, and quantification over lawless sequences does not make sense. (shrink)

Objective: To examine the current ethical review process of ethics committees in a non-pharmacological trial from the perspective of a clinical investigator.Design: Prospective collection of data at the Study Centre of the German Surgical Society on the duration, costs and administrative effort of the ERP of a randomised controlled multicentre surgical INSECT Trial between November 2003 and May 2005.Setting: Germany.Participants: 18 ethics committees, including the ethics committee handling the primary approval, responsible overall for 32 clinical sites throughout Germany. 8 ethics (...) committees were located at university medical schools and 10 at medical chambers. Duration was measured as days between submission and receipt of final approval, costs in euros and administrative effort by calculation of the product of the total number of different types of documents and the mean number of copies required .Results: The duration of the ERP ranged from 1 to 176 days. The median duration was 26 days at MSUs compared with 34 days at medical chambers. The total cost was €2947. 1 of 8 ethics committees at universities and 8 of 10 at medical chambers charged a median fee of €162 . The administrative effort for primary approval was 30. Four ethics committees required a higher administrative effort for secondary approval .Conclusion: The ERP for non-pharmacological multicentre trials in Germany needs improvement. The administrative process has to be standardised: the application forms and the number and content of the documents required should be identical or at least similar. The fees charged vary considerably and are obviously too high for committees located at medical chambers. However, the duration of the ERP was, with some exceptions, excellent. A centralised ethics committee in Germany for multicentre trials such as the INSECT Trial can simplify the ERP for clinical investigators in and outside the country. (shrink)