Given any oracle, A, we construct a basic sequence Q, computable in the jump of A, such that no A-computable real is Q-distribution-normal. A corollary to this is that there is a Δn+10 basic sequence with respect to which no Δn0 real is distribution-normal. As a special case, there is a limit computable sequence relative to which no computable real is distribution-normal.

We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes${\cal D}_2 \left( {{\bf{\Pi }}_3^0 } \right)$and${\cal D}_\omega \left( {{\bf{\Pi }}_3^0 } \right)$, that is, the class of sets which are 2-differences (respectively,ω-differences) of${\bf{\Pi }}_3^0 $sets.

There have been numerous results showing that a measurable cardinal κ can carry exactly α normal measures in a model of GCH, where a is a cardinal at most κ⁺⁺. Starting with just one measurable cardinal, we have [9] (for α = 1), [10] (for α = κ⁺⁺, the maximum possible) and [1] (for α = κ⁺, after collapsing κ⁺⁺) . In addition, under stronger large cardinal hypotheses, one can handle the remaining cases: [12] (starting with a measurable cardinal (...) of Mitchell order α ) , [2] (as in [12], but where κ is the least measurable cardinal and α is less than κ, starting with a measurable of high Mitchell order) and [11] (as in [12], but where κ is the least measurable cardinal, starting with an assumption weaker than a measurable cardinal of Mitchell order 2). In this article we treat all cases by a uniform argument, starting with only one measurable cardinal and applying a cofinality-preserving forcing. The proof uses κ-Sacks forcing and the "tuning fork" technique of [8]. In addition, we explore the possibilities for the number of normal measures on a cardinal at which the GCH fails. (shrink)

We examine the number of normal measures a successor cardinal can carry, in universes in which the Axiom of Choice is false. When considering successors of singular cardinals, we establish relative consistency results assuming instances of supercompactness, together with the Ultrapower Axiom (introduced by Goldberg in [12]). When considering successors of regular cardinals, we establish relative consistency results only assuming the existence of one measurable cardinal. This allows for equiconsistencies.

Formal models of appearance and reality have proved fruitful for investigating structural properties of perceptual knowledge. This paper applies the same approach to epistemic justification. Our central goal is to give a simple account of The Preface, in which justified belief fails to agglomerate. Following recent work by a number of authors, we understand knowledge in terms of normality. An agent knows p iff p is true throughout all relevant normal worlds. To model The Preface, we appeal to the (...) normality of error. Sometimes, it is more normal for reality and appearance to diverge than to match. We show that this simple idea has dramatic consequences for the theory of knowledge and justification. Among other things, we argue that a proper treatment of The Preface requires a departure from the internalist idea that epistemic justification supervenes on the appearances and the widespread idea that one knows most when free from error. (shrink)

Alvin Goldman’s paper “What Is Justified Belief" and his book Epistemology and Cognition pioneered reliabilist theories of epistemic justifiedness. In light of counterexamples to necessity and counterexamples to sufficiency, Goldman has offered a number of refinements and modifications. This paper focuses on those refinements that relativize the justification conferring force of a belief-forming process to its reliably producing a high ratio of true beliefs over falsehoods in special circumstances: reliability in the actual world, in normal worlds, and in nonmanipulated (...) environments. This paper argues that Goldman’s refinements fall short and suggests instead the relativization to reliability in normal circumstances. Normal circumstances are those where the belief-forming process acquired the etiological function of reliably inducing true beliefs. This theory invites the Swampman objection. Two lines of response are pursued. (shrink)

In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some of the three properties, namely subclassicality and two properties that we call fixed-point negation property (...) and conservativeness. In the second part of the paper, we introduce normality operators and explore their formal behaviour. In the third and final part of the paper, we establish a number of classical recapture results for systems of formal inconsistency and formal undeterminedness that satisfy some or all the properties above. These are the main formal results of the paper. Also, we illustrate concrete cases of recapture by discussing the logics $\mathsf{K}^{\circledast }_{3}$, $\mathsf{LP}^{\circledast }$, $\mathsf{K}^{w\circledast }_{3}$, $\mathsf{PWK}^{\circledast }$ and $\mathsf{E_{fde}}^{\circledast }$, that are in turn extensions of $\mathsf{{K}_{3}}$, $\mathsf{LP}$, $\mathsf{K}^{w}_{3}$, $\mathsf{PWK}$ and $\mathsf{E_{fde}}$, respectively. (shrink)

Although an invasive medical intervention, Deep Brain Stimulation (DBS) has been regarded as an efficient and safe treatment of Parkinson’s disease for the last 20 years. In terms of clinical ethics, it is worth asking whether the use of DBS may have unanticipated negative effects similar to those associated with other types of psychosurgery. Clinical studies of epileptic patients who have undergone an anterior temporal lobectomy have identified a range of side effects and complications in a number of domains: psychological, (...) behavioural, affective and social. In many cases, patients express difficulty adjusting from being chronically ill to their new status as ‘treated’ or ‘seizure free’. This postoperative response adjustment has been described in the literature on epilepsy as the ‘Burden of Normality’ (BoN) syndrome. Most of the discussion about DBS postoperative changes to self is focused on abnormal side effects caused by the intervention (ie, hypersexuality, hypomania, etc). By contrast, relatively little attention is paid to the idea that successfully ‘treated’ individuals might experience difficulties in adjusting to becoming ‘normal’. The purpose of this paper is (1) to articulate the postoperative DBS psychosocial adjustment process in terms of the BoN syndrome, (2) to address whether the BoN syndrome illustrates that DBS treatment poses a threat to the patient’s identity, and (3) to examine whether the current framework for rehabilitation after DBS procedures should be updated and take into account the BoN syndrome as a postoperative self-change response. (shrink)

A normal state on a von Neumann algebra defines a countably additive probability measure over its projection lattice. The von Neumann algebras familiar from ordinary QM are algebras of all the bounded operators on a Hilbert space H, aka Type I factor von Neumann algebras. Their normal states are density operator states, and can be pure or mixed. In QFT and the thermodynamic limit of QSM, von Neumann algebras of more exotic types abound. Type III von Neumann algebras, (...) for instance, have no pure normal states; the pure states they do have fail to be countably additive. I will catalog a number of temptations to accord physical significance to non-normal states, and then give some reasons to resist these temptations: pure though they may be, non-normal states on non-Type I factor von Neumann algebras can't do the interpretive work we've come to expect from pure states on Type I factors; our best accounts of state preparation don't work for the preparation of non-normal states; there is a sense in which non-normal states fail to instantiate the laws of quantum mechanics. (shrink)

This paper proves the finite model property and the finite axiomatizability of a class of normal modal logics extending K4.3. The frames for these logics are those for K4.3, in each of which every point has a bounded number of irreflexive successors if it is after an infinite ascending chain of (not necessarily distinct) points.

The basic bimodal systemK/K can be interpreted as an analysis of the logic of ability developed in [1]. Where in [1] we would express the claimI can bring it about that P using the formula, with its non-normal operator, we will now use the formula. Here is a normal alethic possibilitation operator.is a normal necessitation operator, but it is independent of, and not subject to an alethic interpretation. Rather, is interpreted to meanI bring it about that P. (...) The result is a simplification and clarification of a combined logic of ability and action like that in [2], but employing only normal operators.A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability. (shrink)

Halpern and Hitchcock have used normality considerations in order to provide an analysis of actual causation. Their methodology is that of taking a set of causal scenarios and showing how their account of actual causation accords with typical judgments about those scenarios. Consequently, Halpern and Hitchcock have recently demonstrated that their theory deals with an impressive number of problem cases discussed in the literature. However, in this paper I first show that the way in which they rule out certain cases (...) of bogus prevention leaves their account susceptible to counterexamples. I then sketch an alternative approach to prevention scenarios which draws on the observation that, in addition to abnormal causes, people usually tend to focus on abnormal effects. (shrink)

We prove two theorems which in a certain sense show that the number of normal measures a measurable cardinal κ can carry is independent of a given fixed behavior of the continuum function on any set having measure 1 with respect to every normal measure over κ . First, starting with a model V ⊨ “ZFC + GCH + o = δ*” for δ* ≤ κ+ any finite or infinite cardinal, we force and construct an inner model N (...) ⊆ V [G] so thatN ⊨ “ZF + [DCδ] + ¬ACκ + κ carries exactly δ* normal measures + 2δ = δ++ on a set having measure 1 with respect to every normal measure over κ”.There is nothing special about 2δ = δ here, and other stated values for the continuum function will be possible as well. Then, starting with a modelV ⊨ “ZFC + GCH + κis supercompact”,we force and construct models of AC in which, roughly speaking, regardless of the specified behavior of the continuum function below κ on any set having measure 1 with respect to every normal measure over κ, κ can in essence carry any number of normal measures δ* ≥ κ++. (shrink)

We develop a new method for coding sets while preserving GCH in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications of this result. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

The main technical errors are in the literature survey. On pages 44, 93-94, 131 and 133 I claim that Fitting's and/or Rautenberg's systems are incomplete because they omit contraction. The claim is wrong because contraction is implicit in their set notation. Their systems are complete because they allow contraction on any formula whereas the systems in this technical report explicitly build contraction into certain rules, allowing contraction only on certain types of formulae. Please accept my apologies for any confusion this (...) causes you. (shrink)

Let [Formula: see text] be an integer. We show that the set of real numbers that are Poisson generic in base [Formula: see text] is [Formula: see text]-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base [Formula: see text] and not Poisson generic in base [Formula: see text] is complete for the class given by the differences between [Formula: see text] sets. We also (...) show that the effective versions of these results hold in the effective Borel hierarchy. (shrink)

It is proved that there is a formula$\pi \left$in the first-order language of group theory such that each component and each non-abelian minimal normal subgroup of a finite groupGis definable by$\pi \left$for a suitable elementhofG; in other words, each such subgroup has the form$\left\{ {x|x\pi \left} \right\}$for someh. A number of consequences for infinite models of the theory of finite groups are described.

A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop (...) logic. (shrink)

Clinical investigators must engage in just subject recruitment and selection and avoid unduly influencing research participation. There may be tension between the practice of keeping payments to participants low to avoid undue influence and the requirements of justice when recruiting normal healthy volunteers for phase 1 drug studies. By intentionally keeping payments low to avoid unduly influenced participation, investigators, on the recommendation or insistence of institutional review boards, may be targeting or systematically recruiting healthy adult members of lower socio-economic (...) groups for participation in phase 1 studies. Investigators are at risk of routinely failing to fulfill the obligation of justice, which prohibits the systematic targeting and recruiting of subjects for reasons unrelated to the nature of the study. Insofar as we take seriously the obligation to engage in just subject recruitment and selection, I argue that we must acknowledge the implications low payments might have for subject recruitment and selection and examine the effect of low payments. If low payments de facto target the less well-off for phase 1 studies, we must defend the priority ranking of the obligation to avoid undue influence over the obligation of justice or adopt an alternative recruitment approach. This paper identifies a number of alternatives to the current system of low-value payments to research participants. (shrink)

We show that every proper normal extension of the bi-modal system S52 has the poly-size model property. In fact, to every proper normal extension L of S52 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula ϕ is satisfiable on an L-frame whose universe is bounded by P(|ϕ|), where |ϕ| denotes the number of subformulas of ϕ. It is shown (...) that this bound is optimal. (shrink)

Babylonian methods for predicting planetary phenomena using the so-called goal-year periods are well known. Texts known as Goal-Year Texts contain collections of the observational data needed to make predictions for a given year. The predictions were then recorded in Normal Star Almanacs and Almanacs. Large numbers of Goal-Year Texts, Normal Star Almanacs and Almanacs are attested from the early third century BC onward. A small number of texts dating from before the third century present procedures for using (...) the goal-year periods to predict planetary phenomena. In addition, two texts, one dating to the late sixth century BC and the other to the late fifth century BC, contain planetary data which was probably predicted using these methods. In this article, I discuss a further example of a tablet dating from before the third century BC which contains planetary data predicted using the goal-year periods. I show that the planetary phenomena contained in this tablet can be dated to the twelfth year of the reign of Artaxerxes III (347/6 BC) and that they were predicted using goal-year periods without the application of the kind of corrections which were used in the third century BC texts in order to produce more accurate predictions. (shrink)

A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational (...) structures, whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata CON and D. Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical system.. (shrink)

We show that every proper normal extension of the bi-modal system S5 2 has the poly-size model property. In fact, to every proper normal extension L of S5 2 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is (...) shown that this bound is optimal. (shrink)

A variety of recent work in epistemology employs a notion of normality to provide novel theories of knowledge or justification. While such theories are commonly advertised as affording particularly strong epistemic logics, they often make substantive assumptions about the background notion of normality and its logic. This article takes recent normality-based defences of the KK principle as a case study to submit such assumptions to scrutiny. After clarifying issues regarding the natural language use of normality claims, the article isolates a (...) number of choice points regarding the role of contingency, context-sensitivity and similarity in our theorizing with normality. It turns out that both weaker and stronger logics of normality can be motivated depending on how such choices are resolved. And yet securing logics of normality strong enough for normality to play its envisaged role in epistemology may have unwelcome downstream consequences for the resultant theories of knowledge or justification. (shrink)

A number of nonmonotonic reasoning formalisms have been introduced to model the set of beliefs of an agent. These include the extensions of a default logic, the stable models of a general logic program, and the extensions of a truth maintenance system among others. In [13] and [16], the authors introduced nonmonotomic rule systems as a nonlogical generalization of all essential features of such formulisms so that theorems applying to all could be proven once and for all. In this paper, (...) we extend Rieter's normal default theories, which have a number of the nice properties which make them a desirable context for belief revision, to the setting of nonmonotonic rule systems. Reiter defined a default theory to be normal if all the rules of the default theory satisfied a simple syntatic condition. However, this simple syntatic condition has no obvious analogue in the setting of nonmonotonic rule systems. Nevertheless, an analysis of the proofs of the main results on normal default theories reveals that the proofs do not rely on the particular syntactic form of the rules but rather on the fact that all rules have a certain consistency property. This led us to extend the notion of normal default theories with respect to a general consistency property. This extended notion of normal default theories, which we call Forward Chaining normal , is easily lifted to nonmonotomic rule systems and hence applies to general logic programs and truth maintenance. (shrink)

The starting point for the investigation in this paper is the following McKinsey-Tarski's Theorem: if f and g are algebraic functions (of the same number of variables) in a topological Boolean algebra (TBA) and if C(f)C(g) vanishes identically, then either f or g vanishes identically. The present paper generalizes this theorem to B-algebras and shows that validity of that theorem in a variety of B-algebras (B-variety) generated by SCI B -equations implies that its free Lindenbaum-Tarski's algebra is normal. This (...) is important in the semantical analysis of SCI B (the Boolean strengthening of the sentential calculus with identity, SCI) since normal B-algebras are just models of this logic. The rest part of the paper is concerned with relationships between some closure systems of filters, SCI B -theories, B-varieties and closed sets of SCI B -equations that have been derived both from the semantics of SCI B and from the semantics of the usual equational logic. (shrink)

Hoeltje :101–118, 2017) raises a number of important issues about my theory of generics. In this brief reply, I address some of these challenges.

How can we acquire a grasp of cardinal numbers, even the first very small positive cardinal numbers, given that they are abstract mathematical entities? That problem of cognitive access is the main focus of this paper. All the major rival views about the nature and existence of cardinal numbers face difficulties; and the view most consonant with our normal thought and talk about numbers, the view that cardinal numbers are sizes of sets, runs into (...) the cognitive access problem. The source of the problem is the plausible assumption that cognitive access to something requires causal contact with it. It is argued that this assumption is in fact wrong, and that in this and similar cases we should accept that a certain recognise-and-distinguish capacity is sufficient for cognitive access. We can then go on to solve the cognitive access problem, and thereby support the set-size view of cardinal numbers, by paying attention to empirical findings about basic number abilities. To this end some selected studies of infants, pre-school children and a trained chimpanzee are briefly discussed. (shrink)

DNA copy number variation (CNV) represents a considerable source of human genetic diversity. Recently,1 a global map of copy number variation in the human genome has been drawn up which reveals not only the ubiquity but also the complexity of this type of variation. Thus, two human genomes may differ by more than 20 Mb and it is likely that the full extent of CNV still remains to be discovered. Nearly 3000 genes are associated with CNV. This high degree of (...) variability with regard to gene copy number between two individuals challenges definitions of normality. Many CNVs are located in regions of complex genomic structure and this currently limits the extent to which these variants can be genotyped by using tagging SNPs. However, some CNVs are already amenable to genome‐wide association studies so that their influence on human phenotypic diversity and disease susceptibility may soon be determined. BioEssays 29:311–313, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

Erratum: Volume 9, Number 4 , in the article “William James's The Fringe of Consciousness REM Mentation in Narcoleptics and Normals: Reply to Tore Nielsen,” by Roar Fosse, pages 514–515 ()On page 514, the title is incorrect as printed. The title should read “REM Mentation in Narcoleptics and Normals: Reply to Tore Nielsen.” “William James's The Fringe of Consciousness” should be a heading following this article in the Table of Contents and pertains to the articles that follow. Both the Fosse (...) reply and the heading are correct as printed in the Table of Contents in the print issue. (shrink)

Erratum: Volume 9, Number 4 , in the article “William James's The Fringe of Consciousness REM Mentation in Narcoleptics and Normals: Reply to Tore Nielsen,” by Roar Fosse, pages 514–515 ()On page 514, the title is incorrect as printed. The title should read “REM Mentation in Narcoleptics and Normals: Reply to Tore Nielsen.” “William James's The Fringe of Consciousness” should be a heading following this article in the Table of Contents and pertains to the articles that follow. Both the Fosse (...) reply and the heading are correct as printed in the Table of Contents in the print issue. (shrink)

Pietruszczak (Bull Sect Log 38(3/4):163–171, 2009) proved that the normal logics K45 , KB4 (=KB5), KD45 are determined by suitable classes of simplified Kripke frames of the form ⟨W,A⟩ , where A⊆W. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of K45. Furthermore, a modal logic is a normal extension of K45 (resp. KD45; (...) KB4; S5) if and only if it is determined by a set consisting of finite simplified frames (resp. such frames with A≠∅; such frames with A=W or A=∅; such frames with A=W). Secondly, for all normal extensions of K45, KB4, KD45 and S5, in particular for extensions obtained by adding the so-called “verum” axiom, Segerberg’s formulas and/or their T-versions, we prove certain versions of Nagle’s Fact (J Symbol Log 46(2):319–328, 1981) (which concerned normal extensions of K5). Thirdly, we show that these extensions are determined by certain classes of finite simplified frames generated by finite subsets of the set N of natural numbers. In the case of extensions with Segerberg’s formulas and/or their T-versions these classes are generated by certain finite subsets of N. (shrink)

In a recent paper by M. Rathjen and the present author it has been shown that the statement “every normal function has a derivative” is equivalent to $\Pi ^1_1$ -bar induction. The equivalence was proved over $\mathbf {ACA_0}$, for a suitable representation of normal functions in terms of dilators. In the present paper, we show that the statement “every normal function has at least one fixed point” is equivalent to $\Pi ^1_1$ -induction along the natural numbers.

The article investigates a system of polymorphically typed combinatory logic which is equivalent to Gödel’s T. A notion of (strong) reduction is defined over terms of this system and it is proved that the class of well-formed terms is closed under both bracket abstraction and reduction. The main new result is that the number of contractions needed to reduce a term to normal form is computed by an ε 0-recursive function. The ordinal assignments used to obtain this result are (...) also used to prove that the system under consideration is indeed equivalent to Gödel’s T. It is hoped that the methods used here can be extended so as to obtain similar results for stronger systems of polymorphically typed combinatory terms. An interesting corollary of such results is that they yield ordinally informative proofs of normalizability for sub-systems of second-order intuitionist logic, in natural deduction style. (shrink)

Joseph Raz's famous theory of authority is grounded in three claims about the nature and justification of authority. According to the Preemption Thesis, authoritative directives purport to replace the subject's judgments about what she should do. According to the Dependence Thesis, authoritative directives should be based on reasons that actually apply to the subjects of the directive. According to the Normal Justification Thesis (NJT), authority is justified to the extent that subjects are more likely to comply with right reason (...) by following the authority's directives than by following their own judgments about what right reason requires.1In this article, I consider a number of ways in which NJT might be construed as a justification for authority. First, I evaluate NJT construed as a principle that would provide a practical justification for an individual to accept or recognize a particular person or persons as a preemptive authority. Second, I evaluate NJT construed as a principle that describes the conditions under which a state or legal system is morally legitimate. I argue that NJT is true under none of these interpretations.2. (shrink)

In this article, we compare the expressive powers of classes of normal logic programs that are obtained by constraining the number of positive subgoals in the bodies of rules. The comparison is based on the existence/nonexistence of polynomial, faithful, and modular translation functions between the classes. As a result, we obtain a strict ordering among the classes under consideration. Binary programs are shown to be as expressive as unconstrained programs but strictly more expressive than unary programs which, in turn, (...) are strictly more expressive than atomic programs. We also take propositional theories into consideration and prove them to be strictly less expressive than atomic programs. In spite of the gap in expressiveness, we develop a faithful but non-modular translation function from normal programs to propositional theories. We consider this as a breakthrough due to sub-quadratic time complexity |). Furthermore, we present a prototype implementation of the translation function and demonstrate its promising performance with SAT solvers using three benchmark problems. (shrink)

We present a self-organizing approach to sentence processing that sheds new light on notional plurality effects in agreement attraction, using pseudopartitive subject noun phrases. We first show that notional plurality ratings predict verb agreement choices in pseudopartitives, in line with the “Marking” component of the Marking and Morphing theory of agreement processing. However, no account to date has derived notional plurality values from independently needed principles of language processing. We argue on the basis of new experimental evidence and a dynamical (...) systems model that the theoretical black box of notional plurality can be unpacked into objectively measurable semantic features. With these semantic features driving structure formation, our model reproduces the human verb production patterns as a byproduct of normal processing. Finally, we discuss how the self-organizing approach might be extended to other agreement attraction phenomena. (shrink)

Auditory scene analysis is an elementary aspect of music perception, yet only little research has scrutinized auditory scene analysis under realistic musical conditions with diverse samples of listeners. This study probed the ability of younger normal-hearing listeners and older hearing-aid users in tracking individual musical voices or lines in JS Bach's The Art of the Fugue. Five-second excerpts with homogeneous or heterogenous instrumentation of 2–4 musical voices were presented from spatially separated loudspeakers and preceded by a short cue for (...) signaling the target voice. Listeners tracked the cued voice and detected whether an amplitude modulation was imposed on the cued voice or a distractor voice. Results indicated superior performance of young normal-hearing listeners compared to older hearing-aid users. Performance was generally better in conditions with fewer voices. For young normal-hearing listeners, there was interaction between the number of voices and the instrumentation: performance degraded less drastically with an increase in the number of voices for timbrally heterogeneous mixtures compared to homogeneous mixtures. Older hearing-aid users generally showed smaller effects of the number of voices and instrumentation, but no interaction between the two factors. Moreover, tracking performance of older hearing aid users did not differ when these participants did or did not wear hearing aids. These results shed light on the role of timbral differentiation in musical scene analysis and suggest reduced musical scene analysis abilities of older hearing-impaired listeners in a realistic musical scenario. (shrink)

Background: Contact heat evoked potentials is used to diagnose small fiber neuropathy. We established the normal values of CHEPs parameters in Chinese adults, optimized the test technique, and determined its reproducibility.Methods: We recruited 151 healthy adults. CHEPs was performed on the right forearm to determine the optimal number of stimuli, and then conducted at different sites to establish normal values, determine the effects of demographic characteristics and baseline temperature, and assess the short- and long-term reproducibility. N2 latency/height varied (...) with age and sex, while P2 latency/height and N2–P2 amplitude varied with age. The optimal number of stimuli was three.Results: N2 latency/height and P2 latency/height decreased and N2–P2 amplitude and visual analog scale score increased with increased baseline temperature. CHEPs parameters did not differ with time.Conclusion: We established normal CHEPs values in Chinese adults. We found that CHEPs parameters changed with baseline temperature and that the short- and long-term test reproducibility were satisfactory. (shrink)

"This work is designed to be an introduction to abnormal psychology. The problems considered, however, belong equally to normal psychology. The present volume consists of selected lectures (with the exception of four) from courses on abnormal psychology delivered at the Tufts College Medical School (1908-10) and later at the University of California (1910). These again were based on a series of papers on the Unconscious published in the Journal of Abnormal Psychology (1908-9) of which they are elaborations. Since the (...) lectures were delivered a large amount of new material has been incorporated and the subject matter considered in more detail and more exhaustively than was practical before student bodies. The four additional lectures (X, XI, XII and XIII) appeared in abbreviated form in the same Journal (Oct., Nov., 1912) under the title "The Meaning of Ideas as Determined by Unconscious Settings." As the subconscious and its processes are fundamentals both in the structure of personality and in the many mechanisms through which personality, normal and abnormal, finds expression, the first eight lectures are devoted to its exposition. Indeed, the subconscious is not only the most important problem of psychology, it is the problem. The study of its phenomena must be preliminary to that of the functioning mechanisms of both the normal mind and of those special pathological conditions--the psycho-neuroses--which modern investigators are tracing to its perversions. It ought to be possible to construct the theory of the subconscious by inductive methods on the basis of facts of observation just as any theory of the physical sciences is constructed. This task I have set before myself as well as that of giving precision to our conception of the theory and taking it out of the domain of philosophical concepts. With this purpose in view I have endeavored to apply the method of science and construct the theory by induction from the data of observation and experiment. I have divided the subconscious into two classes, namely (1) the unconscious, or neural dispositions and processes, and (2) the coconscious, or actual subconscious ideas which do not enter the content of conscious awareness. In these lectures I have also endeavored (Lectures XIV-XVI) to develop the phenomena of the emotional innate dispositions which I conceive play one of the most fundamental parts in human personality and in determining mental and physiological behavior. Experimental methods and the well-known clinical methods of investigation have been employed by me as far as possible. The data made use of have been derived for the most part from my own observations, though confirmatory observations of others have not been neglected. Although a large number and variety of subjects or cases have been studied, as they have presented themselves in private and hospital practice, the data have been to a large extent sought in intensive studies, on particular subjects, carried on in some cases over a period of many years. These subjects, because of the ease with which subconscious and emotional phenomena were either spontaneously manifested or could be experimentally evoked, were particularly suitable for such studies and fruitful in results. It is by such intensive studies on special subjects, rather than by casual observation of many cases, that I believe the deepest insight into mental processes and mechanisms can be obtained. The favorable reception which was given to the first edition of this work has tempted me in preparing a new edition at the request of the publishers to incorporate four additional chapters dealing with the general principles underlying the structure and dynamic elements of human personality (Lecture XVII) and a study of a special problem in personality in which these principles are involved, namely, the psychogenesis of multiple personality as illustrated by a study of the case known as B.C.A. (Lectures XVIII-XX)." (PsycINFO Database Record (c) 2012 APA, all rights reserved). (shrink)

Adaptation to right-shifting prisms improves left neglect for mental number line bisection. This study examined whether adaptation affects the mental number line in normal participants. Thirty-six participants completed a mental number line task before and after adaptation to either: left-shifting prisms, right-shifting prisms or control spectacles that did not shift the visual scene. Participants viewed number triplets (e.g. 16, 36, 55) and determined whether the numerical distance was greater on the left or right side of the inner number. Participants (...) demonstrated a leftward bias (i.e. overestimated the length occupied by numbers located on the left side of the number line) that was consistent with the effect of pseudoneglect. The leftward bias was corrected by a short period of visuomotor adaptation to left-shifting prisms, but remained unaffected by adaptation to right-shifting prisms and control spectacles. The findings demonstrate that a simple visuomotor task alters the representation of space on the mental number line in normal participants. (shrink)

We show that for solvable games, the calculation of the strategies which survive iterative elimination of dominated strategies in normal games is equivalent to the calculation of the backward induction outcome of some extensive game. However, whereas the normal game form does not provide information on how to carry out the elimination, the corresponding extensive game does. As a by-product, we conclude that implementation using a subgame perfect equilibrium of an extensive game with perfect information is equivalent to (...) implementation through a solution concept which we call guided iteratively elimination of dominated strategies which requires a uniform order of elimination. Journal of Economic Literature Classification Number: C72. (shrink)

Schools worldwide have started opening doors to welcome back students who, for almost two years, have been stuck studying at home. This study looks at the standpoint of Filipino students on going back to regular face-to-face schooling. There were 2,274 students of different tiers of education (high school, collegiate, graduate) from different major island groups of the Philippines (Luzon, Visayas, Mindanao) who participated in the study. The study used a mixed-method of descriptive statistics to present the quantitative data gathered and (...) thematic analysis of qualitative responses from the subjects. The majority of all the respondents favored going back to the physical classroom, and little only favored staying using the distance mode. In the qualitative analysis, the recurring reasons of the students varied from personal, economic, and fear of getting the virus. It was concluded that Filipino students want to go back to schooling. Moreover, a sizeable amount preferred hybrid while a small number preferred to stay in online or distance mode. Educational institutions should always observe the covid 19 protocol when students go back. (shrink)

The mole and Avogadro’s number are two important concepts of science that provide a link between the properties of individual atoms or molecules and the properties of bulk matter. It is clear that an early theorist of the idea of these two concepts was Avogadro. However, the research literature shows that there is a controversy about the subjects of when and by whom the mole concept was first introduced into science and when and by whom Avogadro’s number was first calculated. (...) Based on this point, the following five matters are taken into consideration in this paper. First, in order to base the subject matter on a strong ground, the historical development of understanding the particulate nature of matter is presented. Second, in 1811, Amedeo Avogadro built the theoretical foundations of the mole concept and the number 6.022 × 1023 mol−1. Third, in 1865, Johann Josef Loschmidt first estimated the number of molecules in a cubic centimetre of a gas under normal conditions as 1.83 × 1018. Fourth, in 1881, August Horstmann first introduced the concept of gram-molecular weight in the sense of today’s mole concept into chemistry and, in 1900, Wilhelm Ostwald first used the term mole instead of the term ‘gram-molecular weight’. Lastly, in 1889, Károly Than first determined the gram-molecular volume of gases under normal conditions as 22,330 cm3. Accordingly, the first value for Avogadro’s number in science history should be 4.09 × 1022 molecules/gram-molecular weight, which is calculated by multiplying Loschmidt’s 1.83 × 1018 molecules/cm3 by Than’s 22,330 cm3/gram-molecular weight. Hence, Avogadro is the originator of the ideas of the mole and the number 6.022 × 1023 mol−1, Horstmann first introduced the mole concept into science/chemistry, and Loschmidt and Than are the scientists who first calculated Avogadro’s number. However, in the science research literature, it is widely expressed that the mole concept was first introduced into chemistry by Ostwald in 1900 and that Avogadro’s number was first calculated by Jean Baptiste Perrin in 1908. As a result, in this study, it is particularly emphasised that Horstmann first introduced the mole concept into science/chemistry and the first value of Avogadro’s number in the history of science was 4.09 × 1022 molecules/gram-molecular weight and Loschmidt and Than together first calculated this number. (shrink)

Let $\mathcal {I}$ be an ideal on $\omega $. For $f,\,g\in \omega ^{\omega }$ we write $f \leq _{\mathcal {I}} g$ if $f(n) \leq g(n)$ for all $n\in \omega \setminus A$ with some $A\in \mathcal {I}$. Moreover, we denote $\mathcal {D}_{\mathcal {I}}=\{f\in \omega ^{\omega }: f^{-1}[\{n\}]\in \mathcal {I} \text { for every } n\in \omega \}$ (in particular, $\mathcal {D}_{\mathrm {Fin}}$ denotes the family of all finite-to-one functions).We examine cardinal numbers $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal (...) {D}_{\mathcal {I}}))$ and $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}}\times \mathcal {D}_{\mathrm {Fin}}))$ describing the smallest sizes of unbounded from below with respect to the order $\leq _{\mathcal {I}}$ sets in $\mathcal {D}_{\mathrm {Fin}}$ and $\mathcal {D}_{\mathcal {I}}$, respectively. For a maximal ideal $\mathcal {I}$, these cardinals were investigated by M. Canjar in connection with coinitial and cofinal subsets of the ultrapowers.We show that $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}} \times \mathcal {D}_{\mathrm {Fin}})) =\mathfrak {b}$ for all ideals $\mathcal {I}$ with the Baire property and that $\aleph _1 \leq \mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) \leq \mathfrak {b}$ for all coanalytic weak P-ideals (this class contains all $\bf {\Pi ^0_4}$ ideals). What is more, we give examples of Borel (even $\bf {\Sigma ^0_2}$ ) ideals $\mathcal {I}$ with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))=\mathfrak {b}$ as well as with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) =\aleph _1$.We also study cardinals $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {J}} \times \mathcal {D}_{\mathcal {K}}))$ describing the smallest sizes of sets in $\mathcal {D}_{\mathcal {K}}$ not bounded from below with respect to the preorder $\leq _{\mathcal {I}}$ by any member of $\mathcal {D}_{\mathcal {J}}\!$. Our research is partially motivated by the study of ideal-QN-spaces: those cardinals describe the smallest size of a space which is not ideal-QN. (shrink)

We prove that if T is a stable theory with only a finite number of countable models, then T contains a type-definable pseudoplane. We also show that for any stable theory T either T contains a type-definable pseudoplane or T is weakly normal.

This paper characterizes the crisis of expertise, especially as it manifested during the covid-19 pandemic, as a crisis of trust in regulatory science. The temporal structure of the facts produced by regulatory science differs from Kuhnian “normal science,” while they also contain profound distributional implications. As a result, they suffer from a set of congenital problems that provoke mistrust in a way that normal science facts do not. While “expertise” is often offered as an answer to these problems, (...) the paper shows that it is a symptom of the malaise, reflecting a situation where it is no longer clear how to decide between competing claims to authority as experts. The current mistrust in experts and regulatory science during the pandemic, therefore, is part of a longer and systemic crisis of expertise provoked and sustained by multiple factors. The paper then offers an unsystematic set of rules of method to observe when addressing the thorny issues involving trust and mistrust: 1) trust is not a subjective attitude that can be measured by a survey; 2) mistrust is not the opposite of trust; 3) trust is a social skill involving a set of ethnomethods for distinguishing between responsible and “blind” trust; 4) attention to temporal framing is key to these methods; 5) disruption of this temporal framing – as routinely happens with regulatory facts, and especially during the pandemic – destroys trust. (shrink)