Recent studies have provided evidence of associations between neurochemistry and reading (dis)ability (Pugh et al., 2014). Based on a long history of studies indicating that fluent reading entails the automatic convergence of the written and spoken forms of language and our recently proposed Neural Noise Hypothesis (Hancock et al., 2017), we hypothesized that individual differences in cross-modal integration would mediate, at least partially, the relationship between neurochemical concentrations and reading. Cross-modal integration was measured in 231 children using a two-alternative forced (...) choice cross-modal matching task with three language conditions (letters, words, and pseudowords) and two levels of difficulty within each language condition. Neurometabolite concentrations of Choline (Cho), Glutamate (Glu), gamma-Aminobutyric (GABA), and N- acetyl-aspartate (NAA) were then measured in a subset of this sample (n = 70) with Magnetic Resonance Spectroscopy (MRS). A structural equation mediation model revealed that the effect of cross-modal word matching mediated the relationship between increased Glu (which has been proposed to be an index of neural noise) and poorer reading ability. In addition, the effect of cross-modal word matching fully mediated a relationship between increased Cho and poorer reading ability. Multilevel mixed effects models confirmed that lower Cho predicted faster cross-modal matching reaction time, specifically in the hard word condition. These Cho... (shrink)

In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...) and preservation under ultrafilter extensions are introduced and studied as well. (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

In the modal literature various notions of "completeness" have been studied for normal modal logics. Four of these are defined here, viz. completeness, first-order completeness, canonicity and possession of the finite model property -- and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability and (...) preservation under ultrafilter extensions are introduced and studied as well. (shrink)

Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.

We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...) logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions is discussed.The modal language to be considered here has an infinite supply of proposition letters, a propositional constant ⊥, the usual Boolean operators ¬, ∨, ∨, →, and ↔ —with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ and □ — ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

There are thirteen essays in this collection. Sophisticated disquisitions on rather disparate topics, they contain a number of statements which are obscure to me and, I wager, to many readers, including metaphysicians. There is space here to note only a few of the several recurrent themes in Miller’s essays. First and foremost is the notion of the primacy of action. The affirmation of values, he says, is not a "matter of logic but of action," and "values become real only in (...) the deed"—values being prior to mere facts. Miller’s action-philosophy entails an exaltation of will over intellect. For instance, he says that "the pursuit of truth is itself a gesture of will." Another recurrent theme is the human inescapability of history—of time, process, transitoriness, corruptibility. What Miller calls "ahistorical sublimity" is purchased at too high a price-the price of a "radical impersonality" with an "apparent irrelevance to action and values." Miller’s view of freedom can be called intellectualist: "It is," he says, "in the ‘revision’ of truth that freedom is found." He refers not to "static" truth in the impersonal mode of physics but to dynamic truth in the mode of personal creativity. For "creative adventure," by action and experiment, he holds, is the mark of freedom. The entire "midworld" of artifacts, including arts, sciences, and languages, is the province of "responsible freedom." This whole area should be marked by "skepticism" as well as freedom, because skepticism is man’s best weapon against "absolutist pretensions," Miller persuasively argues. Furthermore, he stresses the point that there is no fact within our ken which is not linguistically expressible, so that "responsible humanism" is inconceivable without responsible use of language. The desideratum, as Miller says, is "controlled receptivity" regarding the employment of all linguistic signs and instruments. For "nature," the common object of all our knowledge, embraces not only facts but artifacts as well, including languages. He says that only "purposeful artifacts"-especially languages—put us in touch with actuality and history. History alone, he argues, leads into philosophy. "Ahistoric ideals," present everywhere in classical thought, stand in the way of this wedding of history and philosophy. A happy wedding for, according to Miller, there is no human knowledge that is not historical; everything human is dated. Miller is an action-philosopher because he is a history-philosopher. He contends that there is no freedom for us outside of history. He hails skepticism regarding "ahistoric ideals" as a kind of "negative absolutism." And he says that such skepticism is an "experience, not a theory," and that it makes "metaphysics of the transcendent" possible. He does not explain what that metaphysics is. Apparently, his "skepticism" is the awareness of the limited character of all philosophies. If so, it is, for Miller, our chief safeguard against the use of bloated language in the service of the ahistoric ideal.—J.F.A. (shrink)

Background: The factors influencing parents’ willingness to enroll their children in biobanks are poorly understood. This study sought to assess parents’ willingness to enroll their children, and their perceived benefits, concerns, and information needs under different consent and data-sharing scenarios, and to identify factors associated with willingness. Methods: This large, experimental survey of patients at the 11 eMERGE Network sites used a disproportionate stratified sampling scheme to enrich the sample with historically underrepresented groups. Participants were randomized to receive one of (...) three consent and data-sharing scenarios. Results: In total, 90,000 surveys were mailed and 13,000 individuals responded (15.8% response rate). 5737 respondents were parents of minor children. Overall, 55% (95% confidence interval 50–59%) of parents were willing to enroll their youngest minor child in a hypothetical biobank; willingness did not differ between consent and data-sharing scenarios. Lower educational attainment, higher religiosity, lower trust, worries about privacy, and attitudes about benefits, concerns, and information needs were independently associated with less willingness to allow their child to participate. Of parents who were willing to participate themselves, 25% were not willing to allow their child to participate. Being willing to participate but not willing to allow one’s child to participate was independently associated with multiple factors, including race, lower educational attainment, lower annual household income, public health care insurance, and higher religiosity. Conclusions: Fifty-five percent of parents were willing to allow their youngest minor child to participate in a hypothetical biobank. Building trust, protecting privacy, and addressing attitudes may increase enrollment and diversity in pediatric biobanks. (shrink)

Background: Expanded newborn screening generates incidental results, notably carrier results. Yet newborn screening programmes typically restrict parental choice regarding receipt of this non-health serving genetic information. Healthcare providers play a key role in educating families or caring for screened infants and have strong beliefs about the management of incidental results. Methods: To inform policy on disclosure of infant sickle cell disorder (SCD) carrier results, a mixed-methods study of healthcare providers was conducted in Ontario, Canada, to understand attitudes regarding result management (...) using a cross-sectional survey (N = 1615) and semistructured interviews (N = 42). Results: Agreement to reasons favouring disclosure of SCD carrier results was high (65.1%–92.7%) and to reasons opposing disclosure was low (4.1%–18.1%). Genetics professionals expressed less support for arguments favouring disclosure (35.3%–78.8%), and more agreement with arguments opposing disclosure (15.7%–51.9%). A slim majority of genetics professionals (51.9%) agreed that a reason to avoid disclosure was the importance of allowing the child to decide to receive results. Qualitatively, there was a perceived “duty” to disclose, that if the clinician possessed the information, the clinician could not withhold it. Discussion: While a majority of respondents perceived a duty to disclose the incidental results of newborn screening, the policy implications of these attitudes are not obvious. In particular, policy must balance descriptive ethics (ie, what providers believe) and normative ethics (ie, what duty-based principles oblige), address dissenting opinion and consider the relevance of moral principles grounded in clinical obligations for public health initiatives. (shrink)

Daydreaming appears to have a complex relationship with life satisfaction and happiness. Here we demonstrate that the facets of daydreaming that predict life satisfaction differ between men and women , that the content of daydreams tends to be social others , and that who we daydream about influences the relation between daydreaming and happiness variables like life satisfaction, loneliness, and perceived social support . Specifically, daydreaming about people not close to us predicts more loneliness and less perceived social support, whereas (...) daydreaming about close others predicts greater life satisfaction. Importantly, these patterns hold even when actual social network depth and breadth are statistically controlled, although these associations tend to be small in magnitude. Individual differences and the content of daydreams are thus important to consider when examining how happiness relates to spontaneous thoughts. (shrink)

The statistical properties of a single quantum object and an ensemble of independent such objects are considered in detail for two-level systems. Computer simulations of dynamic zero-point quantum fluctuations for a single quantum object are reported and compared with analytic solutions for the ensemble case.

Background It has been suggested that researchers are obliged to offer summary findings to research participants to demonstrate respect for persons, and that this may increase public trust in, and awareness of, the research enterprise. Yet little research explores researchers' attitudes and practices regarding the range of initiatives that might serve these ends. Methods Results of an international survey of 785 eligible authors of genetics research studies in autism or cystic fibrosis are reported. Results Of 343 researchers who completed the (...) survey (44% response rate), the majority agreed that their team should (i) inform participants of summary findings (90.7%) and (ii) ensure they gain an awareness of developments in the field (86.9%). Additionally, the majority reported that in practice, their team (i) informs participants of summary findings (69.4%) and (ii) provides other types of relevant non-results information (eg, state of science in the field, opportunities for research participation) (67.9%). Conclusion Researchers endorsed the obligation of communicating with research participants by providing summary findings and other research-related information in equal measure. In light of these findings, it is suggested that while the provision of summary results may contribute to efforts to discharge the obligation of respect for persons, it may be neither a necessary nor a sufficient means to this end. (shrink)