Correction to: Are non-accidental regularities a cosmic coincidence? Revisiting a central threat to Humean laws

Synthese - The funding information in the article was not complete. Please find here the full information.     

Neuropsychological assessment could distinguish among different clinical phenotypes of progressive supranuclear palsy: A Machine Learning approach

Progressive supranuclear palsy (PSP) is a rare, rapidly progressive neurodegenerative disease. Richardson’s syndrome (PSP-RS) and predominant parkinsonism (PSP-P) are characterized by wide range of cognitive and behavioural disturbances, but these variants show similar cognitive pattern of alterations, leading difficult differential diagnosis. For this reason, we explored with an Artificial Intelligence approach, whether cognitive impairment could differentiate the phenotypes. Forty Parkinson's disease (PD) patients, 25 PSP-P, 40 PSP-RS, and 34 controls were enrolled following the consensus criteria diagnosis. Participants were evaluated with neuropsychological battery for cognitive domains. Random Forest models were used for exploring the discriminant power of the cognitive tests in distinguishing among the four groups. The classifiers for distinguishing diseases from controls reached high accuracies (86% for PD, 95% for PSP-P, 99% for PSP-RS). Regarding the differential diagnosis, PD was discriminated from PSP-P with 91% (important variables: HAMA, MMSE, JLO, RAVLT_I, BDI-II) and from PSP-RS with 92% (important variables: COWAT, JLO, FAB). PSP-P was distinguished from PSP-RS with 84% (important variables: JLO, WCFST, RAVLT_I, Digit span_F). This study revealed that PSP-P, PSP-RS and PD had peculiar cognitive deficits compared with healthy subjects, from which they were discriminated with optimal accuracies. Moreover, high accuracies were reached also in differential diagnosis. Most importantly, Machine Learning resulted to be useful to the clinical neuropsychologist in choosing the most appropriate neuropsychological tests for the cognitive evaluation of PSP patients.     

Limitations in Verbal Fluency Following Heavy Burdens of Early Childhood Diarrhea in Brazilian Shantytown Children

The effects of heavy burdens of diarrhea in the first 2 years of life on specific executive control function like verbal fluency are not well understood. In previous studies, we have shown associations of early childhood diarrhea (ECD) with nonverbal intelligence and school functioning. Therefore, we postulated that ECD might affect early neuropsychological development leading to long-term deficits in normal cognitive development. Based on our extensive 14-year prospective cohort studies of early childhood diarrheal illnesses in a Brazilian shantytown community, we examined ECD correlations between specific impairments of higher mental function and executive skills in shantytown children 5–10 years later (now at 6–12) years of age. Specifically we examined whether heavy diarrheal illnesses correlate with reduced performance on selected tests of executive function. Our study, for the first time, suggests a disproportional impairment in semantic but not phonetic fluency in a subset of children with heavy burdens of diarrhea in their first 2 years of life even when controlling for maternal education, breastfeeding, and child schooling. Similar semantic decrements have been associated with impaired recovery from brain injury. These exploratory studies suggest the importance of verbal fluency tests to assess executive functioning in children challenged by poor nutrition and diarrhea in early life. In addition, our unique findings show the potential influences of early childhood diarrhea on language development that is so critical to productive adulthood and potentially set a foundation for new neuropsychological approaches, which assess early burdens of enteric illnesses on childhood development.     

Predicting perceived image quality: a critique of Lin and Kuo (2011)

A recent study by Lin and Kuo reported on the image quality of a small mobile display under different ambient illumination levels. In this commentary, the present author discusses the limitations of their approach with respect to the rigorous quantification of image quality and the caveats associated with preference studies of new display technologies. Quantitatively predicting image quality using preference-based methods can be useful for initial decisions in early phases of product development, but provides limited value for the rigorous quantification of image quality of display devices.     

Gaze orientation interferes with mental numerical representation

Number comparison tasks are characterized by distance and size effects. The distance effect reveals that the higher the distance is between two numbers, the easier their magnitude comparison is. Accordingly, people are thought to represent numbers on a spatial dimension, the mental number line, on which any given number corresponds to a location on the line. The size effect, instead, states that at any given distance, comparing two small numbers is easier than comparing two large numbers, thus suggesting that larger numbers are more vaguely represented than smaller ones. In the present work we first tested whether the participants were adopting a spatial strategy to solve a very simple numbers comparison task, by assessing the presence of the distance and the magnitude effect. Secondarily, we focused on the influence of gaze position on their performance. The present results provide evidence that gaze direction interferes with number comparisons, worsening the vague representation of larger numbers and further supporting the hypothesis of the overlapping between physical and mental spaces.     

Fundamentality,Effectiveness, and Objectivity of Gauge Symmetries

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of (this subfield of) mathematics in (this subfield of) physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries.     

Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras

Studia Logica - The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal...     

What's in a function?

In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due to Kleene, and indicate how they can be employed to reconstruct the class of the general recursive functions. We also point at how Revision Rules can be employed to access non-minimal fixed points of partially defined computing procedures.I thank Nuel Belnap, Rich Thomason, Ken Manders, and Jamie Tappenden for much helpful advice given while I was trying to get clear on the ideas presented here. I also thank two anonymous referees for helpful comments and criticisms on an earlier version of this paper.     

A modal calculus analogous to K4W,based on intuitionistic propositional logic,Iℴ

This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the provability predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way.Completeness theorems, existence of a characteristic model and of a characteristic frame, properties of FMP and FFP and decidability are proved.